- 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 | ||
|---|---|---|---|---|---|---|---|
 ..
|
|||||||
Container
|
1.1.6 | 9 years ago | Package Import Robot | Import upstream version 0.8 |
|
||
AVL.agda |
1.1.6 | 9 years ago | Package Import Robot | Import upstream version 0.8 | 3.1 KB |
|
|
|
Case.agda |
1.1.3 | 12 years ago | Package Import Robot | Import upstream version 0.6~darcs20111129t1640 | 939 bytes |
|
|
|
Integer.agda |
1.1.4 | 12 years ago | Package Import Robot | Import upstream version 0.6 | 1.9 KB |
|
|
|
Nat.agda |
1.1.4 | 12 years ago | Package Import Robot | Import upstream version 0.6 | 1.6 KB |
|
|
|
Record.agda |
1.1.3 | 12 years ago | Package Import Robot | Import upstream version 0.6~darcs20111129t1640 | 1.2 KB |
|
|