Skip to content

Added missing fields to OPAM files. Updated test workflow.#356

Merged
aantron merged 3 commits intoaantron:masterfrom alxtuz:issues/350_Adding_missing_fields_to_opamOct 17, 2024