agda 2.4.0.2-2 source package in Ubuntu
Changelog
agda (2.4.0.2-2) unstable; urgency=medium * [e33e7a9] Pregenerate the Primitive.agdai interface file in libghc-agda-dev, since agda users typically can't write to that directory. Fixes agda-stdlib build. -- Colin Watson <email address hidden> Mon, 11 Aug 2014 11:55:48 +0100
Upload details
- Uploaded by:
- Debian Haskell Group
- Uploaded to:
- Sid
- 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-2.dsc | 3.8 KiB | bbc4759081dcc4fa5279a403327b8a91a4fd1a2f51c3f4f9006d979cd8574487 |
agda_2.4.0.2.orig.tar.gz | 889.1 KiB | 0b41cf9f841fd78b60490c66a4f08c9f57316e96ca8f3449dacb52cbf48d848d |
agda_2.4.0.2-2.debian.tar.xz | 7.2 KiB | f30965af1acb8536b62c77a01cab75907f61882aa4531a1b828b5cffba2156a2 |
Available diffs
- diff from 2.3.2.2-1build1 (in Ubuntu) to 2.4.0.2-2 (1.9 MiB)
- diff from 2.4.0.2-1 to 2.4.0.2-2 (570 bytes)
No changes file available.
Binary packages built by this source
- agda: No summary available for agda in ubuntu utopic.
No description available for agda in ubuntu utopic.
- 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 utopic.
No description available for agda-mode in ubuntu utopic.
- 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 utopic.
No description available for libghc-agda-doc in ubuntu utopic.