maint_debian-ocaml package set for trixie/armhf
Debian package sets:
desktop package sets:
Debian distribution package sets:
maintenance team package sets:
- maint_debian-accessibility
- maint_debian-boot
- maint_debian-lua
- maint_debian-med
- maint_debian-ocaml
- maint_debian-on-mobile-maintainers
- maint_debian-python
- maint_debian-qa
- maint_debian-science
- maint_debian-x
- maint_pkg-android-tools-devel
- maint_pkg-erlang-devel
- maint_pkg-fonts-devel
- maint_pkg-games-devel
- maint_pkg-golang-maintainers
- maint_pkg-grass-devel
- maint_pkg-haskell-maintainers
- maint_pkg-java-maintainers
- maint_pkg-javascript-devel
- maint_pkg-multimedia-maintainers
- maint_pkg-perl-maintainers
- maint_pkg-php-pear
- maint_pkg-openstack
- maint_pkg-r
- maint_pkg-ruby-extras-maintainers
- maint_pkg-rust-maintainers
- maint_reproducible-builds
The package set maint_debian-ocaml in
trixie/armhf consists of 376 packages:
7 (1.9%) packages
failed to build reproducibly:
advi+
omake#
wyrd
ocaml-topkg
ocaml-atd
why3
ocamlviz
4 (1.1%) packages
failed to build from source:
ocamlgsl#
ocaml-mdx
ocaml-iter
linksem
52 (13.8%) packages
are either in depwait state, blacklisted, not for us, or cannot be downloaded:
ocaml-dune
pgocaml
coq-bignums
coq-gappa
coqprime
coq-libhyps
ott
coq-reduction-effects
coq-math-classes
coq-hierarchy-builder
coq-extructures
ssreflect
coq-reglang
coq-deriving
mathcomp-bigenough
mathcomp-algebra-tactics
coqeal
ocaml-containers
ocaml-oseq
ocaml-multicore-magic
ocaml-dscheck
ocaml-multicore-bench
coq-serapi
elpi
coq-relation-algebra
coq
coq-elpi
coq-stdpp
flocq
coq-interval
coquelicot
coq-unimath
mathcomp-finmap
mathcomp-multinomials
coq-simple-io
mathcomp-analysis
coq-corn
coq-quickchick
paramcoq
aac-tactics
coq-menhirlib
mathcomp-real-closed
coq-hott
coq-hammer
coq-unicoq
coq-iris
coq-ext-lib
coq-equations
coq-record-update
coq-dpdgraph
coq-mtac2
mathcomp-zify
313 (83.2%) packages
successfully build reproducibly:
0install-solver
approx
belenios
ben
bibtex2html
biniou
bin-prot
bisect-ppx
cairo-ocaml
calendar
caml2html
camlbz2
camlidl
camlidl-doc
camlimages
camljava
camlmix
caml-mode
camlp4
camlp5
camlp5-buildscripts
camlpdf
camlp-streams
camltemplate
camlzip
camomile
cmdliner
coinst
cothreads
cppo
crowbar
cryptgps
cryptokit
cudf
dh-coq
dh-ocaml
dose3
easy-format
eliom
extlib
facile
fieldslib
findlib
frama-c
gd4o
headache
hevea
hlins
hol-light
janest-base
janest-ocaml-compiler-libs
jane-street-headers
js-of-ocaml
js-of-ocaml-ocamlbuild
jsonm
jst-config
lablgl
lablgtk3
labltk
laby
lambda-term
ledit
lem
lwt
lwt-log
lwt-ssl
menhir
meta-ocaml
meta-unison
mlgmp
mlpcap
mlpost
morbig
morsmall
mysql-ocaml
not-ocamlfind
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-backoff
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-cinaps
ocaml-cohttp
ocaml-conduit
ocaml-config-file
ocaml-cpu
ocamlcreal
ocaml-crunch
ocaml-cry
ocaml-csexp
ocaml-cstruct
ocaml-csv
ocaml-ctypes
ocaml-curses
ocamldap
ocaml-dbus
ocaml-digestif
ocaml-domain-local-await
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
ocamlformat
ocaml-fpath
ocaml-frei0r
ocaml-gavl
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-intrinsics-kernel
ocaml-ipaddr
ocaml-kdf
ocaml-ladspa
ocaml-lame
ocaml-lastfm
ocaml-linenoise
ocaml-lo
ocaml-logs
ocaml-mad
ocaml-magic
ocaml-magic-mime
ocamlmakefile
ocaml-mccs
ocaml-mem-usage
ocaml-merlin
ocaml-metadata
ocaml-mew
ocaml-mew-vi
ocaml-mirage-clock
ocaml-mirage-crypto
ocaml-mirage-kv
ocaml-mirage-kv-mem
ocaml-mm
ocaml-mmap
ocamlmod
ocaml-mtime
ocamlnet
ocaml-num
ocaml-obuild
ocaml-odoc
ocaml-ogg
ocaml-ohex
ocaml-optint
ocaml-opus
ocamlpam
ocaml-parany
ocaml-parsexp
ocaml-pbkdf
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
ocamlrss
ocaml-samplerate
ocaml-sedlex
ocaml-sexplib0
ocaml-sha
ocaml-shine
ocaml-shout
ocaml-soundtouch
ocaml-spdx-licenses
ocaml-speex
ocaml-sqlite3
ocaml-ssl
ocaml-stdcompat
ocaml-stdio
ocaml-stdlib-random
ocaml-stringext
ocaml-swhid-core
ocaml-taglib
ocaml-theora
ocaml-thread-table
ocaml-time-now
ocaml-tools
ocaml-trie
ocaml-unix-errno
ocaml-uri
ocaml-usb
ocaml-uucd
ocaml-uucp
ocaml-uunf
ocaml-uuseg
ocaml-version
ocaml-visitors
ocaml-voaacenc
ocaml-vorbis
ocamlwc
ocamlweb
ocaml-x509
ocaml-xmlplaylist
ocaml-zarith
ocp-indent
ocplib-endian
ocplib-simplex
ocsigenserver
ocsipersist
ocurl
omd
opam
opam-0install-cudf
opam-file-format
ounit
pagodacf
parmap
pcre2-ocaml
perl4caml
planets
postgresql-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
ppx-let
ppxlib
ppxlib-jane
ppx-optcomp
ppx-sexp-conv
ppx-stable-witness
ppx-string
ppx-variants-conv
psmt2-frontend
pxp
pyml
react
reactivedata
sexplib310
spamoracle
syslog-ocaml
tophide
tuareg-mode
typerep
tyxml
ulex
unison-2.53
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.