- Committer: Package Import Robot
- Date: 2012-01-23 10:50:43 UTC
- Revision ID: package-import@ubuntu.com-20120123105043-ox1plcaonxvw1qmh
No-changes rebuild against current libghc-agda-dev.
| Filename | Latest Rev | Last Changed | Committer | Comment | Size | ||
|---|---|---|---|---|---|---|---|
 .. |
|||||||
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 |
12.1.3 | 12 years ago | Package Import Robot | * [c0e4746] Imported Upstream version 2.3.0. New/c | 14.4 KB |
|
|
|
LICENSE |
1.2.1 | 13 years ago | Bazaar Package Importer | Import upstream version 2.2.10 | 2.8 KB |
|
|
|
README |
1.2.2 | 12 years ago | Package Import Robot | Import upstream version 2.3.0 | 10.7 KB |
|
|
|
Setup.hs |
1.1.2 | 13 years ago | Bazaar Package Importer | Import upstream version 2.2.8 | 513 bytes |
|
|