Package "agda"
Name: | agda |
Description: |
dependently typed functional programming language |
Latest version: | 2.3.0.1-1build2 |
Release: | precise (12.04) |
Level: | base |
Repository: | universe |
Homepage: | http://wiki.portal.chalmers.se/agda/ |
Links
Download "agda"
Other versions of "agda" in Precise
No other version of this package is available in the Precise release.Packages in group
Deleted packages are displayed in grey.
Changelog
Version: 2.3.0.1-1build2 | 2012-04-21 18:06:59 UTC |
---|---|
agda (2.3.0.1-1build2) precise; urgency=low * No change rebuild for haskell-hashtables -- Iain Lane Sat, 21 Apr 2012 17:18:26 +0100 |
|
Source diff to previous version |
Version: 2.3.0.1-1build1 | 2012-04-11 07:07:06 UTC |
---|---|
agda (2.3.0.1-1build1) precise; urgency=low * No-change rebuild to restore Architecture: all packages on powerpc, lost
-- Colin Watson Wed, 11 Apr 2012 00:40:57 +0100 |
|
Source diff to previous version |
Version: 2.3.0.1-1 | 2012-03-18 13:06:53 UTC | ||
---|---|---|---|
agda (2.3.0.1-1) unstable; urgency=low * New upstream release, GHC-7.4.1 compatible (Closes: #663048) -- Joachim Breitner Mon, 12 Mar 2012 14:12:34 +0100 |
|||
|
Version: *DELETED* | 2012-03-06 10:06:53 UTC |
---|---|
No changelog for deleted or moved packages. |
Version: 2.3.0-1build2 | 2012-01-23 11:05:39 UTC |
---|---|
agda (2.3.0-1build2) precise; urgency=low * No-changes rebuild against current libghc-agda-dev. -- Leo Iannacone Mon, 23 Jan 2012 10:50:43 +0100 |