nordic-dev.net/nixpkgs
nordic-dev.net/nixpkgs
2
0
Fork 0
mirror of https://github.com/NixOS/nixpkgs.git synced 2025-01-12 07:54:50 +00:00
Code Issues Packages Projects Releases Wiki Activity
74424224fd
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