Package alt-ergo-lib

do-deps
active
do-compile
active

All universes

6ad194cf738a0b3aa746df63d9e1950e

prep
- prep alt-ergo-lib.2.6.1-6ad194cf738a0b3aa746df63d9e1950e
  active
- prep dependency base-threads.base-b4349cf7232e6b66621e089f2b9beee5
  active
- prep dependency base-unix.base-b4349cf7232e6b66621e089f2b9beee5
  active
- prep dependency camlzip.1.13-b6cf0b901b807ee7dc01810bb5b2e621
  active
- prep dependency conf-gmp.5-ce56a397f57b2c226d96fdcb785de98e
  active
- prep dependency conf-pkg-config.4-b4349cf7232e6b66621e089f2b9beee5
  active
- prep dependency conf-zlib.1-ce56a397f57b2c226d96fdcb785de98e
  active
- prep dependency cppo.1.8.0-5bb7ea21fab6d288e498a5befa65d36c
  active
- prep dependency dolmen.0.10-8037cd6dcadbc867065d4ecbded19cf8
  active
- prep dependency dolmen_loop.0.10-88bcbbe8bc96fa07d57eaf588a58be47
  active
- prep dependency dolmen_type.0.10-a1b1dfb721500b1be4ec89ca5b04a7ec
  active
- prep dependency dune.3.18.2-3114aec9e7f412ca05476b1c25ff1eb5
  active
- prep dependency dune-build-info.3.18.2-5bb7ea21fab6d288e498a5befa65d36c
  active
- prep dependency fmt.0.10.0-552adc799c3bb91cc3d1d240122be5ec
  active
- prep dependency gen.1.1-92107196fb817f6cb831f524e2528de7
  active
- prep dependency hmap.0.8.1-13891a1ec2e3dcf02de0d95b06186ebf
  active
- prep dependency logs.0.8.0-c0107a265291b1cdb9ac0b777429e827
  active
- prep dependency menhir.20240715-e48859871bcbaaa1f9191915da2aae15
  active
- prep dependency menhirCST.20240715-5bb7ea21fab6d288e498a5befa65d36c
  active
- prep dependency menhirLib.20240715-5bb7ea21fab6d288e498a5befa65d36c
  active
- prep dependency menhirSdk.20240715-5bb7ea21fab6d288e498a5befa65d36c
  active
- prep dependency ocaml.5.3.0-fa1e7b231be6d37a5e076747588e8a81
  active
- prep dependency ocaml-base-compiler.5.3.0-259cc3b16b981e6a51e20757f9cd8e63
  active
- prep dependency ocaml-compiler.5.3.0-b4349cf7232e6b66621e089f2b9beee5
  active
- prep dependency ocaml-compiler-libs.v0.17.0-5bb7ea21fab6d288e498a5befa65d36c
  active
- prep dependency ocaml-config.3-593d62e54e3fb734e52be360ecf90b6d
  active
- prep dependency ocamlbuild.0.16.1-c43b17abdeb9c13d2ceb83d309ed632a
  active
- prep dependency ocamlfind.1.9.8-c43b17abdeb9c13d2ceb83d309ed632a
  active
- prep dependency ocplib-simplex.0.5.1-f7727d5338033b384b0d7ba086be2a1a
  active
- prep dependency pp_loc.2.1.0-5bb7ea21fab6d288e498a5befa65d36c
  active
- prep dependency ppx_blob.0.9.0-ec1e3c90e266a97b70038e11b6178388
  active
- prep dependency ppx_derivers.1.2.1-5bb7ea21fab6d288e498a5befa65d36c
  active
- prep dependency ppx_deriving.6.1.0-38dad05ac66c6856d0200f9ed82a1edc
  active
- prep dependency ppxlib.0.36.0-bfcbdb928406452cd87cdbbec44b16c0
  active
- prep dependency seq.base-c43b17abdeb9c13d2ceb83d309ed632a
  active
- prep dependency sexplib0.v0.17.0-5bb7ea21fab6d288e498a5befa65d36c
  active
- prep dependency spelll.0.4-ab4abbe472adb1123bb97977a56d9bab
  active
