- Committer: Package Import Robot
- Date: 2014-01-18 11:46:03 UTC
- mfrom: (1.1.14) (12.1.11 sid)
- Revision ID: package-import@ubuntu.com-20140118114603-a0ea7952a52afdav
Repackage upstream tarball to remove non-free W3C icons
(Closes: #735341)
(Closes: #735341)
| Filename | Latest Rev | Last Changed | Committer | Comment | Size | ||
|---|---|---|---|---|---|---|---|
 ..
|
|||||||
.cvsignore |
12.1.1 | 14 years ago | Package Import Robot | * New upstream release: - remove Add-partial-OCa | 48 bytes |
|
|
|
.depend |
1.2.6 | 13 years ago | Package Import Robot | Import upstream version 6.02.1 | 170 bytes |
|
|
|
Makefile |
1.2.9 | 12 years ago | Package Import Robot | Import upstream version 6.04 | 1.4 KB |
|
|
|
odyl.ml |
20 | 12 years ago | Package Import Robot | New upstream release | 1.1 KB |
|
|
|
odyl_main.ml |
20 | 12 years ago | Package Import Robot | New upstream release | 1.8 KB |
|
|
|
odyl_main.mli |
1.2.6 | 13 years ago | Package Import Robot | Import upstream version 6.02.1 | 330 bytes |
|
|