Profiles › full › package: proverif › 2.00

proverif.2.00

✗ Build failed — a build error.

Blessed build job: view build log

If you believe proverif.2.00 should compile correctly on Debian trixie, please comment on the ocurrent/ocaml-docs-ci issues: find issue · report issue

History

Tick two or more build rows' checkboxes (Deps column), then for version differences.

TimeRunStatusCategoryUniverseBlessedHashDepsError
2026-09-04T18:23:46Z2026-09-04-173559failurebuild—blessed9af6b9184ae8
13 deps
  • base-threads.base
  • base-unix.base
  • camlp-streams.5.0.1
  • compiler-cloning.enabled
  • conf-gtk2.1
  • conf-pkg-config.5
  • dune.3.24.2
  • lablgtk.2.18.14
  • ocaml-base-compiler.5.5.1
  • ocaml-compiler.5.5.1
  • ocaml.5.5.1
  • ocamlbuild.0.16.1
  • ocamlfind.1.9.9~preview
2026-09-04T18:08:45Z2026-09-04-153617failurebuild—blessed9af6b9184ae8
13 deps
  • base-threads.base
  • base-unix.base
  • camlp-streams.5.0.1
  • compiler-cloning.enabled
  • conf-gtk2.1
  • conf-pkg-config.5
  • dune.3.24.2
  • lablgtk.2.18.14
  • ocaml-base-compiler.5.5.1
  • ocaml-compiler.5.5.1
  • ocaml.5.5.1
  • ocamlbuild.0.16.1
  • ocamlfind.1.9.9~preview
2026-09-03T21:25:49Z2026-09-03-173109failurebuild—blessed765482b74ad6
13 deps
  • base-threads.base
  • base-unix.base
  • camlp-streams.5.0.1
  • compiler-cloning.enabled
  • conf-gtk2.1
  • conf-pkg-config.5
  • dune.3.24.2
  • lablgtk.2.18.14
  • ocaml-base-compiler.5.5.0
  • ocaml-compiler.5.5.0
  • ocaml.5.5.0
  • ocamlbuild.0.16.1
  • ocamlfind.1.9.9~preview