nathan/nixpkgs
1
0
Fork 0
mirror of https://github.com/NixOS/nixpkgs.git synced 2026-08-31 12:44:44 +00:00
Code Issues Packages Projects Releases Wiki Activity
1,058,971 Commits 454 Branches 81 Tags
python-updates
Commit Graph

5 Commits

Author SHA1 Message Date
Pierre Roux
ffa34e2ae4 rocqPackages.mathcomp-real-closed: merge with coqPackages.mathcomp-real-closed 2026-08-18 15:39:36 +02:00
Pierre Roux
54f8f8a829 rocqPackages.micromega-plugin: 1.1.0 -> 1.1.1 2026-07-24 09:41:27 +02:00
Pierre Roux
0de6221506 rocqPackages.mathcomp: 2.5.0 -> 2.6.0 2026-07-20 11:08:29 +02:00
Théo Zimmermann
1b950b50bd rocqPackages.mkRocqDerivation: change prefix for rocq 
Make the defauult prefix be set to `[ "rocq" ]` (instead of
`[ "rocq-core" ]`) if `useCoq` is `false`.

This matches the opam convention and ensures that the default
`opam-name` will be correct.
 2026-07-15 21:43:39 +02:00
Pierre Roux
499d913a1a rocqPackage.mathcomp-real-closed: init at 2.0.5 2026-06-17 11:01:36 +02:00