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

5 Commits

Author SHA1 Message Date
Pierre Roux
68c6508265 rocqPackages.mathcomp-finmap: merge with coqPackages.mathcomp-finmap 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
0344418644 rocqPackages.mathcomp-finmap: init at 2.2.2 2026-02-19 09:05:23 +01:00