agda 2.5.3-5build1 source package in Ubuntu
Changelog
agda (2.5.3-5build1) cosmic; urgency=medium * Rebuild against new GHC ABI. -- Gianfranco Costamagna <email address hidden> Wed, 04 Jul 2018 12:18:49 +0200
Upload details
- Uploaded by:
- Gianfranco Costamagna
- Uploaded to:
- Cosmic
- 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.5.3.orig.tar.gz | 1.1 MiB | aa14d4a3582013100f71e64d71c5deff6caa2a286083e20fc16f6dbb0fdf0065 |
agda_2.5.3-5build1.debian.tar.xz | 9.9 KiB | e20bf2d0ae71f1706fec94e1fafbaa8f2c13fba09b3756962ed4acd2b8f4cf13 |
agda_2.5.3-5build1.dsc | 4.4 KiB | 0c55d7e6648962dd371f7ca9f6544fb095e0602b504c6595a6786d82c9e5a44e |
Available diffs
- diff from 2.5.3-5 (in Debian) to 2.5.3-5build1 (315 bytes)
Binary packages built by this source
- agda: No summary available for agda in ubuntu cosmic.
No description available for agda in ubuntu cosmic.
- agda-bin: No summary available for agda-bin in ubuntu cosmic.
No description available for agda-bin in ubuntu cosmic.
- agda-mode: No summary available for agda-mode in ubuntu cosmic.
No description available for agda-mode in ubuntu cosmic.
- elpa-agda2-mode: No summary available for elpa-agda2-mode in ubuntu cosmic.
No description available for elpa-agda2-mode in ubuntu cosmic.
- libghc-agda-dev: No summary available for libghc-agda-dev in ubuntu cosmic.
No description available for libghc-agda-dev in ubuntu cosmic.
- libghc-agda-doc: No summary available for libghc-agda-doc in ubuntu cosmic.
No description available for libghc-agda-doc in ubuntu cosmic.