Debian Quality Assurance

Packages overview for Stéphane Glondu <glondu@debian.org>

Stéphane Glondu <glondu@debian.org> — Bugs: open - RC - all - submitted - usertags - WNPP - — Reports: Dashboard - Buildd - Lintian - Debtags - Piuparts - Janitor - Contributions - Repology - Portfolio

main (159)

Source Package		Bugs		Version					Ubuntu	VCS	Buildd	Lintian	Deb check	Piu parts	CI	Popcon	Watch
		All	RC	oldstable	stable	testing	unstable	exp				E+W			Rep
	0install-solver[U]	-	-	-		2.18-1		-	2.18-1 -	Git ✔	20×✓	✔	✔	✔	-- ✔	1	2.18-debian
	aac-tactics[U]	-	-	-	8.17.0-1	8.19.1-2 AUTORM		-	8.19.1-2 -	Git ✔	⎇∉✔✔∉∉∉∉∉∉∉ ∉∉∉∉✔✔✔∉∉∉	✔	S T U	✔	-- ✔	5	8.20.0
	advi[U]	9 (11)	-	1.10.2-9		2.0.0-4		-	2.0.0-4 1 bug	Git ✔	✔✔✔✔✔✔✔⚒✔✔✔ ∉✔✔✔✔✔✔✔✔✔	✔	✔	X	-- FTBR	73	2.0.0
	ahcpd	2	-	0.53-3				-	0.53-3 -	Git !1 ✔	⎇✔✔✔✔✔✔✘✘✔✔ ✔✔✔✔✔✔✔✔✔✔	✔	✔	X	-- ✔	17	0.53
	babeld*	1	-	1.9.1-1	1.12.1-1			-	1.12.1-1 -	Git #1 1.12.1-1+4	⎇✔✔✔✔✔✔✘✘✔✔ ✔✔✔✔✔✔✔✔✔✔	✔	✔	X	-- ✔	18	1.13.1
	belenios[U]	-	-	1.14+dfsg-1	2.0+dfsg-1	2.5.1+dfsg-1 AUTORM		-	2.5.1+dfsg-1 -	Git failed ✔	⎇∉✔✔✔✔∉∉∉✔✔ ∉✔✔✔✔✔✔∉✔∉	✔	✔	✔	-- ✔	15	2.5.1
	ben[U]	7	-	0.9.2	0.10.1	1.7 AUTORM		-	1.7u5 -	Git ✔ ✔	⎇∉✔✔✔✔∉∉∉✔✔ ∉✔✔✔✔✔✔∿✔✔	✔	✔	X	-- ✔	30	-
	bin-prot[U]	-	-	1:0.14.0-1	1:0.15.0-1	1:0.17.0-2		-	1:0.17.0-2 -	Git ✔	⎇✔✔✔✔✔✔✔✔✔✔ ∉✔✔✔✔✔✔✔✔✔	✔	✔	✔	-- ✔	3	0.17.0
	calendar[U]	1	-	2.04-3	3.0.0-1	3.0.0-4 AUTORM		-	3.0.0-4 -	Git ✔	✔∉✔✔✔✔✔∉∉✔✔ ∿✔✔✔✔✔✔✔✔✔	✔	✔	F	-- ✔	78	ERROR
	camlp-streams[U]	-	-	-	5.0.1-1	5.0.1-3		-	5.0.1-3 -	Git ✔	20×✓	✔	✔	✔	-- FTBR	817	5.0.1
	camlp4[U]	3	-	4.11+1-1	4.13+1-1	5.2+1-1		-	5.2+1-1 -	Git ✔	20×✓	✔	✔	✔	-- ✔	904	5.2+1
	camlp5[U]	1	-	7.13-1	8.00.04-1	8.03.00-1 AUTORM		-	8.03.00-1 -	Git ✔	⎇∉✔✔✔✔∉∉∉✔✔ ∉✔✔✔✔✔✔✔✔✔	✔	✔	✔	-- ✔	172	8.03.01
	camlp5-buildscripts[U]	-	-	-		0.03-1 AUTORM		-	0.03-1 -	Git ✔	⎇✔✔✔✔✔∉∉∉✔✔ ∉✔✔✔✔✔✔✔✔✔	✔	✔	✔	-- ✔	1	0.03
	camlpdf[U]	-	-	2.3.1-2	2.5.3-1	2.7.1-1		-	2.7.1-1 -	Git ✔	20×✓	✔	✔	✔	✔✔ ✔	13	2.7.1
	camlzip[U]	-	-	1.10-1	1.11-1	1.12-2		-	1.12-2 -	Git ✔	20×✓	✔	✔	✔	✔✔ ✔	155	1.12
	cmdliner[U]	-	-	1.0.4-2	1.1.1-1	1.3.0-2		-	1.3.0-2 -	Git ✔	20×✓	✔	✔	✔	-- ✔	41	1.3.0
	coq[U]	2	-	8.12.0-3	8.16.1+dfsg-1	8.19.1+dfsg-3 AUTORM		-	8.19.1+dfsg-3 3 bugs	Git failed 8.20.0+dfsg-1	⎇∉✔✔∉∉∉∉✘∉∉ ∉∉∉∉✔✔✔∉∉∉	✔	S T U	X	✔✔ FTBR	654	8.20.0
	cryptgps[U]	-	-	0.2.1-11		0.2.1-13		-	0.2.1-13 -	Git ✔	20×✓	✔	✔	✔	-- ✔	68	0.2.1
	cryptokit[U]	1	-	1.16.1-1	1.18-1	1.20.1-1		-	1.20.1-1 -	Git ✔	⎇✔✔✔✔✔✔✔✔✔✔ ∉✔✔✔✔✔✔✔✔∿	✔	✔	✔	-- ✔	127	1.20
	dh-ocaml[U]	7	-	1.1.3		2.4		-	2.4 -	Git ✔	1×✓	✔	✔	X	-- ✔	183	-
	eliom[U]	-	-	6.12.4-1	9.4.0-2	11.0.1-1 AUTORM		-	11.0.1-1 -	Git !1 ✔	⎇∉✔✔✔✔∉∉∉✔✔ ∉✔∉∉✔✔✔∉∉∉	✔	T U	X	-- ✔	3	11.0.1
	extlib[U]	1	-	1.7.7-2	1.7.8-2	1.8.0-2		-	1.8.0-2 -	Git ✔	⎇✔✔✔✔✔✔✘✘✔✔ ✔✔✔✔✔✔✔✔✔✔	✔	✔	✔	✔✔ FTBR	128	1.8.0
	fieldslib[U]	-	-	1:0.14.0-1	1:0.15.0-1	1:0.17.0-1		-	1:0.17.0-1 -	Git ✔	⎇✔✔✔✔✔✔✔✔✔✔ ∉✔✔✔✔✔✔✔✔✔	✔	✔	✔	-- ✔	2	0.17.0
	findlib[U]	1	-	1.8.1-2	1.9.6-1	1.9.6-3		-	1.9.6-3 -	Git ✔	20×✓	✔	✔	✔	-- ✔	1856	1.9.6
	hevea[U]	6	-	2.34-2	2.36-1	2.36-2		-	2.36-2 2 bugs	Git ✔	20×✓	✔	✔	F	✔✔ FTBR	540	2.36
	janest-base[U]	-	-	0.14.0-1	0.15.1-1	0.17.1-1		-	0.17.1-1 -	Git ✔	⎇✔✔✔✔✔✔✔✔✔✔ ∉✔✔✔✔✔✔✔✔✔	✔	✔	✔	-- ✔	30	0.17.1
	janest-ocaml-compiler-libs[U]	1	-	0.12.3-1	0.12.4-1	0.17.0-1		-	0.17.0-1 -	Git ✔	20×✓	✔	✔	✔	-- ✔	147	0.17.0
	js-of-ocaml[U]	2	-	3.8.0-2	4.0.0-2	5.8.2-2 AUTORM		-	5.8.2-2 -	Git ✔	✔∉✔✔✔✔∉∉∉✔✔ ∉✔✔✔✔✔✔✔✔✔	✔	✔	✔	-- ✔	38	5.8.2
	js-of-ocaml-ocamlbuild[U]	-	-	-	0.0.0+git20220118+852302c8-2	5.0-2 AUTORM		-	5.0-2 -	Git ✔	⎇∉✔✔✔✔∉∉∉✔✔ ∉✔∉✔✔✔✔∉∉∉	✔	✔	✔	✔✔ ✔	2	5.0
	lablgl[U]	-	-	1:1.06-1		1:1.07-2		-	1:1.07-2 -	Git ✔	20×✓	✔	✔	X	-- ✔	51	1.07
	lablgtk-extras[U]	-	-	1.6-2	1.6-3	-			-	-	Buildd Logs	✔	✔	X	-- -	3	-
	lablgtk2[U]	-	-	2.18.11-1	2.18.13-1	-			-	-	Buildd Logs	✔	S	X	-- -	589	-
	labltk[U]	-	-	8.06.9-1	8.06.13-1	8.06.14-1		-	8.06.14-1 -	Git ✔	20×✓	✔	✔	X	-- ✔	58	8.06.14
	ledit[U]	-	-	2.04-5	2.04-6	2.04-8 AUTORM		-	2.04-8 -	Git ✔	⎇∉✔✔✔✔∉∉∉✔✔ ∉✔✔✔✔✔✔✔✔✔	✔	✔	✔	-- ✔	2616	2.04
	lwt[U]	1	-	5.3.0-1	5.6.1-1	5.7.0-1 AUTORM		-	5.7.0-1 -	Git ✔	⎇✔✔✔✔✔∿∉✔✔✔ ∉✔✔✔✔✔✔✔✔✔	✔	S T U	✔	-- ✔	162	5.8.0
	lwt-log[U]	-	-	1.1.1-3	1.1.2-1	1.1.2-4 AUTORM		-	1.1.2-4 -	Git ✔	⎇✔✔✔✔✔∉∉✔✔✔ ∉✔✔✔✔✔✔✔✔✔	✔	✔	✔	-- ✔	77	1.1.2
	lwt-ssl[U]	-	-	1:1.1.3-2		1:1.2.0-2 AUTORM		-	1:1.2.0-2 -	Git ✔	⎇✔✔✔✔✔∉∉∉✔✔ ∉✔✔✔✔✔✔✔✔✔	✔	✔	✔	-- ✔	9	1.2.0
	meta-ocaml[U]	-	-	4.08.1.2		5 AUTORM		-	5 -	Git ✔	1×✓	✔	T U	X	-- ✔	96	-
	meta-unison[U]	72 (76)	-	2.51.3+1	2.52+1	2.53+1 AUTORM		-	2.53+1 3 bugs	Git ✔	1×✓	✔	✔	X	-- ✔	3827	-
	mlpost[U]	-	-	0.8.2-4+deb11u1	0.9-2	0.9-5 AUTORM		-	0.9-5 -	Git ✔	✔✔✔✔✔✔✔∉✘✔✔ ∉✔✔✔✔✔✔✔✔✔	✔	✔	X	-- ✔	92	0.9
	mumudvb	4	-	1.7.1-1		- Excuse	1.7.1-1	-	1.7.1-1 -	Git ERROR	⎇✔✔✔✔✔✔∉∉✔✔ ✔✔✔✔✔✔✔✔✔✔	✔	✔	✔	-- -	33	ERROR
	net-acct	5	-	0.71-9.1 Excuse			0.71-10	-	0.71-9.1 -	Git failed ✔	⎇✔✔✔✔✔✔✘✘✔✔ ✔✔✔✔✔✔✔✔✔✔	✔	✔	F	-- ✔	43	0.No-Site
	not-ocamlfind[U]	-	-	-		0.13-1 AUTORM		-	0.13-1 -	Git ✔	⎇✔✔✔✔✔✔∉✔✔✔ ∉✔✔✔✔✔✔✔✔✔	✔	✔	✔	-- ✔	1	0.13
	nproc[U]	-	-	0.5.1-3		0.5.1-5 AUTORM		-	0.5.1-5 -	Git ✔	⎇✔✔✔✔✔∉∉✔✔✔ ∉✔✔✔✔✔✔✔✔✔	✔	✔	✔	-- ✔	2	0.5.1
	nss-passwords[U]	3	-	0.3-1	0.3-2	0.4-1 AUTORM		-	0.4-1 -	Git ✔	⎇✔✔✔✔✔✔∉∉✔✔ ✔✔✔✔✔✔✔✔✔✔	✔	✔	✔	-- ✔	116	0.4
	nurpawiki[U]	-	-	1.2.4-1	1.2.4-2	1.2.4-4 AUTORM		-	1.2.4-4 -	Git ✔	⎇∉✔✔✔✔∉∉∉✔✔ ∉✔∉∉✔✔✔∉∉∉	✔	✔	X	-- ✔	3	1.2.4
	obus[U]	-	-	1.2.3-1	1.2.4-1	1.2.5-1 AUTORM		-	1.2.5-1 -	Git ✔	⎇✔✔✔✔✔∉∉✔✔✔ ∉✔✔✔✔✔✔✔✔✔	✔	✔	✔	-- ✔	-	1.2.5
	ocaml[U]	10	-	4.11.1-4	4.13.1-4	5.2.0-3		-	5.2.0-3 7 bugs	Git ✔	21×✓	✔	✔	✔ MA	-- ✔	2965	5.3.0~alpha1
	ocaml-alcotest[U]	1	-	-	1.6.0-1	1.8.0-1 AUTORM		-	1.8.0-1 -	Git ✔	⎇⌂✔✔✔✔✔∉✘✔✔ ✔✔✔✔✔✔✔✔✔✔	✔	✔	✔	-- ✔	3	1.8.0
	ocaml-angstrom[U]	-	-	-	0.15.0-1	0.16.1-1		-	0.16.1-1 -	Git ✔	⎇✔✔✔✔✔✔✔✔✔✔ ∉✔✔✔✔✔✔✔✔✔	✔	✔	✔	-- ✔	14	0.16.1
	ocaml-asn1-combinators[U]	-	-	-	0.2.6-2	0.3.2-1 AUTORM		-	0.3.2-1 -	Git ✔	⎇∉✔✔✔✔✔∉∉✔✔ ∉✔✔✔✔✔✔✔✔✔	✔	✔	✔	-- ✔	1	0.3.2
	ocaml-astring[U]	-	-	0.8.5-1		0.8.5-2 AUTORM		-	0.8.5-2 -	Git ✔	⎇✔✔✔✔✔✔∉✔✔✔ ✔✔✔✔✔✔✔✔✔✔	✔	✔	✔	-- ✔	22	0.8.5
	ocaml-atd[U]	1	-	2.2.1-1	2.10.0-2	2.15.0-2 AUTORM		-	2.15.0-2 -	Git ✔	⎇∉✔✔✔✔∉∉∉✔✔ ∉✔✔✔✔✔✔∉✔∉	✔	✔	✔	✔✔ FTBR	4	2.15.0
	ocaml-base64[U]	-	-	3.4.0-1	3.5.0-1	3.5.1-2 AUTORM		-	3.5.1-2 -	Git ✔	⎇✔✔✔✔✔✔∉∉✔✔ ∉✔✔✔✔✔✔✔✔✔	✔	✔	✔	-- ✔	8	3.5.1
	ocaml-bigarray-compat[U]	-	-	1.0.0-1	1.1.0-1	1.1.0-3		-	1.1.0-3 -	Git ✔	20×✓	✔	✔	✔	-- ✔	70	ERROR
	ocaml-bigstringaf[U]	-	-	-	0.9.0-1	0.10.0-1		-	0.10.0-1 -	Git ✔	⎇✔✔✔✔✔✔✔✔✔✔ ∉✔✔✔✔✔✔✔✔✔	✔	✔	✔	-- ✔	14	0.10.0
	ocaml-bitstring[U]	1	-	3.1.1-2	4.1.0-1	4.1.1-2		-	4.1.1-2 -	Git 4.1.1-2+1	20×✓	✔	✔	✔	-- ✔	99	4.1.1
	ocaml-bos[U]	-	-	-	0.2.1-1	0.2.1-2 AUTORM		-	0.2.1-2 -	Git ✔	⎇∉✔✔✔✔∉∉∉✔✔ ∉✔✔✔✔✔✔✔✔✔	✔	✔	✔	-- ✔	14	0.2.1
	ocaml-ca-certs[U]	1	-	-	0.2.3-1	1.0.0-1 AUTORM		-	1.0.0-1 -	Git ✔	⎇∉✔✔✔✔∉∉∉✔✔ ∉✔∉∉✔✔✔∉∉∉	✔	✔	✔	-- ✔	1	1.0.0
	ocaml-charinfo-width[U]	-	-	1.1.0-2		2.0.0-1 AUTORM		-	2.0.0-1 -	Git ✔	⎇✔✔✔✔✔✔∉✔✔✔ ∉✔✔✔✔✔✔✔✔✔	✔	✔	✔	-- ✔	44	2.0.0
	ocaml-cinaps[U]	-	-	-		0.15.1-1		-	0.15.1-1 -	Git ✔	⎇⌂✔✔✔✔✔✔✔✔✔ ✔✔✔✔✔✔✔✔✔✔	✔	✔	✔	-- ✔	1	0.15.1
	ocaml-cohttp[U]	-	-	-	4.0.0-3	5.3.0-1 AUTORM		-	5.3.0-1 -	Git ✔	⎇∉✔✔✔✔∉∉∉✔✔ ∉✔∉∉✔✔✔∉∉∉	✔	✔	X	-- ✔	3	6.0.0.beta1
	ocaml-conduit[U]	-	-	-	4.0.2-3	7.1.0-1 AUTORM		-	7.1.0-1 -	Git ✔	⎇∉✔✔✔✔∉∉∉✔✔ ∉✔∉∉✔✔✔∉∉∉	✔	✔	✔	-- ✔	4	7.1.0
	ocaml-config-file[U]	-	-	1.2-1	1.2.1-1	1.2.1-4		-	1.2.1-4 -	Git ✔	20×✓	✔	✔	✔	-- ✔	56	1.2.1
	ocaml-crunch[U]	-	-	-		3.3.1-1 AUTORM		-	3.3.1-1 -	Git ✔	⎇✔✔✔✔✔✔∉∉✔✔ ∉✔✔✔✔✔✔✔✔✔	✔	✔	✔	-- ✔	2	3.3.1
	ocaml-csexp[U]	1	-	1.3.2-1	1.5.1-1	1.5.2-4		-	1.5.2-4 -	Git ✔	20×✓	✔	✔	✔	-- ✔	13	ERROR
	ocaml-cstruct[U]	-	-	6.0.0-1	6.1.1-1	6.2.0-3 AUTORM		-	6.2.0-3 -	Git ✔	⎇✔✔✔✔✔∉∉∉✔✔ ∉✔✔✔✔✔✔✔✔∉	✔	✔	✔	-- ✔	9	6.2.0
	ocaml-csv[U]	6	-	2.4-1		2.4-3 AUTORM		-	2.4-3 3 bugs	Git ✔	⎇✔✔✔✔✔✔∉✔✔✔ ✔✔✔✔✔✔✔✔✔✔	✔	✔	✔	-- ✔	418	2.4
	ocaml-ctypes[U]	1	-	0.17.1-2	0.20.1-1	0.23.0-1		-	0.23.0-1 -	Git ✔	⎇✔✔✔✔✔∉∉✔✔✔ ∉✔✔✔✔✔✔✔✔✔	✔	✔	✔	-- ✔	95	0.23.0
	ocaml-digestif[U]	-	-	-		1.2.0-1 AUTORM		-	1.2.0-1 -	Git ✔	⎇∉✔✔✔✔∉∉∉✔✔ ∉✔∉∉✔✔✔∉∉∉	✔	✔	✔	-- ✔	1	1.2.0
	ocaml-domain-name[U]	-	-	0.3.0-2	0.4.0-1	0.4.0-3 AUTORM		-	0.4.0-3 -	Git ✔	⎇✔✔✔✔✔✔∉∉✔✔ ✔✔✔✔✔✔✔✔✔✔	✔	✔	✔	-- ✔	7	ERROR
	ocaml-dune[U]	2	-	2.7.1-2	2.9.3-1	3.16.0-2		-	3.16.0-2 1 bug	Git ✔	⎇✔✔✔✔✔✔✔✔✔✔ ∿✔✔✔✔✔✔✔✔✔	✔	✔	✔	-- (-)	179	3.16.0
	ocaml-duration[U]	-	-	-	0.2.1-1	0.2.1-4 AUTORM		-	0.2.1-4 -	Git ✔	⎇✔✔✔✔✔✔∉∉✔✔ ✔✔✔✔✔✔✔✔✔✔	✔	✔	✔	-- ✔	1	ERROR
	ocaml-eqaf[U]	-	-	-	0.9-1	0.10-1 AUTORM		-	0.10-1 -	Git ✔	⎇∉✔✔✔✔∉∉∉✔✔ ∉✔∉∉✔✔✔∉∉∉	✔	✔	✔	-- ✔	1	0.10
	ocaml-fmt[U]	-	-	0.8.9-1	0.9.0-2	0.9.0-3 AUTORM		-	0.9.0-3 -	Git ✔	⎇✔✔✔✔✔✔∉✔✔✔ ✔✔✔✔✔✔✔✔✔✔	✔	✔	✔	-- ✔	40	0.9.0
	ocaml-gmap[U]	-	-	-	0.3.0-1	0.3.0-4 AUTORM		-	0.3.0-4 -	Git ✔	⎇✔✔✔✔✔✔∉∉✔✔ ✔✔✔✔✔✔✔✔✔✔	✔	✔	✔	-- ✔	3	ERROR
	ocaml-graphics[U]	3	-	5.1.0-3	5.1.2-1	5.1.2-3		-	5.1.2-3 -	Git ✔	⎇✔✔✔✔✔✔✔✔✔✔ ∉✔✔✔✔✔✔✔✔✔	✔	✔	✔	-- ✔	109	ERROR
	ocaml-hex[U]	-	-	1.4.0-1	1.5.0-1	1.5.0-3 AUTORM		-	1.5.0-3 -	Git ✔	⎇✔✔✔✔✔∉∉∉✔✔ ∉✔✔✔✔✔✔✔✔∉	✔	✔	✔	-- ✔	2	1.5.0
	ocaml-hmap[U]	-	-	-	0.8.1-1	0.8.1-2 AUTORM		-	0.8.1-2 -	Git ✔	⎇✔✔✔✔✔✔∉✔✔✔ ✔✔✔✔✔✔✔✔✔✔	✔	✔	✔	-- ✔	4	0.8.1
	ocaml-integers[U]	-	-	0.4.0-1	0.7.0-1	0.7.0-3		-	0.7.0-3 -	Git ✔	20×✓	✔	✔	✔	-- ✔	84	0.7.0
	ocaml-intrinsics-kernel[U]	-	-	-		0.17.1-1		-	0.17.1-1 -	Git ✔	20×✓	✔	✔	✔	-- ✔	8	0.17.1
	ocaml-ipaddr[U]	-	-	5.0.1-1	5.3.1-1	5.6.0-1 AUTORM		-	5.6.0-1 -	Git ✔	⎇✔✔✔✔✔∉∉∉✔✔ ∉✔✔✔✔✔✔✔✔∉	✔	✔	✔	-- ✔	8	5.6.0
	ocaml-kdf[U]	-	-	-		1.0.0-1 AUTORM		-	1.0.0-1 -	Git ✔	⎇∉✔✔✔✔∉∉∉✔✔ ∉✔∉∉✔✔✔∉∉∉	✔	✔	✔	-- ✔	1	1.0.0
	ocaml-logs[U]	-	-	-	0.7.0-2	0.7.0-3 AUTORM		-	0.7.0-3 -	Git ✔	⎇∉✔✔✔✔∉∉∉✔✔ ∉✔✔✔✔✔✔✔✔✔	✔	✔	✔	-- ✔	33	0.7.0
	ocaml-magic-mime[U]	-	-	-	1.3.0-1	1.3.1-1		-	1.3.1-1 -	Git ✔	20×✓	✔	✔	✔	-- ✔	4	1.3.1
	ocaml-mew[U]	-	-	0.1.0-1		0.1.0-4		-	0.1.0-4 -	Git ✔	20×✓	✔	✔	✔	-- ✔	60	ERROR
	ocaml-mew-vi[U]	-	-	0.5.0-1		0.5.0-3 AUTORM		-	0.5.0-3 -	Git ✔	⎇✔✔✔✔✔✔∉✔✔✔ ∉✔✔✔✔✔✔✔✔✔	✔	✔	✔	-- ✔	60	ERROR
	ocaml-mirage-clock[U]	-	-	-		4.2.0-1		-	4.2.0-1 -	Git ✔	⎇⌂✔✔✔✔✔✔✔✔✔ ∉✔✔✔✔✔✔✔✔✔	✔	✔	✔	-- ✔	1	ERROR
	ocaml-mirage-crypto[U]	-	-	-	0.10.7-1	1.1.0-2 AUTORM		-	1.1.0-2 -	Git ✔	⎇∉✔✔✔✔∉∉∉✔✔ ∉✔∉∉✔✔✔∉∉∉	✔	✔	✔	-- ✔	1	1.1.0
	ocaml-mirage-kv[U]	-	-	- Excuse			6.1.1-2	-	-	Git ✔	⎇∉✔✔✔✔∉∉∉✔✔ ∉✔✔✔✔✔✔✔✔✔	✔	✔	✔	-- -	1	6.1.1
	ocaml-mmap[U]	-	-	1.1.0-1	1.2.0-1	1.2.0-3		-	1.2.0-3 -	Git ✔	20×✓	✔	✔	✔	-- ✔	37	ERROR
	ocaml-mtime[U]	-	-	-	1.4.0-2	2.1.0-2 AUTORM		-	2.1.0-2 -	Git ✔	⎇∉✔✔✔✔∉∉∉✔✔ ∉✔✔✔✔✔✔✔✔✔	✔	✔	✔	-- ✔	1	2.1.0
	ocaml-num[U]	-	-	1.4-1	1.4-2	1.5-1		-	1.5-1 -	Git ✔	⎇✔✔✔✔✔✔✔✔✔✔ ✔✔✔✔✔✔✔✔✔∿	✔	✔	✔	✔✔ ✔	533	1.5
	ocaml-odoc-parser[U]	1	-	-	2.0.0-1	-			-	-	Buildd Logs	✔	✔	✔	-- -	3	-
	ocaml-ohex[U]	-	-	-		0.2.0-1 AUTORM		-	0.2.0-1 -	Git ✔	⎇✔✔✔✔✔✔∉∉✔✔ ✔✔✔✔✔✔✔✔✔✔	✔	✔	✔	-- ✔	1	-
	ocaml-optint[U]	-	-	-		0.3.0-1		-	0.3.0-1 -	Git ✔	⎇⌂✔✔✔✔✔✔✔✔✔ ✔✔✔✔✔✔✔✔✔✔	✔	✔	✔	-- ✔	1	0.3.0
	ocaml-parsexp[U]	-	-	0.14.0-1	0.15.0-1	0.17.0-1		-	0.17.0-1 -	Git ✔	20×✓	✔	✔	✔	-- ✔	12	0.17.0
	ocaml-pbkdf[U]	-	-	-	1.2.0-1	2.0.0-1 AUTORM		-	2.0.0-1 -	Git ✔	⎇∉✔✔✔✔∉∉∉✔✔ ∉✔∉∉✔✔✔∉∉∉	✔	✔	✔	-- ✔	1	2.0.0
	ocaml-ptime[U]	-	-	-	1.0.0-1	1.2.0-2 AUTORM		-	1.2.0-2 -	Git ✔	⎇∉✔✔✔✔∉∉∉✔✔ ∉✔✔✔✔✔✔✔✔✔	✔	✔	✔	-- FTBR	1	1.2.0
	ocaml-randomconv[U]	-	-	-		0.2.0-1 AUTORM		-	0.2.0-1 -	Git ✔	⎇✔✔✔✔✔✔∉∉✔✔ ∉✔✔✔✔✔✔✔✔∉	✔	✔	✔	-- ✔	1	0.2.0
	ocaml-result[U]	-	-	1.5-1		1.5-4		-	1.5-4 -	Git ✔	20×✓	✔	✔	✔	-- ✔	131	ERROR
	ocaml-rresult[U]	-	-	0.6.0-1	0.7.0-1	0.7.0-2 AUTORM		-	0.7.0-2 -	Git ✔	⎇✔✔✔✔✔✔∉✔✔✔ ✔✔✔✔✔✔✔✔✔✔	✔	✔	✔	-- ✔	14	0.7.0
	ocaml-sexplib0[U]	-	-	0.14.0-1	0.15.1-1	0.17.0-1		-	0.17.0-1 -	Git ✔	20×✓	✔	✔	✔	-- ✔	220	0.17.0
	ocaml-spdx-licenses[U]	-	-	-		1.2.0-1 AUTORM		-	1.2.0-1 -	Git ✔	⎇✔✔✔✔✔✔∉∉✔✔ ✔✔✔✔✔✔✔✔✔✔	✔	✔	✔	-- ✔	1	1.2.0
	ocaml-sqlite3[U]	1	-	5.0.2-1	5.1.0-1	5.2.0-1		-	5.2.0-1 -	Git ✔	⎇✔✔✔✔✔✔✔✔✔✔ ∉✔✔✔✔✔✔✔✔✔	✔	✔	✔	-- ✔	64	5.2.0
	ocaml-ssl[U]	-	-	0.5.9-2	0.5.13-1	0.7.0-1 AUTORM		-	0.7.0-1 -	Git failed ✔	⎇✔✔✔✔✔✔∉∉✔✔ ∉✔✔✔✔✔✔✔✔✔	✔	✔	✔	-- ✔	90	0.7.0
	ocaml-stdcompat[U]	-	-	14-2	19-1	20~git20240529-1		-	20~git20240529-1 -	Git ✔	20×✓	✔	✔	✔	-- ✔	128	ERROR
	ocaml-stdio[U]	-	-	0.14.0-1	0.15.0-1	0.17.0-1		-	0.17.0-1 -	Git ✔	⎇✔✔✔✔✔✔✔✔✔✔ ∉✔✔✔✔✔✔✔✔✔	✔	✔	✔	-- ✔	3	0.17.0
	ocaml-stdlib-random[U]	-	-	-		1.2.0-1		-	1.2.0-1 -	Git ✔	⎇⌂✔✔✔✔✔✔✔✔✔ ✔✔✔✔✔✔✔✔✔✔	✔	✔	✔	-- ✔	1	1.2.0
	ocaml-stringext[U]	-	-	-	1.6.0-1	1.6.0-3 AUTORM		-	1.6.0-3 -	Git ✔	⎇✔✔✔✔✔✔∉∉✔✔ ✔✔✔✔✔✔✔✔✔✔	✔	✔	✔	-- ✔	13	ERROR
	ocaml-swhid-core[U]	-	-	-		0.1-1		-	0.1-1 -	Git ✔	20×✓	✔	✔	✔	-- ✔	-	0.1
	ocaml-topkg[U]	1	-	1.0.3-1	1.0.7-1 AUTORM			-	1.0.7-1 -	Git ✔	⎇✔✔✔✔✔✔∉✔✔✔ ✔✔✔✔✔✔✔✔✔✔	✔	✔	✔	-- FTBR	7	1.0.7
	ocaml-trie[U]	-	-	1.0.0-1		1.0.0-4		-	1.0.0-4 -	Git ✔	20×✓	✔	✔	✔	-- ✔	60	1.0.0
	ocaml-uri[U]	-	-	-	4.2.0-1	4.4.0-1 AUTORM		-	4.4.0-1 -	Git ✔	⎇✔✔✔✔✔✔∉∉✔✔ ∉✔✔✔✔✔✔✔✔✔	✔	✔	✔	-- ✔	13	4.4.0
	ocaml-usb[U]	-	-	1.3.1-4		1.3.1-6 AUTORM		-	1.3.1-6 -	Git ✔	⎇✔✔✔✔✔∉∉✔✔✔ ∉✔✔✔✔✔✔✔✔✔	✔	✔	✔	-- ✔	32	ERROR
	ocaml-uuseg[U]	-	-	-	15.0.0-1	15.1.0-1 AUTORM		-	15.1.0-1 -	Git ✔	⎇✔✔✔✔✔✔∉✔✔✔ ✔✔✔✔✔✔✔✔✔✔	✔	✔	✔	-- ✔	19	16.0.0
	ocaml-version[U]	-	-	-		3.6.8-1 AUTORM		-	3.6.8-1 -	Git ✔	⎇✔✔✔✔✔✔∉∉✔✔ ✔✔✔✔✔✔✔✔✔✔	✔	✔	✔	-- ✔	1	3.6.9
	ocaml-x509[U]	-	-	-	0.16.2-1	1.0.3-1 AUTORM		-	1.0.3-1 -	Git ✔	⎇∉✔✔✔✔∉∉∉✔✔ ∉✔∉∉✔✔✔∉∉∉	✔	✔	✔	-- ✔	1	1.0.4
	ocaml-zarith[U]	1	-	1.11-1	1.12-1	1.14-1		-	1.14-1 -	Git ✔	21×✓	✔	✔	✔	-- ✔	679	1.14
	ocamlformat[U]	-	-	-		0.26.2-1 AUTORM		-	0.26.2-1 -	Git ✔	⎇∉✔✔✔✔✔∉∉✔✔ ∉✔∉✔✔✔✔✔✔✔	✔	✔	✔	-- ✔	1	0.26.2
	ocamlnet[U]	6	-	4.1.8-2	4.1.9-1	4.1.9-6		-	4.1.9-6 1 bug	Git ✔	21×✓	✔	✔	X	-- ✔	117	4.1.9
	ocamlpam[U]	-	-	1.1-5		1.1-6		-	1.1-6 -	Git 1.1-7	20×✓	✔	✔	✔	-- ✔	8	1.1
	ocamlsdl[U]	-	-	0.9.1-3		-			-	-	Buildd Logs	✔	✔	✔	-- -	36	-
	ocamlwc[U]	-	-	0.3-17	0.3-18	0.3-21		-	0.3-21 -	Git ✔	20×✓	✔	✔	✔	✔✔ ✔	3	0.3
	ocplib-endian[U]	-	-	1.1-2	1.2-1	1.2-4		-	1.2-4 -	Git ✔	20×✓	✔	✔	✔	-- ✔	144	1.2
	ocsigenserver[U]	2	-	2.16.1-1	5.0.1-2	6.0.0-1 AUTORM		-	6.0.0-1 -	Git ✔	✔∉✔✔✔✔∉∉∉✔✔ ∉✔∉∉✔✔✔∉∉∉	✔	✔	X	-- ✔	5	6.0.0
	ocsipersist[U]	-	-	-	1.1.0-1	2.0.0-1 AUTORM		-	2.0.0-1 -	Git ERROR	⎇∉✔✔✔✔∉∉∉✔✔ ∉✔∉∉✔✔✔∉∉∉	✔	✔	X	-- ✔	3	2.0.0
	opam[U]	2	-	2.0.8-1	2.1.2-1	2.2.1-1 AUTORM		-	2.2.1-1 1 bug	Git failed ✔	✔✔✔✔✔✔✔∉∉✔✔ ∉✔∉✔✔✔✔∉✔∉	✔	T	X	✔✔ FTBFS	984	2.2.1
	opam-0install-cudf[U]	-	-	-		0.5.0-1 AUTORM		-	0.5.0-1 -	Git ✔	⎇∉✔✔✔✔✔∉∉✔✔ ✔✔✔✔✔✔✔✔✔✔	✔	✔	✔	-- ✔	1	0.5.0
	pcre-ocaml[U]	2	1	7.4.6-1	7.5.0-1	- Excuse	7.5.0-3	-	7.5.0-3 -	Git ✔	⎇✔✔✔✔✔✔✔✔✔✔ ∉✔✔✔✔✔✔✔✔✔	✔	✔	✔	-- -	561	ERROR
	pcre2-ocaml[U]	-	-	-		7.5.2-1		-	7.5.2-1 -	Git ✔	⎇✔✔✔✔✔✔✔✔✔✔ ∉✔✔✔✔✔✔✔✔✔	✔	✔	✔	-- ✔	3	7.5.2
	perl4caml[U]	3	-	0.9.5-5.1		0.9.5-8		-	0.9.5-8 -	Git ✔	21×✓	✔	✔	X	-- ✔	5	ERROR
	postgresql-ocaml[U]	2	-	4.6.3-1	5.0.0-1	5.0.0-4		-	5.0.0-4 -	Git ✔	⎇✔✔✔✔✔✔✔✔✔✔ ∉✔✔✔✔✔✔✔✔✔	✔	✔	✔	-- ✔	99	ERROR
	ppx-bin-prot[U]	-	-	0.14.0-1	0.15.0-1	0.17.0-1		-	0.17.0-1 -	Git ✔	⎇✔✔✔✔✔✔✔✔✔✔ ∉✔✔✔✔✔✔✔✔✔	✔	✔	✔	-- ✔	2	0.17.0
	ppx-compare[U]	-	-	0.14.0-1	0.15.0-1	0.17.0-1		-	0.17.0-1 -	Git ✔	⎇✔✔✔✔✔✔✔✔✔✔ ∉✔✔✔✔✔✔✔✔✔	✔	✔	✔	-- ✔	3	0.17.0
	ppx-custom-printf[U]	-	-	0.14.0-1	0.15.0-1	0.17.0-1		-	0.17.0-1 -	Git ✔	⎇✔✔✔✔✔✔✔✔✔✔ ∉✔✔✔✔✔✔✔✔✔	✔	✔	✔	-- ✔	2	0.17.0
	ppx-deriving[U]	-	-	4.5-1	5.2.1-1	6.0.2-2		-	6.0.2-2 -	Git ✔	20×✓	✔	✔	✔	✔✔ ✔	22	6.0.3
	ppx-fields-conv[U]	-	-	0.14.1-1	0.15.0-1	0.17.0-1		-	0.17.0-1 -	Git ✔	⎇✔✔✔✔✔✔✔✔✔✔ ∉✔✔✔✔✔✔✔✔✔	✔	✔	✔	-- ✔	-	0.17.0
	ppx-here[U]	-	-	0.14.0-1	0.15.0-1	0.17.0-1		-	0.17.0-1 -	Git ✔	⎇✔✔✔✔✔✔✔✔✔✔ ∉✔✔✔✔✔✔✔✔✔	✔	✔	✔	-- ✔	2	0.17.0
	ppx-let[U]	-	-	-		0.17.0-1		-	-	Git ✔	⎇⌂✔✔✔✔✔✔✔✔✔ ∉✔✔✔✔✔✔✔✔✔	✔	✔	✔	-- ✔	1	0.17.0
	ppx-optcomp[U]	-	-	1:0.14.0-1	1:0.15.0-1	1:0.17.0-1		-	1:0.17.0-1 -	Git ✔	⎇✔✔✔✔✔✔✔✔✔✔ ∉✔✔✔✔✔✔✔✔✔	✔	✔	✔	-- ✔	1	0.17.0
	ppx-sexp-conv[U]	-	-	1:0.14.1-1	1:0.15.1+really0.15.1-2	1:0.17.0-1		-	1:0.17.0-1 -	Git ✔	⎇✔✔✔✔✔✔✔✔✔✔ ∉✔✔✔✔✔✔✔✔✔	✔	✔	✔	-- ✔	9	0.17.0
	ppx-stable-witness[U]	-	-	-		0.17.0-1		-	0.17.0-1 -	Git ✔	⎇✔✔✔✔✔✔✔✔✔✔ ∉✔✔✔✔✔✔✔✔✔	✔	✔	✔	-- ✔	1	0.17.0
	ppx-string[U]	-	-	-		0.17.0-1		-	0.17.0-1 -	Git ✔	⎇✔✔✔✔✔✔✔✔✔✔ ∉✔✔✔✔✔✔✔✔✔	✔	✔	✔	-- ✔	-	0.17.0
	ppx-tools[U]	1	1	6.3-1	6.6-1	- Excuse	6.6-4	-	-	Git ✔	⎇✘✘✘✘✘✘✘✘✘✘ ✘✘✘✘✘✘✘✘✘✘	✔	U	X	-- -	4	ERROR
	ppx-variants-conv[U]	-	-	0.14.1-1	0.15.0-1	0.17.0-1		-	0.17.0-1 -	Git ✔	⎇✔✔✔✔✔✔✔✔✔✔ ∉✔✔✔✔✔✔✔✔✔	✔	✔	✔	-- ✔	-	0.17.0
	ppxfind[U]	-	-	1.4-1	-				-	-	Buildd Logs	✔	✔	✔	-- -	1	-
	ppxlib[U]	-	-	0.15.0-1	0.27.0-2	0.33.0-1		-	0.33.0-1 -	Git ✔	20×✓	✔	✔	✔	-- ✔	145	0.33.0
	pyml[U]	1	-	20200518-2	20220905-1	20231101-1		-	20231101-1 -	Git ✔	20×✓	✔	✔	✔	✔✔ ✔	3	20231101
	react[U]	-	-	1.2.1-1	1.2.2-1 AUTORM			-	1.2.2-1 -	Git ✔	⎇✔✔✔✔✔✔∉✔✔✔ ✔✔✔✔✔✔✔✔✔✔	✔	✔	✔	-- ✔	163	1.2.2
	reactivedata[U]	-	-	0.2.2-1	0.3-1	0.3-4 AUTORM		-	0.3-4 -	Git ✔	⎇✔✔✔✔✔✔∉✔✔✔ ✔✔✔✔✔✔✔✔✔✔	✔	✔	✔	-- ✔	38	0.3
	ssreflect[U]	1	-	1.12.0-1	1.15.0-1	2.2.0-2 AUTORM		-	2.2.0-2 -	Git ✔	⎇∉✔✔∉∉∉∉∉∉∉ ∉∉∉∉✔✔✔∉∉∉	✔	S T U	X	✔✔ FTBR	7	2.2.0
	tuareg-mode[U]	3	-	1:2.2.0-1		1:3.0.1-3		-	1:3.0.1-3 -	Git ✔	1×✓	✔	✔	✔	✔✔ ✔	195	3.0.1
	tyxml[U]	1	-	4.4.0-1	4.5.0-1	4.6.0-1 AUTORM		-	4.6.0-1 -	Git ✔	✔∉✔✔✔✔✔∉∉✔✔ ✔✔✔✔✔✔✔✔✔✔	✔	✔	✔	-- ✔	69	4.6.0
	unison-2.51+4.11.1[U]	-	-	2.51.3-1	-				-	-	Buildd Logs	✔	✔	✔	-- -	700	-
	unison-2.51+4.13.1[U]	-	-	-	2.51.5-1	-			-	-	Buildd Logs	✔	✔	X	-- -	55	-
	unison-2.52[U]	-	-	-	2.52.1-1	-			-	-	Buildd Logs	✔	S	X	-- -	2499	-
	unison-2.53[U]	2	-	-		2.53.5-1 AUTORM		-	2.53.5-1 -	Git !1 ✔	⎇✔✔✔✔✔✔∉✔✔✔ ∉✔✔✔✔✔✔∉✔✔	✔	✔	X	-- ✔	409	2.53.5
	uutf[U]	-	-	1.0.2-1	1.0.3-1 AUTORM			-	1.0.3-1 -	Git ✔	✔✔✔✔✔✔✔∉✔✔✔ ✔✔✔✔✔✔✔✔✔✔	✔	✔	✔	-- ✔	73	1.0.3

