nathan/nixpkgs
1
0
Fork 0
mirror of https://github.com/NixOS/nixpkgs.git synced 2026-08-27 02:34:53 +00:00
Code Issues Packages Projects Releases Wiki Activity
1,058,872 Commits 448 Branches 81 Tags
python-updates
Commit Graph

7 Commits

Author SHA1 Message Date
Pierre Roux
1d597c0d8a rocqPackages.mathcomp-analysis: merge with coqPackages.mathcomp-analysis 2026-08-18 15:39:36 +02:00
Pierre Roux
0efb0140f1 rocqPackages.stdlib: 9.1.0 -> 9.2.0 2026-07-24 15:46:43 +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
36d1ce50a7 rocqPackages.mathcomp-analysis: now depends on real-closed 2026-06-17 13:23:46 +02:00
Reynald Affeldt
a61e394343 rocqPackages.mathcomp-experimental-reals: update dependencies 2026-06-08 17:33:42 +09:00
Pierre Roux
364777b471 rocqPackages.mathcomp-analysis: init at 1.16.0 2026-03-17 10:49:04 +01:00