Pierre Roux
|
523c093518
|
coqPackages_8_19.mathcomp-algebra-tactics
|
2024-01-26 19:35:30 +01:00 |
|
Pierre Roux
|
49e703cde2
|
Add Coqeal 2.0.1 and algebra-tactics 1.2.3
|
2024-01-19 10:46:00 +01:00 |
|
Pierre Roux
|
fc9f61fa96
|
Add various mathcomp 2.1 versions
|
2023-10-31 08:17:03 +01:00 |
|
Vincent Laporte
|
02643fe422
|
coq_8_18: init at 8.18+rc1
|
2023-09-04 10:02:59 +02:00 |
|
Pierre Roux
|
6302147d48
|
coqPackages.mathcomp-algebra-tactics 1.0.0 -> 1.1.1
|
2023-04-13 14:21:59 +02:00 |
|
Shawn8901
|
4dcb03a5c3
|
treewide: remove global with lib; statements in pkgs/coq-modules
|
2023-01-21 23:19:48 +01:00 |
|
Cyril Cohen
|
e31777a12c
|
coqPackages.mathcomp-algebra-tactics: init at 1.0.0
|
2022-11-24 20:41:35 +01:00 |
|