opam file: Remove wrong build tag and unnecessary dependency#820
Merged
gdt merged 1 commit intobcpierce00:masterfrom Nov 9, 2022
Merged
opam file: Remove wrong build tag and unnecessary dependency#820gdt merged 1 commit intobcpierce00:masterfrom
gdt merged 1 commit intobcpierce00:masterfrom