aac-tactics
|
coqPackages.aac-tactics: 8.19.0 → 8.19.1
|
2024-06-04 16:22:00 +02:00 |
coqide
|
treewide: wrapGAppsHook → wrapGAppsHook3
|
2024-04-27 02:23:22 +02:00 |
graph-theory
|
coqPackages.graph-theory: 0.9.3 → 0.9.4
|
2024-05-24 06:09:40 +02:00 |
ssprove
|
coqPackages.ssprove: init at 0.2.0 (#306981)
|
2024-05-03 11:32:09 +02:00 |