Ubuntu
agda package

Branches for Raring

Name		Status	Last Modified	Last Commit
lp:ubuntu/raring/agda		2 Mature	2013-04-10 11:46:43 UTC 2013-04-10	26. [ Kiwamu Okabe ] * New patch: Extend ... Author: Iain Lane Revision Date: 2013-04-10 11:46:43 UTC [ Kiwamu Okabe ] * New patch: Extend haskell-src-exts dependency and fix type miss. [ Iain Lane ] * [dfbca48] Imported Upstream version 2.3.2 * [7746bcc] Remove all patches — all upstream. * [2cdb691] Update build-deps to match control file * [868ebf4] agda-mode no longer depends on haskell-mode or GHCi. Remove dependency and update .el file accordingly * [9e0ba22] Add agda-bin package here, as the separate package has been removed * [75a240f] agda-mode needs to depend on agda-bin * [d290f95] Allow Quickcheck up to 2.7. Fix haskeline build-dep. * [79190e6] Add missing geniplate and parallel BDs
lp:ubuntu/raring-proposed/agda		1 Development	2013-04-10 20:01:12 UTC 2013-04-10	9. [ Kiwamu Okabe ] * New patch: Extend ... Author: Iain Lane Revision Date: 2013-04-10 11:46:43 UTC [ Kiwamu Okabe ] * New patch: Extend haskell-src-exts dependency and fix type miss. [ Iain Lane ] * [dfbca48] Imported Upstream version 2.3.2 * [7746bcc] Remove all patches — all upstream. * [2cdb691] Update build-deps to match control file * [868ebf4] agda-mode no longer depends on haskell-mode or GHCi. Remove dependency and update .el file accordingly * [9e0ba22] Add agda-bin package here, as the separate package has been removed * [75a240f] agda-mode needs to depend on agda-bin * [d290f95] Allow Quickcheck up to 2.7. Fix haskeline build-dep. * [79190e6] Add missing geniplate and parallel BDs