Skip to content

Update opam files after 0.4 release#106

Merged
tmcgilchrist merged 1 commit intoocurrent:masterfrom
MisterDA:opam
Jun 21, 2022
Merged

Update opam files after 0.4 release#106
tmcgilchrist merged 1 commit intoocurrent:masterfrom
MisterDA:opam

Commits

Commits on Jun 20, 2022