Package alt-ergo-free

• do-deps

  OK

• do-compile

  OK

All universes

1dc798f2ae061efdb5438bc3a50c4866

• prep

  • prep alt-ergo-free.2.2.0-1dc798f2ae061efdb5438bc3a50c4866

    blocked

  • prep dependency base-threads.base-95f56fcf1da5300e1109d0aa6ba92aed

    OK

  • prep dependency base-unix.base-95f56fcf1da5300e1109d0aa6ba92aed

    OK

  • prep dependency camlp-streams.5.0.1-c30634679d9ecf8fcceb33f67cd4dde1

    OK

  • prep dependency camlzip.1.13-e682356d4eea9b7740ffe58c9417518e

    OK

  • prep dependency conf-autoconf.0.2-95f56fcf1da5300e1109d0aa6ba92aed

    OK

  • prep dependency conf-gmp.5-dbfcb815aeb4bf0fd3cd8629e55225c8

    OK

  • prep dependency conf-gnomecanvas.2-dbfcb815aeb4bf0fd3cd8629e55225c8

    OK

  • prep dependency conf-gtk2.1-dbfcb815aeb4bf0fd3cd8629e55225c8

    OK

  • prep dependency conf-gtksourceview.2-dbfcb815aeb4bf0fd3cd8629e55225c8

    error: Failed: Build failed

  • prep dependency conf-pkg-config.4-95f56fcf1da5300e1109d0aa6ba92aed

    OK

  • prep dependency conf-zlib.1-dbfcb815aeb4bf0fd3cd8629e55225c8

    OK

  • prep dependency dune.3.21.0-ebfbf2a49c873ae1898683b3e8cd3ae7

    OK

  • prep dependency lablgtk.2.18.14-588269f1b49ea0b3428ce3fd24c05063

    blocked

  • prep dependency menhir.20190924-468f0a50694252e43d948dd9bebebc5b

    OK

  • prep dependency num.1.6-8ec2c08a7515b28a7e25f6bb987b2a4f

    OK

  • prep dependency ocaml.4.14.2-906334fd2e017db19ce5f851d5121f74

    OK

  • prep dependency ocaml-base-compiler.4.14.2-95f56fcf1da5300e1109d0aa6ba92aed

    OK

  • prep dependency ocaml-config.2-56a469ab35eda9a278ea08e63ba34a78

    OK

  • prep dependency ocamlbuild.0.16.1-8ec2c08a7515b28a7e25f6bb987b2a4f

    OK

  • prep dependency ocamlfind.1.9.8-8ec2c08a7515b28a7e25f6bb987b2a4f

    OK

  • prep dependency ocplib-simplex.0.4.1-af2d0a7eec4087139e90ccdf606fcf21

    OK

  • prep dependency psmt2-frontend.0.1-901db3419b68621b22cbdf9eb0fbbe8e

    OK

  • prep dependency zarith.1.14-099d35220a6b261d02e21c2b8740797e

    OK

1f3d50c9de538f605c20508c69ef630c

• prep

  • prep alt-ergo-free.2.2.0-1f3d50c9de538f605c20508c69ef630c

    blocked

  • prep dependency base-threads.base-95f56fcf1da5300e1109d0aa6ba92aed

    OK

  • prep dependency base-unix.base-95f56fcf1da5300e1109d0aa6ba92aed

    OK

  • prep dependency camlp-streams.5.0.1-c30634679d9ecf8fcceb33f67cd4dde1

    OK

  • prep dependency camlzip.1.13-e682356d4eea9b7740ffe58c9417518e

    OK

  • prep dependency conf-autoconf.0.2-95f56fcf1da5300e1109d0aa6ba92aed

    OK

  • prep dependency conf-gmp.5-dbfcb815aeb4bf0fd3cd8629e55225c8

    OK

  • prep dependency conf-gnomecanvas.2-dbfcb815aeb4bf0fd3cd8629e55225c8

    OK

  • prep dependency conf-gtk2.1-dbfcb815aeb4bf0fd3cd8629e55225c8

    OK

  • prep dependency conf-gtksourceview.2-dbfcb815aeb4bf0fd3cd8629e55225c8

    error: Failed: Build failed

  • prep dependency conf-pkg-config.4-95f56fcf1da5300e1109d0aa6ba92aed

    OK

  • prep dependency conf-zlib.1-dbfcb815aeb4bf0fd3cd8629e55225c8

    OK

  • prep dependency dune.3.21.0-ebfbf2a49c873ae1898683b3e8cd3ae7

    OK

  • prep dependency lablgtk.2.18.14-588269f1b49ea0b3428ce3fd24c05063

    blocked

  • prep dependency menhir.20211128-809751e5fa1bed3fc6b515eabd90f6cc

    OK

  • prep dependency menhirLib.20211128-c30634679d9ecf8fcceb33f67cd4dde1

    OK

  • prep dependency menhirSdk.20211128-c30634679d9ecf8fcceb33f67cd4dde1

    OK

  • prep dependency num.1.6-8ec2c08a7515b28a7e25f6bb987b2a4f

    OK

  • prep dependency ocaml.4.14.2-906334fd2e017db19ce5f851d5121f74

    OK

  • prep dependency ocaml-base-compiler.4.14.2-95f56fcf1da5300e1109d0aa6ba92aed

    OK

  • prep dependency ocaml-config.2-56a469ab35eda9a278ea08e63ba34a78

    OK

  • prep dependency ocamlfind.1.9.8-8ec2c08a7515b28a7e25f6bb987b2a4f

    OK

  • prep dependency ocplib-simplex.0.4.1-af2d0a7eec4087139e90ccdf606fcf21

    OK

  • prep dependency psmt2-frontend.0.1-451c25842aed6987792ccf25fb79c2ea

    OK

  • prep dependency zarith.1.14-099d35220a6b261d02e21c2b8740797e

    OK