- prep dependency stdlib-shims.0.3.0-5bb7ea21fab6d288e498a5befa65d36c
  active
- prep dependency topkg.1.0.8-7cabcdaa04003e3bada32f5f91de2242
  active
- prep dependency uutf.1.0.4-13891a1ec2e3dcf02de0d95b06186ebf
  active
- prep dependency zarith.1.14-1cd9ac62aa3bdf3dc6c942cf067940ad
  active

caef7792eb5e9e3486ef71c8c5b97519

prep
- prep alt-ergo-lib.2.6.1-caef7792eb5e9e3486ef71c8c5b97519
  active
- prep dependency base-threads.base-b4349cf7232e6b66621e089f2b9beee5
  active
- prep dependency base-unix.base-b4349cf7232e6b66621e089f2b9beee5
  active
- prep dependency camlzip.1.13-b6cf0b901b807ee7dc01810bb5b2e621
  active
- prep dependency cmdliner.1.3.0-c43b17abdeb9c13d2ceb83d309ed632a
  active
- prep dependency conf-gmp.5-ce56a397f57b2c226d96fdcb785de98e
  active
- prep dependency conf-pkg-config.4-b4349cf7232e6b66621e089f2b9beee5
  active
- prep dependency conf-zlib.1-ce56a397f57b2c226d96fdcb785de98e
  active
- prep dependency cppo.1.8.0-5bb7ea21fab6d288e498a5befa65d36c
  active
- prep dependency dolmen.0.10-f8cbee0948aa3d2c811e339664d87bef
  active
- prep dependency dolmen_loop.0.10-58bd87f1ab0503192e71f4673714fbc2
  active
- prep dependency dolmen_type.0.10-55b130f638c45048f49510b967384e37
  active
- prep dependency dune.3.18.2-3114aec9e7f412ca05476b1c25ff1eb5
  active
- prep dependency dune-build-info.3.18.2-5bb7ea21fab6d288e498a5befa65d36c
  active
- prep dependency fmt.0.10.0-43c4fd677c629835f5d2176035a7cd20
  active
- prep dependency gen.1.1-92107196fb817f6cb831f524e2528de7
  active
- prep dependency hmap.0.8.1-13891a1ec2e3dcf02de0d95b06186ebf
  active
- prep dependency logs.0.8.0-05d36abec4f2184d5aba1ef58ed9ce8f
  active
- prep dependency menhir.20240715-e48859871bcbaaa1f9191915da2aae15
  active
- prep dependency menhirCST.20240715-5bb7ea21fab6d288e498a5befa65d36c
  active
- prep dependency menhirLib.20240715-5bb7ea21fab6d288e498a5befa65d36c
  active
- prep dependency menhirSdk.20240715-5bb7ea21fab6d288e498a5befa65d36c
  active
- prep dependency ocaml.5.3.0-fa1e7b231be6d37a5e076747588e8a81
  active
- prep dependency ocaml-base-compiler.5.3.0-259cc3b16b981e6a51e20757f9cd8e63
  active
- prep dependency ocaml-compiler.5.3.0-b4349cf7232e6b66621e089f2b9beee5
  active
- prep dependency ocaml-compiler-libs.v0.17.0-5bb7ea21fab6d288e498a5befa65d36c
  active
- prep dependency ocaml-config.3-593d62e54e3fb734e52be360ecf90b6d
  active
- prep dependency ocamlbuild.0.16.1-c43b17abdeb9c13d2ceb83d309ed632a
  active
- prep dependency ocamlfind.1.9.8-c43b17abdeb9c13d2ceb83d309ed632a
  active
- prep dependency ocplib-simplex.0.5.1-802a0116637992d3554250b7c0c62c61
  active
- prep dependency pp_loc.2.1.0-5bb7ea21fab6d288e498a5befa65d36c
  active
- prep dependency ppx_blob.0.9.0-ec1e3c90e266a97b70038e11b6178388
  active
- prep dependency ppx_derivers.1.2.1-5bb7ea21fab6d288e498a5befa65d36c
  active
