agda 2.5.3-5 source package in Ubuntu
Changelog
agda (2.5.3-5) unstable; urgency=medium * Patch for newer EdisonCore. -- Clint Adams <email address hidden> Sun, 29 Apr 2018 08:41:41 -0400
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.5.3-5.dsc | 4.6 KiB | 6a143f110dfc0a00a1f06b595522fcd85912f5367b592e8488417327ce128dc0 |
| agda_2.5.3.orig.tar.gz | 1.1 MiB | aa14d4a3582013100f71e64d71c5deff6caa2a286083e20fc16f6dbb0fdf0065 |
| agda_2.5.3-5.debian.tar.xz | 9.8 KiB | 1d15cc9cbb2a4ac95ead190dedbbb0e864a78b866704edf5527b68677fc04b22 |
Available diffs
No changes file available.
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.
