- 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 | ||
|---|---|---|---|---|---|---|---|
 ..
|
|||||||
agda-mode
|
1 | 14 years ago | Bazaar Package Importer | Import upstream version 2.2.4+dfsg |
|
||
|
data
|
1 | 14 years ago | Bazaar Package Importer | Import upstream version 2.2.4+dfsg |
|
||
|
full
|
1 | 14 years ago | Bazaar Package Importer | Import upstream version 2.2.4+dfsg |
|
||
|
main
|
1.1.3 | 11 years ago | Package Import Robot | Import upstream version 2.3.2 |
|
||