Debian navigation

maint_debian-ocaml package set for bookworm/arm64

Debian package sets:
desktop package sets:
Debian distribution package sets:
maintenance team package sets:

package set maint_debian-ocaml in bookworm/arm64
The package set maint_debian-ocaml in bookworm/arm64 consists of 342 packages:
None 9 (2.6%) packages failed to build reproducibly: wyrd omake# hevea ocaml-atd coq coq-iris why3 ssreflect liquidsoap
None None None None 4 (1.2%) packages are either in depwait state, blacklisted, not for us, or cannot be downloaded: coq-unimath ben pgocaml ocaml-dune
None 329 (96.2%) packages successfully build reproducibly: aac-tactics advi+ approx belenios bibtex2html biniou bin-prot cairo-ocaml calendar caml2html camlbz2 camlidl camlidl-doc camlimages camljava camlmix caml-mode camlp4 camlp5 camlpdf camlp-streams camltemplate camlzip camomile cmdliner coccinelle coinst coq-bignums coq-corn coq-deriving coq-dpdgraph coqeal coq-elpi coq-equations coq-ext-lib coq-extructures coq-gappa coq-hammer coq-hierarchy-builder coq-hott coq-interval coq-libhyps coq-math-classes coq-menhirlib coq-mtac2 coqprime coq-quickchick coq-record-update coq-reduction-effects coq-reglang coq-relation-algebra coq-simple-io coq-stdpp coquelicot coq-unicoq cothreads cppo crowbar cryptgps cryptokit cudf dh-coq dh-ocaml dose3 easy-format eliom elpi extlib facile fieldslib findlib flocq frama-c freetennis gd4o gmetadom headache hlins hol-light janest-base janest-ocaml-compiler-libs js-of-ocaml js-of-ocaml-ocamlbuild jsonm lablgl lablgtk2 lablgtk3 lablgtk-extras labltk laby lambda-term ledit lwt lwt-log lwt-ssl mathcomp-abel mathcomp-algebra-tactics mathcomp-analysis mathcomp-bigenough mathcomp-finmap mathcomp-multinomials mathcomp-real-closed mathcomp-zify menhir meta-ocaml meta-unison mlgmp mlpcap mlpost morbig morsmall mysql-ocaml nproc nss-passwords nurpawiki oasis# obus ocaml ocaml-afl-persistent ocamlagrep ocaml-alcotest ocaml-alsa ocaml-angstrom ocaml-ansi-terminal ocaml-ao ocaml-asn1-combinators ocaml-astring ocaml-base64 ocaml-batteries ocaml-benchmark ocaml-bigarray-compat ocaml-bigstringaf ocaml-bitstring ocaml-bjack ocaml-bos ocamlbuild ocaml-ca-certs ocaml-cairo2 ocaml-charinfo-width ocaml-cohttp ocaml-conduit ocaml-config-file ocaml-cpu ocamlcreal ocaml-cry ocaml-csexp ocaml-cstruct ocaml-csv ocaml-ctypes ocaml-curses ocamldap ocaml-dbus ocaml-domain-name ocamldsort ocaml-dssi ocaml-dtools ocaml-duppy ocaml-duration ocaml-eqaf ocaml-expat ocaml-expect ocaml-extunix ocaml-faad ocaml-ffmpeg ocaml-fileutils ocaml-flac ocaml-fmt ocaml-fpath ocaml-frei0r ocaml-gavl ocaml-gen ocaml-getopt ocaml-gettext ocaml-gmap ocaml-gnuplot ocamlgraph ocaml-graphics ocamlgsl# ocaml-gstreamer ocaml-hex ocaml-hmap ocaml-http ocamlify ocaml-inifiles ocaml-inotify ocaml-integers ocaml-ipaddr ocaml-ladspa ocaml-lame ocaml-lastfm ocaml-lo ocaml-logs ocaml-luv ocaml-mad ocaml-magic ocaml-magic-mime ocamlmakefile ocaml-mccs ocaml-mew ocaml-mew-vi ocaml-migrate-parsetree ocaml-mirage-crypto ocaml-mm ocaml-mmap ocamlmod ocaml-mtime ocamlnet ocaml-num ocaml-obuild ocamlodbc ocaml-odoc ocaml-odoc-parser ocaml-ogg ocaml-opus ocamlpam ocaml-parany ocaml-parsexp ocaml-pbkdf ocaml-portaudio ocaml-pprint ocaml-ptime ocaml-ptmap ocaml-pulseaudio ocaml-qcheck ocaml-qtest ocaml-re ocaml-reins ocaml-res ocaml-result ocaml-rope ocaml-rresult ocamlrss ocaml-samplerate ocamlsdl ocaml-sedlex ocaml-sexplib0 ocaml-sha ocaml-shine ocaml-shout ocaml-soundtouch ocaml-speex ocaml-sqlite3 ocaml-ssl ocaml-stdcompat ocaml-stdio ocaml-stringext ocaml-taglib ocaml-theora ocaml-tools ocaml-topkg ocaml-trie ocaml-unix-errno ocaml-uri ocaml-usb ocaml-uucd ocaml-uucp ocaml-uunf ocaml-uuseg ocaml-visitors ocamlviz ocaml-voaacenc ocaml-vorbis ocamlwc ocamlweb ocaml-x509 ocaml-xmlplaylist ocaml-zarith ocp-indent ocplib-endian ocplib-simplex ocsigenserver ocsipersist ocurl opam opam-file-format otags ott ounit pagodacf pa-ounit paramcoq parmap pcre-ocaml perl4caml planets postgresql-ocaml# ppx-bin-prot ppx-compare ppx-custom-printf ppx-derivers ppx-deriving ppx-deriving-yojson ppx-fields-conv ppx-hash ppx-here ppx-import ppxlib ppx-optcomp ppx-sexp-conv ppx-tools ppx-variants-conv prooftree psmt2-frontend pxp pyml react reactivedata sexplib310 spamoracle syslog-ocaml tophide tuareg-mode typerep tyxml ulex ulex0.8 unison-2.51+4.13.1 unison-2.52 utop uuidm uutf variantslib xml-light xmlm xmlrpc-light xstr xstrp4 yojson zed

A package name displayed with a bold font is an indication that this package has a note. Visited packages are linked in green, those which have not been visited are linked in blue.
A # sign after the name of a package indicates that a bug is filed against it. Likewise, a + sign indicates there is a patch available, a P means a pending bug while # indicates a closed bug. In cases of several bugs, the symbol is repeated.