Package gospel

• do-deps

  OK

• do-compile

  OK

All universes

8bd462d8cb75cf42bc782638fafa898c

• prep

  • prep gospel.0.1.0-8bd462d8cb75cf42bc782638fafa898c

    OK

  • prep dependency base-threads.base-e6be6003562199c0077d9e161a2b0193

    OK

  • prep dependency base-unix.base-e6be6003562199c0077d9e161a2b0193

    OK

  • prep dependency cmdliner.1.3.0-0fca2abfcb910a4b5f52484129893b90

    OK

  • prep dependency dune.3.18.2-21af889655c6c0bf0d3a29408b8668d1

    OK

  • prep dependency fmt.0.10.0-aacd161b4c6715bab2d74faf5a1dc9f2

    OK

  • prep dependency menhir.20240715-03bb703e4ef5b2decf5f3fc870beac0f

    OK

  • prep dependency menhirCST.20240715-169199c699a186159ee4e85c29e1ad79

    OK

  • prep dependency menhirLib.20240715-169199c699a186159ee4e85c29e1ad79

    OK

  • prep dependency menhirSdk.20240715-169199c699a186159ee4e85c29e1ad79

    OK

  • prep dependency ocaml.5.0.0-ba1fdf9ff4603e3de82e80016765ed79

    OK

  • prep dependency ocaml-base-compiler.5.0.0-e6be6003562199c0077d9e161a2b0193

    OK

  • prep dependency ocaml-compiler-libs.v0.12.4-169199c699a186159ee4e85c29e1ad79

    OK

  • prep dependency ocaml-config.3-a3d5c55debcbb48bc4df40cdd1f6e87b

    OK

  • prep dependency ocamlbuild.0.16.1-0fca2abfcb910a4b5f52484129893b90

    OK

  • prep dependency ocamlfind.1.9.8-0fca2abfcb910a4b5f52484129893b90

    OK

  • prep dependency ppx_derivers.1.2.1-169199c699a186159ee4e85c29e1ad79

    OK

  • prep dependency ppxlib.0.25.1-71284baec9a7a81753f335d071a5bc8d

    OK

  • prep dependency sexplib0.v0.17.0-169199c699a186159ee4e85c29e1ad79

    OK

  • prep dependency stdlib-shims.0.3.0-169199c699a186159ee4e85c29e1ad79

    OK

  • prep dependency topkg.1.0.8-257aa0fd1581dec633b56e135eda2a2a

    OK