- 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 | ||
|---|---|---|---|---|---|---|---|
 ..
|
|||||||
patches
|
4.1.13 | 12 years ago | Package Import Robot | New patch: Extend mtl dependency |
|
||
|
source
|
4.1.7 | 13 years ago | Bazaar Package Importer | * [60c4b8a] Imported Upstream version 2.2.10 * [81 |
|
||
50agda.el |
9 | 11 years ago | Package Import Robot | [ Kiwamu Okabe ] * New patch: Extend haskell-src-e | 366 bytes |
|
|
|
agda-bin.install |
9 | 11 years ago | Package Import Robot | [ Kiwamu Okabe ] * New patch: Extend haskell-src-e | 33 bytes |
|
|
|
agda-mode.install |
4.2.1 | 13 years ago | Bazaar Package Importer | * [60c4b8a] Imported Upstream version 2.2.10 * [81 | 131 bytes |
|
|
|
changelog |
9 | 11 years ago | Package Import Robot | [ Kiwamu Okabe ] * New patch: Extend haskell-src-e | 7.5 KB |
|
|
|
clean |
4.2.1 | 13 years ago | Bazaar Package Importer | * [60c4b8a] Imported Upstream version 2.2.10 * [81 | 79 bytes |
|
|
|
compat |
2 | 14 years ago | Bazaar Package Importer | * New upstream release 2.2.4. * Repacked to fix a | 2 bytes |
|
|
|
control |
9 | 11 years ago | Package Import Robot | [ Kiwamu Okabe ] * New patch: Extend haskell-src-e | 8.1 KB |
|
|
|
copyright |
4.2.1 | 13 years ago | Bazaar Package Importer | * [60c4b8a] Imported Upstream version 2.2.10 * [81 | 3.3 KB |
|
|
|
libghc-agda-dev.install |
4.2.1 | 13 years ago | Bazaar Package Importer | * [60c4b8a] Imported Upstream version 2.2.10 * [81 | 82 bytes |
|
|
rules |
4.2.1 | 13 years ago | Bazaar Package Importer | * [60c4b8a] Imported Upstream version 2.2.10 * [81 | 233 bytes |
|
|
|
watch |
5 | 14 years ago | Bazaar Package Importer | [ Iain Lane ] * debian/rules, debian/watcher.sh: A | 212 bytes |
|
|