Profiles › full › package: proverif › 1.98

proverif.1.98

✗ Build failed — a build error.

Blessed build job: view build log

If you believe proverif.1.98 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—blessed47103d698b64
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:55Z2026-09-04-153617failurebuild—blessed47103d698b64
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:39Z2026-09-03-173109failurebuild—blessed1589c8af2c0c
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