agda 2.6.1-0ubuntu1 source package in Ubuntu
Changelog
agda (2.6.1-0ubuntu1) groovy; urgency=medium [ Sean Whitton ] * New upstream release [ Michael Hudson-Doyle ] * Refresh patch. -- Michael Hudson-Doyle <email address hidden> Tue, 07 Jul 2020 15:50:04 +1200
Upload details
- Uploaded by:
- Michael Hudson-Doyle
- 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-0ubuntu1.debian.tar.xz | 9.9 KiB | 89eda2917214fb3f2b3ca2a059ff650a3638e127837090100b1a5b74b9173d5e |
| agda_2.6.1-0ubuntu1.dsc | 4.2 KiB | 8d5464b0d452d037289f2ef40997b9234a821d53c31de5322b7b20eb866f4a0b |
Available diffs
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.
- agda-mode: No summary available for agda-mode in ubuntu groovy.
No description available for agda-mode 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 groovy.
No description available for libghc-agda-dev in ubuntu groovy.
- libghc-agda-doc: No summary available for libghc-agda-doc in ubuntu groovy.
No description available for libghc-agda-doc in ubuntu groovy.
