Skip to content
Vet nixpkgs

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

Sign in to view logs

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

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

Triggered via pull request November 5, 2024 12:38
@proux01proux01
opened #353818
Status Success
Total duration 1m 2s
Artifacts –

nixpkgs-vet.yml

on: pull_request_target
nixpkgs-vet
53s
nixpkgs-vet
Fit to window
Zoom out
Zoom in