agda 2.6.0.1-1 source package in Ubuntu
Changelog
agda (2.6.0.1-1) unstable; urgency=medium * New upstream version. -- Clint Adams <email address hidden> Sat, 31 Aug 2019 10:02:33 -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.6.0.1-1.dsc | 4.1 KiB | 2f8aeb45c35122da8af5d0557abec7f478e06135c75c23d7fee4919696ead98d |
| agda_2.6.0.1.orig.tar.gz | 2.3 MiB | 7bb88a9cd4a556259907ccc71d54e2acc9d3e9ce05486ffdc83f721c7c06c0e8 |
| agda_2.6.0.1-1.debian.tar.xz | 9.8 KiB | eba46b44678cdfcf69e819dd40265677ea3fcc609418a98eefd4639796c82c25 |
Available diffs
No changes file available.
Binary packages built by this source
- agda: No summary available for agda in ubuntu eoan.
No description available for agda in ubuntu eoan.
- agda-bin: No summary available for agda-bin in ubuntu eoan.
No description available for agda-bin in ubuntu eoan.
- agda-mode: No summary available for agda-mode in ubuntu eoan.
No description available for agda-mode in ubuntu eoan.
- elpa-agda2-mode: No summary available for elpa-agda2-mode in ubuntu eoan.
No description available for elpa-agda2-mode in ubuntu eoan.
- libghc-agda-dev: No summary available for libghc-agda-dev in ubuntu eoan.
No description available for libghc-agda-dev in ubuntu eoan.
- libghc-agda-doc: No summary available for libghc-agda-doc in ubuntu eoan.
No description available for libghc-agda-doc in ubuntu eoan.
