mirror of
https://github.com/NixOS/nixpkgs.git
synced 2024-12-17 11:13:30 +00:00
c2892b3fc9
* coqPackages.mathcomp: 1.17.0 -> 1.18.0 * coqPackages.mathcomp-analysis: 0.6.5 -> 0.6.6 |
||
---|---|---|
.. | ||
default.nix |