gador/nixpkgs
1
0
Fork 0
Code Issues Pull Requests Packages Projects Releases Wiki Activity
Files
current
nixpkgs/pkgs/development/coq-modules/aac-tactics
T
History
Pierre Roux 24e6aa6736 rocq-core_9_3: init at 9.3+rc1
2026-07-23 14:26:19 +02:00
..
default.nix
rocq-core_9_3: init at 9.3+rc1
2026-07-23 14:26:19 +02:00