Coq

~jgross-h/coq/+git/coq-packaging:v8.11

Last commit made on 2021-02-03

Get this branch:: git clone -b v8.11 https://git.launchpad.net/~jgross-h/coq/+git/coq-packaging

f571a30... by Jason Gross on 2021-02-03: Don't use deprecated relation <
70d0b12... by Jason Gross on 2020-03-13: Ensure that dev files for num are present
01572e6... by Jason Gross on 2020-03-04: It's libnum-ocaml, not ocaml-num
1f2d557... by Jason Gross on 2020-03-03: Add num dependency
3699e9b... by Jason Gross on 2020-02-09: Update coq.install.in
97f1a68... by Jason Gross on 2019-11-25: Remove camlp5 dep
19068d1... by Jason Gross on 2019-11-25: Bump changelog number
e448dab... by Jason Gross on 2019-11-02: Also install .vos
5b4a4c4... by Jason Gross on 2019-10-21: Also install votour
4e643a0... by Jason Gross on 2019-09-05: Install new coqide files