PR #499195 rocqPackages.rocq-elpi: 3.2.0 -> 3.3.0

rocqPackages.rocq-elpi: 3.2.0 -> 3.3.0 #499195

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

rocqPackages.rocq-elpi: 3.2.0 -> 3.3.0

bb3d5ff0

nixpkgs-ci requested a review from

CohenCyril 100 days ago

nixpkgs-ci added 8.has: package (update)

nixpkgs-ci added 10.rebuild-linux: 11-100

nixpkgs-ci added 10.rebuild-darwin: 11-100

vbgl merged c42c1b9d into master 100 days ago

proux01 deleted the rocq-elpi330 branch 100 days ago

Reviewers

CohenCyril

Assignees

No one assigned

Labels

8.has: package (update) 10.rebuild-linux: 11-100 10.rebuild-darwin: 11-100

Milestone

No milestone