Cyril Cohen
|
9ffd16b385
|
coqPackages: refactor
|
2021-01-09 11:56:17 +01:00 |
|
Vincent Laporte
|
b3beb74d7c
|
coqPackages.gappalib: 1.4.3 → 1.4.4
|
2020-08-30 07:26:32 +02:00 |
|
Vincent Laporte
|
95b35a2514
|
coqPackages.gappalib: 1.4.1 → 1.4.3
|
2020-04-29 06:56:14 +02:00 |
|
Michael Reilly
|
84cf00f980
|
treewide: Per RFC45, remove all unquoted URLs
|
2020-04-10 17:54:53 +01:00 |
|
Vincent Laporte
|
5f78fa399d
|
coqPackages.gappalib: disable for Coq 8.10
|
2019-06-27 13:59:02 +00:00 |
|
Vincent Laporte
|
37eef9055a
|
coqPackages.gappalib: init at 1.4.1
This is the Coq support library for Gappa.
|
2019-06-19 09:24:34 +00:00 |
|