diff options
author | 2005-03-25 12:37:44 +0000 | |
---|---|---|
committer | 2005-03-25 12:37:44 +0000 | |
commit | 14231a6b9f78637e23885e9854254b84259c1149 (patch) | |
tree | 3d80027bb57196f2672393bc6eb11274deae9fad /debian/coq.install | |
parent | 3b182903454caa27cd34fc38c594970a800dc9a1 (diff) |
Updated to OCaml 3.08.3 + small fixes.
Diffstat (limited to 'debian/coq.install')
0 files changed, 0 insertions, 0 deletions