- prep dependency ppx_deriving.6.1.0-38dad05ac66c6856d0200f9ed82a1edc
  active
- prep dependency ppxlib.0.36.0-bfcbdb928406452cd87cdbbec44b16c0
  active
- prep dependency seq.base-c43b17abdeb9c13d2ceb83d309ed632a
  active
- prep dependency sexplib0.v0.17.0-5bb7ea21fab6d288e498a5befa65d36c
  active
- prep dependency spelll.0.4-ab4abbe472adb1123bb97977a56d9bab
  active
- prep dependency stdlib-shims.0.3.0-5bb7ea21fab6d288e498a5befa65d36c
  active
- prep dependency topkg.1.0.8-7cabcdaa04003e3bada32f5f91de2242
  active
- prep dependency uutf.1.0.4-6889b39163102e34153a1620f188452c
  active
- prep dependency zarith.1.14-1cd9ac62aa3bdf3dc6c942cf067940ad
  active

Package alt-ergo-lib

do-deps

do-compile

All universes

6ad194cf738a0b3aa746df63d9e1950e

prep

prep alt-ergo-lib.2.6.1-6ad194cf738a0b3aa746df63d9e1950e

prep dependency base-threads.base-b4349cf7232e6b66621e089f2b9beee5

prep dependency base-unix.base-b4349cf7232e6b66621e089f2b9beee5

prep dependency camlzip.1.13-b6cf0b901b807ee7dc01810bb5b2e621

prep dependency conf-gmp.5-ce56a397f57b2c226d96fdcb785de98e

prep dependency conf-pkg-config.4-b4349cf7232e6b66621e089f2b9beee5

prep dependency conf-zlib.1-ce56a397f57b2c226d96fdcb785de98e

prep dependency cppo.1.8.0-5bb7ea21fab6d288e498a5befa65d36c

prep dependency dolmen.0.10-8037cd6dcadbc867065d4ecbded19cf8

prep dependency dolmen_loop.0.10-88bcbbe8bc96fa07d57eaf588a58be47

prep dependency dolmen_type.0.10-a1b1dfb721500b1be4ec89ca5b04a7ec

prep dependency dune.3.18.2-3114aec9e7f412ca05476b1c25ff1eb5

prep dependency dune-build-info.3.18.2-5bb7ea21fab6d288e498a5befa65d36c

prep dependency fmt.0.10.0-552adc799c3bb91cc3d1d240122be5ec

prep dependency gen.1.1-92107196fb817f6cb831f524e2528de7

prep dependency hmap.0.8.1-13891a1ec2e3dcf02de0d95b06186ebf

prep dependency logs.0.8.0-c0107a265291b1cdb9ac0b777429e827

prep dependency menhir.20240715-e48859871bcbaaa1f9191915da2aae15

prep dependency menhirCST.20240715-5bb7ea21fab6d288e498a5befa65d36c

prep dependency menhirLib.20240715-5bb7ea21fab6d288e498a5befa65d36c

prep dependency menhirSdk.20240715-5bb7ea21fab6d288e498a5befa65d36c

prep dependency ocaml.5.3.0-fa1e7b231be6d37a5e076747588e8a81

prep dependency ocaml-base-compiler.5.3.0-259cc3b16b981e6a51e20757f9cd8e63

prep dependency ocaml-compiler.5.3.0-b4349cf7232e6b66621e089f2b9beee5

prep dependency ocaml-compiler-libs.v0.17.0-5bb7ea21fab6d288e498a5befa65d36c

prep dependency ocaml-config.3-593d62e54e3fb734e52be360ecf90b6d

prep dependency ocamlbuild.0.16.1-c43b17abdeb9c13d2ceb83d309ed632a

prep dependency ocamlfind.1.9.8-c43b17abdeb9c13d2ceb83d309ed632a

prep dependency ocplib-simplex.0.5.1-f7727d5338033b384b0d7ba086be2a1a

prep dependency pp_loc.2.1.0-5bb7ea21fab6d288e498a5befa65d36c

prep dependency ppx_blob.0.9.0-ec1e3c90e266a97b70038e11b6178388

