dev/nixpkgs
1
0
Fork 0
Code Issues Pull Requests Actions 2 Packages Projects Releases Wiki Activity
7294f7567a
nixpkgs/pkgs/development/coq-modules/mathcomp-analysis
History
Pierre Roux 46143dd712 Fix coqPackages.mathcomp-altreals dependencies
2024-10-29 16:52:43 +01:00
..
default.nix Fix coqPackages.mathcomp-altreals dependencies 2024-10-29 16:52:43 +01:00