Transition tracker
Transitions
→ OCaml
Parameters:
Affected:
.maintainer ~ /debian-ocaml-maint/ | .build-depends ~ /ocaml/ | .build-depends-arch ~ /ocaml/ | .build-depends-indep ~ /ocaml/
Good:
!.uninstallable ~ /yes/
Bad:
.uninstallable ~ /yes/
Filter by status:
good
partial
bad
unknown
Dependency level 1 (
build logs
RC bugs
)
riscv64
caml-mode
[
build logs
] (
4.9-3
) [
arch:all
]
✔
camlidl-doc
[
build logs
] (
1.04-5
) [
arch:all
]
✔
dh-coq
[
build logs
] (
0.6
) [
arch:all
]
✔
dh-ocaml
[
build logs
] (
2.0
) [
arch:all
]
✔
hevea-doc
[
build logs
] (
2.36-1
) [
arch:all
]
✔
meta-ocaml
[
build logs
] (
4.13.1.1
) [
arch:all
]
✔
meta-unison
[
build logs
] (
2.53+1
) [
arch:all
]
✔
ocaml-doc
[
build logs
] (
4.11-2
) [
arch:all
]
✔
ocamlmakefile
[
build logs
] (
6.39.2-2
) [
arch:all
]
✔
tuareg-mode
[
build logs
] (
1:3.0.1-2
) [
arch:all
]
✔
Dependency level 2 (
build logs
RC bugs
)
riscv64
ocaml
[
build logs
] (
4.14.1-1
)
✔
Dependency level 3 (
build logs
RC bugs
)
riscv64
camlidl
[
build logs
] (
1.11-2
)
✔
cothreads
[
build logs
] (
0.10-6
)
✔
cuyo
[
build logs
] (
2.1.0-1
)
✔
findlib
[
build logs
] (
1.9.6-1
)
✔
hlins
[
build logs
] (
0.39-30
)
✔
misery
[
build logs
] (
0.2-1.1
)
✔
mlgmp
[
build logs
] (
20021123-22
)
✔
ocaml-dune
[
build logs
] (
3.11.1-1
)
✔
ocaml-obuild
[
build logs
] (
0.1.10-5
)
✔
ocaml-stdcompat
[
build logs
] (
19-1
)
✔
ocaml-tools
[
build logs
] (
20120103-10
) [
arch:all
]
✔
ocamlagrep
[
build logs
] (
1.0-15
)
✔
ocamlpam
[
build logs
] (
1.1-6
)
✔
ocamlwc
[
build logs
] (
0.3-21
)
✔
ocamlweb
[
build logs
] (
1.41-5
)
✔
omake
[
build logs
] (
0.10.6-2
)
✔
pdfsandwich
[
build logs
] (
0.1.7-2
)
✔
perl4caml
[
build logs
] (
0.9.5-7
)
⁈
polygen
[
build logs
] (
1.0.6.ds2-24
)
✔
spamoracle
[
build logs
] (
1.6-2
)
✔
Dependency level 4 (
build logs
RC bugs
)
riscv64
cairo-ocaml
[
build logs
] (
1:1.2.0-9
)
✔
camlbz2
[
build logs
] (
0.7.0-2
)
✔
camljava
[
build logs
] (
0.3-5
)
✔
camlmix
[
build logs
] (
1.3.1-5
)
✔
camlp-streams
[
build logs
] (
5.0.1-3
)
✔
camlpdf
[
build logs
] (
2.6-1
)
✔
camltemplate
[
build logs
] (
1.0.2-4
)
✔
camlzip
[
build logs
] (
1.11-2
)
✔
cryptgps
[
build logs
] (
0.2.1-12
)
✔
easy-format
[
build logs
] (
1.3.4-3
)
✔
facile
[
build logs
] (
1.1.4-3
)
✔
gd4o
[
build logs
] (
1.0~alpha5.git20220521.bb52fb2-1
)
✔
hivex
[
build logs
] (
1.3.23-1
) [
ma:same
]
⁈
jane-street-headers
[
build logs
] (
0.16.0-3
)
✔
janest-ocaml-compiler-libs
[
build logs
] (
0.12.4-4
)
✔
labltk
[
build logs
] (
8.06.13-2
)
✔
mlpcap
[
build logs
] (
0.9-21
)
✔
mysql-ocaml
[
build logs
] (
1.2.4-2
)
✔
ocaml-afl-persistent
[
build logs
] (
1.4-4
)
✔
ocaml-alsa
[
build logs
] (
0.3.0-4
)
✔
ocaml-ansi-terminal
[
build logs
] (
0.8.5-3
)
✔
ocaml-ao
[
build logs
] (
0.2.4-3
)
✔
ocaml-augeas
[
build logs
] (
0.6-1
)
✔
ocaml-benchmark
[
build logs
] (
1.6-4
)
✔
ocaml-bigarray-compat
[
build logs
] (
1.1.0-3
)
✔
ocaml-bjack
[
build logs
] (
0.1.6-3
)
✔
ocaml-csexp
[
build logs
] (
1.5.2-4
)
✔
ocaml-curses
[
build logs
] (
1.0.11-4
)
✔
ocaml-dbus
[
build logs
] (
0.29-7
)
✔
ocaml-expat
[
build logs
] (
1.3.0-1
)
✔
ocaml-faad
[
build logs
] (
0.5.1-5
)
✔
ocaml-fdkaac
[
build logs
] (
0.3.3~gitd3393eb-3
)
ocaml-ffmpeg
[
build logs
] (
1.1.9-1
)
✔
ocaml-frei0r
[
build logs
] (
0.1.2-3
)
✔
ocaml-gavl
[
build logs
] (
0.1.6-2
)
✔
ocaml-getopt
[
build logs
] (
0.0.20230213-1
)
✔
ocaml-gnuplot
[
build logs
] (
0.8.3-5
)
✔
ocaml-graphics
[
build logs
] (
5.1.2-3
)
✔
ocaml-gstreamer
[
build logs
] (
0.3.1-4
)
✔
ocaml-integers
[
build logs
] (
0.7.0-3
)
✔
ocaml-ladspa
[
build logs
] (
0.2.2-3
)
✔
ocaml-lame
[
build logs
] (
0.3.7-3
)
✔
ocaml-libvirt
[
build logs
] (
0.6.1.5-2
)
✔
ocaml-lo
[
build logs
] (
0.2.0-4
)
✔
ocaml-mad
[
build logs
] (
0.5.2-3
)
✔
ocaml-magic
[
build logs
] (
0.7.3-6
)
✔
ocaml-magic-mime
[
build logs
] (
1.3.1-1
)
✔
ocaml-metadata
[
build logs
] (
0.2.0-1
)
✔
ocaml-num
[
build logs
] (
1.4-2
)
✔
ocaml-ogg
[
build logs
] (
0.7.4-3
)
✔
ocaml-portaudio
[
build logs
] (
0.2.3-3
)
✔
ocaml-pprint
[
build logs
] (
20230830-1
)
✔
ocaml-ptmap
[
build logs
] (
2.0.5-4
)
✔
ocaml-pulseaudio
[
build logs
] (
0.1.5-3
)
✔
ocaml-res
[
build logs
] (
5.0.1-3
)
✔
ocaml-result
[
build logs
] (
1.5-4
)
✔
ocaml-samplerate
[
build logs
] (
0.1.6-3
)
✔
ocaml-sexplib0
[
build logs
] (
0.16.0-3
)
✔
ocaml-shine
[
build logs
] (
0.2.3-3
)
✔
ocaml-shout
[
build logs
] (
0.2.7-2
)
✔
ocaml-soundtouch
[
build logs
] (
0.1.9-4
)
✔
ocaml-sqlite3
[
build logs
] (
5.1.0-3
)
✔
ocaml-taglib
[
build logs
] (
0.3.10-3
)
✔
ocaml-trie
[
build logs
] (
1.0.0-4
)
✔
ocaml-voaacenc
[
build logs
] (
0.1.1-2
)
✔
ocaml-zarith
[
build logs
] (
1.13-2
)
✔
ocamlbuild
[
build logs
] (
0.14.2-2
)
✔
ocamlcreal
[
build logs
] (
0.7-7
)
✔
ocamlgsl
[
build logs
] (
1.24.3-5
)
✔
opam-file-format
[
build logs
] (
2.1.6-1
)
✔
ounit
[
build logs
] (
2.2.7-2
)
✔
pagodacf
[
build logs
] (
0.10-7
)
✔
parmap
[
build logs
] (
1.2.5-3
)
✔
pcre-ocaml
[
build logs
] (
7.5.0-3
)
✔
plplot
[
build logs
] (
5.15.0+dfsg2-7
) [
ma:same
]
⁈
postgresql-ocaml
[
build logs
] (
5.0.0-4
)
✔
ppx-derivers
[
build logs
] (
1.2.1-4
)
✔
pyml
[
build logs
] (
20220905-3
)
✔
syslog-ocaml
[
build logs
] (
2.0.2-4
)
✔
tophide
[
build logs
] (
1.0.4-5
)
✔
xen
[
build logs
] (
4.17.2+76-ge1f9cb16e2-1
)
xml-light
[
build logs
] (
2.5-2
)
✔
xstr
[
build logs
] (
0.2.1-24
)
✔
Dependency level 5 (
build logs
RC bugs
)
riscv64
biniou
[
build logs
] (
1.2.2-3
)
✔
caml2html
[
build logs
] (
1.4.4-3
)
✔
camlp4
[
build logs
] (
4.14+1-1
)
✔
cmdliner
[
build logs
] (
1.2.0-2
)
✔
cppo
[
build logs
] (
1.6.9-3
)
✔
cryptokit
[
build logs
] (
1.18-3
)
✔
hevea
[
build logs
] (
2.36-2
)
✔
janest-base
[
build logs
] (
0.16.3-1
)
✔
kalzium
[
build logs
] (
4:22.12.3-1
)
✔
lablgl
[
build logs
] (
1:1.07-1
)
✔
libnbd
[
build logs
] (
1.18.1-1
)
✔
ocaml-bigstringaf
[
build logs
] (
0.9.1-1
)
✔
ocaml-cairo2
[
build logs
] (
0.6.4+dfsg-2
)
✔
ocaml-dssi
[
build logs
] (
0.1.5-3
)
✔
ocaml-dtools
[
build logs
] (
0.4.5-1
)
✔
ocaml-duppy
[
build logs
] (
0.9.3-1
)
✔
ocaml-fileutils
[
build logs
] (
0.6.4-4
)
✔
ocaml-flac
[
build logs
] (
0.5.0-1
)
✔
ocaml-mew
[
build logs
] (
0.1.0-4
)
✔
ocaml-migrate-parsetree
[
build logs
] (
2.4.0-3
)
✔
ocaml-mmap
[
build logs
] (
1.2.0-3
)
✔
ocaml-opus
[
build logs
] (
0.2.2-6
)
✔
ocaml-re
[
build logs
] (
1.11.0-1
)
✔
ocaml-reins
[
build logs
] (
0.1a-11
)
✔
ocaml-rope
[
build logs
] (
0.6.2-4
)
✔
ocaml-sha
[
build logs
] (
1.15.4-3
)
✔
ocaml-speex
[
build logs
] (
0.4.1-4
)
✔
ocaml-theora
[
build logs
] (
0.4.0-5
)
✔
ocaml-vorbis
[
build logs
] (
0.8.0-5
)
✔
ocamlify
[
build logs
] (
0.0.2-10
)
✔
pcre2-ocaml
[
build logs
] (
7.5.2-1
)
✔
ppxlib
[
build logs
] (
0.31.0-1
)
✔
scilab
[
build logs
] (
2024.0.0+dfsg-5
)
⁈
xmlm
[
build logs
] (
1.4.0-1
)
✔
Dependency level 6 (
build logs
RC bugs
)
riscv64
bibtex2html
[
build logs
] (
1.99-4
)
✔
extlib
[
build logs
] (
1.7.8-2
)
✔
fieldslib
[
build logs
] (
1:0.16.0-2
)
✔
menhir
[
build logs
] (
20230608+ds-1
)
✔
ocaml-angstrom
[
build logs
] (
0.15.0-4
)
✔
ocaml-bitstring
[
build logs
] (
4.1.1-2
)
✔
ocaml-config-file
[
build logs
] (
1.2.1-3
)
✔
ocaml-extunix
[
build logs
] (
0.4.1-3
)
✔
ocaml-inifiles
[
build logs
] (
1.2-6
)
✔
ocaml-parsexp
[
build logs
] (
0.16.0-3
)
✔
ocaml-stdio
[
build logs
] (
0.16.0-3
)
✔
ocaml-xmlplaylist
[
build logs
] (
0.1.5-4
)
✔
ocamldsort
[
build logs
] (
0.16.0-8
)
✔
ocamlmod
[
build logs
] (
0.0.9-4
)
✔
ocamlnet
[
build logs
] (
4.1.9-4
)
✔
ocamlsdl
[
build logs
] (
0.9.1-4
)
✔
ocp-indent
[
build logs
] (
1.8.2-5
)
✔
ocplib-endian
[
build logs
] (
1.2-3
)
✔
pa-ounit
[
build logs
] (
113.00.00-5
)
✔
planets
[
build logs
] (
0.1.13-21
)
✔
ppx-cold
[
build logs
] (
0.16.0-4
)
✔
ppx-compare
[
build logs
] (
0.16.0-4
)
✔
ppx-deriving
[
build logs
] (
5.2.1-4
)
✔
ppx-enumerate
[
build logs
] (
0.16.0-5
)
✔
ppx-globalize
[
build logs
] (
0.16.0-5
)
✔
ppx-here
[
build logs
] (
0.16.0-4
)
✔
ppx-sexp-conv
[
build logs
] (
1:0.16.0-3
)
✔
ppx-stable-witness
[
build logs
] (
0.16.0-1
)
✔
ppx-tools
[
build logs
] (
6.6-4
)
✔
sks
[
build logs
] (
1.1.6+git20210302.c3ba6d5a-4
)
✔
typerep
[
build logs
] (
1:0.16.0-2
)
✔
ulex
[
build logs
] (
1.2-2
)
✔
variantslib
[
build logs
] (
1:0.16.0-2
)
✔
xstrp4
[
build logs
] (
1.8.2-7
)
✔
Dependency level 7 (
build logs
RC bugs
)
riscv64
approx
[
build logs
] (
5.12-2
)
✔
camlimages
[
build logs
] (
1:5.0.4-4
)
✔
coccinelle
[
build logs
] (
1.1.1.deb-5
)
✔
cudf
[
build logs
] (
0.10-3
)
✔
oasis
[
build logs
] (
0.4.11-3
)
✔
ocaml-cpu
[
build logs
] (
2.0.0-5
)
✔
ocaml-http
[
build logs
] (
0.1.6-2
)
✔
ocaml-lastfm
[
build logs
] (
0.3.3-4
)
✔
ocaml-mm
[
build logs
] (
0.8.4-2
)
✔
ocaml-visitors
[
build logs
] (
20210608-5
)
✔
ocamlrss
[
build logs
] (
2.2.2-2
)
✔
ppx-assert
[
build logs
] (
0.16.0-5
)
✔
ppx-custom-printf
[
build logs
] (
0.16.0-2
)
✔
ppx-fields-conv
[
build logs
] (
0.16.0-2
)
✔
ppx-hash
[
build logs
] (
0.16.0-4
)
✔
ppx-import
[
build logs
] (
1.10.0-3
)
✔
ppx-optcomp
[
build logs
] (
1:0.16.0-3
)
✔
ppx-variants-conv
[
build logs
] (
0.16.0-2
)
✔
psmt2-frontend
[
build logs
] (
0.4.0-3
)
✔
pxp
[
build logs
] (
1.2.9-3
)
✔
sexplib310
[
build logs
] (
1:0.16.0-2
)
✔
Dependency level 8 (
build logs
RC bugs
)
riscv64
advi
[
build logs
] (
1.10.2-10
)
✔
bin-prot
[
build logs
] (
1:0.15.0-3
)
✔
caml-crush
[
build logs
] (
1.0.12-1.1
)
✔
coinst
[
build logs
] (
1.9.3-5
)
✔
jst-config
[
build logs
] (
0.16.0-3
)
✔
ocaml-mccs
[
build logs
] (
1.1+16-1
)
✔
ocaml-parany
[
build logs
] (
14.0.1-1
)
✔
ppx-base
[
build logs
] (
0.16.0-4
)
✔
Dependency level 9 (
build logs
RC bugs
)
riscv64
ocaml-time-now
[
build logs
] (
0.16.0-3
)
✔
ppx-bin-prot
[
build logs
] (
0.16.0-3
)
✔
ppx-string
[
build logs
] (
0.16.0-1
)
✔
Dependency level 10 (
build logs
RC bugs
)
riscv64
ppx-inline-test
[
build logs
] (
0.16.1-1
)
✔
Dependency level 11 (
build logs
RC bugs
)
riscv64
ppx-expect
[
build logs
] (
0.16.0-5
)
✔
Dependency level 12 (
build logs
RC bugs
)
riscv64
dose3
[
build logs
] (
7.0.0-4
)
✔
js-of-ocaml
[
build logs
] (
5.4.0-2
)
✔
lwt
[
build logs
] (
5.7.0-1
)
✔
lwt-log
[
build logs
] (
1.1.2-4
)
✔
ocaml-alcotest
[
build logs
] (
1.7.0-3
)
✔
ocaml-astring
[
build logs
] (
0.8.5-2
)
✔
ocaml-base64
[
build logs
] (
3.5.1-2
)
✔
ocaml-bos
[
build logs
] (
0.2.1-2
)
✔
ocaml-fmt
[
build logs
] (
0.9.0-3
)
✔
ocaml-fpath
[
build logs
] (
0.7.3-3
)
✔
ocaml-gen
[
build logs
] (
1.1-1
)
✔
ocaml-logs
[
build logs
] (
0.7.0-3
)
✔
ocaml-mtime
[
build logs
] (
2.0.0-1
)
✔
ocaml-odoc
[
build logs
] (
2.3.0-2
)
✔
ocaml-pp
[
build logs
] (
1.2.0-1
)
✔
ocaml-qcheck
[
build logs
] (
0.21.2-1
)
✔
ocaml-qtest
[
build logs
] (
2.11.2-4
)
✔
ocaml-rresult
[
build logs
] (
0.7.0-2
)
✔
ocaml-sedlex
[
build logs
] (
3.2-1
)
✔
ocaml-topkg
[
build logs
] (
1.0.7-1
)
✔
ocamlgraph
[
build logs
] (
2.1.0-1
)
✔
opam
[
build logs
] (
2.1.5-1
)
✔
react
[
build logs
] (
1.2.2-1
)
✔
reactivedata
[
build logs
] (
0.3-4
)
✔
tyxml
[
build logs
] (
4.5.0-4
)
✔
uutf
[
build logs
] (
1.0.3-1
)
✔
yojson
[
build logs
] (
2.1.2-1
)
✔
Dependency level 13 (
build logs
RC bugs
)
riscv64
ben
[
build logs
] (
0.10.3
)
✔
calendar
[
build logs
] (
3.0.0-4
)
✔
camomile
[
build logs
] (
2.0.0-2
)
✔
dochelp
[
build logs
] (
0.1.8
)
✔
js-of-ocaml-ocamlbuild
[
build logs
] (
5.0-2
)
✔
jsonm
[
build logs
] (
1.0.2-2
)
✔
mlpost
[
build logs
] (
0.9-5
)
✔
not-ocamlfind
[
build logs
] (
0.12-1
)
✔
nproc
[
build logs
] (
0.5.1-4
)
✔
obus
[
build logs
] (
1.2.4-3
)
✔
ocaml-atd
[
build logs
] (
2.14.1-1
)
✔
ocaml-batteries
[
build logs
] (
3.7.1-3
)
✔
ocaml-cstruct
[
build logs
] (
6.2.0-2
)
✔
ocaml-csv
[
build logs
] (
2.4-3
)
✔
ocaml-ctypes
[
build logs
] (
0.21.1-1
)
✔
ocaml-domain-name
[
build logs
] (
0.4.0-3
)
✔
ocaml-duration
[
build logs
] (
0.2.1-4
)
✔
ocaml-gmap
[
build logs
] (
0.3.0-4
)
✔
ocaml-hmap
[
build logs
] (
0.8.1-2
)
✔
ocaml-inotify
[
build logs
] (
2.4.1-5
)
✔
ocaml-merlin
[
build logs
] (
4.13-414+ds-1
)
✔
ocaml-mew-vi
[
build logs
] (
0.5.0-3
)
✔
ocaml-odoc-parser
[
build logs
] (
2.0.0-3
)
ocaml-ptime
[
build logs
] (
1.1.0-2
)
✔
ocaml-ssl
[
build logs
] (
0.7.0-1
)
✔
ocaml-stringext
[
build logs
] (
1.6.0-3
)
✔
ocaml-usb
[
build logs
] (
1.3.1-5
)
✔
ocaml-uucd
[
build logs
] (
15.1.0-1
)
✔
ocplib-simplex
[
build logs
] (
0.5-4
)
✔
ocurl
[
build logs
] (
0.9.2-3
)
✔
ppx-deriving-yojson
[
build logs
] (
3.7.0-4
)
✔
uuidm
[
build logs
] (
0.9.8-2
)
✔
wyrd
[
build logs
] (
1.7.1-1
)
✔
Dependency level 14 (
build logs
RC bugs
)
riscv64
botch
[
build logs
] (
0.24-2
)
✔
camlp5-buildscripts
[
build logs
] (
0.03-1
)
✔
headache
[
build logs
] (
1.07-1
)
✔
llvm-toolchain-14
[
build logs
] (
1:14.0.6-16
) [
ma:same
]
✔
llvm-toolchain-15
[
build logs
] (
1:15.0.7-10
) [
ma:same
]
✔
llvm-toolchain-16
[
build logs
] (
1:16.0.6-19
) [
ma:same
]
✔
llvm-toolchain-17
[
build logs
] (
1:17.0.6-4
) [
ma:same
]
⁈
lwt-ssl
[
build logs
] (
1:1.2.0-2
)
✔
morbig
[
build logs
] (
0.10.4-7
)
✔
nss-passwords
[
build logs
] (
0.4-1
)
✔
ocaml-asn1-combinators
[
build logs
] (
0.2.6-4
)
✔
ocaml-charinfo-width
[
build logs
] (
2.0.0-1
)
✔
ocaml-cry
[
build logs
] (
1.0.1-1
)
✔
ocaml-expect
[
build logs
] (
0.0.6-3
)
✔
ocaml-hex
[
build logs
] (
1.5.0-3
)
✔
ocaml-ipaddr
[
build logs
] (
5.5.0-3
)
✔
ocaml-luv
[
build logs
] (
0.5.12-2
)
✔
ocaml-randomconv
[
build logs
] (
0.1.3-1
)
✔
ocaml-unix-errno
[
build logs
] (
0.6.2-1
)
✔
ocaml-uri
[
build logs
] (
4.4.0-1
)
✔
ocaml-uunf
[
build logs
] (
15.1.0-1
)
✔
ocamldap
[
build logs
] (
2.4.2-5
)
✔
ocamlviz
[
build logs
] (
1.01-8
)
✔
pplacer
[
build logs
] (
1.1~alpha19-6
)
Dependency level 15 (
build logs
RC bugs
)
riscv64
belenios
[
build logs
] (
2.2+git10-gbb6b7ea8+dfsg-1
)
✔
camlp5
[
build logs
] (
8.02.01-2
)
✔
liquidsoap
[
build logs
] (
2.2.2-2
)
✔
morsmall
[
build logs
] (
0.3.0-6
)
✔
ocaml-uucp
[
build logs
] (
15.1.0-1
)
✔
pgocaml
[
build logs
] (
4.4.0-1
)
✔
Dependency level 16 (
build logs
RC bugs
)
riscv64
coq-doc
[
build logs
] (
8.17.1-1
) [
arch:all
]
✔
crowbar
[
build logs
] (
0.2.1-5
)
✔
elpi
[
build logs
] (
1.17.4-3
)
✔
haxe
[
build logs
] (
1:4.3.3-1
)
✔
hol-light
[
build logs
] (
20231021-1
)
✔
lablgtk3
[
build logs
] (
3.1.3-2
)
⁈
ledit
[
build logs
] (
2.04-7
)
✔
ocaml-uuseg
[
build logs
] (
15.1.0-1
)
✔
orpie
[
build logs
] (
1.6.1-2
)
✔
Dependency level 17 (
build logs
RC bugs
)
riscv64
coq
[
build logs
] (
8.18.0+dfsg-1
)
✔
frama-c
[
build logs
] (
20220511-manganese-5
)
✔
laby
[
build logs
] (
0.7.0-2
)
✔
ocaml-eqaf
[
build logs
] (
0.9-4
)
✔
ocaml-gettext
[
build logs
] (
0.4.2-3
)
✔
unison-2.53
[
build logs
] (
2.53.3-2
)
✔
why3
[
build logs
] (
1.6.0-1
)
✔
zed
[
build logs
] (
3.2.3-1
)
✔
zeroinstall-injector
[
build logs
] (
2.18-2
)
✔
Dependency level 18 (
build logs
RC bugs
)
riscv64
aac-tactics
[
build logs
] (
8.18.0-1
)
✔
coq-bignums
[
build logs
] (
9.0.0+coq8.18-1
)
✔
coq-dpdgraph
[
build logs
] (
1.0+8.18-1
)
✔
coq-elpi
[
build logs
] (
1.19.3-2
)
✔
coq-ext-lib
[
build logs
] (
0.12.0-1
)
✔
coq-hammer
[
build logs
] (
1.3.2+8.18-1
)
✔
coq-hott
[
build logs
] (
8.18-3
)
✔
coq-libhyps
[
build logs
] (
2.0.8-1
)
✔
coq-menhirlib
[
build logs
] (
20230608+ds-2
)
✔
coq-record-update
[
build logs
] (
0.3.3-1
)
✔
coq-reduction-effects
[
build logs
] (
0.1.5-1
)
✔
coq-stdpp
[
build logs
] (
1.9.0-1
)
✔
coq-unicoq
[
build logs
] (
1.6-8.18-1
)
✔
coq-unimath
[
build logs
] (
20231010-1
)
✔
flocq
[
build logs
] (
4.1.3-1
)
✔
lambda-term
[
build logs
] (
3.3.2-1
)
✔
libguestfs
[
build logs
] (
1:1.52.0-2
) [
ma:same
]
⁈
ocaml-mirage-crypto
[
build logs
] (
0.11.2-1
)
✔
ott
[
build logs
] (
0.33+ds-2
)
✔
paramcoq
[
build logs
] (
1.1.3+coq8.18-1
)
✔
supermin
[
build logs
] (
5.2.2-3
)
✔
virt-top
[
build logs
] (
1.1.1-1
)
✔
Dependency level 19 (
build logs
RC bugs
)
riscv64
coq-equations
[
build logs
] (
1.3-8.18-1
)
✔
coq-gappa
[
build logs
] (
1.5.4-1
)
✔
coq-hierarchy-builder
[
build logs
] (
1.6.0-1
)
✔
coq-iris
[
build logs
] (
4.1.0-1
)
✔
coq-math-classes
[
build logs
] (
8.18.0-1
)
✔
coq-mtac2
[
build logs
] (
1.4+8.18-1
)
✔
coq-simple-io
[
build logs
] (
1.8.0-4
)
✔
coqprime
[
build logs
] (
8.18-1
)
✔
diffoscope
[
build logs
] (
253
) [
arch:all
]
✔
guestfs-tools
[
build logs
] (
1.52.0-1
)
✘
ocaml-pbkdf
[
build logs
] (
1.2.0-3
)
✔
utop
[
build logs
] (
2.13.1-2
)
✔
virt-v2v
[
build logs
] (
2.4.0-2
)
✘
Dependency level 20 (
build logs
RC bugs
)
riscv64
coq-corn
[
build logs
] (
8.18.0-1
)
✔
ocaml-x509
[
build logs
] (
0.16.5-2
)
✔
ssreflect
[
build logs
] (
2.1.0-1
)
✔
Dependency level 21 (
build logs
RC bugs
)
riscv64
coq-deriving
[
build logs
] (
0.2.0-1
)
✔
coq-quickchick
[
build logs
] (
2.0.1-1
)
✔
coq-reglang
[
build logs
] (
1.2.0-1
)
✔
coq-relation-algebra
[
build logs
] (
1.7.9-2
)
✔
coquelicot
[
build logs
] (
3.4.0-1
)
✔
mathcomp-bigenough
[
build logs
] (
1.0.1-12
)
✔
mathcomp-finmap
[
build logs
] (
2.0.0-1
)
✔
mathcomp-zify
[
build logs
] (
1.5.0+2.0+8.16-1
)
✔
ocaml-ca-certs
[
build logs
] (
0.2.3-3
)
✔
Dependency level 22 (
build logs
RC bugs
)
riscv64
coq-extructures
[
build logs
] (
0.4.0-1
)
✔
coq-interval
[
build logs
] (
4.9.0-1
)
✔
mathcomp-algebra-tactics
[
build logs
] (
1.2.2-1
)
✔
mathcomp-analysis
[
build logs
] (
0.6.4-3
)
mathcomp-multinomials
[
build logs
] (
2.1.0-1
)
✔
mathcomp-real-closed
[
build logs
] (
2.0.0-1
)
✔
ocaml-conduit
[
build logs
] (
6.2.0-3
)
✔
Dependency level 23 (
build logs
RC bugs
)
riscv64
coqeal
[
build logs
] (
2.0.0-1
)
✔
ocaml-cohttp
[
build logs
] (
5.3.0-1
)
✔
Dependency level 24 (
build logs
RC bugs
)
riscv64
ocsigenserver
[
build logs
] (
5.1.2-1
)
✔
Dependency level 25 (
build logs
RC bugs
)
riscv64
ocsipersist
[
build logs
] (
1.1.0-3
)
✔
Dependency level 26 (
build logs
RC bugs
)
riscv64
eliom
[
build logs
] (
10.1.0-2
)
✔
Dependency level 27 (
build logs
RC bugs
)
riscv64
nurpawiki
[
build logs
] (
1.2.4-4
)
✔