Skip to content

Fix minimum atd version in opam files#282

Merged
mjambon merged 1 commit intomasterfrom mj-fix-dependenciesApr 25, 2022

Commits

Commits on Apr 24, 2022