agda 2.3.2-1 source package in Ubuntu
Changelog
agda (2.3.2-1) experimental; urgency=low
[ Kiwamu Okabe ]
* New patch: Extend haskell-src-exts dependency and fix type miss.
[ Iain Lane ]
* [dfbca48] Imported Upstream version 2.3.2
* [7746bcc] Remove all patches — all upstream.
* [2cdb691] Update build-deps to match control file
* [868ebf4] agda-mode no longer depends on haskell-mode or GHCi.
Remove dependency and update .el file accordingly
* [9e0ba22] Add agda-bin package here, as the separate package has been
removed
* [75a240f] agda-mode needs to depend on agda-bin
* [d290f95] Allow Quickcheck up to 2.7. Fix haskeline build-dep.
* [79190e6] Add missing geniplate and parallel BDs
-- Iain Lane <email address hidden> Wed, 10 Apr 2013 11:46:43 +0100
Upload details
- Uploaded by:
- Debian Haskell Group
- Uploaded to:
- Experimental
- Original maintainer:
- Debian Haskell Group
- Architectures:
- any all
- Section:
- haskell
- Urgency:
- Low Urgency
See full publishing history Publishing
| Series | Published | Component | Section |
|---|
Downloads
| File | Size | SHA-256 Checksum |
|---|---|---|
| agda_2.3.2-1.dsc | 3.3 KiB | dc26ebcf29fd2255dbea4582dce89075365340aace5ce5af9491ab4794b0cbaa |
| agda_2.3.2.orig.tar.gz | 709.4 KiB | d47a0b2a0806ea5c109b59280211a47b980b47a8f6ac0ab9fca673f3d4c6e0f6 |
| agda_2.3.2-1.debian.tar.gz | 7.1 KiB | e637ce792cf71c2e11b3c1ff37e9561ac40bd07bc7a1be895cd99618f06f1118 |
Available diffs
- diff from 2.3.0.1-2build1 (in Ubuntu) to 2.3.2-1 (479.5 KiB)
No changes file available.
Binary packages built by this source
- agda: No summary available for agda in ubuntu raring.
No description available for agda in ubuntu raring.
- agda-bin: No summary available for agda-bin in ubuntu raring.
No description available for agda-bin in ubuntu raring.
- agda-mode: No summary available for agda-mode in ubuntu raring.
No description available for agda-mode in ubuntu raring.
- libghc-agda-dev: No summary available for libghc-agda-dev in ubuntu raring.
No description available for libghc-agda-dev in ubuntu raring.
- libghc-agda-doc: No summary available for libghc-agda-doc in ubuntu raring.
No description available for libghc-agda-doc in ubuntu raring.
