Package frama-clang

do-deps
active
do-compile
active

All universes

937630817e0a1e0f7a93255f4aad49d2

prep
- prep frama-clang.0.0.15-937630817e0a1e0f7a93255f4aad49d2
  active
- prep dependency alt-ergo.2.4.3-e631c13b3e1d0f8227199139834c5a32
  active
- prep dependency alt-ergo-lib.2.4.3-35218ae3429abf70c27bcf7cdcf6e833
  active
- prep dependency alt-ergo-parsers.2.4.3-82540c3de4e3cb49a9b358fb17892691
  active
- prep dependency astring.0.8.5-95bc424b7f4baa0424f3b083b5ce1f14
  active
- prep dependency base.v0.17.3-f702a69734228d2bf9d16a172a6bd407
  active
- prep dependency base-bigarray.base-0c556d5438933bda409408695b5733e7
  active
- prep dependency base-bytes.base-02dd50b499536cc84ff4023100e10606
  active
- prep dependency base-threads.base-0c556d5438933bda409408695b5733e7
  active
- prep dependency base-unix.base-0c556d5438933bda409408695b5733e7
  active
- prep dependency bos.0.2.1-83e149d787f88d072f3a01f482237980
  active
- prep dependency cairo2.0.6.5-da19f4e2c0cf9277ee56f7b1a6f41575
  active
- prep dependency camlp-streams.5.0.1-37e4299220f8ef357865b20a48fbf90a
  active
- prep dependency camlp5.8.03.06-2f28816fb528fe09098819283fc028e3
  active
- prep dependency camlp5-buildscripts.0.06-78337408bac461b0ffe6c0eb4409e821
  active
- prep dependency camlzip.1.13-5297b357b2dc3f6e05c7d73481d9aa37
  active
- prep dependency cmdliner.1.3.0-24d8a45b73ecf4f375220abed490622c
  active
- prep dependency conf-autoconf.0.2-0c556d5438933bda409408695b5733e7
  active
- prep dependency conf-bash.1-0c556d5438933bda409408695b5733e7
  active
- prep dependency conf-cairo.1-9a668c7fa9112a3f1e23ef4159d44fb7
  active
- prep dependency conf-clang.2-0c556d5438933bda409408695b5733e7
  active
- prep dependency conf-cmake.1-0c556d5438933bda409408695b5733e7
  active
- prep dependency conf-gmp.5-9a668c7fa9112a3f1e23ef4159d44fb7
  active
- prep dependency conf-gtk3.18-9a668c7fa9112a3f1e23ef4159d44fb7
  active
- prep dependency conf-gtksourceview3.0+2-9a668c7fa9112a3f1e23ef4159d44fb7
  active
- prep dependency conf-libclang.21-35828f6f6e4071ab7d1e13c87b157d35
  active
- prep dependency conf-libpcre2-8.2-9a668c7fa9112a3f1e23ef4159d44fb7
  active
- prep dependency conf-llvm.17-35828f6f6e4071ab7d1e13c87b157d35
  active
- prep dependency conf-m4.1-0c556d5438933bda409408695b5733e7
  active
- prep dependency conf-perl.2-0c556d5438933bda409408695b5733e7
  active
- prep dependency conf-pkg-config.4-0c556d5438933bda409408695b5733e7
  active
- prep dependency conf-which.1-0c556d5438933bda409408695b5733e7
  active
- prep dependency conf-zlib.1-9a668c7fa9112a3f1e23ef4159d44fb7
  active
- prep dependency cppo.1.8.0-37e4299220f8ef357865b20a48fbf90a
  active
- prep dependency csexp.1.5.2-37e4299220f8ef357865b20a48fbf90a
  active
- prep dependency cstruct.6.2.0-29c606b5d5bef7c784aed6698c241213
  active
- prep dependency ctypes.0.24.0-3bbf26b59dfdd0de0ece93b63c8bec8e
  active
- prep dependency dune.3.21.0-e024f97198156aca38c1ffa4a15e7553
  active
- prep dependency dune-build-info.3.21.0-37e4299220f8ef357865b20a48fbf90a
  active
- prep dependency dune-compiledb.0.6.0-c5300c70c3aa1a0ede0881f306b240a9
  active
- prep dependency dune-configurator.3.21.0-57e97808e6e80cdc4cab0baec651b77d
  active
- prep dependency dune-private-libs.3.21.0-20c944fa9fb5fc71fa2770d9e306365a
  active
