http: "https://forge.ocamlcore.org/frs/download.php/1694/oasis-0.4.10.tar.gz"
checksum: "84de67188d6c1ba4499aee6d4cb8cb54"
