- Committer: Package Import Robot
- Date: 2013-04-10 10:30:20 UTC
- mfrom: (2.1.7 experimental)
- Revision ID: package-import@ubuntu.com-20130410103020-bcspfz3whyy5iafu
* [6d52289] Imported Upstream version 0.7
* [54104d0] Update Depends and Build-Depends for this version, compatible
with Agda 2.3.2
* [b3ddce4] No need for the .install file to be executable (thanks lintian)
* [a9a6cb7] Standards-Version → 3.9.4, no changes required
* [54104d0] Update Depends and Build-Depends for this version, compatible
with Agda 2.3.2
* [b3ddce4] No need for the .install file to be executable (thanks lintian)
* [a9a6cb7] Standards-Version → 3.9.4, no changes required
| Filename | Latest Rev | Last Changed | Committer | Comment | Size | ||
|---|---|---|---|---|---|---|---|
 .. |
|||||||
.pc
|
2.1.7 | 11 years ago | Package Import Robot | * [6d52289] Imported Upstream version 0.7 * [54104 |
|
||
|
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.5 | 11 years ago | Package Import Robot | Import upstream version 0.7 | 12.4 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.5 | 11 years ago | Package Import Robot | Import upstream version 0.7 | 522 bytes |
|
|
|
LICENCE |
1.1.5 | 11 years ago | Package Import Robot | Import upstream version 0.7 | 1.4 KB |
|
|
|
README.agda |
1.1.5 | 11 years ago | Package Import Robot | Import upstream version 0.7 | 10.2 KB |
|
|
|
release-notes |
1.1.5 | 11 years ago | Package Import Robot | Import upstream version 0.7 | 3.8 KB |
|
|
|
Setup.hs |
1.1.2 | 13 years ago | Bazaar Package Importer | Import upstream version 0.5 | 47 bytes |
|
|