aspcud 2012.10.24-6 source package in Ubuntu
Changelog
aspcud (2012.10.24-6) unstable; urgency=medium * Upload with urgency medium to migrate to testing before gringo 4 * Put version constraint (<< 4) on dependency on gringo, following info received from upstream. * Standards-Version 3.9.5 (no change). * Add as-installed package test: - add DEP-8 style debian/tests/control - add debian/tests/upstream test script -- Ralf Treinen <email address hidden> Tue, 17 Dec 2013 21:53:08 +0100
Upload details
- Uploaded by:
- Ralf Treinen
- Uploaded to:
- Sid
- Original maintainer:
- Ralf Treinen
- Architectures:
- any
- Section:
- admin
- Urgency:
- Medium Urgency
See full publishing history Publishing
Series | Published | Component | Section |
---|
Downloads
File | Size | SHA-256 Checksum |
---|---|---|
aspcud_2012.10.24-6.dsc | 1.9 KiB | 512a28a53f71ac8f1458c6a50ea4051c44df0583d878d1932fca32c0ed37fc4d |
aspcud_2012.10.24.orig.tar.gz | 98.8 KiB | 44696e73d69ef6c60be2010a7ee810a4f66f35731a1ece6849f6190b5a153c62 |
aspcud_2012.10.24-6.debian.tar.gz | 5.5 KiB | 30bcef618c85cd73270193248c603c7197ee765875223e7644244f7012808ccd |
Available diffs
- diff from 2012.10.24-5 to 2012.10.24-6 (1.1 KiB)
No changes file available.
Binary packages built by this source
- aspcud: CUDF solver based on Answer Set Programming
Aspcud is an experimental solver for package dependencies. A package
universe and a request to install, remove or upgrade packages have
to be encoded in the CUDF format.