Profiles › full › package: proverif › 1.98pl1

proverif.1.98pl1

✗ Build failed — a build error.

Blessed build job: view build log

If you believe proverif.1.98pl1 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:44Z2026-09-04-173559failurebuild—blessede90786b5b960
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:50Z2026-09-04-153617failurebuild—blessede90786b5b960
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:45Z2026-09-03-173109failurebuild—blessed5492aa897a7a
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