Package frama-clang

• frama-clang.0.0.15-d4a7b57613ac3a28c94703332f70b6bc

  • prep

    • prep frama-clang.0.0.15-d4a7b57613ac3a28c94703332f70b6bc

      blocked

    • prep dependency alt-ergo.2.6.2-2bb0eb326d48485464f40018ce74f806

      OK

    • prep dependency alt-ergo-lib.2.6.2-fa3d17371c78fb072af119b8156165fd

      OK

    • prep dependency alt-ergo-parsers.2.6.2-fc44909d49763a0c7960b452fcbf1893

      OK

    • prep dependency astring.0.8.5-3addbedb2021eecda42f4f70d4f4cfb7

      OK

    • prep dependency base-bigarray.base-0c556d5438933bda409408695b5733e7

      OK

    • prep dependency base-threads.base-0c556d5438933bda409408695b5733e7

      OK

    • prep dependency base-unix.base-0c556d5438933bda409408695b5733e7

      OK

    • prep dependency bigarray-compat.1.1.0-fd45627a78b03c5fef13d235198c8c7e

      OK

    • prep dependency bos.0.2.1-6c51a6aee30d1a262286babb8950f797

      OK

    • prep dependency cairo2.0.6.5-3955cb06e962e734eb97fe2537fca2c0

      OK

    • prep dependency camlp-streams.5.0.1-fd45627a78b03c5fef13d235198c8c7e

      OK

    • prep dependency camlp5.8.03.04-b67935610cc56481344d2a169017b20e

      OK

    • prep dependency camlp5-buildscripts.0.06-ae19add5853aa390bf1de86d44600e6f

      OK

    • prep dependency camlzip.1.13-5297b357b2dc3f6e05c7d73481d9aa37

      OK

    • prep dependency cmdliner.1.3.0-24d8a45b73ecf4f375220abed490622c

      OK

    • prep dependency conf-bash.1-0c556d5438933bda409408695b5733e7

      OK

    • prep dependency conf-cairo.1-9a668c7fa9112a3f1e23ef4159d44fb7

      OK

    • prep dependency conf-clang.1-0c556d5438933bda409408695b5733e7

      OK

    • prep dependency conf-cmake.1-0c556d5438933bda409408695b5733e7

      OK

    • prep dependency conf-gmp.5-9a668c7fa9112a3f1e23ef4159d44fb7

      OK

    • prep dependency conf-gtk3.18-9a668c7fa9112a3f1e23ef4159d44fb7

      OK

    • prep dependency conf-gtksourceview3.0+2-9a668c7fa9112a3f1e23ef4159d44fb7

      OK

    • prep dependency conf-libclang.15-35828f6f6e4071ab7d1e13c87b157d35

      OK

    • prep dependency conf-libpcre2-8.2-9a668c7fa9112a3f1e23ef4159d44fb7

      OK

    • prep dependency conf-llvm.17-35828f6f6e4071ab7d1e13c87b157d35

      error: Failed: Build failed

    • prep dependency conf-m4.1-0c556d5438933bda409408695b5733e7

      OK

    • prep dependency conf-perl.2-0c556d5438933bda409408695b5733e7

      OK

    • prep dependency conf-pkg-config.4-0c556d5438933bda409408695b5733e7

      OK

    • prep dependency conf-which.1-0c556d5438933bda409408695b5733e7

      OK

    • prep dependency conf-zlib.1-9a668c7fa9112a3f1e23ef4159d44fb7

      OK

    • prep dependency cppo.1.8.0-fd45627a78b03c5fef13d235198c8c7e

      OK

    • prep dependency csexp.1.5.2-fd45627a78b03c5fef13d235198c8c7e

      OK

    • prep dependency ctypes.0.23.0-1beaff43a37b48df8745f5ebada082b9

      OK

    • prep dependency dolmen.0.10-b39196934e3a9a4aa46cb8f87d575a8d

      OK

    • prep dependency dolmen_loop.0.10-2e4c38dbf864d5dcbf9bf7f8dbfc21ee

      OK

    • prep dependency dolmen_type.0.10-dabdfeff408c7355b13506a37514043a

      OK

    • prep dependency dune.3.18.2-e024f97198156aca38c1ffa4a15e7553

      OK

    • prep dependency dune-build-info.3.18.2-fd45627a78b03c5fef13d235198c8c7e

      OK

    • prep dependency dune-configurator.3.18.2-057eb000726134c22b73f1883f9d29b0

      OK

    • prep dependency dune-private-libs.3.18.2-5e9a8a49d261ce4d71d4ca53eb8cf787

      OK

    • prep dependency dune-site.3.18.2-8b9dfc5f831323baea00a8b757ac2a20

      OK

    • prep dependency dyn.3.18.2-29ee8182bac1cd1454a4904f21cdea31

      OK

    • prep dependency fmt.0.10.0-c596d67105daf7023f8e53a8e564bba0

      OK

    • prep dependency fpath.0.7.3-f08733d5ab75e1897e4686a6081ba784

      OK

    • prep dependency frama-c.28.1-3e57ef2b9f85d49f189c4b10bd3fe15b

      OK

    • prep dependency gen.1.1-9f0b066fd864d4395b64b925173cdc28

      OK

    • prep dependency hmap.0.8.1-3addbedb2021eecda42f4f70d4f4cfb7

      OK

    • prep dependency integers.0.7.0-08f253970c228bc1f8b37f8543ef5bfa

      OK

    • prep dependency lablgtk3.3.1.5-f489230df60311942921eb43af4a1546

      OK

    • prep dependency lablgtk3-sourceview3.3.1.5-83a1197d04d48a40f086ffd7474432a7

      OK

    • prep dependency logs.0.8.0-75fe110b4658307a61d7e948bafc3ceb

      OK

    • prep dependency menhir.20240715-c53678ae8dc8f538c11067cbce46af41

      OK

    • prep dependency menhirCST.20240715-fd45627a78b03c5fef13d235198c8c7e

      OK

    • prep dependency menhirLib.20240715-fd45627a78b03c5fef13d235198c8c7e

      OK

    • prep dependency menhirSdk.20240715-fd45627a78b03c5fef13d235198c8c7e

      OK

    • prep dependency not-ocamlfind.0.14-7bb8cec2c066d77e4fab95b3d010027c

      OK

    • prep dependency num.1.5-1-24d8a45b73ecf4f375220abed490622c

      OK

    • prep dependency ocaml.5.2.1-33dc7449289735d50b43af338d1f909c

      OK

    • prep dependency ocaml-base-compiler.5.2.1-0c556d5438933bda409408695b5733e7

      OK

    • prep dependency ocaml-compiler-libs.v0.17.0-fd45627a78b03c5fef13d235198c8c7e

      OK

    • prep dependency ocaml-config.3-645e3af890eb0011d48fed8c291ad8db

      OK

    • prep dependency ocamlbuild.0.16.1-24d8a45b73ecf4f375220abed490622c

      OK

    • prep dependency ocamlfind.1.9.8-24d8a45b73ecf4f375220abed490622c

      OK

    • prep dependency ocamlgraph.2.2.0-fd45627a78b03c5fef13d235198c8c7e

      OK

    • prep dependency ocplib-simplex.0.5.1-f533c768d076e5d05f22e3b30f880c39

      OK

    • prep dependency ordering.3.18.2-fd45627a78b03c5fef13d235198c8c7e

      OK

    • prep dependency pcre2.8.0.3-d5156f16145ed3f69a337fce95213057

      OK

    • prep dependency pp.2.0.0-fd45627a78b03c5fef13d235198c8c7e

      OK

    • prep dependency pp_loc.2.1.0-fd45627a78b03c5fef13d235198c8c7e

      OK

    • prep dependency ppx_blob.0.9.0-ccfe7991e4e238a36d1e6005f7bc5cd9

      OK

    • prep dependency ppx_derivers.1.2.1-fd45627a78b03c5fef13d235198c8c7e

      OK

    • prep dependency ppx_deriving.6.0.3-9f73671aa2aa07a976982facfe536ec3

      OK

    • prep dependency ppx_deriving_yaml.0.4.0-b1a1703ec08b57a88c3d158984efa9ee

      OK

    • prep dependency ppx_deriving_yojson.3.9.1-c9c45a9853dce254040d33d1ac7f225a

      OK

    • prep dependency ppx_import.1.11.0-ccfe7991e4e238a36d1e6005f7bc5cd9

      OK

    • prep dependency ppxlib.0.35.0-d0918dca2c449b2dcc38e8ac5657366b

      OK

    • prep dependency psmt2-frontend.0.4.0-14e1e84273fc3923a49e50ec57a6a294

      OK

    • prep dependency re.1.12.0-9f0b066fd864d4395b64b925173cdc28

      OK

    • prep dependency rresult.0.7.0-3addbedb2021eecda42f4f70d4f4cfb7

      OK

    • prep dependency seq.base-24d8a45b73ecf4f375220abed490622c

      OK

    • prep dependency sexplib0.v0.17.0-fd45627a78b03c5fef13d235198c8c7e

      OK

    • prep dependency spelll.0.4-d52c945c3dc81d575ce9e8c57183c003

      OK

    • prep dependency stdlib-shims.0.3.0-fd45627a78b03c5fef13d235198c8c7e

      OK

    • prep dependency stdune.3.18.2-317d07b3fff4add7b475290f6b2add62

      OK

    • prep dependency topkg.1.0.8-4583aec06d38ac96c20ba3fc9766a50c

      OK

    • prep dependency unionFind.20220122-fd45627a78b03c5fef13d235198c8c7e

      OK

    • prep dependency uutf.1.0.4-364b8cb051ec5bbe08806af8cc7e0e77

      OK

    • prep dependency why3.1.7.2-54423ea89156d8f236d000834be5b227

      OK

    • prep dependency yaml.3.2.0-71d1a7a81019aa23512e891eff331d97

      OK

    • prep dependency yojson.2.2.2-9f0b066fd864d4395b64b925173cdc28

      OK

    • prep dependency zarith.1.14-4b6af3164219f7ee9e6bde9e2a7688e7

      OK

