PR #342990 Updating the Coq module autosubst

Updating the Coq module autosubst #342990

vbgl merged 2 commits into NixOS:master from jthulhu:update/coq-autosubst

coq.autosubst: refactor

ab58a430

coq.autosubst: 1.8 -> 1.9

998fd717

ofborg added 8.has: package (new)

ofborg requested a review from

jwiegley 1 year ago

ofborg requested a review from

siraben 1 year ago

ofborg added 10.rebuild-darwin: 1-10

ofborg added 10.rebuild-darwin: 1

ofborg added 10.rebuild-linux: 1-10

ofborg added 10.rebuild-linux: 1

vbgl merged ab606452 into master 1 year ago

jthulhu deleted the update/coq-autosubst branch 319 days ago

Reviewers

jwiegley

siraben

Assignees

No one assigned

Labels

8.has: package (new) 10.rebuild-linux: 1-10 10.rebuild-darwin: 1-10 10.rebuild-darwin: 1 10.rebuild-linux: 1

Milestone

No milestone