Skip to content

Use make as a build system for opam files.#845

Merged
gdt merged 1 commit intobcpierce00:masterfrom jhjourdan:fix_opam_filesFeb 14, 2024

Commits

Commits on Feb 14, 2024