Package "agda-mode"
Name: | agda-mode |
Description: |
dependently typed functional programming language — emacs mode |
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 "agda-mode"
Other versions of "agda-mode" in Precise
No other version of this package is available in the Precise release.Changelog
Version: 2.3.0-1build1 | 2012-01-04 02:03:34 UTC |
---|---|
agda (2.3.0-1build1) precise; urgency=low * No-change rebuild for GHC ABIs -- Iain Lane Wed, 04 Jan 2012 00:27:08 +0000 |
|
Source diff to previous version |
Version: 2.3.0-1 | 2011-12-18 16:05:00 UTC |
---|---|
agda (2.3.0-1) unstable; urgency=low * [c0e4746] Imported Upstream version 2.3.0. New/changed features include:
-- Iain Lane Wed, 23 Nov 2011 10:12:59 +0000 |
Version: *DELETED* | 2011-12-18 14:04:17 UTC |
---|---|
No changelog for deleted or moved packages. |