Package mopsa

• do-deps

  active

• do-compile

  active

All universes

ace6f51bba269493549918b858ea39c7

• prep

  • prep mopsa.1.2-ace6f51bba269493549918b858ea39c7

    active

  • prep dependency apron.v0.9.15-8df9b9530f7f99c16634bc23d25b767f

    active

  • prep dependency arg-complete.0.2.1-8dd4179d56cc054be7f4dcb405114c93

    active

  • prep dependency base-threads.base-431006b7798dde30d7728c5df9bb0948

    active

  • prep dependency base-unix.base-431006b7798dde30d7728c5df9bb0948

    active

  • prep dependency bigarray-compat.1.1.0-2f8ce72c7427776a66a060c6ceadcaaa

    active

  • prep dependency camlidl.1.13-7d8ef1b481069521916197c29ef4a3c9

    active

  • prep dependency conf-findutils.1-431006b7798dde30d7728c5df9bb0948

    active

  • prep dependency conf-gmp.5-1a8c4104a4c1e97b46faea537ac23819

    active

  • prep dependency conf-gmp-paths.1-f542e39b1e2b3c0046c25d80a3d0b0e0

    active

  • prep dependency conf-mpfr-paths.1-7c739abc78a653a7ba869f70c678b421

    active

  • prep dependency conf-perl.2-431006b7798dde30d7728c5df9bb0948

    active

  • prep dependency conf-pkg-config.4-431006b7798dde30d7728c5df9bb0948

    active

  • prep dependency cppo.1.8.0-2f8ce72c7427776a66a060c6ceadcaaa

    active

  • prep dependency dune.3.21.0-01cb096815ba24d0001a4d55238d7e43

    active

  • prep dependency ez-conf-lib.2-f5c700ddac66262d39c0bcd6b696c420

    active

  • prep dependency menhir.20260122-67522a120037b47e9d36638b6ef8deea

    active

  • prep dependency menhirCST.20260122-2f8ce72c7427776a66a060c6ceadcaaa

    active

  • prep dependency menhirGLR.20260122-2f8ce72c7427776a66a060c6ceadcaaa

    active

  • prep dependency menhirLib.20260122-2f8ce72c7427776a66a060c6ceadcaaa

    active

  • prep dependency menhirSdk.20260122-2f8ce72c7427776a66a060c6ceadcaaa

    active

  • prep dependency mlgmpidl.1.3.0-ea998896d985f6fab79fd222396dbe7d

    active

  • prep dependency ocaml.5.4.0-700c7e2fead6b639c37f02742ab5c8a7

    active

  • prep dependency ocaml-base-compiler.5.4.0-fa47b4b8cb10bdb7c95ca0f933d2def6

    active

  • prep dependency ocaml-compiler.5.4.0-431006b7798dde30d7728c5df9bb0948

    active

  • prep dependency ocaml-config.3-2edf3983b037899d231c875fdd476b20

    active

  • prep dependency ocamlbuild.0.16.1-7d8ef1b481069521916197c29ef4a3c9

    active

  • prep dependency ocamlfind.1.9.8-7d8ef1b481069521916197c29ef4a3c9

    active

  • prep dependency qcheck-core.0.91-2f8ce72c7427776a66a060c6ceadcaaa

    active

  • prep dependency yojson.3.0.0-2f8ce72c7427776a66a060c6ceadcaaa

    active

  • prep dependency zarith.1.14-7e8bafe45f7ffb9a29272b68a5503042

    active