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

5 Commits

Author SHA1 Message Date
Pierre Roux
3ac2da7d31 rocqPackages.mathcomp-bigenough: merge with coqPackages.mathcomp-bigenough 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
6d859f6a8a rocqPackages.mathcomp-bigenough: init at 1.0.4 2026-02-19 09:05:09 +01:00