diff options
| author |  Samuel Mimram <smimram@debian.org> | 2008-07-25 15:18:20 +0200 |
|---|---|---|
| committer | Samuel Mimram <smimram@debian.org> | 2008-07-25 15:19:09 +0200 |
| commit | d5e0af8d900a4556ea1f043a9c350ee1dc6be0cf (patch) | |
| tree | 5cdc7333ca9e39eb63da829b32b0e44345a87d29 /debian/coq-libs.install | |
| parent | d18b6226c9ecdb0ebbef6d29fb9f0c09ba78a5fa (diff) | |
New upstream release.
Diffstat (limited to 'debian/coq-libs.install')
0 files changed, 0 insertions, 0 deletions