~jgross-h/coq/+git/coq:v8.12
Last commit made on
2022-06-23
- Get this branch:
-
git clone
-b v8.12
https://git.launchpad.net/~jgross-h/coq/+git/coq
Branch merges
Branch information
- Name:
- v8.12
- Repository:
- lp:~jgross-h/coq/+git/coq
Recent commits
- 25fcbe6... by Jason Gross
- 9b4e18a... by =?utf-8?q?Ga=C3=ABtan_Gilbert?= <email address hidden>
- e64a5ad... by =?utf-8?q?Th=C3=A9o_Zimmermann?= <email address hidden>
- fb22a68... by =?utf-8?q?Th=C3=A9o_Zimmermann?= <email address hidden>
- ea9af74... by =?utf-8?q?Th=C3=A9o_Zimmermann?= <email address hidden>
- eabaf95... by =?utf-8?q?Th=C3=A9o_Zimmermann?= <email address hidden>
- 279e320... by Hugo Herbelin <email address hidden>
- eb6c0e9... by =?utf-8?q?Th=C3=A9o_Zimmermann?= <email address hidden>
- 831c47d... by Cyril Cohen <email address hidden>
- ef1f5bb... by =?utf-8?q?Th=C3=A9o_Zimmermann?= <email address hidden>