nixpkgs
rocqPackages.rocq-elpi: fix default elpi version
#499194

Merged

rocqPackages.rocq-elpi: fix default elpi version #499194

vbgl merged 1 commit into NixOS:master from proux01:rocq-elpi-default

rocqPackages.rocq-elpi: fix default elpi version

ce85f476

nixpkgs-ci added 10.rebuild-darwin: 0

nixpkgs-ci added 10.rebuild-linux: 0

nixpkgs-ci added 9.needs: reviewer

vbgl merged c7c841bd into master 195 days ago

proux01 deleted the rocq-elpi-default branch 195 days ago

Reviewers

No reviews

Assignees

No one assigned

Labels

10.rebuild-darwin: 0 10.rebuild-linux: 0 9.needs: reviewer

Milestone

No milestone