All universes

d4a7b57613ac3a28c94703332f70b6bc

• prep

  • prep frama-clang.0.0.15-d4a7b57613ac3a28c94703332f70b6bc

    blocked

  • prep dependency alt-ergo.2.6.2-2bb0eb326d48485464f40018ce74f806

    OK

  • prep dependency alt-ergo-lib.2.6.2-fa3d17371c78fb072af119b8156165fd

    OK

  • prep dependency alt-ergo-parsers.2.6.2-fc44909d49763a0c7960b452fcbf1893

    OK

  • prep dependency astring.0.8.5-3addbedb2021eecda42f4f70d4f4cfb7

    OK

  • prep dependency base-bigarray.base-0c556d5438933bda409408695b5733e7

    OK

  • prep dependency base-threads.base-0c556d5438933bda409408695b5733e7

    OK

  • prep dependency base-unix.base-0c556d5438933bda409408695b5733e7

    OK

  • prep dependency bigarray-compat.1.1.0-fd45627a78b03c5fef13d235198c8c7e

    OK

  • prep dependency bos.0.2.1-6c51a6aee30d1a262286babb8950f797

    OK

  • prep dependency cairo2.0.6.5-3955cb06e962e734eb97fe2537fca2c0

    OK

  • prep dependency camlp-streams.5.0.1-fd45627a78b03c5fef13d235198c8c7e

    OK

  • prep dependency camlp5.8.03.04-b67935610cc56481344d2a169017b20e

    OK

  • prep dependency camlp5-buildscripts.0.06-ae19add5853aa390bf1de86d44600e6f

    OK

  • prep dependency camlzip.1.13-5297b357b2dc3f6e05c7d73481d9aa37

    OK

  • prep dependency cmdliner.1.3.0-24d8a45b73ecf4f375220abed490622c

    OK

  • prep dependency conf-bash.1-0c556d5438933bda409408695b5733e7

    OK

  • prep dependency conf-cairo.1-9a668c7fa9112a3f1e23ef4159d44fb7

    OK

  • prep dependency conf-clang.1-0c556d5438933bda409408695b5733e7

    OK

  • prep dependency conf-cmake.1-0c556d5438933bda409408695b5733e7

    OK

  • prep dependency conf-gmp.5-9a668c7fa9112a3f1e23ef4159d44fb7

    OK

  • prep dependency conf-gtk3.18-9a668c7fa9112a3f1e23ef4159d44fb7

    OK

  • prep dependency conf-gtksourceview3.0+2-9a668c7fa9112a3f1e23ef4159d44fb7

    OK

  • prep dependency conf-libclang.15-35828f6f6e4071ab7d1e13c87b157d35

    OK

  • prep dependency conf-libpcre2-8.2-9a668c7fa9112a3f1e23ef4159d44fb7

    OK

  • prep dependency conf-llvm.17-35828f6f6e4071ab7d1e13c87b157d35

    error: Failed: Build failed

  • prep dependency conf-m4.1-0c556d5438933bda409408695b5733e7

    OK

  • prep dependency conf-perl.2-0c556d5438933bda409408695b5733e7

    OK

  • prep dependency conf-pkg-config.4-0c556d5438933bda409408695b5733e7

    OK

  • prep dependency conf-which.1-0c556d5438933bda409408695b5733e7

    OK

  • prep dependency conf-zlib.1-9a668c7fa9112a3f1e23ef4159d44fb7

    OK

  • prep dependency cppo.1.8.0-fd45627a78b03c5fef13d235198c8c7e

    OK

  • prep dependency csexp.1.5.2-fd45627a78b03c5fef13d235198c8c7e

    OK

  • prep dependency ctypes.0.23.0-1beaff43a37b48df8745f5ebada082b9

    OK

  • prep dependency dolmen.0.10-b39196934e3a9a4aa46cb8f87d575a8d

    OK

  • prep dependency dolmen_loop.0.10-2e4c38dbf864d5dcbf9bf7f8dbfc21ee

    OK

  • prep dependency dolmen_type.0.10-dabdfeff408c7355b13506a37514043a

    OK

  • prep dependency dune.3.18.2-e024f97198156aca38c1ffa4a15e7553

    OK

  • prep dependency dune-build-info.3.18.2-fd45627a78b03c5fef13d235198c8c7e

    OK

  • prep dependency dune-configurator.3.18.2-057eb000726134c22b73f1883f9d29b0

    OK

  • prep dependency dune-private-libs.3.18.2-5e9a8a49d261ce4d71d4ca53eb8cf787

    OK

  • prep dependency dune-site.3.18.2-8b9dfc5f831323baea00a8b757ac2a20

    OK

  • prep dependency dyn.3.18.2-29ee8182bac1cd1454a4904f21cdea31

    OK

  • prep dependency fmt.0.10.0-c596d67105daf7023f8e53a8e564bba0

    OK

  • prep dependency fpath.0.7.3-f08733d5ab75e1897e4686a6081ba784

    OK

  • prep dependency frama-c.28.1-3e57ef2b9f85d49f189c4b10bd3fe15b

    OK

  • prep dependency gen.1.1-9f0b066fd864d4395b64b925173cdc28

    OK

  • prep dependency hmap.0.8.1-3addbedb2021eecda42f4f70d4f4cfb7

    OK

  • prep dependency integers.0.7.0-08f253970c228bc1f8b37f8543ef5bfa

    OK

  • prep dependency lablgtk3.3.1.5-f489230df60311942921eb43af4a1546

    OK

  • prep dependency lablgtk3-sourceview3.3.1.5-83a1197d04d48a40f086ffd7474432a7

    OK

  • prep dependency logs.0.8.0-75fe110b4658307a61d7e948bafc3ceb

    OK

  • prep dependency menhir.20240715-c53678ae8dc8f538c11067cbce46af41

    OK

  • prep dependency menhirCST.20240715-fd45627a78b03c5fef13d235198c8c7e

    OK

  • prep dependency menhirLib.20240715-fd45627a78b03c5fef13d235198c8c7e

    OK

  • prep dependency menhirSdk.20240715-fd45627a78b03c5fef13d235198c8c7e

    OK

  • prep dependency not-ocamlfind.0.14-7bb8cec2c066d77e4fab95b3d010027c

    OK

  • prep dependency num.1.5-1-24d8a45b73ecf4f375220abed490622c

    OK

  • prep dependency ocaml.5.2.1-33dc7449289735d50b43af338d1f909c

    OK

  • prep dependency ocaml-base-compiler.5.2.1-0c556d5438933bda409408695b5733e7

    OK

  • prep dependency ocaml-compiler-libs.v0.17.0-fd45627a78b03c5fef13d235198c8c7e

    OK

  • prep dependency ocaml-config.3-645e3af890eb0011d48fed8c291ad8db

    OK

  • prep dependency ocamlbuild.0.16.1-24d8a45b73ecf4f375220abed490622c

    OK

  • prep dependency ocamlfind.1.9.8-24d8a45b73ecf4f375220abed490622c

    OK

  • prep dependency ocamlgraph.2.2.0-fd45627a78b03c5fef13d235198c8c7e

    OK

  • prep dependency ocplib-simplex.0.5.1-f533c768d076e5d05f22e3b30f880c39

    OK

  • prep dependency ordering.3.18.2-fd45627a78b03c5fef13d235198c8c7e

    OK

  • prep dependency pcre2.8.0.3-d5156f16145ed3f69a337fce95213057

    OK

  • prep dependency pp.2.0.0-fd45627a78b03c5fef13d235198c8c7e

    OK

  • prep dependency pp_loc.2.1.0-fd45627a78b03c5fef13d235198c8c7e

    OK

  • prep dependency ppx_blob.0.9.0-ccfe7991e4e238a36d1e6005f7bc5cd9

    OK

  • prep dependency ppx_derivers.1.2.1-fd45627a78b03c5fef13d235198c8c7e

    OK

  • prep dependency ppx_deriving.6.0.3-9f73671aa2aa07a976982facfe536ec3

    OK

  • prep dependency ppx_deriving_yaml.0.4.0-b1a1703ec08b57a88c3d158984efa9ee

    OK

  • prep dependency ppx_deriving_yojson.3.9.1-c9c45a9853dce254040d33d1ac7f225a

    OK

  • prep dependency ppx_import.1.11.0-ccfe7991e4e238a36d1e6005f7bc5cd9

    OK

  • prep dependency ppxlib.0.35.0-d0918dca2c449b2dcc38e8ac5657366b

    OK

  • prep dependency psmt2-frontend.0.4.0-14e1e84273fc3923a49e50ec57a6a294

    OK

  • prep dependency re.1.12.0-9f0b066fd864d4395b64b925173cdc28

    OK

  • prep dependency rresult.0.7.0-3addbedb2021eecda42f4f70d4f4cfb7

    OK

  • prep dependency seq.base-24d8a45b73ecf4f375220abed490622c

    OK

  • prep dependency sexplib0.v0.17.0-fd45627a78b03c5fef13d235198c8c7e

    OK

  • prep dependency spelll.0.4-d52c945c3dc81d575ce9e8c57183c003

    OK

  • prep dependency stdlib-shims.0.3.0-fd45627a78b03c5fef13d235198c8c7e

    OK

  • prep dependency stdune.3.18.2-317d07b3fff4add7b475290f6b2add62

    OK

  • prep dependency topkg.1.0.8-4583aec06d38ac96c20ba3fc9766a50c

    OK

  • prep dependency unionFind.20220122-fd45627a78b03c5fef13d235198c8c7e

    OK

  • prep dependency uutf.1.0.4-364b8cb051ec5bbe08806af8cc7e0e77

    OK

  • prep dependency why3.1.7.2-54423ea89156d8f236d000834be5b227

    OK

  • prep dependency yaml.3.2.0-71d1a7a81019aa23512e891eff331d97

    OK

  • prep dependency yojson.2.2.2-9f0b066fd864d4395b64b925173cdc28

    OK

  • prep dependency zarith.1.14-4b6af3164219f7ee9e6bde9e2a7688e7

    OK