diff options
| author |  Stephane Glondu <steph@glondu.net> | 2012-01-12 18:53:24 +0100 |
|---|---|---|
| committer | Stephane Glondu <steph@glondu.net> | 2012-01-12 19:32:36 +0100 |
| commit | 740160e590c78840860ee145a0260952507992dc (patch) | |
| tree | a8a311fba0ec92f45e3940d2268fdf6f94857f42 /debian/libcoq-ocaml.install.in | |
| parent | 4ac272f0121ba8f3ab48a18c8225b44b03bba4f7 (diff) | |
Prepare upload to experimentaldebian/8.4_beta+dfsg-1
Diffstat (limited to 'debian/libcoq-ocaml.install.in')
0 files changed, 0 insertions, 0 deletions