agda 2.6.0.1-1 source package in Debian
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 |
|---|
Builds
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.