44dece82350a057251c3352093534c56

• prep

  • prep alt-ergo-free.2.2.0-44dece82350a057251c3352093534c56

    OK

  • prep dependency base-threads.base-95f56fcf1da5300e1109d0aa6ba92aed

    OK

  • prep dependency base-unix.base-95f56fcf1da5300e1109d0aa6ba92aed

    OK

  • prep dependency camlzip.1.13-e682356d4eea9b7740ffe58c9417518e

    OK

  • prep dependency conf-autoconf.0.2-95f56fcf1da5300e1109d0aa6ba92aed

    OK

  • prep dependency conf-gmp.5-dbfcb815aeb4bf0fd3cd8629e55225c8

    OK

  • prep dependency conf-pkg-config.4-95f56fcf1da5300e1109d0aa6ba92aed

    OK

  • prep dependency conf-zlib.1-dbfcb815aeb4bf0fd3cd8629e55225c8

    OK

  • prep dependency dune.3.21.0-ebfbf2a49c873ae1898683b3e8cd3ae7

    OK

  • prep dependency menhir.20211128-809751e5fa1bed3fc6b515eabd90f6cc

    OK

  • prep dependency menhirLib.20211128-c30634679d9ecf8fcceb33f67cd4dde1

    OK

  • prep dependency menhirSdk.20211128-c30634679d9ecf8fcceb33f67cd4dde1

    OK

  • prep dependency num.1.6-8ec2c08a7515b28a7e25f6bb987b2a4f

    OK

  • prep dependency ocaml.4.14.2-906334fd2e017db19ce5f851d5121f74

    OK

  • prep dependency ocaml-base-compiler.4.14.2-95f56fcf1da5300e1109d0aa6ba92aed

    OK

  • prep dependency ocaml-config.2-56a469ab35eda9a278ea08e63ba34a78

    OK

  • prep dependency ocamlfind.1.9.8-8ec2c08a7515b28a7e25f6bb987b2a4f

    OK

  • prep dependency ocplib-simplex.0.4.1-af2d0a7eec4087139e90ccdf606fcf21

    OK

  • prep dependency psmt2-frontend.0.1-451c25842aed6987792ccf25fb79c2ea

    OK

  • prep dependency zarith.1.14-099d35220a6b261d02e21c2b8740797e

    OK

55d9a8c7a406d1fdd2ea33d808473a56

