dev/nixpkgs
1
0
Fork 0
Code Issues Pull Requests Actions 2 Packages Projects Releases Wiki Activity
9f14d15d8b
nixpkgs/pkgs/development/coq-modules/rewriter
History
Pierre Roux 8ffc337b21 coqPackages.rewriter: init at 0.0.11
2024-08-28 14:39:54 +02:00
..
default.nix