Package zipperposition

• do-deps

  OK

• do-compile

  OK

All universes

f8168b378fa8448b5a6d8f2abdc6355a

• prep

  • prep zipperposition.2.0-f8168b378fa8448b5a6d8f2abdc6355a

    OK

  • prep dependency base-bigarray.base-5fb084374c1b9ffd0a585d632bd0045d

    OK

  • prep dependency base-bytes.base-d4ebb238d973fd59b8df66c4669d9dad

    OK

  • prep dependency base-threads.base-5fb084374c1b9ffd0a585d632bd0045d

    OK

  • prep dependency base-unix.base-5fb084374c1b9ffd0a585d632bd0045d

    OK

  • prep dependency conf-gmp.5-7b889c44c21a0a35c14a6b721444fbb7

    OK

  • prep dependency conf-pkg-config.4-5fb084374c1b9ffd0a585d632bd0045d

    OK

  • prep dependency containers.3.15-5a9f6a37e847edce69d2a8033e330267

    OK

  • prep dependency containers-data.3.15-c017685b1ed7444ca5918a5b6a5d23a1

    OK

  • prep dependency csexp.1.5.2-c0e22be2bf025419facdc54b644d5e0e

    OK

  • prep dependency dune.3.18.2-cd2ef06f6359633cf5b81e9e67a1258a

    OK

  • prep dependency dune-configurator.3.18.2-b355b5e47c3f267e35077138cd26f4a0

    OK

  • prep dependency either.1.0.0-c0e22be2bf025419facdc54b644d5e0e

    OK

  • prep dependency iter.1.9-b08cadc89d93022b32504c7fdee2a653

    OK

  • prep dependency libzipperposition.2.0-90e0c4115db8cae77340700fc83e838e

    OK

  • prep dependency logtk.2.0-176db1113ae145fa9fdc121d7d5bedde

    OK

  • prep dependency menhir.20211128-111f9011b9de3fb694d015af83630635

    OK

  • prep dependency menhirLib.20211128-c0e22be2bf025419facdc54b644d5e0e

    OK

  • prep dependency menhirSdk.20211128-c0e22be2bf025419facdc54b644d5e0e

    OK

  • prep dependency msat.0.8.3-4b6c2e3e002312fb25837c5d2041880d

    OK

  • prep dependency ocaml.4.12.1-751db0dcba330297be6dee35d87fc989

    OK

  • prep dependency ocaml-base-compiler.4.12.1-5fb084374c1b9ffd0a585d632bd0045d

    OK

  • prep dependency ocaml-config.2-583685410e65b72492ca2db46f687177

    OK

  • prep dependency ocamlfind.1.9.8-30b85a1775ede208fe31dd0ba160e435

    OK

  • prep dependency oseq.0.3-27dd3a67089a10940f941fa4b935c433

    OK

  • prep dependency seq.base-30b85a1775ede208fe31dd0ba160e435

    OK

  • prep dependency zarith.1.14-ed41b0d20dc647c428f82a54d2ccd8d0

    OK