search

coq-community / coq-nix-toolbox

Nix helper scripts to automate local builds and CI [maintainers=@CohenCyril,@Zimmi48]
MIT License
33 stars 12 forks source link

renaming of mathcomp-altreals to mathcomp-experimental-reals #283

Closed proux01 closed 3 weeks ago

proux01 commented 3 weeks ago

Testing https://github.com/NixOS/nixpkgs/pull/353818 Following https://github.com/math-comp/analysis/pull/1378

proux01 commented 3 weeks ago

Thanks