non-free (1)

Source Package		Bugs		Version					Ubuntu	VCS	Buildd	Lintian	Deb check	Piu parts	CI	Popcon	Watch
		All	RC	oldstable	stable	testing	unstable	exp				E+W			Rep
	coq-doc[U]	-	-	-	8.16.1-1	8.19.1-2		-	8.19.1-2 1 bug	Git failed ✔	1×✓	✔	✔	-	-- (-)	28	8.20.0

Owned WNPP bugs (1)

Source Package		Bugs		Version					Ubuntu	VCS	Buildd	Lintian	Deb check	Piu parts	CI	Popcon	Watch
		All	RC	oldstable	stable	testing	unstable	exp				E+W			Rep
	ocaml-yaml[ITP]	-	-	-					-	-	Buildd Logs	✔	✔	-	-- -	-	-

Non-maintainer uploads (2)

Source Package		Bugs		Version					Ubuntu	VCS	Buildd	Lintian	Deb check	Piu parts	CI	Popcon	Watch
		All	RC	oldstable	stable	testing	unstable	exp				E+W			Rep
	aflplusplus*	1	-	2.68c-1	4.04c-4	4.21c-2.1		-	4.09c-1u3 2 bugs (1 patch)	Git failed ✔	✔∉✔✔✔✔∉∉∉✔✔ ∉✔∉∿✔✔✔∉∿∿	✔	✔	X	✔✔ ✔	100	4.21c
	misery	-	-	0.2-1.1		0.2-1.2		-	0.2-1.2 1 bug	-	20×✓	✔	✔	✔	-- ✔	10	-

