agda-stdlib 0.6-2 source package in Ubuntu
Changelog
agda-stdlib (0.6-2) unstable; urgency=low * Relax agda dependency a bit to allow for minor releases * Add the Debian Haskell Group as uploaders, by Iains suggestion -- Joachim Breitner <email address hidden> Wed, 14 Mar 2012 10:30:26 +0100
See full publishing history Publishing
Series | Published | Component | Section | |
---|---|---|---|---|
Precise | release | universe | libs |
Downloads
File | Size | SHA-256 Checksum |
---|---|---|
agda-stdlib_0.6-2.dsc | 1.4 KiB | b78ebe4b249fde863b75a077ced562ba535faa15bed797485bab16252b112d80 |
agda-stdlib_0.6.orig.tar.gz | 211.2 KiB | f3b22d104a1d91e558e833ff968cf63dbe239601e15d91e380ef791f75d82060 |
agda-stdlib_0.6-2.debian.tar.gz | 4.1 KiB | 56055b75120cce91719480009d8348be96f7d0b939180ff5084f5bc071b5eb2d |
Available diffs
- diff from 0.6-1 to 0.6-2 (775 bytes)
No changes file available.
Binary packages built by this source
- agda-stdlib: No summary available for agda-stdlib in ubuntu raring.
No description available for agda-stdlib in ubuntu raring.
- agda-stdlib-doc: No summary available for agda-stdlib-doc in ubuntu raring.
No description available for agda-stdlib-doc in ubuntu raring.