• prep

  • prep alt-ergo-free.2.2.0-55d9a8c7a406d1fdd2ea33d808473a56

    blocked

  • prep dependency base-threads.base-95f56fcf1da5300e1109d0aa6ba92aed

    OK

  • prep dependency base-unix.base-95f56fcf1da5300e1109d0aa6ba92aed

    OK

  • prep dependency camlp-streams.5.0.1-c30634679d9ecf8fcceb33f67cd4dde1

    OK

  • prep dependency camlzip.1.13-e682356d4eea9b7740ffe58c9417518e

    OK

  • prep dependency conf-autoconf.0.2-95f56fcf1da5300e1109d0aa6ba92aed

    OK

  • prep dependency conf-gmp.5-dbfcb815aeb4bf0fd3cd8629e55225c8

    OK

  • prep dependency conf-gnomecanvas.2-dbfcb815aeb4bf0fd3cd8629e55225c8

    OK

  • prep dependency conf-gtk2.1-dbfcb815aeb4bf0fd3cd8629e55225c8

    OK

  • prep dependency conf-gtksourceview.2-dbfcb815aeb4bf0fd3cd8629e55225c8

    error: Failed: Build failed

  • prep dependency conf-perl.2-95f56fcf1da5300e1109d0aa6ba92aed

    OK

  • prep dependency conf-pkg-config.4-95f56fcf1da5300e1109d0aa6ba92aed

    OK

  • prep dependency conf-zlib.1-dbfcb815aeb4bf0fd3cd8629e55225c8

    OK

  • prep dependency dune.3.21.0-ebfbf2a49c873ae1898683b3e8cd3ae7

    OK

  • prep dependency lablgtk.2.18.14-588269f1b49ea0b3428ce3fd24c05063

    blocked

  • prep dependency menhir.20211128-809751e5fa1bed3fc6b515eabd90f6cc

    OK

  • prep dependency menhirLib.20211128-c30634679d9ecf8fcceb33f67cd4dde1

    OK

  • prep dependency menhirSdk.20211128-c30634679d9ecf8fcceb33f67cd4dde1

    OK

  • prep dependency num.1.6-8ec2c08a7515b28a7e25f6bb987b2a4f

    OK

  • prep dependency ocaml.4.14.2-906334fd2e017db19ce5f851d5121f74

    OK

  • prep dependency ocaml-base-compiler.4.14.2-95f56fcf1da5300e1109d0aa6ba92aed

    OK

  • prep dependency ocaml-config.2-56a469ab35eda9a278ea08e63ba34a78

    OK

  • prep dependency ocamlfind.1.9.8-8ec2c08a7515b28a7e25f6bb987b2a4f

    OK

  • prep dependency ocplib-simplex.0.4.1-af2d0a7eec4087139e90ccdf606fcf21

    OK

  • prep dependency psmt2-frontend.0.1-451c25842aed6987792ccf25fb79c2ea

    OK

  • prep dependency zarith.1.7-1-7c0eb10f77ce2469edc2d8c5323f557d

    OK

b9b48c336daadd19afbdac90c098c7d1

• prep

  • prep alt-ergo-free.2.2.0-b9b48c336daadd19afbdac90c098c7d1

    blocked

  • prep dependency base-threads.base-5fb084374c1b9ffd0a585d632bd0045d

    OK

  • prep dependency base-unix.base-5fb084374c1b9ffd0a585d632bd0045d

    OK

  • prep dependency camlp-streams.5.0.1-c6813ae235aa2f171acf1582974c3c7c

    OK

  • prep dependency camlzip.1.11-790fc012d55af87ca9a06fe5c6f01538

    OK

  • prep dependency conf-autoconf.0.2-5fb084374c1b9ffd0a585d632bd0045d

    OK

  • prep dependency conf-gmp.5-7b889c44c21a0a35c14a6b721444fbb7

    OK

  • prep dependency conf-gnomecanvas.2-7b889c44c21a0a35c14a6b721444fbb7

    OK

  • prep dependency conf-gtk2.1-7b889c44c21a0a35c14a6b721444fbb7

    OK

  • prep dependency conf-gtksourceview.2-7b889c44c21a0a35c14a6b721444fbb7

    error: Failed: Build failed

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

    OK

  • prep dependency conf-zlib.1-7b889c44c21a0a35c14a6b721444fbb7

    OK

  • prep dependency dune.3.21.0-cd2ef06f6359633cf5b81e9e67a1258a

    OK

  • prep dependency lablgtk.2.18.14-af303c0ecd97b955254b2a156ef16a8d

    blocked

  • prep dependency menhir.20211128-b9f8b35fa0661577211b7c84ab0311a7

    OK

  • prep dependency menhirLib.20211128-c6813ae235aa2f171acf1582974c3c7c

    OK

  • prep dependency menhirSdk.20211128-c6813ae235aa2f171acf1582974c3c7c

    OK

  • prep dependency num.1.6-30b85a1775ede208fe31dd0ba160e435

    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 ocplib-simplex.0.4.1-b584eed8e17a9afb5ed973a3edca319d

    OK

  • prep dependency psmt2-frontend.0.1-46f625a84cd4e040689ce7aa23faf2ab

    OK

  • prep dependency zarith.1.14-ed41b0d20dc647c428f82a54d2ccd8d0

    OK