Package rocqide

do-deps
active
do-compile
active

All universes

e9ac950dd1eb7587c362110e479ba12f

prep
- prep rocqide.9.0.1-e9ac950dd1eb7587c362110e479ba12f
  active
- prep dependency base-bigarray.base-431006b7798dde30d7728c5df9bb0948
  active
- prep dependency base-threads.base-431006b7798dde30d7728c5df9bb0948
  active
- prep dependency base-unix.base-431006b7798dde30d7728c5df9bb0948
  active
- prep dependency cairo2.0.6.5-3cca216ba5d8c29bd3b34c2d242fc53f
  active
- prep dependency camlp-streams.5.0.1-2f8ce72c7427776a66a060c6ceadcaaa
  active
- prep dependency conf-adwaita-icon-theme.2-1a8c4104a4c1e97b46faea537ac23819
  active
- prep dependency conf-cairo.1-1a8c4104a4c1e97b46faea537ac23819
  active
- prep dependency conf-findutils.1-431006b7798dde30d7728c5df9bb0948
  active
- prep dependency conf-gmp.5-1a8c4104a4c1e97b46faea537ac23819
  active
- prep dependency conf-gtk3.18-1a8c4104a4c1e97b46faea537ac23819
  active
- prep dependency conf-gtksourceview3.0+2-1a8c4104a4c1e97b46faea537ac23819
  active
- prep dependency conf-linux-libc-dev.0-431006b7798dde30d7728c5df9bb0948
  active
- prep dependency conf-pkg-config.4-431006b7798dde30d7728c5df9bb0948
  active
- prep dependency coqide-server.9.0.1-d21ed77e56be6d689ac01c4b07dc52bd
  active
- prep dependency csexp.1.5.2-2f8ce72c7427776a66a060c6ceadcaaa
  active
- prep dependency dune.3.21.0-01cb096815ba24d0001a4d55238d7e43
  active
- prep dependency dune-configurator.3.21.0-0d2945a41f2df869ce715d03c0ffe3d6
  active
- prep dependency lablgtk3.3.1.5-e40309022f40e5a40e5a5241208f22d8
  active
- prep dependency lablgtk3-sourceview3.3.1.5-3f40c78dd4005680c135ece8d221bda8
  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 ocamlfind.1.9.8-7d8ef1b481069521916197c29ef4a3c9
  active
- prep dependency rocq-runtime.9.0.1-7934f8b7deb25dff966e4ffafcef5f44
  active
- prep dependency zarith.1.14-7e8bafe45f7ffb9a29272b68a5503042
  active

Package rocqide

do-deps

do-compile

All universes

e9ac950dd1eb7587c362110e479ba12f

prep

prep rocqide.9.0.1-e9ac950dd1eb7587c362110e479ba12f

prep dependency base-bigarray.base-431006b7798dde30d7728c5df9bb0948

prep dependency base-threads.base-431006b7798dde30d7728c5df9bb0948

prep dependency base-unix.base-431006b7798dde30d7728c5df9bb0948

prep dependency cairo2.0.6.5-3cca216ba5d8c29bd3b34c2d242fc53f

prep dependency camlp-streams.5.0.1-2f8ce72c7427776a66a060c6ceadcaaa

prep dependency conf-adwaita-icon-theme.2-1a8c4104a4c1e97b46faea537ac23819

prep dependency conf-cairo.1-1a8c4104a4c1e97b46faea537ac23819

prep dependency conf-findutils.1-431006b7798dde30d7728c5df9bb0948

prep dependency conf-gmp.5-1a8c4104a4c1e97b46faea537ac23819

prep dependency conf-gtk3.18-1a8c4104a4c1e97b46faea537ac23819

prep dependency conf-gtksourceview3.0+2-1a8c4104a4c1e97b46faea537ac23819

prep dependency conf-linux-libc-dev.0-431006b7798dde30d7728c5df9bb0948

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

prep dependency coqide-server.9.0.1-d21ed77e56be6d689ac01c4b07dc52bd

prep dependency csexp.1.5.2-2f8ce72c7427776a66a060c6ceadcaaa

prep dependency dune.3.21.0-01cb096815ba24d0001a4d55238d7e43

prep dependency dune-configurator.3.21.0-0d2945a41f2df869ce715d03c0ffe3d6

prep dependency lablgtk3.3.1.5-e40309022f40e5a40e5a5241208f22d8

prep dependency lablgtk3-sourceview3.3.1.5-3f40c78dd4005680c135ece8d221bda8

prep dependency ocaml.5.4.0-700c7e2fead6b639c37f02742ab5c8a7

prep dependency ocaml-base-compiler.5.4.0-fa47b4b8cb10bdb7c95ca0f933d2def6

prep dependency ocaml-compiler.5.4.0-431006b7798dde30d7728c5df9bb0948

prep dependency ocaml-config.3-2edf3983b037899d231c875fdd476b20

prep dependency ocamlfind.1.9.8-7d8ef1b481069521916197c29ef4a3c9

prep dependency rocq-runtime.9.0.1-7934f8b7deb25dff966e4ffafcef5f44

prep dependency zarith.1.14-7e8bafe45f7ffb9a29272b68a5503042