Pierre Roux 1be419decc coqPackages.mathcomp-analysis: rename altreals to experimental-reals ... Following https://github.com/proux01/analysis/pull/new/experimental-reals		2024-11-06 09:56:01 +01:00
..
default.nix	coqPackages.mathcomp-analysis: rename altreals to experimental-reals	2024-11-06 09:56:01 +01:00