- prep dependency dune-site.3.21.0-90d80b721db6678d4cb6608f1930a84a
  active
- prep dependency dyn.3.21.0-4ca5bfae2511bb6eae6b999d808d6d22
  active
- prep dependency ezjsonm.1.3.0-c35aa5f099c8ad071c95e1fd9ca699aa
  active
- prep dependency fmt.0.11.0-7dae962bbfe576f6a389ffa84bd4c0fe
  active
- prep dependency fpath.0.7.3-3356a1e4098da42982453fff5c7286c0
  active
- prep dependency frama-c.28.1-496c2451541a5d71f87d2aeb31dc5071
  active
- prep dependency fs-io.3.21.0-37e4299220f8ef357865b20a48fbf90a
  active
- prep dependency gen.1.1-c4bed9f34c2db7c819746e49ca13be5f
  active
- prep dependency hex.1.5.0-0bde8da3ff82ec4561018f6309815b75
  active
- prep dependency integers.0.7.0-bdfd132a0d47b4aa2d57c92964743959
  active
- prep dependency js_of_ocaml-compiler.6.2.0-205100b019268bc08a2a88693019d142
  active
- prep dependency jsonm.1.0.2-f8182f59d302da348f4516f147fe5cb0
  active
- prep dependency lablgtk3.3.1.5-897807055d99b95ae8bc631d766e8817
  active
- prep dependency lablgtk3-sourceview3.3.1.5-b7abb0d396f06572aed7dba5846c54aa
  active
- prep dependency logs.0.10.0-8f8128d87b3019c2dca8a1e467930867
  active
- prep dependency lwt.6.1.0-5e0b35c1af8a7c01b8f890b2b2935406
  active
- prep dependency menhir.20260122-5e2fe9e9a85cad7a20088ef67b5461af
  active
- prep dependency menhirCST.20260122-37e4299220f8ef357865b20a48fbf90a
  active
- prep dependency menhirGLR.20260122-37e4299220f8ef357865b20a48fbf90a
  active
- prep dependency menhirLib.20260122-37e4299220f8ef357865b20a48fbf90a
  active
- prep dependency menhirSdk.20260122-37e4299220f8ef357865b20a48fbf90a
  active
- prep dependency not-ocamlfind.0.14-5ac290d55cccc11b06d1aae152a6529f
  active
- prep dependency num.1.6-24d8a45b73ecf4f375220abed490622c
  active
- prep dependency ocaml.5.2.1-33dc7449289735d50b43af338d1f909c
  active
- prep dependency ocaml-base-compiler.5.2.1-0c556d5438933bda409408695b5733e7
  active
- prep dependency ocaml-compiler-libs.v0.17.0-37e4299220f8ef357865b20a48fbf90a
  active
- prep dependency ocaml-config.3-645e3af890eb0011d48fed8c291ad8db
  active
- prep dependency ocaml_intrinsics_kernel.v0.17.1-37e4299220f8ef357865b20a48fbf90a
  active
- prep dependency ocamlbuild.0.16.1-24d8a45b73ecf4f375220abed490622c
  active
- prep dependency ocamlfind.1.9.8-24d8a45b73ecf4f375220abed490622c
  active
- prep dependency ocamlgraph.2.2.0-37e4299220f8ef357865b20a48fbf90a
  active
- prep dependency ocplib-endian.1.2-0a4dafff8fa368c3011e1d8229b8c42a
  active
- prep dependency ocplib-simplex.0.4.1-d31b85362903b76eed1268cf7221913a
  active
- prep dependency ordering.3.21.0-37e4299220f8ef357865b20a48fbf90a
  active
- prep dependency parsexp.v0.17.0-49d09ab4d2b4552878df9dd872fb1440
  active
- prep dependency pcre2.8.0.4-6d589a0fc9bdafa018806c4065065794
  active
- prep dependency pp.2.0.0-37e4299220f8ef357865b20a48fbf90a
  active
- prep dependency ppx_derivers.1.2.1-37e4299220f8ef357865b20a48fbf90a
  active
- prep dependency ppx_deriving.6.0.3-295f0541d3e3e9d63747dc826553a9ca
  active
- prep dependency ppx_deriving_yaml.0.4.0-0440fb3a3144914f79a58f6ed0d8ea3b
  active
- prep dependency ppx_deriving_yojson.3.9.1-2e86607e9c4f85431e7c9379d595a470
  active
- prep dependency ppx_import.1.12.0-61061665637144ee52f18eb3b1c54f8e
  active