QA uploads (1)

Source Package		Bugs		Version					Ubuntu	VCS	Buildd	Lintian	Deb check	Piu parts	CI	Popcon	Watch
		All	RC	oldstable	stable	testing	unstable	exp				E+W			Rep
	polygen[O]	4	-	1.0.6.ds2-20	1.0.6.ds2-23	1.0.6.ds2-25		-	1.0.6.ds2-25 1 bug	Git ✔	21×✓	✔	✔	X	-- ✔	169	ERROR

Sponsored/other uploads (195)

Source Package		Bugs		Version					Ubuntu	VCS	Buildd	Lintian	Deb check	Piu parts	CI	Popcon	Watch
		All	RC	oldstable	stable	testing	unstable	exp				E+W			Rep
	approx*[RFA]	21	-	5.10-2	5.12-1 5.13-1~bpo12+1	5.13-1		-	5.13-1 2 bugs	Git 5.13-1+2	⎇✔✔✔✔✔✔✘✔✔✔ ✔✔✔✔✔✔✔✔✔✔	✔	✔	✔	-- ✔	98	-
	bibtex2html*	2	-	1.99-3		1.99-4		-	1.99-4 1 bug	Git ✔	20×✓	✔	✔	X	✔✔ ✔	634	1.99
	biniou[RFA]	-	-	1.2.1-1	1.2.2-1	1.2.2-4		-	1.2.2-4 -	Git UNREL	20×✓	✔	✔	✔	-- ✔	20	1.2.2
	bisect-ppx*	-	-	-		2.8.3+dfsg-2		-	2.8.3+dfsg-2 -	Git ✔	⎇∉✔✔✔✔∉∉∉✔✔ ∉✔∉✔✔✔✔∉∉∉	✔	✔	✔	-- ✔	1	2.8.3
	cairo-ocaml[RFA]	1	-	1:1.2.0-8		1:1.2.0-10		-	1:1.2.0-10 -	Git ✔	20×✓	✔	✔	X	-- ✔	63	1.2.0
	caml2html[RFA]	-	-	1.4.4-2		1.4.4-3		-	1.4.4-3 -	Git ✔	20×✓	✔	✔	✔	-- ✔	3	1.4.4
	camlbz2*	1	-	0.6.0-10	0.7.0-1	0.8.0-2 AUTORM		-	0.8.0-2 -	Git ✔ ✔	⎇✔✔✔✔✔✔∉✘✔✔ ∿✔✔✔✔✔✔✔✔✔	✔	✔	✔	✔✔ ✔	32	0.8.0
	camlidl*	1	-	1.09-1	1.11-1	1.12-1		-	1.12-1 -	Git ✔	20×✓	✔	✔	✔	-- ✔	436	1.12
	camlidl-doc	-	-	1.04-5				-	1.04-5 -	Git 1.04-6	1×✓	✔	✔	✔ MA	-- ✔	7	-
	camlimages*	-	-	1:5.0.4-1	1:5.0.4-2	1:5.0.5-2		-	1:5.0.5-2 -	Git failed ✔	✔✔✔✔✔✔✔✔✔✔✔ ∉✔✔✔✔✔✔✔✔✔	✔	✔	✔	-- ✔	72	ERROR
	camljava	2	-	-	0.3-4	0.4-2		-	0.4-2 1 bug	Git ✔	⎇✔✔✔✔✔∉∉∉✔✔ ✔✔✔✔✔✔✔✔✔✔	✔	✔	X	-- ✔	1	0.5
	camlmix	2	-	1.3.1-4		1.3.1-6		-	1.3.1-6 -	Git ✔	20×✓	✔	✔	✔	-- ✔	3	ERROR
	camltemplate	-	-	1.0.2-3		1.0.2-5		-	1.0.2-5 -	Git ✔	20×✓	✔	✔	✔	-- ✔	2	ERROR
	camomile*	1	-	1.0.2-3	1.0.2+2-1	2.0.0-2 AUTORM		-	2.0.0-2 -	Git failed ✔	✔✔✔✔✔✔✔∉✔✔✔ ∉✔✔✔✔✔✔✔✔✔	✔	✔	✔	-- ✔	198	2.0.0
	coccinelle*	1	-	1.1.0.deb-1.1	1.1.1.deb-2	1.2.deb-1		-	1.2.deb-1 -	Git failed ✔	✔✔✔✔✔✔✔∉✔✔✔ ∉✔✔∿✔✔✔✔✔✔	✔	✔	X	✔✔ ✔	132	1.2.deb
	coinst*	-	-	1.9.3-3		1.9.3-6		-	1.9.3-6 -	Git ✔	⎇✔✔✔✔✔✔∉∉✔✔ ✔✔✔✔✔✔✔✔✔✔	✔	S T U	✔	-- ✔	3	1.9.3
	coq-deriving*	-	-	-	0.1.0-2	0.2.0-3 AUTORM		-	0.2.0-3 -	Git ✔	⎇∉✔✔∉∉∉∉∉∉∉ ∉∉∉∉✔✔✔∉∉∉	✔	S T U	X	✔✔ ✔	1	0.2.0
	coq-dpdgraph*	-	-	-	1.0+8.16-2	1.0+8.19-2 AUTORM		-	1.0+8.19-2 -	Git ✔	⎇∉✔✔∉∉∉∉✘∉∉ ∉∉∉∉✔✔✔∉∉∉	✔	S T U	✔	✔✔ ✔	5	1.0+8.19
	coq-equations*	-	-	-	1.3-8.16-2	1.3-8.19-2 AUTORM		-	1.3-8.19-2 -	Git ✔	⎇∉✔✔∉∉∉∉✘∉∉ ∉∉∉∉✔✔✔∉∉∉	✔	S T U	✔	✔✔ ✔	2	1.3.1-8.20
	coq-ext-lib*	-	-	-	0.11.7-2	0.12.1-2 AUTORM		-	0.12.1-2 -	Git ✔	⎇∉✔✔∉∉∉∉∉∉∉ ∉∉∉∉✔✔✔∉∉∉	✔	S T U	✔	✔✔ ✔	4	0.12.2
	coq-extructures*	-	-	-	0.3.1-3	0.4.0-4 AUTORM		-	0.4.0-4 -	Git ✔	⎇∉✔✔∉∉∉∉∉∉∉ ∉∉∉∉✔✔✔∉∉∉	✔	S T U	X	✔✔ ✔	1	0.4.0
	coq-gappa*	-	-	-	1.5.2-5	1.5.5-2 AUTORM		-	1.5.5-2 -	Git ✔	⎇∉✔✔∉∉∉∉∉∉∉ ∉∉∉∉✔✔✔∉∉∉	✔	S T U	✔	✔✔ ✔	3	1.5.5
	coq-hammer*	-	-	-	1.3.2+8.16-2	1.3.2+8.19-2 AUTORM		-	1.3.2+8.19-2 -	Git ✔	⎇∉✔✔∉∉∉∉✘∉∉ ∉∉∉∉✔✔✔∉∉∉	✔	S T U	✔	✔✔ ✔	3	1.3.2+8.19
	coq-hierarchy-builder*	-	-	-	1.4.0-2	1.7.0-2 AUTORM		-	1.7.0-2 -	Git ✔	⎇∉✔✔∉∉∉∉∉∉∉ ∉∉∉∉✔✔✔∉∉∉	✔	S T U	X	-- ✔	3	1.7.0
	coq-hott*	-	-	-	8.16-2	8.19-2 AUTORM		-	8.19-2 -	Git ✔	⎇∉✔✔∉∉∉∉∉∉∉ ∉∉∉∉✔✔✔∉∉∉	✔	S T U	✔	✔✔ ✔	2	8.20
	coq-interval*	-	-	-	4.6.1-2	4.11.0-2 AUTORM		-	4.11.0-2 -	Git ✔	⎇∉✔✔∉∉∉∉∉∉∉ ∉∉∉∉✔✔✔∉∉∉	✔	S T U	X	✔✔ ✔	2	4.11.0
	coq-iris*	-	-	-	4.0.0-3	4.2.0-3 AUTORM		-	4.2.0-3 -	Git ✔	⎇∉✔✔∉∉∉∉∉∉∉ ∉∉∉∉✔✔✔∉∉∉	✔	S T U	✔	✔✔ depwait	1	4.2.0
	coq-libhyps*	-	-	-	2.0.6-2	2.0.8-4 AUTORM		-	2.0.8-4 -	Git ✔	⎇∉✔✔∉∉∉∉∉∉∉ ∉∉∉∉✔✔✔∉∉∉	✔	S T U	✔	✔✔ ✔	2	2.0.8
	coq-menhirlib*	-	-	-	20220210+ds-4	20231231+ds-4 AUTORM		-	20231231+ds-4 -	Git failed ✔	⎇∉✔✔∉∉∉∉∉∉∉ ∉∉∉∉✔✔✔∉∉∉	✔	S T U	✔	✔✔ ✔	4	20240715
	coq-mtac2*	-	-	-	1.4+8.16-2	1.4+8.19-2 AUTORM		-	1.4+8.19-2 -	Git ✔	⎇∉✔✔∉∉∉∉✘∉∉ ∉∉∉∉✔✔✔∉∉∉	✔	S T U	✔	✔✔ ✔	1	1.4+8.19
	coq-quickchick*	-	-	-	1.6.4-3	2.0.3-3 AUTORM		-	2.0.3-3 -	Git ✔	⎇∉✔✔∉∉∉∉∉∉∉ ∉∉∉∉✔✔✔∉∉∉	✔	S T U	X	✔✔ ✔	4	2.0.4
	coq-record-update*	-	-	-	0.3.1-2	0.3.4-3 AUTORM		-	0.3.4-3 -	Git ✔	⎇∉✔✔∉∉∉∉∉∉∉ ∉∉∉∉✔✔✔∉∉∉	✔	S T U	✔	✔✔ ✔	1	0.3.4
	coq-reduction-effects*	-	-	-	0.1.4-3	0.1.5-5 AUTORM		-	0.1.5-5 -	Git ✔	⎇∉✔✔∉∉∉∉∉∉∉ ∉∉∉∉✔✔✔∉∉∉	✔	S T U	✔	✔✔ ✔	2	0.1.5
	coq-reglang*	-	-	-	1.1.3-2	1.2.1-4 AUTORM		-	1.2.1-4 -	Git ✔	⎇∉✔✔∉∉∉∉∉∉∉ ∉∉∉∉✔✔✔∉∉∉	✔	S T U	X	✔✔ ✔	2	1.2.1
	coq-relation-algebra*	-	-	-	1.7.8-2	1.7.10-4 AUTORM		-	1.7.10-4 -	Git ✔	⎇∉✔✔∉∉∉∉∉∉∉ ∉∉∉∉✔✔✔∉∉∉	✔	S T U	X	✔✔ ✔	2	1.7.11
	coq-serapi*[ITP]	-	-	-		8.19.0+0.19.3-4 AUTORM		-	8.19.0+0.19.3-4 -	Git ✔	⎇∉✔✔∉∉∉∉∉∉∉ ∉∉∉∉✔✔∿∉∉∉	✔	T U	X	-- ✔	2	8.20.0+0.20.0
	coq-simple-io*	-	-	-	1.8.0-2	1.9.0-2 AUTORM		-	1.9.0-2 -	Git ✔	⎇∉✔✔∉∉∉∉∉∉∉ ∉∉∉∉✔✔✔∉∉∉	✔	S T U	✔	✔✔ ✔	4	1.10.0
	coq-stdpp*	-	-	-	1.8.0-3	1.10.0-2 AUTORM		-	1.10.0-2 -	Git ✔	⎇∉✔✔∉∉∉∉∉∉∉ ∉∉∉∉✔✔✔∉∉∉	✔	S T U	✔	✔✔ ✔	2	1.10.0
	coq-unicoq*	-	-	-	1.6-8.16-2	1.6-8.19-2 AUTORM		-	1.6-8.19-2 -	Git ✔	⎇∉✔✔∉∉∉∉✘∉∉ ∉∉∉∉✔✔✔∉∉∉	✔	S T U	✔	✔✔ ✔	2	1.6-8.19
	coq-unimath*	-	-	-	20220816-2	20240331-2 AUTORM		-	20240331-2 -	Git ✔	⎇∉✔✔∉∉∉∉∉∉∉ ∉∉∉∉✔✔✔∉∉∉	✔	S T U	✔	✔✔ ✔	1	20240923
	coqeal*	-	-	-	1.1.1-3	2.0.2-2 AUTORM		-	2.0.2-2 -	Git ✔	⎇∉✔✔∉∉∉∉∉∉∉ ∉∉∉∉✔✔✔∉∉∉	✔	S T U	X	✔✔ ✔	2	2.0.2
	coqprime*	-	-	-	8.15-2	8.19-2 AUTORM		-	8.19-2 -	Git ✔	⎇∉✔✔∉∉∉∉∉∉∉ ∉∉∉∉✔✔✔∉∉∉	✔	S T U	✔	✔✔ ✔	4	8.19
	coquelicot*	-	-	-	3.2.0-8	3.4.1-3 AUTORM		-	3.4.1-3 -	Git ✔	⎇∉✔✔∉∉∉∉∉∉∉ ∉∉∉∉✔✔✔∉∉∉	✔	S T U	X	✔✔ ✔	2	ERROR
	cothreads*	-	-	0.10-5	0.10-6	0.10-7		-	0.10-7 -	Git ✔	20×✓	✔	✔	✔	-- ✔	1	0.10
	cppo[RFA]	-	-	1.6.6-2	1.6.9-1	1.7.0-1		-	1.6.9-4 -	Git ✔	20×✓	✔	✔	✔	-- ✔	11	1.7.0
	crowbar*	-	-	-	0.2.1-2	0.2.1-6 AUTORM		-	0.2.1-6 -	Git ✔	⎇∉✔✔✔✔∉∉∉✔✔ ∉✔∉∉✔✔✔∉∉∉	✔	S	✔	-- ✔	1	0.2.1
	cudf*	1	-	0.9-1	0.9-2	0.10-5		-	0.10-5 -	Git ✔	⎇✔✔✔✔✔✔✘✘✔✔ ✔✔✔✔✔✔✔✔✔✔	✔	S	X	✔✔ ✔	10	ERROR
	dose3*	29	-	6.0.1-2	7.0.0-1	7.0.0-5 AUTORM		-	7.0.0-5 -	Git failed ✔	✔∉✔✔✔✔✔∉∉✔✔ ∉✔∉✔✔✔✔∉✔∉	✔	✔	X	✔✔ ✔	167	7.0.0
	easy-format*	1	-	1.3.2-1	1.3.4-1	1.3.4-3		-	1.3.4-3 -	Git ✔	20×✓	✔	✔	✔	-- ✔	23	ERROR
	elpi*	1	-	-	1.16.8-1	1.18.2-5 AUTORM		-	1.18.2-5 -	Git ✔	⎇∉✔✔∉∉∉∉∉∉∉ ∉∉∉∉✔✔✔∉∉∉	✔	T U	✔	✔✔ ✔	3	1.20.0
	facile[RFA]	-	-	1.1.3-1	1.1.4-1	1.1.4-4		-	1.1.4-4 -	Git ✔	20×✓	✔	✔	✔	-- ✔	1	ERROR
	flocq*	-	-	-	4.1.0-3	4.1.4-2 AUTORM		-	4.1.4-2 -	Git ✔	⎇∉✔✔∉∉∉∉∉∉∉ ∉∉∉∉✔✔✔∉∉∉	✔	S T U	✔	✔✔ ✔	4	4.2.0
	frama-c*[RFH]	3	-	20201209+titanium-4.1	20220511-manganese-3	20220511-manganese-5 AUTORM		-	20220511-manganese-5 -	Git ✔	⎇✔✔✔✔✔✔∉✘✔✔ ∉✔✔✔✔✔✔∉✔✔	✔	S T U	X	✔✔ ✔	24	ERROR
	gd4o*	-	-	1.0~alpha5-9		1.0~alpha5.git20220521.bb52fb2-2		-	1.0~alpha5.git20220521.bb52fb2-2 -	Git ✔	⎇✔✔✔✔✔✔✔✔✔✔ ∉✔✔✔✔✔✔✔✔✔	✔	✔	X	-- ✔	8	1.0~alpha5.git20240227.248e0e8
	headache*	2	-	1.04-1	1.06-1	1.08-2 AUTORM		-	1.08-2 3 bugs (1 patch)	Git ✔	⎇✔✔✔✔✔✔∉✔✔✔ ✔✔✔✔✔✔✔✔✔✔	✔	✔	✔	✔✔ ✔	12	1.08
	hol-light*	2	1	20190729-4	20230128-1	- Excuse	20231021-2	-	-	Git ✔	⎇✘✘✘✘✘✘✘✘✘✘ ✘✘✘✘✘✘✘✘✘✘	✔	S U	X	-- -	78	ERROR
	jsonm*	-	-	1.0.1-2.1		1.0.2-2 AUTORM		-	1.0.2-2 1 bug	Git ✔	✔✔✔✔✔✔✔∉✔✔✔ ✔✔✔✔✔✔✔✔✔✔	✔	✔	✔	-- ✔	4	1.0.2
	jst-config*	-	-	-		0.17.0-1		-	0.17.0-1 -	Git ✔	⎇✔✔✔✔✔✔✔✔✔✔ ∉✔✔✔✔✔✔✔✔✔	✔	✔	✔	-- ✔	-	0.17.0
	lablgtk3*	1	-	3.1.1+official-1	3.1.3-1	3.1.5-1 AUTORM		-	3.1.5-1 3 bugs	Git ✔ 3.1.5-1+1	✔✔✔✔✔✔✔∉∉✔✔ ∉✔✔✔✔✔✔∉✔✔	✔	✔	X	✔✔ ✔	168	3.1.5
	laby*	1	-	0.7.0-1		0.7.0-2 AUTORM		-	0.7.0-2 2 bugs	Git ✔	⎇✔✔✔✔✔✔∉∉✔✔ ∉✔✔✔✔✔✔∉✔✔	✔	S T U	X	-- ✔	359	0.7.0
	lambda-term*	-	-	3.1.0-1	3.2.0-1	3.3.2-1 AUTORM		-	3.3.2-1 -	Git ✔	⎇∉✔✔✔✔∉∉∉✔✔ ∉✔✔✔✔✔✔✔✔✔	✔	S T U	✔	-- ✔	67	3.3.2
	mathcomp-algebra-tactics*	-	-	-	1.0.0-8	1.2.3-4 AUTORM		-	1.2.3-4 -	Git ✔	⎇∉✔✔∉∉∉∉∉∉∉ ∉∉∉∉✔✔✔∉∉∉	✔	S T U	X	✔✔ ✔	2	1.2.3
	mathcomp-analysis*	-	-	-	0.6.0-2	1.2.0-2 AUTORM		-	1.2.0-2 -	Git ✔	⎇∉✔✔∉∉∉∉∉∉∉ ∉∉∉∉✔✔✔∉∉∉	✔	S T U	X	✔✔ ✔	2	1.4.0
	mathcomp-bigenough*	-	-	-	1.0.1-8	1.0.1-14 AUTORM		-	1.0.1-14 -	Git ✔	⎇∉✔✔∉∉∉∉∉∉∉ ∉∉∉∉✔✔✔∉∉∉	✔	S T U	X	✔✔ ✔	2	1.0.1
	mathcomp-finmap*	-	-	-	1.5.2-1	2.1.0-2 AUTORM		-	2.1.0-2 -	Git ✔	⎇∉✔✔∉∉∉∉∉∉∉ ∉∉∉∉✔✔✔∉∉∉	✔	S T U	X	✔✔ ✔	3	2.1.0
	mathcomp-multinomials*	-	-	-	1.5.5-8	2.2.0-3 AUTORM		-	2.2.0-3 -	Git ✔	⎇∉✔✔∉∉∉∉∉∉∉ ∉∉∉∉✔✔✔∉∉∉	✔	S T U	X	✔✔ ✔	2	2.2.0
	mathcomp-real-closed*	-	-	-	1.1.3-1	2.0.0-3 AUTORM		-	2.0.0-3 -	Git ✔	⎇∉✔✔∉∉∉∉∉∉∉ ∉∉∉∉✔✔✔∉∉∉	✔	S T U	X	✔✔ ✔	2	2.0.1
	mathcomp-zify*	-	-	-	1.2.0+1.12+8.13-6	1.5.0+2.0+8.16-3 AUTORM		-	1.5.0+2.0+8.16-3 -	Git ✔	⎇∉✔✔∉∉∉∉∉∉∉ ∉∉∉∉✔✔✔∉∉∉	✔	S T U	X	✔✔ ✔	2	1.5.0+2.0+8.16
	menhir*	-	-	20201216-1	20220210+ds-2	20240715+ds-1		-	20240715+ds-1 -	Git failed ✔	✔✔✔✔✔✔✔⚒✔✔✔ ✔✔✔✔✔✔✔✔✔✔	✔	✔	✔	✔✔ ✔	70	20240715
	mlgmp*	-	-	20021123-21		20021123-23		-	20021123-23 1 bug	Git ✔	20×✓	✔	✔	✔	-- ✔	9	20120224
	mlpcap*	-	-	0.9-19	0.9-20	0.9-22		-	0.9-22 2 bugs	Git ✔	⎇✔✔✔✔✔✔✔✔✔∉ ✔✔✔✔✔✔✔∉✔✔	✔	✔	X	-- ✔	3	-
	morbig*	-	-	0.10.4-4	0.10.4-6	0.11.0-3 AUTORM		-	0.11.0-3 -	Git ✔	⎇✔✔✔✔✔✔∉∉✔✔ ✔✔✔✔✔✔✔✔✔✔	✔	✔	✔	✔✔ ✔	12	0.11.0
	morsmall*	-	-	0.3.0-3	0.3.0-4	0.3.0-8 AUTORM		-	0.3.0-8 -	Git ✔	⎇✔✔✔✔✔✔∉∉✔✔ ∿✔✔✔✔✔✔✔✔✔	✔	✔	✔	✔✔ ✔	-	0.3.0
	mysql-ocaml*	1	-	1.2.4-1		1.2.4-2		-	1.2.4-2u4 1 bug	Git ✔	20×✓	✔	✔	✔	-- ✔	73	ERROR
	oasis[RFA]	2	-	0.4.11-1	0.4.11-2	0.4.11-5		-	0.4.11-5 -	Git ✔	21×✓	✔	✔	✔	-- ✔	11	0.4.11
	ocaml-afl-persistent*	-	-	-	1.3-1	1.4-5		-	1.4-5 -	Git ✔	⎇∉✔✔✔✔∉∉∉✔✔ ∉✔∉∉✔✔✔∉∉∉	✔	✔	✔	✔✔ ✔	1	1.4
	ocaml-alsa	-	-	0.3.0-1		0.3.0-4		-	0.3.0-4 -	Git ✔	⎇✔✔✔✔✔✔⎇⎇✔✔ ∉✔✔✔✔✔✔✔✔✔	✔	✔	✔	-- ✔	42	ERROR
	ocaml-ansi-terminal*	-	-	-	0.8.5-1	0.8.5-5		-	0.8.5-5 -	Git ✔	20×✓	✔	✔