agda 2.4.0.2-2build1 source package in Ubuntu
Changelog
agda (2.4.0.2-2build1) vivid; urgency=medium * Rebuild for new GHC ABIs. -- Colin Watson <email address hidden> Wed, 29 Oct 2014 17:33:18 +0000
Upload details
- Uploaded by:
- Colin Watson
- Uploaded to:
- Vivid
- Original maintainer:
- Debian Haskell Group
- Architectures:
- any all
- Section:
- haskell
- Urgency:
- Medium Urgency
See full publishing history Publishing
| Series | Published | Component | Section |
|---|
Downloads
| File | Size | SHA-256 Checksum |
|---|---|---|
| agda_2.4.0.2.orig.tar.gz | 889.1 KiB | 0b41cf9f841fd78b60490c66a4f08c9f57316e96ca8f3449dacb52cbf48d848d |
| agda_2.4.0.2-2build1.debian.tar.xz | 7.2 KiB | e4cb595547f5b3aa1776ba8b998992e3a29f38a1fab4871b2a9b5624a978fe99 |
| agda_2.4.0.2-2build1.dsc | 3.9 KiB | a5eae713c8bc2ddbe74ee7f1f7e6e878373485ec4f38b3d39511749a893a3479 |
Available diffs
Binary packages built by this source
- agda: No summary available for agda in ubuntu wily.
No description available for agda in ubuntu wily.
- agda-bin: No summary available for agda-bin in ubuntu vivid.
No description available for agda-bin in ubuntu vivid.
- agda-mode: No summary available for agda-mode in ubuntu vivid.
No description available for agda-mode in ubuntu vivid.
- libghc-agda-dev: No summary available for libghc-agda-dev in ubuntu vivid.
No description available for libghc-agda-dev in ubuntu vivid.
- libghc-agda-doc: No summary available for libghc-agda-doc in ubuntu vivid.
No description available for libghc-agda-doc in ubuntu vivid.
