diff options
| author |  Benjamin Barenblat <bbaren@debian.org> | 2019-02-03 16:11:21 -0500 |
|---|---|---|
| committer | Benjamin Barenblat <bbaren@debian.org> | 2019-02-05 11:48:31 -0500 |
| commit | 0ab72da9b348f55d69def8e4a38bef6eefb9f14e (patch) | |
| tree | fa3538bc5d57e3c15522968dda05c327fc0a8cd4 /debian/coq.install.in | |
| parent | 323afa78587cbac774a6f2e47dea5544fb88b686 (diff) | |
Update libcoq-ocaml{,-dev} install list
Diffstat (limited to 'debian/coq.install.in')
0 files changed, 0 insertions, 0 deletions