- Committer: Package Import Robot
- Date: 2015-05-20 12:33:35 UTC
- mfrom: (1.1.7)
- Revision ID: package-import@ubuntu.com-20150520123335-glif8evqqkc7uknn
* [b306254] Imported Upstream version 0.9
* [bb746af] Bump BDs and deps to ≥ 2.4.2.2
* [bb746af] Bump BDs and deps to ≥ 2.4.2.2
| Filename | Latest Rev | Last Changed | Committer | Comment | Size | ||
|---|---|---|---|---|---|---|---|
 ..
|
|||||||
Data
|
1.1.3 | 12 years ago | Package Import Robot | Import upstream version 0.6~darcs20111129t1640 |
|
||
|
IO
|
1.1.3 | 12 years ago | Package Import Robot | Import upstream version 0.6~darcs20111129t1640 |
|
||
agda-lib-ffi.cabal |
1.1.6 | 9 years ago | Package Import Robot | Import upstream version 0.8 | 284 bytes |
|
|
|
Setup.hs |
1.1.3 | 12 years ago | Package Import Robot | Import upstream version 0.6~darcs20111129t1640 | 47 bytes |
|
|