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

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

Branch information

2e3c305... by Jason Gross on 2021-02-03: Require num on newer OCaml
6553671... by Jason Gross on 2019-04-15: Update numbering
ac5bed8... by Jason Gross on 2018-09-10: Bump version to 8.9
6ad75df... by Jason Gross on 2018-07-12: Remove emacsen stuff
569fa81... by Jason Gross on 2018-07-12: Add coqpp
5b1f114... by Jason Gross on 2018-07-10: Remove no-longer-included emacs mode
3de3603... by Jason Gross on 2018-07-10: Remove install of gallina tool, which n o longer exists
510d4ed... by Jason Gross on 2018-07-09: Remove -emacslib after change in Coq
9ab6867... by Jason Gross on 2018-06-01: Add new binary files
7531238... by Jason Gross on 2018-01-14: Update lablgtk2 dep to match coq

»