v8.11-coqide-no : lp:~jgross-h/coq/+git/coq-packaging : Git : Code : Coq

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

Branch information

585c537... by Jason Gross on 2021-02-03: Don't use deprecated relation <
aff9280... by Jason Gross on 2020-03-13: Ensure that dev files for num are present
80fa8f0... by Jason Gross on 2020-03-04: It's libnum-ocaml, not ocaml-num
228d53f... by Jason Gross on 2020-03-03: Add num dependency
2c8e9b0... by Jason Gross on 2020-02-09: Update coq.install.in
221ccce... by Jason Gross on 2019-11-25: Remove camlp5 dep
f8d4579... by Jason Gross on 2019-11-25: Bump changelog number
2da481b... by Jason Gross on 2019-11-25: Bump to version 8.11
a4179c3... by Jason Gross on 2019-11-02: Also install .vos
fb7b003... by Jason Gross on 2019-10-21: Also install votour

»