Skip to content
Back to pull request #353818

coqPackages.mathcomp-analysis: rename altreals to experimental-reals #274983

Sign in to view logs

coqPackages.mathcomp-analysis: rename altreals to experimental-reals

coqPackages.mathcomp-analysis: rename altreals to experimental-reals #274983

Run time

Learn about OS pricing on GitHub Actions
Job Run time
set-ofborg-pending
1s
1s