Add not-ocamlfind
authorRichard W.M. Jones <rjones@redhat.com>
Thu, 5 Oct 2023 16:30:06 +0000 (17:30 +0100)
committerRichard W.M. Jones <rjones@redhat.com>
Thu, 5 Oct 2023 16:30:06 +0000 (17:30 +0100)
commit8a35177fcb7f24c8e01e2c59683c222ad87a2542
treee70d47de8fedb25140c7568838578c01128ee36f
parentb87f59bc8833e195a692c5fad987dfd2204b22cd
Add not-ocamlfind
Goalfile