Failed 'do' jobs (0, 1404, 6, 32027)

Failed packages

total: 854

aacplus
- aacplus.0.2.2
- aacplus.0.2.1
aarch64-esperanto
- aarch64-esperanto.0.0.6
- aarch64-esperanto.0.0.5
advi
- advi.2.0.0
ahrocksdb
- ahrocksdb.0.2.2
- ahrocksdb.0.2.1
- ahrocksdb.0.2.0
alt-ergo
- alt-ergo.2.2.0
- alt-ergo.2.1.0
- alt-ergo.2.0.0
- alt-ergo.1.30
alt-ergo-free
- alt-ergo-free.2.0.0
altgr-ergo
- altgr-ergo.2.4.1
- altgr-ergo.2.4.0
- altgr-ergo.2.3.3
- altgr-ergo.2.3.2
- altgr-ergo.2.3.1
- altgr-ergo.2.3.0
- altgr-ergo.1.30
- altgr-ergo.1.01
- altgr-ergo.0.99.1
- altgr-ergo.0.95.2
antic
- antic.0.4.0
- antic.0.3.2
- antic.0.3.1
arb
- arb.0.4.0
- arb.0.3.2
- arb.0.3.1
asai
- asai.0.1.1
asli
- asli.0.1
async-uri
- async-uri.0.3.0
- async-uri.0.2.1
- async-uri.0.2
- async-uri.0.1
async_rpc_websocket
- async_rpc_websocket.v0.17.0
async_smtp
- async_smtp.v0.14.0
- async_smtp.v0.13.0
- async_smtp.v0.12.0
async_ssl
- async_ssl.v0.14.0
- async_ssl.v0.13.0
- async_ssl.v0.12.0
aws-s3-lwt
- aws-s3-lwt.4.3.0
- aws-s3-lwt.4.2.0
bap
- bap.2.5.0
- bap.2.4.0
- bap.2.3.0
- bap.2.2.0
- bap.2.1.0
bap-arm
- bap-arm.2.1.0
bap-core
- bap-core.2.5.0
- bap-core.2.4.0
bap-extra
- bap-extra.2.5.0
- bap-extra.2.4.0
bap-frames
- bap-frames.2.1.0
bap-fsi-benchmark
- bap-fsi-benchmark.2.3.0
- bap-fsi-benchmark.2.2.0
bap-ghidra
- bap-ghidra.2.5.0
- bap-ghidra.2.4.0
bap-ida
- bap-ida.2.3.0
- bap-ida.2.2.0
- bap-ida.2.1.0
bap-ida-plugin
- bap-ida-plugin.2.5.0
- bap-ida-plugin.2.4.0
- bap-ida-plugin.2.3.0
- bap-ida-plugin.2.2.0
- bap-ida-plugin.2.1.0
bap-ida-python
- bap-ida-python.2.3.0
- bap-ida-python.2.2.0
- bap-ida-python.2.1.0
bap-llvm
- bap-llvm.2.5.0
- bap-llvm.2.4.0
- bap-llvm.2.3.0
- bap-llvm.2.2.0
- bap-llvm.2.1.0
bap-primus-symbolic-executor
- bap-primus-symbolic-executor.2.5.0
bap-primus-x86
- bap-primus-x86.2.5.0
- bap-primus-x86.2.4.0
- bap-primus-x86.2.3.0
- bap-primus-x86.2.2.0
- bap-primus-x86.2.1.0
bap-radare2
- bap-radare2.2.5.0
- bap-radare2.2.4.0
- bap-radare2.2.3.0
- bap-radare2.2.2.0
bap-relocatable
- bap-relocatable.2.5.0
- bap-relocatable.2.4.0
- bap-relocatable.2.3.0
- bap-relocatable.2.2.0
bap-veri
- bap-veri.0.2.5
bap-x86
- bap-x86.2.5.0
- bap-x86.2.4.0
- bap-x86.2.3.0
- bap-x86.2.2.0
- bap-x86.2.1.0
bitwuzla-bin
- bitwuzla-bin.0.0.0
bls12-381
- bls12-381.0.3.15
bls12-381-legacy
- bls12-381-legacy.0.4.4
- bls12-381-legacy.0.4.3
bls12-381-unix
- bls12-381-unix.1.0.1
- bls12-381-unix.1.0.0
- bls12-381-unix.0.5.0
- bls12-381-unix.0.4.3
- bls12-381-unix.0.4.2
- bls12-381-unix.0.4.1
bogue
- bogue.20240225
- bogue.20231209
- bogue.20221112
- bogue.20221002
- bogue.20220730
- bogue.20220314
- bogue.20220115
- bogue.20220101
- bogue.20210917
- bogue.20210514
boltzgen
- boltzgen.0.9.3
- boltzgen.0.9.2
- boltzgen.0.9
bonsai
- bonsai.v0.17.0
brotli
- brotli.1.3.0
- brotli.1.2.2
- brotli.1.2.1
- brotli.1.2.0
brozip
- brozip.1.1
- brozip.1.0
bytepdf
- bytepdf.0.1
calcium
- calcium.0.4.0
- calcium.0.3.2
- calcium.0.3.1
calculon
- calculon.0.4
- calculon.0.3
calli
- calli.0.2
- calli.0.1
camlimages
- camlimages.5.0.5
camlp5
- camlp5.7.14
catala-format
- catala-format.0.3.0
- catala-format.0.2.0
cca
- cca.0.7
- cca.0.6.2
clangml
- clangml.4.4.0
- clangml.4.3.0
- clangml.4.2.0
- clangml.4.1.0
- clangml.4.0.1
- clangml.4.0.0
- clangml.3.9.1
- clangml.3.8.0.1
- clangml.3.7.0.2
- clangml.3.7.0.1
- clangml.3.7.0
- clangml.3.6.0.6
- clangml.3.6.0.5
- clangml.3.6.0.4
- clangml.3.6.0.2
- clangml.3.6.0.1
- clangml.3.6.0
- clangml.3.5.0.2
- clangml.3.5.0.1
- clangml.3.5.0
- clangml.0.5.2
clangml-transforms
- clangml-transforms.0.25
- clangml-transforms.0.24
class_group_vdf
- class_group_vdf.0.0.3
- class_group_vdf.0.0.2
clp_operations
- clp_operations.0.0.1
codept
- codept.0.11.0
cohttp
- cohttp.1.1.1
cohttp-lwt-jsoo
- cohttp-lwt-jsoo.2.1.3
cohttp_async_websocket
- cohttp_async_websocket.v0.17.0
colibri2
- colibri2.0.4
- colibri2.0.3.3
conf-bap-llvm
- conf-bap-llvm.1.8
- conf-bap-llvm.1.7
- conf-bap-llvm.1.6
- conf-bap-llvm.1.5
- conf-bap-llvm.1.4
- conf-bap-llvm.1.3
- conf-bap-llvm.1.2
- conf-bap-llvm.1.1
- conf-bap-llvm.1
conf-calcium
- conf-calcium.1
conf-cuda
- conf-cuda.1
conf-fdkaac
- conf-fdkaac.1
conf-flint
- conf-flint.3.0
conf-fswatch
- conf-fswatch.11-0.1.3
conf-gtksourceview
- conf-gtksourceview.2
conf-ida
- conf-ida.0.3
- conf-ida.0.2
- conf-ida.0.1
conf-libclang
- conf-libclang.12
conf-llvm
- conf-llvm.17
- conf-llvm.12.0.1
- conf-llvm.11.0.0
- conf-llvm.10.0.0
- conf-llvm.9.0.0
- conf-llvm.8.0.0
- conf-llvm.7.0.0
- conf-llvm.6.0.0
- conf-llvm.5.0.0
- conf-llvm.4.0.0
- conf-llvm.3.9
- conf-llvm.3.8
conf-llvm-shared
- conf-llvm-shared.18
conf-llvm-static
- conf-llvm-static.18
conf-opencc0
- conf-opencc0.1
conf-opencc1
- conf-opencc1.1
conf-python-2-7
- conf-python-2-7.1.2
conf-radare2
- conf-radare2.0.1
conf-trexio
- conf-trexio.0.1
conf-wxwidgets
- conf-wxwidgets.3.0
coqide
- coqide.8.9.1
- coqide.8.9.0
- coqide.8.8.2
- coqide.8.8.1
- coqide.8.8.0
- coqide.8.7.2
- coqide.8.7.1
crypt
- crypt.1.2
cryptoverif
- cryptoverif.2.11
- cryptoverif.2.10
- cryptoverif.2.09
- cryptoverif.2.08pl1
- cryptoverif.2.08
- cryptoverif.2.07
- cryptoverif.2.06
- cryptoverif.2.05
- cryptoverif.2.04
- cryptoverif.2.03pl1
ctypes-foreign
- ctypes-foreign.0.18.0
cudajit
- cudajit.0.7.0
- cudajit.0.5.0
- cudajit.0.4.1
devkit
- devkit.1.0
- devkit.0.7
- devkit.0.6
dispatch-js
- dispatch-js.0.4.1
distributed-uwt
- distributed-uwt.0.2.0
- distributed-uwt.0.1.0
dkml-component-offline-opam
- dkml-component-offline-opam.2.2.0~alpha0~20221104
dream
- dream.1.0.0~alpha6
- dream.1.0.0~alpha5
dssi
- dssi.0.1.1
dune-release
- dune-release.1.2.0
- dune-release.1.1.0
easy_logging_yojson
- easy_logging_yojson.0.5.2
- easy_logging_yojson.0.5
- easy_logging_yojson.0.4
efl
- efl.1.24.0
- efl.1.22.0
- efl.1.20.0
- efl.1.19.0
- efl.1.18.0
- efl.1.17.0
- efl.1.13.0
- efl.1.12.0
eigen
- eigen.0.1.5
- eigen.0.1.4
eio
- eio.0.5
- eio.0.4
- eio.0.3
- eio.0.2
- eio.0.1
eio_linux
- eio_linux.0.5
- eio_linux.0.4
- eio_linux.0.3
- eio_linux.0.2
- eio_linux.0.1
elasticsearch-cli
- elasticsearch-cli.0.4
eliom
- eliom.8.8.1
- eliom.8.8.0
- eliom.8.6.0
- eliom.8.4.8
- eliom.7.0.0
- eliom.6.13.1
- eliom.6.12.1
- eliom.6.12.0
- eliom.6.11.0
elpi-option-legacy-parser
- elpi-option-legacy-parser.1
errpy
- errpy.0.0.10
- errpy.0.0.9
- errpy.0.0.8
esperanto
- esperanto.0.0.4
- esperanto.0.0.3
- esperanto.0.0.2
- esperanto.0.0.1
fdkaac
- fdkaac.0.3.3
- fdkaac.0.3.2
- fdkaac.0.3.1
- fdkaac.0.3.0
- fdkaac.0.2.1
ffmpeg
- ffmpeg.0.4.1
- ffmpeg.0.4.0
- ffmpeg.0.3.0
- ffmpeg.0.2.1
- ffmpeg.0.2.0
- ffmpeg.0.1.1
- ffmpeg.0.1.0
flint
- flint.0.4.0
- flint.0.3.2
- flint.0.3.1
flock
- flock.1.0.0
fm-simplex-plugin
- fm-simplex-plugin.1.30
frama-c
- frama-c.26.1
- frama-c.26.0
- frama-c.26.0~beta
- frama-c.25.0
- frama-c.25.0~beta
- frama-c.24.0
- frama-c.23.1
- frama-c.23.0
- frama-c.22.0
- frama-c.21.1
- frama-c.21.0
- frama-c.20.0
- frama-c.19.1
frama-c-lannotate
- frama-c-lannotate.0.2
- frama-c-lannotate.0.1
frama-c-luncov
- frama-c-luncov.0.2
- frama-c-luncov.0.1
frama-c-metacsl
- frama-c-metacsl.0.4
- frama-c-metacsl.0.3
- frama-c-metacsl.0.2
- frama-c-metacsl.0.1
frama-clang
- frama-clang.0.0.18~beta
- frama-clang.0.0.17
- frama-clang.0.0.17~beta
- frama-clang.0.0.16
- frama-clang.0.0.15
freetennis
- freetennis.0.4.8
fstar
- fstar.2022.01.15
- fstar.2021.06.06
fswatch
- fswatch.11-0.1.6
- fswatch.11-0.1.5
- fswatch.11-0.1.4
- fswatch.11-0.1.3
- fswatch.11-0.1.1
- fswatch.11-0.1.0
fswatch_async
- fswatch_async.11-0.1.2
fswatch_lwt
- fswatch_lwt.11-0.1.0
gadelac
- gadelac.0.6
gammu
- gammu.0.9.3
gdal
- gdal.0.9.0
gdbprofiler
- gdbprofiler.0.3
gemini
- gemini.0.3.0
- gemini.0.2.0
- gemini.0.1
genprint
- genprint.0.3
github-jsoo
- github-jsoo.4.2.0
- github-jsoo.4.1.0
gles3
- gles3.20160307.alpha
glpk
- glpk.0.1.6
gmp-xen
- gmp-xen.6.0.0-1
- gmp-xen.6.0.0
graphql
- graphql.0.8.0
- graphql.0.7.0
- graphql.0.6.0
- graphql.0.5.0
- graphql.0.4.0
- graphql.0.2.0
- graphql.0.1.0
graphql-async
- graphql-async.0.8.0
- graphql-async.0.1.0
graphql-lwt
- graphql-lwt.0.8.0
- graphql-lwt.0.7.0
- graphql-lwt.0.6.0
- graphql-lwt.0.1.0
grib
- grib.0.11.0
- grib.0.9.7
gsl
- gsl.1.18.5
gstreamer
- gstreamer.0.2.0
hack_parallel
- hack_parallel.0.1.1
hacl-star
- hacl-star.0.4.3
- hacl-star.0.4.2
- hacl-star.0.4.1
- hacl-star.0.4.0
- hacl-star.0.3.2
- hacl-star.0.3.0-1
- hacl-star.0.3.0
- hacl-star.0.2.2
- hacl-star.0.2.1
- hacl-star.0.2.0
- hacl-star.0.1.1
- hacl-star.0.1
hacl-star-raw
- hacl-star-raw.0.4.3
- hacl-star-raw.0.4.2
- hacl-star-raw.0.4.1
- hacl-star-raw.0.4.0
- hacl-star-raw.0.3.2
- hacl-star-raw.0.3.0-1
- hacl-star-raw.0.3.0
- hacl-star-raw.0.2.2
- hacl-star-raw.0.2.1
- hacl-star-raw.0.2.0
- hacl-star-raw.0.1.1
- hacl-star-raw.0.1
hdfs
- hdfs.0.4
- hdfs.0.3
- hdfs.0.2
- hdfs.0.1
hlarp
- hlarp.0.0.2
- hlarp.0.0.1
imguiml
- imguiml.v1.90.6
index
- index.1.2.1
javascriptcore
- javascriptcore.0.0.1
jhupllib
- jhupllib.0.2.1
- jhupllib.0.1.1
- jhupllib.0.1
junit_alcotest
- junit_alcotest.2.2.0
jupyter
- jupyter.2.8.0
- jupyter.2.7.9
- jupyter.2.7.8
- jupyter.2.7.7
- jupyter.2.7.6
- jupyter.2.7.5
- jupyter.2.7.4
- jupyter.2.7.3
- jupyter.2.7.2
- jupyter.2.7.1
- jupyter.2.7.0
- jupyter.2.6.1
- jupyter.2.6.0
jupyter-archimedes
- jupyter-archimedes.2.7.2
- jupyter-archimedes.2.3.2
jupyter-kernel
- jupyter-kernel.0.5
- jupyter-kernel.0.4
kappa-agents
- kappa-agents.4.1.0
kappa-binaries
- kappa-binaries.4.1.0
kappa-library
- kappa-library.4.1.0
kappa-server
- kappa-server.4.1.0
karamel
- karamel.1.0.0
key-parsers
- key-parsers.0.9.2
kinetic-client
- kinetic-client.0.0.9
- kinetic-client.0.0.1
kremlin
- kremlin.transition
- kremlin.1.0.0
lablgtk-extras
- lablgtk-extras.1.6
labltk
- labltk.8.06.11
- labltk.8.06.6
labrys
- labrys.0.1
lambda-runtime
- lambda-runtime.0.1.0
lambdapi
- lambdapi.2.4.0
- lambdapi.2.3.1
- lambdapi.2.3.0
- lambdapi.2.2.1
- lambdapi.2.2.0
- lambdapi.2.1.0
- lambdapi.2.0.0
lascar
- lascar.0.7.0
lbvs_consent
- lbvs_consent.2.1.0
- lbvs_consent.2.0.1
- lbvs_consent.2.0.0
- lbvs_consent.1.1.3
- lbvs_consent.1.1.2
learn-ocaml
- learn-ocaml.0.15.0
- learn-ocaml.0.14.1
- learn-ocaml.0.14.0
- learn-ocaml.0.13.1
- learn-ocaml.0.13.0
libdash
- libdash.0.1.1
- libdash.0.1
libssh
- libssh.0.1
libudev
- libudev.0.2.1
links-mysql
- links-mysql.0.9.8
llvm
- llvm.18-static
- llvm.18-shared
- llvm.17.0.6
- llvm.15.0.7+nnp-2
- llvm.12.0.1
- llvm.11.0.0
- llvm.10.0.0
- llvm.9.0.0
- llvm.8.0.0
- llvm.7.0.0
- llvm.6.0.0
- llvm.5.0.0
- llvm.4.0.0
- llvm.3.9
- llvm.3.8
- llvm.3.7
- llvm.3.5
- llvm.3.4
lmdb
- lmdb.0.1
luv
- luv.0.5.0
mariadb
- mariadb.1.1.4
mccs
- mccs.1.1+11
- mccs.1.1+10
- mccs.1.1+9
- mccs.1.1+8
- mccs.1.1+6
- mccs.1.1+5
- mccs.1.1+4
- mccs.1.1+3
mdx
- mdx.1.7.0
memtrace
- memtrace.0.1
memtrace_viewer
- memtrace_viewer.v0.17.0
- memtrace_viewer.v0.14.1
- memtrace_viewer.v0.14.0
merlin
- merlin.5.4.1-503
- merlin.5.3-502
metapp
- metapp.0.4.3
- metapp.0.4.2
- metapp.0.4.1
- metapp.0.4.0
- metapp.0.3.0
- metapp.0.2.0
- metapp.0.1.0
metaquot
- metaquot.0.5.1
- metaquot.0.5.0
- metaquot.0.4.0
- metaquot.0.3.0
- metaquot.0.2.0
- metaquot.0.1.0
mirage-solo5
- mirage-solo5.0.6.5
mirage-xen-minios
- mirage-xen-minios.0.9.3
mirage-xen-posix
- mirage-xen-posix.3.3.1
mldonkey
- mldonkey.3.1.7-2
mlmpfr
- mlmpfr.4.2.1
- mlmpfr.4.1.0+bugfix2
- mlmpfr.4.1.0+bugfix1
- mlmpfr.4.1.0
- mlmpfr.4.0.2+dune
- mlmpfr.4.0.2
- mlmpfr.4.0.1
- mlmpfr.4.0.0
- mlmpfr.3.1.6
morbig
- morbig.0.9.1
- morbig.0.9
morsmall
- morsmall.0.1
mysql8
- mysql8.1.0
named-pipe
- named-pipe.0.4.0
netkat
- netkat.0.1
netlink
- netlink.0.2.1
noCanren
- noCanren.0.3.0~alpha1
nuscr
- nuscr.1.1.0
- nuscr.1.0.0
ocaml-base-compiler
- ocaml-base-compiler.4.07.0
ocaml-lsp-server
- ocaml-lsp-server.1.22.0
- ocaml-lsp-server.1.9.0
- ocaml-lsp-server.1.4.1
ocaml-protoc-plugin
- ocaml-protoc-plugin.0.9
ocaml-r
- ocaml-r.0.5.0
- ocaml-r.0.4.0
- ocaml-r.0.3.1
- ocaml-r.0.3.0
- ocaml-r.0.2.0
- ocaml-r.0.1.1
- ocaml-r.0.1.0
ocaml-solo5
- ocaml-solo5.1.1.0
- ocaml-solo5.1.0.1
- ocaml-solo5.0.8.5
ocaml-solo5-cross-aarch64
- ocaml-solo5-cross-aarch64.1.1.0
- ocaml-solo5-cross-aarch64.1.0.1
- ocaml-solo5-cross-aarch64.0.8.5
ocaml-top
- ocaml-top.1.1.5
ocaml-unikraft
- ocaml-unikraft.1.0.0
ocaml-unikraft-arm64
- ocaml-unikraft-arm64.1.0.0
ocaml-unikraft-backend-firecracker
- ocaml-unikraft-backend-firecracker.0.18.0
ocaml-unikraft-backend-qemu
- ocaml-unikraft-backend-qemu.0.18.0
ocaml-unikraft-default-arm64
- ocaml-unikraft-default-arm64.1.0.0
ocaml-unikraft-default-x86_64
- ocaml-unikraft-default-x86_64.1.0.0
ocaml-unikraft-x86_64
- ocaml-unikraft-x86_64.1.0.0
ocamlbrowser
- ocamlbrowser.4.14.0
- ocamlbrowser.4.08.0
ocamldiff
- ocamldiff.1.1
ocamleditor
- ocamleditor.1.13.4~preview.4.10
ocamlformat-rpc
- ocamlformat-rpc.0.18.0
ocamlyices
- ocamlyices.0.7.1
- ocamlyices.0.7.0
ocephes
- ocephes.0.8.2
ocp-index-top
- ocp-index-top.0.5.0
- ocp-index-top.0.4.3
- ocp-index-top.0.4.1
ocsfml
- ocsfml.2.0
ocsigen-start
- ocsigen-start.4.0.1
- ocsigen-start.4.0.0
- ocsigen-start.2.21.1
- ocsigen-start.2.19.3
- ocsigen-start.2.19.2
- ocsigen-start.2.18.0
- ocsigen-start.2.16.1
- ocsigen-start.2.16.0
- ocsigen-start.2.15.2
- ocsigen-start.2.15.1
- ocsigen-start.2.15.0
- ocsigen-start.2.13.0
- ocsigen-start.2.12.0
- ocsigen-start.2.11.0
- ocsigen-start.2.9.2
- ocsigen-start.2.9.1
- ocsigen-start.2.7.0
- ocsigen-start.2.4.0
- ocsigen-start.2.3.0
octez
- octez.16.1
octez-smart-rollup-node-PtMumbai
- octez-smart-rollup-node-PtMumbai.16.1
- octez-smart-rollup-node-PtMumbai.16.0
octez-smart-rollup-wasm-debugger
- octez-smart-rollup-wasm-debugger.16.1
- octez-smart-rollup-wasm-debugger.16.0
odepack
- odepack.0.7
- odepack.0.6.9
odnnr
- odnnr.2.0.0
ollvm
- ollvm.0.99
ollvm-tapir
- ollvm-tapir.0.99.1
oml
- oml.0.0.6
- oml.0.0.5
opam-build
- opam-build.0.1.0
opam-check-npm-deps
- opam-check-npm-deps.1.0.0
opam-custom-install
- opam-custom-install.0.2
- opam-custom-install.0.1
opam-dune-lint
- opam-dune-lint.0.2
- opam-dune-lint.0.1
opam-test
- opam-test.0.1.0
openai-gym
- openai-gym.0.01
opencc
- opencc.transition
opencc0
- opencc0.1.0.2
opencc1
- opencc1.1.0.1
opium_kernel
- opium_kernel.0.17.0
- opium_kernel.0.16.0
oplsr
- oplsr.8.0.1
opsian
- opsian.0.1
oqamldebug
- oqamldebug.0.9.5
- oqamldebug.0.9.4
- oqamldebug.0.9.3
- oqamldebug.0.9.2
- oqamldebug.0.9.1
orocksdb
- orocksdb.0.2.2
orrandomForest
- orrandomForest.3.0.0
- orrandomForest.2.0.1
- orrandomForest.1.0.0
orsvm_e1071
- orsvm_e1071.3.0.0
- orsvm_e1071.2.0.0
orxgboost
- orxgboost.1.2.0
- orxgboost.1.1.0
- orxgboost.1.0.1
osh
- osh.0.1
override
- override.0.4.0
- override.0.3.0
- override.0.2.2
owi
- owi.0.2
owl-ode-sundials
- owl-ode-sundials.0.5.0
- owl-ode-sundials.0.4.0
- owl-ode-sundials.0.3.0
- owl-ode-sundials.0.2.0
- owl-ode-sundials.0.1.0
- owl-ode-sundials.0.0.9
- owl-ode-sundials.0.0.7
owl-symbolic
- owl-symbolic.0.2.0
- owl-symbolic.0.1.0
pari
- pari.0.1
pari-bindings
- pari-bindings.0.1
pattern
- pattern.0.2.0
petr4
- petr4.0.1.1
- petr4.0.1
pfff
- pfff.0.40.4
pilat
- pilat.1.6
- pilat.1.2
polars
- polars.0.0.1
polars_async
- polars_async.0.0.1
portia
- portia.1.5
- portia.1.3
- portia.1.1
posix-getopt
- posix-getopt.0.1.0
ppx_cstubs
- ppx_cstubs.0.6.1.2
- ppx_cstubs.0.6.1.1
- ppx_cstubs.0.6.1
ppx_factory
- ppx_factory.0.1.0
ppx_pbt
- ppx_pbt.0.2.1
pratter
- pratter.2.0.0
- pratter.1.2.1
- pratter.1.2
- pratter.1.1
- pratter.1.0
- pratter.0.1.1
prof_spacetime
- prof_spacetime.0.3.0
profiler-plugin
- profiler-plugin.1.30
proj4
- proj4.0.9.2
protocol-9p
- protocol-9p.1.0.1
- protocol-9p.1.0.0
- protocol-9p.0.12.0
- protocol-9p.0.11.3
- protocol-9p.0.11.2
- protocol-9p.0.11.1
- protocol-9p.0.11.0
proverif
- proverif.2.00
- proverif.1.98pl1
- proverif.1.98
py
- py.1.0
pythonlib
- pythonlib.v0.15.1
qcow
- qcow.0.10.0
qfs
- qfs.0.12
- qfs.0.10
- qfs.0.9
- qfs.0.8
- qfs.0.7
- qfs.0.5
- qfs.0.4
radare2
- radare2.0.0.7
- radare2.0.0.6
- radare2.0.0.5
- radare2.0.0.4
- radare2.0.0.3
- radare2.0.0.2
randoml
- randoml.0.1.5
rdf
- rdf.0.12.0
- rdf.0.11.0
reason
- reason.3.5.2
- reason.3.5.0
records
- records.0.6.0
reddit_api_async
- reddit_api_async.0.2.1
- reddit_api_async.0.1.1
- reddit_api_async.0.1.0
refl
- refl.0.3.0
- refl.0.2.1
- refl.0.2.0
- refl.0.1.0
rescript-syntax
- rescript-syntax.1.0.0
rosetta
- rosetta.0.1.0
rotor
- rotor.0.1
rtop
- rtop.3.7.0
- rtop.3.6.2
- rtop.3.6.0
- rtop.3.5.2
sail
- sail.0.19.1
- sail.0.19
- sail.0.18
- sail.0.17.1
- sail.0.16
- sail.0.15
sanlock
- sanlock.0.0.9
satML-plugin
- satML-plugin.1.30
schroedinger
- schroedinger.0.1.1
- schroedinger.0.1.0
sdl-liquidsoap
- sdl-liquidsoap.2
shuttle_http
- shuttle_http.0.11.0
shuttle_ssl
- shuttle_ssl.0.3.1
shuttle_websocket
- shuttle_websocket.0.11.0
solo5-bindings-hvt
- solo5-bindings-hvt.0.6.9
soundtouch
- soundtouch.0.1.7
srs
- srs.2.0.0
stdcompat
- stdcompat.18
- stdcompat.17
- stdcompat.16
- stdcompat.15
- stdcompat.14
- stdcompat.13
- stdcompat.12
- stdcompat.11
- stdcompat.10
- stdcompat.9
- stdcompat.7
- stdcompat.1
- stdcompat.0
stog_rdf
- stog_rdf.0.20.0
sundialsml
- sundialsml.6.1.1p1
- sundialsml.6.1.1p0
- sundialsml.6.1.0p0
- sundialsml.6.0.0p0
- sundialsml.5.8.0p0
- sundialsml.3.1.1p1
- sundialsml.3.1.1p0-1
- sundialsml.3.1.1p0
- sundialsml.2.7.0p0
- sundialsml.2.6.2p1
- sundialsml.2.6.2p0
- sundialsml.2.5.0p2
- sundialsml.2.5.0p1
- sundialsml.2.5.0p0
synopsis
- synopsis.1.0
systemverilog
- systemverilog.0.0.1
tensorflow
- tensorflow.0.0.11
termbox
- termbox.0.1.0
tezos-base
- tezos-base.10.2
tezos-context
- tezos-context.10.2
tezos-hacl-glue-unix
- tezos-hacl-glue-unix.10.2
tezos-p2p
- tezos-p2p.10.2
tezos-p2p-services
- tezos-p2p-services.10.2
tezos-protocol-environment-structs
- tezos-protocol-environment-structs.12.3
tezos-requester
- tezos-requester.10.2
tezos-rpc-http
- tezos-rpc-http.10.2
tezos-rpc-http-client
- tezos-rpc-http-client.10.2
tezos-rpc-http-client-unix
- tezos-rpc-http-client-unix.10.2
tezos-rpc-http-server
- tezos-rpc-http-server.10.2
tezos-rust-libs
- tezos-rust-libs.1.1
tezos-scoru-wasm-fast
- tezos-scoru-wasm-fast.16.1
- tezos-scoru-wasm-fast.16.0
tezos-scoru-wasm-helpers
- tezos-scoru-wasm-helpers.16.1
- tezos-scoru-wasm-helpers.16.0
tezos-shell-services
- tezos-shell-services.10.2
tezos-test-services
- tezos-test-services.10.2
tezos-version
- tezos-version.10.2
tezos-workers
- tezos-workers.10.2
tgls
- tgls.0.8.6
tidy
- tidy.1-4.9.30-0.1.1
tldr
- tldr.0.2
- tldr.0.1
topiary
- topiary.0.5.1
torch
- torch.v0.17.0
- torch.0.3
- torch.0.2
tplib
- tplib.1.3
traverse
- traverse.0.2.0
- traverse.0.1.0
trexio
- trexio.2.2.0
tsdl
- tsdl.1.0.0
- tsdl.0.9.8
tsdl-image
- tsdl-image.0.1.2
tsdl-ttf
- tsdl-ttf.0.2
uri
- uri.1.9.7
uwt
- uwt.0.3.3
- uwt.0.3.2
- uwt.0.3.0.2
- uwt.0.3.0
vercel
- vercel.0.1.0
vhd-format
- vhd-format.0.12.1
- vhd-format.0.12.0
vhdlib
- vhdlib.0.9.1
virtual_dom_toplayer
- virtual_dom_toplayer.v0.17.0
wamp
- wamp.1.0
- wamp.0.1
wcs
- wcs.2017-05-26.05
wcs-lib
- wcs-lib.2017-05-26.05
why3-ide
- why3-ide.1.5.0
- why3-ide.1.4.1
- why3-ide.1.4.0
- why3-ide.1.3.3
- why3-ide.1.3.2
- why3-ide.1.3.1
- why3-ide.1.3.0
- why3-ide.1.2.1
- why3-ide.1.2.0
- why3-ide.1.1.1
- why3-ide.1.1.0
- why3-ide.1.0.0
wiringpi
- wiringpi.0.0.1
wxOCaml
- wxOCaml.1.0.1
x86_64-esperanto
- x86_64-esperanto.0.0.6
- x86_64-esperanto.0.0.5
yaml
- yaml.0.2.1
yocaml_git
- yocaml_git.2.0.1
- yocaml_git.2.0.0
yuscii
- yuscii.0.2.0
z3
- z3.4.8.14
- z3.4.8.11
- z3.4.8.9-1
- z3.4.8.8-1
- z3.4.8.8
- z3.4.8.7
- z3.4.8.6
- z3.4.8.5
- z3.4.8.4
- z3.4.8.1
- z3.4.7.1
- z3.4.6
z3_tptp
- z3_tptp.4.8.14
zxcvbn
- zxcvbn.2.3+2

Running packages

total: 29

coq
coq-serapi
hol_light
- hol_light.3.1.0
- hol_light.3.0.0
ledit
- ledit.2.04
ocaml
- ocaml.4.07.0
rfsm
- rfsm.1.7.0
- rfsm.1.6.0
ulex-camlp5
- ulex-camlp5.1.2
why3-coq

Solver failures

total: 1400