Skip to content
Vet nixpkgs

Fix coqPackages.mathcomp-altreals dependencies #33514

Sign in to view logs

Fix coqPackages.mathcomp-altreals dependencies

Fix coqPackages.mathcomp-altreals dependencies #33514

Triggered via pull request October 29, 2024 11:35
@proux01proux01
opened #352090
Status Success
Total duration 1m 1s
Artifacts –

nixpkgs-vet.yml

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