nordic-dev.net/nixpkgs
nordic-dev.net/nixpkgs
2
0
Fork 0
mirror of https://github.com/NixOS/nixpkgs.git synced 2025-02-03 10:44:18 +00:00
Code Issues Packages Projects Releases Wiki Activity
e650e23dd8
nixpkgs/pkgs/development/coq-modules/mathcomp-analysis
History
Philip Taron e8955041c3
coqPackages.mathcomp-analysis: avoid top-level with ...;
2024-06-25 09:04:57 -07:00
..
default.nix coqPackages.mathcomp-analysis: avoid top-level with ...; 2024-06-25 09:04:57 -07:00