- Committer: Package Import Robot
- Date: 2012-03-14 10:30:26 UTC
- mfrom: (2.1.6 sid)
- Revision ID: package-import@ubuntu.com-20120314103026-e1ggvw2d7ze4xaa7
* Relax agda dependency a bit to allow for minor releases
* Add the Debian Haskell Group as uploaders, by Iains suggestion
* Add the Debian Haskell Group as uploaders, by Iains suggestion
| Filename | Latest Rev | Last Changed | Committer | Comment | Size | ||
|---|---|---|---|---|---|---|---|
 .. |
|||||||
debian
|
2 | 14 years ago | Bazaar Package Importer | Initial release. (Closes: #522914) |
|
||
|
ffi
|
1.1.3 | 12 years ago | Package Import Robot | Import upstream version 0.6~darcs20111129t1640 |
|
||
|
README
|
1 | 14 years ago | Bazaar Package Importer | Import upstream version 0.3 |
|
||
|
src
|
1 | 14 years ago | Bazaar Package Importer | Import upstream version 0.3 |
|
||
.boring |
1.1.2 | 13 years ago | Bazaar Package Importer | Import upstream version 0.5 | 82 bytes |
|
|
|
AllNonAsciiChars.hs |
1.1.2 | 13 years ago | Bazaar Package Importer | Import upstream version 0.5 | 879 bytes |
|
|
|
Everything.agda |
1.1.4 | 12 years ago | Package Import Robot | Import upstream version 0.6 | 12 KB |
|
|
|
GenerateEverything.hs |
1.1.3 | 12 years ago | Package Import Robot | Import upstream version 0.6~darcs20111129t1640 | 2.8 KB |
|
|
|
GNUmakefile |
1.1.3 | 12 years ago | Package Import Robot | Import upstream version 0.6~darcs20111129t1640 | 239 bytes |
|
|
|
Header |
1.1.3 | 12 years ago | Package Import Robot | Import upstream version 0.6~darcs20111129t1640 | 302 bytes |
|
|
|
lib.cabal |
1.1.4 | 12 years ago | Package Import Robot | Import upstream version 0.6 | 518 bytes |
|
|
|
LICENCE |
1.1.4 | 12 years ago | Package Import Robot | Import upstream version 0.6 | 1.3 KB |
|
|
|
README.agda |
1.1.4 | 12 years ago | Package Import Robot | Import upstream version 0.6 | 10 KB |
|
|
|
release-notes |
1.1.4 | 12 years ago | Package Import Robot | Import upstream version 0.6 | 3.1 KB |
|
|
|
Setup.hs |
1.1.2 | 13 years ago | Bazaar Package Importer | Import upstream version 0.5 | 47 bytes |
|
|