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

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

Branch information

d716cdc... by Jason Gross on 2021-02-03: Disable coqide
bfdf06a... by Jason Gross on 2021-02-03: Require num on newer OCaml
c456902... by Jason Gross on 2016-12-15: arch-specific coq-theories
66d3b03... by Jason Gross on 2016-12-09: Remove DYN
aaeb18d... by Jason Gross on 2016-12-08: Add cmxs to lobcoq-ocaml
cb00b1d... by Jason Gross on 2016-11-17: Remove cat from rules
0b56fc5... by Jason Gross on 2016-11-17: Add usr/share/coq/coq-ssreflect.lang
88bab36... by Jason Gross on 2016-11-04: Fix regex for debian/rules
8353ecc... by Jason G on 2016-10-30: cat for debugging purposes
7579bf8... by Jason Gross on 2016-08-16: Don't check COQ_VERSION for the tip of v8.5

»