nordic-dev.net/nixpkgs
nordic-dev.net/nixpkgs
2
0
Fork 0
mirror of https://github.com/NixOS/nixpkgs.git synced 2024-12-04 04:46:43 +00:00
Code Issues Packages Projects Releases Wiki Activity
4854f87b04
nixpkgs/pkgs/development/coq-modules/MenhirLib
History
damhiya 5a3fe0fa46 coqPackages.MenhirLib: init at 20240715
2024-08-20 14:58:36 +02:00
..
default.nix