- prep dependency ppx_sexp_conv.v0.17.0-d8a68867218edd08b0915f3fd30ae13b
  active
- prep dependency ppxlib.0.35.0-b8d230d34791d09142d99fe5a1d2a753
  active
- prep dependency ppxlib_jane.v0.17.0-61061665637144ee52f18eb3b1c54f8e
  active
- prep dependency psmt2-frontend.0.4.0-3cacf2e63437656e955158eb1f0fece1
  active
- prep dependency re.1.14.0-37e4299220f8ef357865b20a48fbf90a
  active
- prep dependency rresult.0.7.0-95bc424b7f4baa0424f3b083b5ce1f14
  active
- prep dependency sedlex.3.7-c2b1147f7afd088ac596dcb9559ffe11
  active
- prep dependency seq.base-24d8a45b73ecf4f375220abed490622c
  active
- prep dependency sexplib.v0.17.0-970407aeffc44d7435d131c4648a612a
  active
- prep dependency sexplib0.v0.17.0-37e4299220f8ef357865b20a48fbf90a
  active
- prep dependency stdlib-shims.0.3.0-37e4299220f8ef357865b20a48fbf90a
  active
- prep dependency stdune.3.21.0-cea72ae43cc937108eab5145dc1dfe82
  active
- prep dependency top-closure.3.21.0-37e4299220f8ef357865b20a48fbf90a
  active
- prep dependency topkg.1.1.1-4583aec06d38ac96c20ba3fc9766a50c
  active
- prep dependency unionFind.20250818-37e4299220f8ef357865b20a48fbf90a
  active
- prep dependency uutf.1.0.4-db3ac3475fcdd1683c1309e8b4b11484
  active
- prep dependency why3.1.7.2-d473cb614093901f3313f98f3d0f62a7
  active
- prep dependency yaml.3.2.0-2b5503785040da136f046f33dcf25806
  active
- prep dependency yojson.3.0.0-37e4299220f8ef357865b20a48fbf90a
  active
- prep dependency zarith.1.14-4b6af3164219f7ee9e6bde9e2a7688e7
  active

Package frama-clang

do-deps

do-compile

All universes

937630817e0a1e0f7a93255f4aad49d2

prep

prep frama-clang.0.0.15-937630817e0a1e0f7a93255f4aad49d2

prep dependency alt-ergo.2.4.3-e631c13b3e1d0f8227199139834c5a32

prep dependency alt-ergo-lib.2.4.3-35218ae3429abf70c27bcf7cdcf6e833

prep dependency alt-ergo-parsers.2.4.3-82540c3de4e3cb49a9b358fb17892691

prep dependency astring.0.8.5-95bc424b7f4baa0424f3b083b5ce1f14

prep dependency base.v0.17.3-f702a69734228d2bf9d16a172a6bd407

prep dependency base-bigarray.base-0c556d5438933bda409408695b5733e7

prep dependency base-bytes.base-02dd50b499536cc84ff4023100e10606

prep dependency base-threads.base-0c556d5438933bda409408695b5733e7

prep dependency base-unix.base-0c556d5438933bda409408695b5733e7

prep dependency bos.0.2.1-83e149d787f88d072f3a01f482237980

prep dependency cairo2.0.6.5-da19f4e2c0cf9277ee56f7b1a6f41575

prep dependency camlp-streams.5.0.1-37e4299220f8ef357865b20a48fbf90a

prep dependency camlp5.8.03.06-2f28816fb528fe09098819283fc028e3

prep dependency camlp5-buildscripts.0.06-78337408bac461b0ffe6c0eb4409e821

prep dependency camlzip.1.13-5297b357b2dc3f6e05c7d73481d9aa37

prep dependency cmdliner.1.3.0-24d8a45b73ecf4f375220abed490622c

prep dependency conf-autoconf.0.2-0c556d5438933bda409408695b5733e7

prep dependency conf-bash.1-0c556d5438933bda409408695b5733e7

prep dependency conf-cairo.1-9a668c7fa9112a3f1e23ef4159d44fb7

prep dependency conf-clang.2-0c556d5438933bda409408695b5733e7

prep dependency conf-cmake.1-0c556d5438933bda409408695b5733e7

prep dependency conf-gmp.5-9a668c7fa9112a3f1e23ef4159d44fb7

prep dependency conf-gtk3.18-9a668c7fa9112a3f1e23ef4159d44fb7

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

