diff options
| author |  Samuel Mimram <smimram@debian.org> | 2008-01-05 09:18:30 +0000 |
|---|---|---|
| committer | Samuel Mimram <smimram@debian.org> | 2008-01-05 09:18:30 +0000 |
| commit | 4892a9c7ae62f552fa42701788b2bd08a7f3bc08 (patch) | |
| tree | 97bbeb9b7a3e29e7f6e7d62a0fe61e78ae5b64a4 /debian/libcoq-ocaml.install.in | |
| parent | 749b50f73ab620e8e35c8374269ede81e1d4c567 (diff) | |
Uploading.debian/8.1.pl3+dfsg-1
Diffstat (limited to 'debian/libcoq-ocaml.install.in')
0 files changed, 0 insertions, 0 deletions