agda-stdlib 0.5-1 source package in Debian
Changelog
agda-stdlib (0.5-1) unstable; urgency=low * [9251e0b] Imported Upstream version 0.5 * [ba20206] Make package architecture independent (Closes: #573807, #598708, #599958) * [2c82171] Add watch file * [0518fa6] No longer need procps | hurd BD as we no longer have the ticker * [daf2445] Don't use upstream's make install — handled ourselves by dh_install * [1b86533] Update watchfile to point at new location * [637f47d] Remove debian/gbp.conf as we are no longer building for exp * [cc88671] Require Agda 2.2.10 * [e99dab5] Set maximum stack size to 1G to prevent overflows in the build * [251cd1d] Run the test suite manually * [a7db697] Set the variable in the emacs loading script properly * [540ca3f] Improve short description * [6b3e794] Add dependencies on compatible versions of the Agda library * [7127678] Standards-Version bump to 3.9.2, no changes required * [9d0ae30] Update to use ghc instead of ghc6 * [3f6879a] Set Maintainer to my d.o email address -- Iain Lane <email address hidden> Tue, 24 May 2011 10:26:15 +0100
Downloads
File | Size | SHA-256 Checksum |
---|---|---|
agda-stdlib_0.5-1.dsc | 1.9 KiB | f82c2d71b6bb0271585a2ff0323398a57d8a2d07edf153dfce917bac3c040b8b |
agda-stdlib_0.5.orig.tar.gz | 193.4 KiB | ecdf9deddd9baae4ddddbc29bf1206717d6e683a213816777b5df55944f4363e |
agda-stdlib_0.5-1.diff.gz | 3.6 KiB | 7e598498ef5edc57d13096d4b0001a0489e77c5075abe8710e03fa7918b9d019 |
Available diffs
- diff from 0.3-3 to 0.5-1 (134.9 KiB)
No changes file available.