agda 2.2.10-4 source package in Debian
Changelog
agda (2.2.10-4) unstable; urgency=low
* [16d953e] Remove old left-around patches
* [af671fe] Explicitly add haskell-mode directory to load path.
Thanks to Joey Capper for discovering the bug.
* [6fa096d] Update to use my d.o email address
* [f228ca0] Add an alexGetByte function for alex-3.0 compatibility
-- Iain Lane <email address hidden> Sat, 03 Sep 2011 23:11:17 +0100
Upload details
- Uploaded by:
- Debian Haskell Group
- Uploaded to:
- Sid
- Original maintainer:
- Debian Haskell Group
- Architectures:
- any
- Section:
- haskell
- Urgency:
- Low Urgency
See full publishing history Publishing
| Series | Published | Component | Section |
|---|
Builds
Downloads
| File | Size | SHA-256 Checksum |
|---|---|---|
| agda_2.2.10-4.dsc | 3.0 KiB | f4e12b587a240053f138d893cd87c0e53c778ff6693908e41e56e49e9035950c |
| agda_2.2.10.orig.tar.gz | 505.6 KiB | 5cd3b69a744b86b74344b790350d8a6f2b62f206f5a53a9cfad22cc3ca3309ae |
| agda_2.2.10-4.debian.tar.gz | 7.9 KiB | 767c6f1c8a31710d328309638698b1f9d789d8e9f389dd604a07878324a72214 |
No changes file available.
