summaryrefslogtreecommitdiff
path: root/debian/libcoq-ocaml.install.in
Commit message (Expand)AuthorAge
* Coq 8.6debian/8.6-1Gravatar Enrico Tassi2016-12-28
* Packaging 8.5beta1Gravatar Enrico Tassi2015-07-14
* Dp plugin has been droppedGravatar Stephane Glondu2012-06-05
* Fix typo (shame...)Gravatar Stephane Glondu2012-01-13
* Miscellaneous updatesGravatar Stephane Glondu2012-01-12
* Install plugins in (new) binary package libcoq-ocamlGravatar Stephane Glondu2010-07-21