- Committer: Package Import Robot
- Date: 2013-04-10 11:46:43 UTC
- mfrom: (1.1.3) (4.1.13 sid)
- Revision ID: package-import@ubuntu.com-20130410114643-dsc1mxq6upusqvny
[ 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
* 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
| Filename | Latest Rev | Last Changed | Committer | Comment | Size | ||
|---|---|---|---|---|---|---|---|
 .. |
|||||||
.pc
|
4.1.13 | 11 years ago | Package Import Robot | New patch: Extend mtl dependency |
|
||
|
debian
|
2 | 14 years ago | Bazaar Package Importer | * New upstream release 2.2.4. * Repacked to fix a |
|
||
|
dist
|
1 | 14 years ago | Bazaar Package Importer | Import upstream version 2.2.4+dfsg |
|
||
|
doc
|
1 | 14 years ago | Bazaar Package Importer | Import upstream version 2.2.4+dfsg |
|
||
|
src
|
1 | 14 years ago | Bazaar Package Importer | Import upstream version 2.2.4+dfsg |
|
||
Agda.cabal |
9 | 11 years ago | Package Import Robot | [ Kiwamu Okabe ] * New patch: Extend haskell-src-e | 15.7 KB |
|
|
|
LICENSE |
1.1.3 | 11 years ago | Package Import Robot | Import upstream version 2.3.2 | 2.8 KB |
|
|
|
README |
1.1.3 | 11 years ago | Package Import Robot | Import upstream version 2.3.2 | 11.1 KB |
|
|
|
Setup.hs |
1.1.2 | 13 years ago | Bazaar Package Importer | Import upstream version 2.2.8 | 513 bytes |
|
|