UbuntuUpdates.org

Package "libghc-agda-dev"

Name: libghc-agda-dev

Description:

dependently typed functional programming language - development libraries
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

All versions of this package
Bug fixes

List of files in package
Repository home page

Download "libghc-agda-dev"

32-bit deb package
64-bit deb package
APT INSTALL

Other versions of "libghc-agda-dev" 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
    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