UbuntuUpdates.org

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

All versions of this package
Bug fixes

List of files in package
Repository home page

Download "agda"

All arch deb package
APT INSTALL

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
    due to an archive administration accident.

 -- 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
663048 src:agda: FTBFS with ghc 7.4 due to versioned dependencies in configure - Debian Bug report logs

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


About   -   Send Feedback to @ubuntu_updates