agda 2.6.1-1build1 source package in Ubuntu
Changelog
agda (2.6.1-1build1) groovy; urgency=medium * No-change rebuild against libffi8ubuntu1 -- Steve Langasek <email address hidden> Thu, 27 Aug 2020 00:02:00 +0000
Upload details
- Uploaded by:
- Steve Langasek
- Uploaded to:
- Groovy
- Original maintainer:
- Ubuntu Developers
- 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.6.1.orig.tar.gz | 2.5 MiB | 678f416af8f30d017825309f15fac41d239b07f66a4c40497e8435a6bdb7c129 |
agda_2.6.1-1build1.debian.tar.xz | 9.9 KiB | 73f4e0113b4ad6d97d05fb2e39f670350d3cdc1b4fcb4ee6db5edaee896c8887 |
agda_2.6.1-1build1.dsc | 4.2 KiB | e71e6ccedd10fb55ab31b4d9633a09c072968847286c692131f49b6f9c0c3705 |
Available diffs
- diff from 2.6.1-1 (in Debian) to 2.6.1-1build1 (483 bytes)
Binary packages built by this source
- agda: No summary available for agda in ubuntu groovy.
No description available for agda in ubuntu groovy.
- agda-bin: No summary available for agda-bin in ubuntu groovy.
No description available for agda-bin in ubuntu groovy.
- elpa-agda2-mode: No summary available for elpa-agda2-mode in ubuntu groovy.
No description available for elpa-agda2-mode in ubuntu groovy.
- libghc-agda-dev: No summary available for libghc-agda-dev in ubuntu hirsute.
No description available for libghc-agda-dev in ubuntu hirsute.
- libghc-agda-doc: No summary available for libghc-agda-doc in ubuntu groovy.
No description available for libghc-agda-doc in ubuntu groovy.