nordic-dev.net/nixpkgs
nordic-dev.net/nixpkgs
2
0
Fork 0
mirror of https://github.com/NixOS/nixpkgs.git synced 2025-01-01 10:34:16 +00:00
Code Issues Packages Projects Releases Wiki Activity
66ea353e1c
nixpkgs/pkgs/development/coq-modules/coqutil
History
StepBroBD 6d685d6728
coqPackages.coqutil: init at {0.0.5,0.0.6} (#349174)
2024-10-17 11:08:52 +02:00
..
default.nix