agda 2.3.0-1 source package in Debian
Changelog
agda (2.3.0-1) unstable; urgency=low
* [c0e4746] Imported Upstream version 2.3.0. New/changed features include:
+ New more liberal syntax for mutually recursive definitions
+ Pattern matching on lambdas
+ New syntax for updating (some fields of) records
+ Universe polymorphism is now enabled by default
+ New type of hidden function argument: instance arguments
+ Dependent irrelevant function types and records with irrelevant fields
+ See http://wiki.portal.chalmers.se/agda/pmwiki.php?n=Main.Version-2-3-0
for a full list
* [369ed3a] Update BDs in line with cabal requirements in new upstream
* [3798aee] Remove all patches. They are all now upstream.
-- Iain Lane <email address hidden> Wed, 23 Nov 2011 10:12:59 +0000
Upload details
- Uploaded by:
- Debian Haskell Group
- Uploaded to:
- Sid
- Original maintainer:
- Debian Haskell Group
- Architectures:
- any all
- Section:
- haskell
- Urgency:
- Low Urgency
See full publishing history Publishing
| Series | Published | Component | Section |
|---|
Builds
Downloads
| File | Size | SHA-256 Checksum |
|---|---|---|
| agda_2.3.0-1.dsc | 3.4 KiB | dd04af897bd294ec2ce495245a59233a0dbdd206b3fb69a6250e76c229ef7ec0 |
| agda_2.3.0.orig.tar.gz | 593.8 KiB | 608e130bd33a1c14ea544b46bfb55c0c8e31ab43952572df38df90d086e30cdc |
| agda_2.3.0-1.debian.tar.gz | 6.4 KiB | b6cd9cf587ec05f0d679af6e48eef517a6d5e6102f8fa6ac1b4d54ef644695e2 |
Available diffs
- diff from 2.2.10-4build1 (in Ubuntu) to 2.3.0-1 (385.6 KiB)
No changes file available.