prep dependency conf-libclang.21-35828f6f6e4071ab7d1e13c87b157d35

prep dependency conf-libpcre2-8.2-9a668c7fa9112a3f1e23ef4159d44fb7

prep dependency conf-llvm.17-35828f6f6e4071ab7d1e13c87b157d35

prep dependency conf-m4.1-0c556d5438933bda409408695b5733e7

prep dependency conf-perl.2-0c556d5438933bda409408695b5733e7

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

prep dependency conf-which.1-0c556d5438933bda409408695b5733e7

prep dependency conf-zlib.1-9a668c7fa9112a3f1e23ef4159d44fb7

prep dependency cppo.1.8.0-37e4299220f8ef357865b20a48fbf90a

prep dependency csexp.1.5.2-37e4299220f8ef357865b20a48fbf90a

prep dependency cstruct.6.2.0-29c606b5d5bef7c784aed6698c241213

prep dependency ctypes.0.24.0-3bbf26b59dfdd0de0ece93b63c8bec8e

prep dependency dune.3.21.0-e024f97198156aca38c1ffa4a15e7553

prep dependency dune-build-info.3.21.0-37e4299220f8ef357865b20a48fbf90a

prep dependency dune-compiledb.0.6.0-c5300c70c3aa1a0ede0881f306b240a9

prep dependency dune-configurator.3.21.0-57e97808e6e80cdc4cab0baec651b77d

prep dependency dune-private-libs.3.21.0-20c944fa9fb5fc71fa2770d9e306365a

prep dependency dune-site.3.21.0-90d80b721db6678d4cb6608f1930a84a

prep dependency dyn.3.21.0-4ca5bfae2511bb6eae6b999d808d6d22

prep dependency ezjsonm.1.3.0-c35aa5f099c8ad071c95e1fd9ca699aa

prep dependency fmt.0.11.0-7dae962bbfe576f6a389ffa84bd4c0fe

prep dependency fpath.0.7.3-3356a1e4098da42982453fff5c7286c0

prep dependency frama-c.28.1-496c2451541a5d71f87d2aeb31dc5071

prep dependency fs-io.3.21.0-37e4299220f8ef357865b20a48fbf90a

prep dependency gen.1.1-c4bed9f34c2db7c819746e49ca13be5f

prep dependency hex.1.5.0-0bde8da3ff82ec4561018f6309815b75

prep dependency integers.0.7.0-bdfd132a0d47b4aa2d57c92964743959

prep dependency js_of_ocaml-compiler.6.2.0-205100b019268bc08a2a88693019d142

prep dependency jsonm.1.0.2-f8182f59d302da348f4516f147fe5cb0

prep dependency lablgtk3.3.1.5-897807055d99b95ae8bc631d766e8817

prep dependency lablgtk3-sourceview3.3.1.5-b7abb0d396f06572aed7dba5846c54aa

prep dependency logs.0.10.0-8f8128d87b3019c2dca8a1e467930867

prep dependency lwt.6.1.0-5e0b35c1af8a7c01b8f890b2b2935406

prep dependency menhir.20260122-5e2fe9e9a85cad7a20088ef67b5461af

prep dependency menhirCST.20260122-37e4299220f8ef357865b20a48fbf90a

prep dependency menhirGLR.20260122-37e4299220f8ef357865b20a48fbf90a

prep dependency menhirLib.20260122-37e4299220f8ef357865b20a48fbf90a

prep dependency menhirSdk.20260122-37e4299220f8ef357865b20a48fbf90a

prep dependency not-ocamlfind.0.14-5ac290d55cccc11b06d1aae152a6529f

prep dependency num.1.6-24d8a45b73ecf4f375220abed490622c

prep dependency ocaml.5.2.1-33dc7449289735d50b43af338d1f909c

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

prep dependency ocaml-compiler-libs.v0.17.0-37e4299220f8ef357865b20a48fbf90a

prep dependency ocaml-config.3-645e3af890eb0011d48fed8c291ad8db

prep dependency ocaml_intrinsics_kernel.v0.17.1-37e4299220f8ef357865b20a48fbf90a

prep dependency ocamlbuild.0.16.1-24d8a45b73ecf4f375220abed490622c

prep dependency ocamlfind.1.9.8-24d8a45b73ecf4f375220abed490622c

prep dependency ocamlgraph.2.2.0-37e4299220f8ef357865b20a48fbf90a

prep dependency ocplib-endian.1.2-0a4dafff8fa368c3011e1d8229b8c42a