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

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

Branch information

091b7f3... by Jason Gross on 2021-02-03: Don't use deprecated relation <
8c5b16c... by Jason Gross on 2020-03-13: Ensure that dev files for num are present
90ecb0a... by Jason Gross on 2020-03-04: It's libnum-ocaml, not ocaml-num
c036e1f... by Jason Gross on 2020-03-03: Add num dependency
7b0144f... by Jason Gross on 2019-09-05: Install new coqide files
810bdb8... by Jason Gross on 2019-04-15: Update numbering
b93b33a... by Jason Gross on 2019-03-21: Update to new coqide
4d16363... by Jason Gross on 2018-10-09: Install revision
e2a2913... by Jason Gross on 2018-10-03: Bump ocaml dependency for master branch
0c47f1c... by Jason Gross on 2018-09-11: Update deps from Coq's configure

»