~jgross-h/coq/+git/coq:v8.15
Last commit made on
2022-06-27
- Get this branch:
-
git clone
-b v8.15
https://git.launchpad.net/~jgross-h/coq/+git/coq
Branch merges
Branch information
- Name:
- v8.15
- Repository:
- lp:~jgross-h/coq/+git/coq
Recent commits
- a0a9a52... by =?utf-8?q?Ga=C3=ABtan_Gilbert?= <email address hidden>
- b6dabba... by =?utf-8?q?Ga=C3=ABtan_Gilbert?= <email address hidden>
- 4341b63... by =?utf-8?q?Ga=C3=ABtan_Gilbert?= <email address hidden>
- 4ae242a... by =?utf-8?q?Ga=C3=ABtan_Gilbert?= <email address hidden>
- d59a7dc... by =?utf-8?q?Ga=C3=ABtan_Gilbert?= <email address hidden>
- 70765ee... by =?utf-8?q?Ga=C3=ABtan_Gilbert?= <email address hidden>
- 9892c66... by =?utf-8?q?Ga=C3=ABtan_Gilbert?= <email address hidden>
- 1d42f81... by Ali
- 682b9d5... by =?utf-8?q?Ga=C3=ABtan_Gilbert?= <email address hidden>
- 6f0e8b8... by =?utf-8?q?Pierre-Marie_P=C3=A9drot?= <email address hidden>