Package "libghc-agda-doc"
Name: | libghc-agda-doc |
Description: |
dependently typed functional programming language - documentation |
Latest version: | 2.3.0.1-1build2 |
Release: | precise (12.04) |
Level: | base |
Repository: | universe |
Head package: | agda |
Homepage: | http://wiki.portal.chalmers.se/agda/ |
Links
Download "libghc-agda-doc"
Other versions of "libghc-agda-doc" in Precise
No other version of this package is available in the Precise release.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 |