dev/nixpkgs
1
0
Fork 0
Code Issues Pull Requests Actions 2 Packages Projects Releases Wiki Activity
ff346a442d
nixpkgs/pkgs/development/coq-modules/mathcomp-analysis
History
Pierre Roux 4610844682 Split coqPackages.mathcomp-analysis 
In preparation of https://github.com/math-comp/analysis/pull/600
2022-09-26 09:46:37 +02:00
..
default.nix Split coqPackages.mathcomp-analysis 2022-09-26 09:46:37 +02:00