nordic-dev.net/nixpkgs
nordic-dev.net/nixpkgs
2
0
Fork 0
mirror of https://github.com/NixOS/nixpkgs.git synced 2024-12-24 22:53:42 +00:00
Code Issues Packages Projects Releases Wiki Activity
c57078f858
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