agda-stdlib 0.8-2 source package in Debian
Changelog
agda-stdlib (0.8-2) unstable; urgency=medium
* [f9da3dc] Build-Depend on FileManip to fix GenerateEverything.hs
generation
-- Iain Lane <email address hidden> Tue, 12 Aug 2014 10:22:32 +0100
See full publishing history Publishing
| Series | Published | Component | Section | |
|---|---|---|---|---|
| Jessie | release | main | libs |
Builds
Downloads
| File | Size | SHA-256 Checksum |
|---|---|---|
| agda-stdlib_0.8-2.dsc | 2.0 KiB | 24e77d010594abd95fa1d6c70c8ae349c0c2410c1b5397b1f748d357dc1923d6 |
| agda-stdlib_0.8.orig.tar.gz | 240.4 KiB | e8b8380bb03871ee3348aa2df32201a387ca0af02171d32ac58664f58467ed0d |
| agda-stdlib_0.8-2.debian.tar.xz | 4.4 KiB | 02627523178ebcd39194a8c763b758d56b698aa213f40cf165d11df03e7184bf |
Available diffs
- diff from 0.7-2 to 0.8-2 (73.4 KiB)
- diff from 0.8-1 to 0.8-2 (515 bytes)
No changes file available.
