Package libzipperposition

do-deps
OK
do-compile
OK

All universes

90e0c4115db8cae77340700fc83e838e

prep
- prep libzipperposition.2.0-90e0c4115db8cae77340700fc83e838e
  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 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

Package libzipperposition

do-deps

do-compile

All universes

90e0c4115db8cae77340700fc83e838e

prep

prep libzipperposition.2.0-90e0c4115db8cae77340700fc83e838e

prep dependency base-bigarray.base-5fb084374c1b9ffd0a585d632bd0045d

prep dependency base-bytes.base-d4ebb238d973fd59b8df66c4669d9dad

prep dependency base-threads.base-5fb084374c1b9ffd0a585d632bd0045d

prep dependency base-unix.base-5fb084374c1b9ffd0a585d632bd0045d

prep dependency conf-gmp.5-7b889c44c21a0a35c14a6b721444fbb7

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

prep dependency containers.3.15-5a9f6a37e847edce69d2a8033e330267

prep dependency containers-data.3.15-c017685b1ed7444ca5918a5b6a5d23a1

prep dependency csexp.1.5.2-c0e22be2bf025419facdc54b644d5e0e

prep dependency dune.3.18.2-cd2ef06f6359633cf5b81e9e67a1258a

prep dependency dune-configurator.3.18.2-b355b5e47c3f267e35077138cd26f4a0

prep dependency either.1.0.0-c0e22be2bf025419facdc54b644d5e0e

prep dependency iter.1.9-b08cadc89d93022b32504c7fdee2a653

prep dependency logtk.2.0-176db1113ae145fa9fdc121d7d5bedde

prep dependency menhir.20211128-111f9011b9de3fb694d015af83630635

prep dependency menhirLib.20211128-c0e22be2bf025419facdc54b644d5e0e

prep dependency menhirSdk.20211128-c0e22be2bf025419facdc54b644d5e0e

prep dependency msat.0.8.3-4b6c2e3e002312fb25837c5d2041880d

prep dependency ocaml.4.12.1-751db0dcba330297be6dee35d87fc989

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

prep dependency ocaml-config.2-583685410e65b72492ca2db46f687177

prep dependency ocamlfind.1.9.8-30b85a1775ede208fe31dd0ba160e435

prep dependency oseq.0.3-27dd3a67089a10940f941fa4b935c433

prep dependency seq.base-30b85a1775ede208fe31dd0ba160e435

prep dependency zarith.1.14-ed41b0d20dc647c428f82a54d2ccd8d0