PR #344581 alt-ergo: 2.5.4 → 2.6.0

alt-ergo: 2.5.4 → 2.6.0 #344581

ulrikstrid merged 2 commits into NixOS:master from vbgl:alt-ergo-2.6.0

alt-ergo: 2.5.4 → 2.6.0

8e2b735e

vbgl added 8.has: package (update)

vbgl requested a review from

ulrikstrid 2 years ago

github-actions added 6.topic: ocaml

ofborg requested a review from

thoughtpolice 2 years 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

alt-ergo: split into multiple outputs

6f1d170f

ulrikstrid approved these changes on 2024-09-30

ulrikstrid merged 226757c6 into master 2 years ago

vbgl deleted the alt-ergo-2.6.0 branch 2 years ago

Reviewers

ulrikstrid

thoughtpolice

Assignees

No one assigned

Labels

8.has: package (update) 6.topic: ocaml 10.rebuild-linux: 1-10 10.rebuild-darwin: 1-10 10.rebuild-darwin: 1 10.rebuild-linux: 1

Milestone

No milestone