Package rocqide

do-deps
active
do-compile
active

All universes

9ee2e432cca753968e9f86f49e18c472

prep
- prep rocqide.9.1.1-9ee2e432cca753968e9f86f49e18c472
  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-1afe4bec1788c2d5994d8dbace76c38d
  active
- prep dependency camlp-streams.5.0.1-73bf7e5038388bd780f2e11264b73415
  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.1.1-d0e76e13a2511b62fd94a57756663f81
  active
- prep dependency csexp.1.5.2-73bf7e5038388bd780f2e11264b73415
  active
- prep dependency dune.3.21.1-01cb096815ba24d0001a4d55238d7e43
  active
- prep dependency dune-configurator.3.21.1-9131b51e3ee651138c404a9898bb687d
  active
- prep dependency lablgtk3.3.1.5-d80dbcdd391e2a7d7ce9cf50c0f41825
  active
- prep dependency lablgtk3-sourceview3.3.1.5-c57228d8c2782b6dce763807ad9a9835
  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.1.1-a2bd803009bca0e6d9a845c910be871f
  active
- prep dependency zarith.1.14-7e8bafe45f7ffb9a29272b68a5503042
  active

Package rocqide

do-deps

do-compile

All universes

9ee2e432cca753968e9f86f49e18c472

prep

prep rocqide.9.1.1-9ee2e432cca753968e9f86f49e18c472

prep dependency base-bigarray.base-431006b7798dde30d7728c5df9bb0948

prep dependency base-threads.base-431006b7798dde30d7728c5df9bb0948

prep dependency base-unix.base-431006b7798dde30d7728c5df9bb0948

prep dependency cairo2.0.6.5-1afe4bec1788c2d5994d8dbace76c38d

prep dependency camlp-streams.5.0.1-73bf7e5038388bd780f2e11264b73415

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.1.1-d0e76e13a2511b62fd94a57756663f81

prep dependency csexp.1.5.2-73bf7e5038388bd780f2e11264b73415

prep dependency dune.3.21.1-01cb096815ba24d0001a4d55238d7e43

prep dependency dune-configurator.3.21.1-9131b51e3ee651138c404a9898bb687d

prep dependency lablgtk3.3.1.5-d80dbcdd391e2a7d7ce9cf50c0f41825

prep dependency lablgtk3-sourceview3.3.1.5-c57228d8c2782b6dce763807ad9a9835

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.1.1-a2bd803009bca0e6d9a845c910be871f

prep dependency zarith.1.14-7e8bafe45f7ffb9a29272b68a5503042