Debian navigation

maint_debian-ocaml package set for trixie/armhf

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

package set maint_debian-ocaml in trixie/armhf
The package set maint_debian-ocaml in trixie/armhf consists of 325 packages:
None 10 (3.1%) packages failed to build reproducibly: coq-iris wyrd ocaml-atd coq ocaml-uucp why3 ssreflect ocamlviz hevea omake#
None 2 (0.6%) packages failed to build from source: mathcomp-analysis ocamlgsl#
None None None None 23 (7.1%) packages are either in depwait state, blacklisted, not for us, or cannot be downloaded: ocaml-dune pgocaml coq-unimath lablgtk3 planets opam cairo-ocaml tuareg-mode bibtex2html dose3 postgresql-ocaml# mysql-ocaml laby camljava ocaml-gavl ocaml-shout labltk frama-c unison-2.53 perl4caml lablgl advi+ mlpost
None 290 (89.2%) packages successfully build reproducibly: aac-tactics belenios biniou bin-prot calendar caml2html camlbz2 camlidl camlidl-doc camlimages camlmix caml-mode camlp4 camlp5 camlp5-buildscripts 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 cryptgps cryptokit cudf dh-coq dh-ocaml easy-format elpi extlib facile fieldslib findlib flocq gd4o headache hlins hol-light janest-base janest-ocaml-compiler-libs jane-street-headers js-of-ocaml js-of-ocaml-ocamlbuild jsonm jst-config lambda-term ledit lwt lwt-log lwt-ssl mathcomp-algebra-tactics mathcomp-bigenough mathcomp-finmap mathcomp-multinomials mathcomp-real-closed mathcomp-zify menhir meta-unison mlgmp morbig morsmall not-ocamlfind nproc nss-passwords oasis# obus ocaml 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-cairo2 ocaml-charinfo-width ocaml-config-file ocaml-cpu ocamlcreal ocaml-crunch ocaml-cry ocaml-csexp ocaml-cstruct ocaml-csv ocaml-ctypes ocaml-curses ocaml-dbus ocaml-domain-name ocamldsort ocaml-dssi ocaml-dtools ocaml-duppy ocaml-duration ocaml-expat ocaml-expect ocaml-extunix ocaml-faad ocaml-ffmpeg ocaml-fileutils ocaml-flac ocaml-fmt ocaml-fpath ocaml-frei0r ocaml-gen ocaml-getopt ocaml-gettext ocaml-gmap ocaml-gnuplot ocamlgraph ocaml-graphics ocaml-gstreamer ocaml-hex ocaml-hmap 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-merlin ocaml-metadata ocaml-mew ocaml-mew-vi ocaml-migrate-parsetree ocaml-mm ocaml-mmap ocamlmod ocaml-mtime ocamlnet ocaml-num ocaml-obuild ocaml-odoc ocaml-ogg ocaml-opus ocamlpam ocaml-parany ocaml-parsexp ocaml-portaudio ocaml-pp ocaml-pprint ocaml-ptime ocaml-ptmap ocaml-pulseaudio ocaml-qcheck ocaml-qtest ocaml-randomconv ocaml-re ocaml-reins ocaml-res ocaml-result ocaml-rope ocaml-rresult ocaml-samplerate ocaml-sedlex ocaml-sexplib0 ocaml-sha ocaml-shine ocaml-soundtouch ocaml-speex ocaml-sqlite3 ocaml-ssl ocaml-stdcompat ocaml-stdio ocaml-stringext ocaml-taglib ocaml-theora ocaml-time-now ocaml-tools ocaml-topkg ocaml-trie ocaml-uri ocaml-usb ocaml-uucd ocaml-uunf ocaml-uuseg ocaml-visitors ocaml-voaacenc ocaml-vorbis ocamlwc ocamlweb ocaml-xmlplaylist ocaml-zarith ocp-indent ocplib-endian ocplib-simplex ocurl opam-file-format ott ounit pagodacf pa-ounit paramcoq parmap pcre2-ocaml ppx-assert ppx-base ppx-bin-prot ppx-cold ppx-compare ppx-custom-printf ppx-derivers ppx-deriving ppx-deriving-yojson ppx-enumerate ppx-expect ppx-fields-conv ppx-globalize ppx-hash ppx-here ppx-import ppx-inline-test ppxlib ppx-optcomp ppx-sexp-conv ppx-stable-witness ppx-string ppx-tools ppx-variants-conv psmt2-frontend pyml react reactivedata sexplib310 spamoracle syslog-ocaml tophide typerep tyxml ulex utop uuidm uutf variantslib xml-light xmlm 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.