gador/nixpkgs
1
0
Fork 0
Code Issues Pull Requests Packages Projects Releases Wiki Activity
Files
current
nixpkgs/pkgs/development/coq-modules/coq-hammer
T
History
Vincent Laporte 1884161831 coqPackages.coq-hammer: 1.3.2 → 1.3.3
2026-07-13 11:12:02 +02:00
..
default.nix
…
tactics.nix
coqPackages.coq-hammer: 1.3.2 → 1.3.3
2026-07-13 11:12:02 +02:00