prep dependency ppx_derivers.1.2.1-5bb7ea21fab6d288e498a5befa65d36c

prep dependency ppx_deriving.6.1.0-38dad05ac66c6856d0200f9ed82a1edc

prep dependency ppxlib.0.36.0-bfcbdb928406452cd87cdbbec44b16c0

prep dependency seq.base-c43b17abdeb9c13d2ceb83d309ed632a

prep dependency sexplib0.v0.17.0-5bb7ea21fab6d288e498a5befa65d36c

prep dependency spelll.0.4-ab4abbe472adb1123bb97977a56d9bab

prep dependency stdlib-shims.0.3.0-5bb7ea21fab6d288e498a5befa65d36c

prep dependency topkg.1.0.8-7cabcdaa04003e3bada32f5f91de2242

prep dependency uutf.1.0.4-13891a1ec2e3dcf02de0d95b06186ebf

prep dependency zarith.1.14-1cd9ac62aa3bdf3dc6c942cf067940ad

caef7792eb5e9e3486ef71c8c5b97519

prep

prep alt-ergo-lib.2.6.1-caef7792eb5e9e3486ef71c8c5b97519

prep dependency base-threads.base-b4349cf7232e6b66621e089f2b9beee5

prep dependency base-unix.base-b4349cf7232e6b66621e089f2b9beee5

prep dependency camlzip.1.13-b6cf0b901b807ee7dc01810bb5b2e621

prep dependency cmdliner.1.3.0-c43b17abdeb9c13d2ceb83d309ed632a

prep dependency conf-gmp.5-ce56a397f57b2c226d96fdcb785de98e

prep dependency conf-pkg-config.4-b4349cf7232e6b66621e089f2b9beee5

prep dependency conf-zlib.1-ce56a397f57b2c226d96fdcb785de98e

prep dependency cppo.1.8.0-5bb7ea21fab6d288e498a5befa65d36c

prep dependency dolmen.0.10-f8cbee0948aa3d2c811e339664d87bef

prep dependency dolmen_loop.0.10-58bd87f1ab0503192e71f4673714fbc2

prep dependency dolmen_type.0.10-55b130f638c45048f49510b967384e37

prep dependency dune.3.18.2-3114aec9e7f412ca05476b1c25ff1eb5

prep dependency dune-build-info.3.18.2-5bb7ea21fab6d288e498a5befa65d36c

prep dependency fmt.0.10.0-43c4fd677c629835f5d2176035a7cd20

prep dependency gen.1.1-92107196fb817f6cb831f524e2528de7

prep dependency hmap.0.8.1-13891a1ec2e3dcf02de0d95b06186ebf

prep dependency logs.0.8.0-05d36abec4f2184d5aba1ef58ed9ce8f

prep dependency menhir.20240715-e48859871bcbaaa1f9191915da2aae15

prep dependency menhirCST.20240715-5bb7ea21fab6d288e498a5befa65d36c

prep dependency menhirLib.20240715-5bb7ea21fab6d288e498a5befa65d36c

prep dependency menhirSdk.20240715-5bb7ea21fab6d288e498a5befa65d36c

prep dependency ocaml.5.3.0-fa1e7b231be6d37a5e076747588e8a81

prep dependency ocaml-base-compiler.5.3.0-259cc3b16b981e6a51e20757f9cd8e63

prep dependency ocaml-compiler.5.3.0-b4349cf7232e6b66621e089f2b9beee5

prep dependency ocaml-compiler-libs.v0.17.0-5bb7ea21fab6d288e498a5befa65d36c

prep dependency ocaml-config.3-593d62e54e3fb734e52be360ecf90b6d

prep dependency ocamlbuild.0.16.1-c43b17abdeb9c13d2ceb83d309ed632a

prep dependency ocamlfind.1.9.8-c43b17abdeb9c13d2ceb83d309ed632a

prep dependency ocplib-simplex.0.5.1-802a0116637992d3554250b7c0c62c61

prep dependency pp_loc.2.1.0-5bb7ea21fab6d288e498a5befa65d36c