Vincent Laporte
|
ffd47a047d
|
coqPackages.relation-algebra: init at 1.7.9 for Coq 8.17
|
2023-06-07 11:51:39 +02:00 |
|
Shawn8901
|
4dcb03a5c3
|
treewide: remove global with lib; statements in pkgs/coq-modules
|
2023-01-21 23:19:48 +01:00 |
|
Vincent Laporte
|
5b8ac1bbdc
|
coqPackages.relation-algebra: init at 1.7.8 for Coq 8.16
|
2022-10-13 21:53:46 +02:00 |
|
Vincent Laporte
|
bee11786f6
|
coqPackages.relation-algebra: 1.7.6, 1.7.7
|
2022-04-04 11:24:27 +02:00 |
|
Théo Zimmermann
|
3437b543fd
|
coq_8_14: init at 8.14+rc1
|
2021-10-13 10:44:09 +02:00 |
|
Ben Siraphob
|
8ff27c0c09
|
coqPackages.relation-algebra: init
|
2021-05-17 10:17:18 +02:00 |
|