debian-ocaml-maint Aug 2024 by author

[previous page]

Page 2 of 2

[next page]

[Thread Index] [Date Index] [Subject Index] [Other Debian Lists] [Debian Home]

Debian FTP Masters

ocaml-pbkdf_2.0.0-1_source.changes ACCEPTED into unstable Aug 21
approx_5.13-1~bpo12+1_amd64.changes is NEW Aug 12
ocaml-tools_20120103-11_source.changes ACCEPTED into unstable Aug 09
coq-libhyps_2.0.8-4_source.changes ACCEPTED into unstable Aug 03
Bug#1078252: Removed package(s) from unstable Aug 24
ott_0.33+ds-4_source.changes ACCEPTED into unstable Aug 03
camlp4_5.2+1-1_source.changes ACCEPTED into unstable Aug 08
opam_2.2.0-3_source.changes ACCEPTED into unstable Aug 21
Bug#1078266: Removed package(s) from unstable Aug 24
ocaml-version_3.6.8-1_source.changes ACCEPTED into unstable Aug 29
Processing of coq-simple-io_1.9.0-2_source.changes Aug 04
Processing of coinst_1.9.3-6_source.changes Aug 06
Processing of ocaml-x509_1.0.1-1_source.changes Aug 21
Processing of mlpost_0.8.2-4+deb11u1_source.changes Aug 22
coq-stdpp_1.10.0-2_source.changes ACCEPTED into unstable Aug 04
crowbar_0.2.1-6_source.changes ACCEPTED into unstable Aug 03
ocaml-magic_0.7.3-7_source.changes ACCEPTED into unstable Aug 09
advi_2.0.0-1_source.changes ACCEPTED into unstable Aug 10
psmt2-frontend_0.4.0-4_source.changes ACCEPTED into unstable Aug 03
Processing of crowbar_0.2.1-6_source.changes Aug 03
coq-iris_4.2.0-3_source.changes ACCEPTED into unstable Aug 04
Processing of opam_2.2.0-4_source.changes Aug 22
mlpcap_0.9-22_source.changes ACCEPTED into unstable Aug 07
Processing of ledit_2.04-8_source.changes Aug 07
opam-0install-cudf_0.5.0-1_amd64.changes is NEW Aug 16
Accepted approx 5.13-1~bpo12+1 (source amd64) into stable-backports Aug 26
ocaml-obuild_0.1.11-2_source.changes ACCEPTED into unstable Aug 09
dh-ocaml_2.2_source.changes ACCEPTED into unstable Aug 03
Processing of ocaml_5.2.0-3_source.changes Aug 29
ocaml-alcotest_1.8.0-1_source.changes ACCEPTED into unstable Aug 20
Processing of morbig_0.11.0-2_source.changes Aug 03
coq-equations_1.3-8.19-2_source.changes ACCEPTED into unstable Aug 04
morbig_0.11.0-3_source.changes ACCEPTED into unstable Aug 13
Processing of elpi_1.18.2-5_source.changes Aug 10
camlimages_5.0.5-1_source.changes ACCEPTED into unstable Aug 09
mathcomp-real-closed_2.0.0-3_source.changes ACCEPTED into unstable Aug 03
lem_2022-12-10+dfsg2-1_amd64.changes is NEW Aug 12
Processing of opam-0install-cudf_0.5.0-1_amd64.changes Aug 16
ocaml-reins_0.1a-12_source.changes ACCEPTED into unstable Aug 09
camlpdf_2.7-2_source.changes ACCEPTED into unstable Aug 12
Processing of typerep_0.17.0-1_source.changes Aug 28
ocaml-sexplib0_0.17.0-1_source.changes ACCEPTED into unstable Aug 28
Processing of planets_0.1.13-23_source.changes Aug 09
Processing of variantslib_0.17.0-1_source.changes Aug 28
Processing of cppo_1.6.9-4_source.changes Aug 03
Processing of ocaml-sqlite3_5.2.0-1_source.changes Aug 19
ocaml-ctypes_0.23.0-1_source.changes ACCEPTED into unstable Aug 29
ocaml-digestif_1.2.0-1_amd64.changes ACCEPTED into unstable Aug 14
ledit_2.04-8_source.changes ACCEPTED into unstable Aug 07
flocq_4.1.4-2_source.changes ACCEPTED into unstable Aug 04
ssreflect_2.2.0-2_source.changes ACCEPTED into unstable Aug 03
Processing of ocaml-sexplib0_0.17.0-1_source.changes Aug 28
variantslib_0.17.0-1_source.changes ACCEPTED into unstable Aug 28
perl4caml_0.9.5-8_source.changes ACCEPTED into unstable Aug 05
mathcomp-algebra-tactics_1.2.3-4_source.changes ACCEPTED into unstable Aug 03
ocaml-uucp_15.1.0-2_source.changes ACCEPTED into unstable Aug 03
Processing of cudf_0.10-5_source.changes Aug 09
Processing of ocaml-zarith_1.13-3_source.changes Aug 03
morbig_0.11.0-2_source.changes ACCEPTED into unstable Aug 03
mathcomp-analysis_1.2.0-2_source.changes ACCEPTED into unstable Aug 03
Processing of ocaml-inifiles_1.2-7_source.changes Aug 09
Processing of ocamlrss_2.2.2-3_source.changes Aug 10
sexplib310_0.17.0-1_source.changes ACCEPTED into unstable Aug 28
janest-ocaml-compiler-libs_0.17.0-1_source.changes ACCEPTED into unstable Aug 08
Processing of ocaml-inotify_2.6-1_source.changes Aug 20
Processing of fieldslib_0.17.0-1_source.changes Aug 28
ocaml-cry_1.0.3-3_source.changes ACCEPTED into unstable Aug 06
ocaml-eqaf_0.10-1_source.changes ACCEPTED into unstable Aug 20
Processing of mathcomp-multinomials_2.2.0-3_source.changes Aug 03
ocaml-inotify_2.6-1_source.changes ACCEPTED into unstable Aug 20
ocaml-rope_0.6.3-1_source.changes ACCEPTED into unstable Aug 07
Processing of ocaml_5.2.0-1_source.changes Aug 07
ocamlrss_2.2.2-3_source.changes ACCEPTED into unstable Aug 10
Processing of coq-serapi_8.19.0+0.19.3-4_source.changes Aug 04
Processing of ocamldsort_0.16.0-9_source.changes Aug 09
Processing of ocaml-digestif_1.2.0-1_amd64.changes Aug 14
ppx-inline-test_0.17.0-2_source.changes ACCEPTED into unstable Aug 03
Processing of ocaml-extunix_0.4.2-1_source.changes Aug 10
ocaml-tools_20120103-12_source.changes ACCEPTED into unstable Aug 09
Processing of coq-reduction-effects_0.1.5-5_source.changes Aug 04
ppx-expect_0.17.0-2_source.changes ACCEPTED into unstable Aug 03
ocaml-batteries_3.8.0-2_source.changes ACCEPTED into unstable Aug 03
findlib_1.9.6-3_source.changes ACCEPTED into unstable Aug 08
why3_1.7.2-1_source.changes ACCEPTED into unstable Aug 12
ocaml-dune_3.16.0-2_source.changes ACCEPTED into unstable Aug 03
mathcomp-bigenough_1.0.1-14_source.changes ACCEPTED into unstable Aug 03
bin-prot_0.17.0-1_source.changes ACCEPTED into unstable Aug 28
coq-reduction-effects_0.1.5-5_source.changes ACCEPTED into unstable Aug 04
Processing of ocamlgraph_2.1.0-3_source.changes Aug 03
ocaml_5.2.0-2_source.changes ACCEPTED into unstable Aug 09
Processing of camlp4_5.2+1-1_source.changes Aug 08
Processing of cairo-ocaml_1.2.0-10_source.changes Aug 06
ocaml-ohex_0.2.0-1_amd64.changes is NEW Aug 16
ocaml-odoc_2.4.2-3_source.changes ACCEPTED into unstable Aug 09
cryptgps_0.2.1-13_source.changes ACCEPTED into unstable Aug 06
coq-extructures_0.4.0-4_source.changes ACCEPTED into unstable Aug 04
coq-unimath_20240331-2_source.changes ACCEPTED into unstable Aug 04
opam-file-format_2.1.6-2_source.changes ACCEPTED into unstable Aug 03
Processing of ocaml-uunf_15.1.0-2_source.changes Aug 03
Processing of opam-file-format_2.1.6-2_source.changes Aug 03
Processing of advi_2.0.0-1_source.changes Aug 10
Processing of lem_2022-12-10+dfsg2-1_amd64.changes Aug 12
Processing of coq-mtac2_1.4+8.19-2_source.changes Aug 04
coq-deriving_0.2.0-3_source.changes ACCEPTED into unstable Aug 04
Processing of opam_2.2.1-1_source.changes Aug 25
Processing of ppx-inline-test_0.17.0-2_source.changes Aug 03
Processing of coq-interval_4.11.0-2_source.changes Aug 04
Processing of approx_5.13-1~bpo12+1_amd64.changes Aug 12
Processing of ocaml-stdio_0.17.0-1_source.changes Aug 28
Processing of coq-gappa_1.5.5-2_source.changes Aug 04
Processing of ocaml_5.2.0-2_source.changes Aug 09
ocaml_5.2.0-1_source.changes ACCEPTED into unstable Aug 07
Processing of bisect-ppx_2.8.3+dfsg-2_source.changes Aug 08
cudf_0.10-5_source.changes ACCEPTED into unstable Aug 09
ocaml-sqlite3_5.2.0-1_source.changes ACCEPTED into unstable Aug 19
ppxlib_0.33.0-1_source.changes ACCEPTED into unstable Aug 20
camlbz2_0.8.0-2_source.changes ACCEPTED into unstable Aug 03
Processing of morsmall_0.3.0-8_source.changes Aug 03
menhir_20240715+ds-1_source.changes ACCEPTED into unstable Aug 20
ocaml-gnuplot_0.8.3-6_source.changes ACCEPTED into unstable Aug 09
ocaml-x509_1.0.1-1_source.changes ACCEPTED into unstable Aug 21
Processing of coq-reglang_1.2.1-4_source.changes Aug 04
Processing of ocaml-cairo2_0.6.4+dfsg-4_source.changes Aug 03
coq-relation-algebra_1.7.10-4_source.changes ACCEPTED into unstable Aug 04
ocaml-atd_2.15.0-2_source.changes ACCEPTED into unstable Aug 12
ocaml-extunix_0.4.1-5_source.changes ACCEPTED into unstable Aug 08
Processing of ocamldap_2.5.1-1_source.changes Aug 01
mlpost_0.8.2-4+deb11u1_source.changes ACCEPTED into oldstable-proposed-updates->oldstable-new Aug 22
Processing of perl4caml_0.9.5-8_source.changes Aug 05
gd4o_1.0~alpha5.git20220521.bb52fb2-2_source.changes ACCEPTED into unstable Aug 07
Processing of aac-tactics_8.19.1-2_source.changes Aug 03
camlpdf_2.7.1-1_source.changes ACCEPTED into unstable Aug 19
paramcoq_1.1.3+coq8.19-2_source.changes ACCEPTED into unstable Aug 04
ppx-deriving-yojson_3.9.0-1_source.changes ACCEPTED into unstable Aug 20
fieldslib_0.17.0-1_source.changes ACCEPTED into unstable Aug 28
Processing of ocaml-obuild_0.1.11-2_source.changes Aug 09
Processing of coq-stdpp_1.10.0-2_source.changes Aug 04
opam_2.2.0-4_source.changes ACCEPTED into unstable Aug 22
Bug#1078266: Removed package(s) from unstable Aug 24
Processing of ocamlcreal_0.7-8_source.changes Aug 09
Processing of coq-hierarchy-builder_1.7.0-2_source.changes Aug 03
cppo_1.6.9-4_source.changes ACCEPTED into unstable Aug 03
Processing of ocaml-eqaf_0.10-1_source.changes Aug 20
Processing of ppxlib_0.33.0-1_source.changes Aug 20
Processing of ocaml-time-now_0.17.0-2_source.changes Aug 03
Processing of mathcomp-bigenough_1.0.1-14_source.changes Aug 03
ocaml-inifiles_1.2-7_source.changes ACCEPTED into unstable Aug 09
opam_2.2.1-1_source.changes ACCEPTED into unstable Aug 25
ocaml-mirage-crypto_1.1.0-1_source.changes ACCEPTED into unstable Aug 20
Processing of ocaml-gnuplot_0.8.3-6_source.changes Aug 09
Processing of paramcoq_1.1.3+coq8.19-2_source.changes Aug 04
Processing of opam_2.2.0-1_source.changes Aug 20
ocaml-mirage-crypto_1.1.0-2_source.changes ACCEPTED into unstable Aug 21
jst-config_0.17.0-1_source.changes ACCEPTED into unstable Aug 28
Accepted coq 8.19.1+dfsg-3 (source) into unstable Aug 03
Processing of ocaml-lo_0.2.0.git20240724.0b43bdf-1~exp1_source.changes Aug 04
Processing of coq-unicoq_1.6-8.19-2_source.changes Aug 04
ocaml-lo_0.2.0.git20240724.0b43bdf-1~exp1_source.changes ACCEPTED into experimental Aug 04
ocaml-ohex_0.2.0-1_amd64.changes ACCEPTED into unstable Aug 16
Processing of menhir_20240715+ds-1_source.changes Aug 20
Processing of lablgl_1.07-2_source.changes Aug 06
ocamldsort_0.16.0-9_source.changes ACCEPTED into unstable Aug 09
coq-simple-io_1.9.0-2_source.changes ACCEPTED into unstable Aug 04
mathcomp-finmap_2.1.0-2_source.changes ACCEPTED into unstable Aug 03
Processing of coqeal_2.0.2-2_source.changes Aug 04
Processing of camlpdf_2.7-2_source.changes Aug 12
Processing of coq_8.19.1+dfsg-3_source.changes Aug 03
Processing of sexplib310_0.17.0-1_source.changes Aug 28
cothreads_0.10-7_source.changes ACCEPTED into unstable Aug 09
Processing of mlpcap_0.9-22_source.changes Aug 07
Processing of ott_0.33+ds-4_source.changes Aug 03
morsmall_0.3.0-8_source.changes ACCEPTED into unstable Aug 03
ocamldap_2.5.1-1_source.changes ACCEPTED into unstable Aug 01
opam_2.2.0-1_source.changes ACCEPTED into unstable Aug 20
opam_2.2.0-2_source.changes ACCEPTED into unstable Aug 21
coq-serapi_8.19.0+0.19.3-4_source.changes ACCEPTED into unstable Aug 04
Processing of coq-relation-algebra_1.7.10-4_source.changes Aug 04
Processing of coq-libhyps_2.0.8-4_source.changes Aug 03
Processing of ocaml-mirage-crypto_1.1.0-2_source.changes Aug 21
Processing of coq-hott_8.19-2_source.changes Aug 03
Processing of coq-hammer_1.3.2+8.19-2_source.changes Aug 03
approx_5.13-1~bpo12+1_source.changes REJECTED Aug 12
ocamlbuild_0.15.0-2_source.changes ACCEPTED into unstable Aug 03
coq-gappa_1.5.5-2_source.changes ACCEPTED into unstable Aug 04
cairo-ocaml_1.2.0-10_source.changes ACCEPTED into unstable Aug 06
advi_2.0.0-3_source.changes ACCEPTED into unstable Aug 25
coq-unicoq_1.6-8.19-2_source.changes ACCEPTED into unstable Aug 04
Processing of coq-dpdgraph_1.0+8.19-2_source.changes Aug 03
ocaml-zarith_1.14-1_source.changes ACCEPTED into unstable Aug 19
ocaml-merlin_5.1-502+ds-1_source.changes ACCEPTED into unstable Aug 08
Processing of ocaml-cry_1.0.3-3_source.changes Aug 06
Processing of jst-config_0.17.0-1_source.changes Aug 28
Processing of ocaml-ca-certs_1.0.0-1_source.changes Aug 21
advi_2.0.0-4_source.changes ACCEPTED into unstable Aug 26
Processing of janest-base_0.17.1-1_source.changes Aug 28
Processing of ocaml-tools_20120103-11_source.changes Aug 09
mathcomp-multinomials_2.2.0-3_source.changes ACCEPTED into unstable Aug 03
Processing of ocaml-atd_2.15.0-2_source.changes Aug 12
Processing of ocaml-extunix_0.4.1-7_source.changes Aug 08
Processing of coqprime_8.19-2_source.changes Aug 04
Processing of ocaml-asn1-combinators_0.3.1-1_source.changes Aug 20
Processing of advi_2.0.0-4_source.changes Aug 26
Processing of pxp_1.2.9-4_source.changes Aug 10
Processing of coq-extructures_0.4.0-4_source.changes Aug 04
Processing of cothreads_0.10-7_source.changes Aug 09
coqeal_2.0.2-2_source.changes ACCEPTED into unstable Aug 04
xstr_0.2.1-25_source.changes ACCEPTED into unstable Aug 09
ocamlcreal_0.7-8_source.changes ACCEPTED into unstable Aug 09
Processing of ppx-deriving-yojson_3.9.0-1_source.changes Aug 20
Processing of nproc_0.5.1-5_source.changes Aug 10
Processing of ocaml-magic_0.7.3-7_source.changes Aug 09
Processing of ocaml-x509_1.0.2-1_source.changes Aug 29
coq-reglang_1.2.1-4_source.changes ACCEPTED into unstable Aug 04
ocaml-ca-certs_1.0.0-1_source.changes ACCEPTED into unstable Aug 21
Processing of ocaml-dune_3.16.0-2_source.changes Aug 03
ocaml-extunix_0.4.1-6_source.changes ACCEPTED into unstable Aug 08
Processing of ssreflect_2.2.0-2_source.changes Aug 03
ben_1.7_source.changes ACCEPTED into unstable Aug 09
menhir_20231231+ds-2_source.changes ACCEPTED into unstable Aug 03
Processing of ppx-stable-witness_0.17.0-1_source.changes Aug 28
planets_0.1.13-23_source.changes ACCEPTED into unstable Aug 09
coq-interval_4.11.0-2_source.changes ACCEPTED into unstable Aug 04
Processing of mathcomp-algebra-tactics_1.2.3-4_source.changes Aug 03
Processing of camlimages_5.0.5-1_source.changes Aug 09
Processing of advi_2.0.0-2_source.changes Aug 24
ocaml-ansi-terminal_0.8.5-5_source.changes ACCEPTED into unstable Aug 03
ocamlagrep_1.1-1_source.changes ACCEPTED into unstable Aug 09
Processing of flocq_4.1.4-2_source.changes Aug 04
ocaml-parsexp_0.17.0-1_source.changes ACCEPTED into unstable Aug 28
Processing of pagodacf_0.10-8_source.changes Aug 09
Processing of ocaml-pbkdf_2.0.0-1_source.changes Aug 21
Processing of coq-deriving_0.2.0-3_source.changes Aug 04
cmdliner_1.3.0-2_source.changes ACCEPTED into unstable Aug 03

Debian testing autoremoval watch

coq-interval is marked for autoremoval from testing Aug 15
belenios is marked for autoremoval from testing Aug 17
ocaml-duration is marked for autoremoval from testing Aug 17
nurpawiki is marked for autoremoval from testing Aug 27
coq-deriving is marked for autoremoval from testing Aug 15
flocq is marked for autoremoval from testing Aug 15
coq-unimath is marked for autoremoval from testing Aug 15
coq-extructures is marked for autoremoval from testing Aug 15
unison-2.53 is marked for autoremoval from testing Aug 27
coq-reglang is marked for autoremoval from testing Aug 15
coq-gappa is marked for autoremoval from testing Aug 15
ocsipersist is marked for autoremoval from testing Aug 27
camlp5 is marked for autoremoval from testing Aug 17
pa-ounit is marked for autoremoval from testing Aug 09
frama-c is marked for autoremoval from testing Aug 15
ocaml-expect is marked for autoremoval from testing Aug 17
ocaml-lo is marked for autoremoval from testing Aug 15
coinst is marked for autoremoval from testing Aug 17
cothreads is marked for autoremoval from testing Aug 09
ocaml-merlin is marked for autoremoval from testing Aug 09
ocaml-extunix is marked for autoremoval from testing Aug 17
dose3 is marked for autoremoval from testing Aug 17
ssreflect is marked for autoremoval from testing Aug 15
ocaml-topkg is marked for autoremoval from testing Aug 17
ocaml-qtest is marked for autoremoval from testing Aug 17
react is marked for autoremoval from testing Aug 17
ocaml-gettext is marked for autoremoval from testing Aug 15
ocurl is marked for autoremoval from testing Aug 17
coq-elpi is marked for autoremoval from testing Aug 15
ocamlviz is marked for autoremoval from testing Aug 17
ocamlrss is marked for autoremoval from testing Aug 09
ocaml-eqaf is marked for autoremoval from testing Aug 27
lwt is marked for autoremoval from testing Aug 17
coqprime is marked for autoremoval from testing Aug 15
ocaml-randomconv is marked for autoremoval from testing Aug 17
crowbar is marked for autoremoval from testing Aug 10
nurpawiki is marked for autoremoval from testing Aug 07
ocaml-digestif is marked for autoremoval from testing Aug 21
meta-unison is marked for autoremoval from testing Aug 15
lwt-ssl is marked for autoremoval from testing Aug 17
ocaml-cohttp is marked for autoremoval from testing Aug 27
pgocaml is marked for autoremoval from testing Aug 17
ocaml-mccs is marked for autoremoval from testing Aug 17
lablgl is marked for autoremoval from testing Aug 15
mathcomp-finmap is marked for autoremoval from testing Aug 15
coq-mtac2 is marked for autoremoval from testing Aug 15
ocaml-obuild is marked for autoremoval from testing Aug 09
hol-light is marked for autoremoval from testing Aug 09
ocsipersist is marked for autoremoval from testing Aug 07
ppx-deriving-yojson is marked for autoremoval from testing Aug 17
ocaml-crunch is marked for autoremoval from testing Aug 17
coq-hammer is marked for autoremoval from testing Aug 15
mlpost is marked for autoremoval from testing Aug 17
coq-equations is marked for autoremoval from testing Aug 15
ocaml-uucd is marked for autoremoval from testing Aug 17
ocamlcreal is marked for autoremoval from testing Aug 09
coq-unicoq is marked for autoremoval from testing Aug 15
js-of-ocaml is marked for autoremoval from testing Aug 17
ocaml-inifiles is marked for autoremoval from testing Aug 09
ocaml-uunf is marked for autoremoval from testing Aug 17
camlp5-buildscripts is marked for autoremoval from testing Aug 17
coq-iris is marked for autoremoval from testing Aug 15
camlimages is marked for autoremoval from testing Aug 09
yojson is marked for autoremoval from testing Aug 17
ocaml-magic is marked for autoremoval from testing Aug 09
ocaml-eqaf is marked for autoremoval from testing Aug 07
coq-bignums is marked for autoremoval from testing Aug 15
ocaml-pbkdf is marked for autoremoval from testing Aug 27
ocsigenserver is marked for autoremoval from testing Aug 27
ocaml-conduit is marked for autoremoval from testing Aug 27
headache is marked for autoremoval from testing Aug 17
coq-relation-algebra is marked for autoremoval from testing Aug 15
ocaml-ca-certs is marked for autoremoval from testing Aug 07
nproc is marked for autoremoval from testing Aug 09
coq-simple-io is marked for autoremoval from testing Aug 15
wyrd is marked for autoremoval from testing Aug 17
why3 is marked for autoremoval from testing Aug 20
morsmall is marked for autoremoval from testing Aug 17
ocaml-mtime is marked for autoremoval from testing Aug 17
ocamldap is marked for autoremoval from testing Aug 17
ocaml-mirage-crypto is marked for autoremoval from testing Aug 27
tyxml is marked for autoremoval from testing Aug 17
ocaml-mew-vi is marked for autoremoval from testing Aug 17
ledit is marked for autoremoval from testing Aug 17
ocaml-hex is marked for autoremoval from testing Aug 17
uutf is marked for autoremoval from testing Aug 17
ocaml-x509 is marked for autoremoval from testing Aug 07
ocaml-cry is marked for autoremoval from testing Aug 17
cudf is marked for autoremoval from testing Aug 17
ocaml-afl-persistent is marked for autoremoval from testing Aug 27
ocaml-afl-persistent is marked for autoremoval from testing Aug 07
ocaml-logs is marked for autoremoval from testing Aug 17
unison-2.53 is marked for autoremoval from testing Aug 07
coq-quickchick is marked for autoremoval from testing Aug 15
uuidm is marked for autoremoval from testing Aug 17
coq-libhyps is marked for autoremoval from testing Aug 15
coq-hierarchy-builder is marked for autoremoval from testing Aug 15
nss-passwords is marked for autoremoval from testing Aug 17
coq-ext-lib is marked for autoremoval from testing Aug 15
ocaml-reins is marked for autoremoval from testing Aug 09
mathcomp-zify is marked for autoremoval from testing Aug 15
ocaml-batteries is marked for autoremoval from testing Aug 17
ocaml-gen is marked for autoremoval from testing Aug 17
ocaml-uuseg is marked for autoremoval from testing Aug 17
ocamlgraph is marked for autoremoval from testing Aug 17
why3 is marked for autoremoval from testing Aug 15
coquelicot is marked for autoremoval from testing Aug 15
utop is marked for autoremoval from testing Aug 17
lablgtk3 is marked for autoremoval from testing Aug 15
perl4caml is marked for autoremoval from testing Aug 15
ocaml-ipaddr is marked for autoremoval from testing Aug 17
mathcomp-analysis is marked for autoremoval from testing Aug 15
ocaml-uucp is marked for autoremoval from testing Aug 17
morbig is marked for autoremoval from testing Aug 17
coq-record-update is marked for autoremoval from testing Aug 15
eliom is marked for autoremoval from testing Aug 27
ocaml-unix-errno is marked for autoremoval from testing Aug 17
lambda-term is marked for autoremoval from testing Aug 17
coq-math-classes is marked for autoremoval from testing Aug 15
ocaml-fpath is marked for autoremoval from testing Aug 17
ocaml-stringext is marked for autoremoval from testing Aug 17
obus is marked for autoremoval from testing Aug 17
ocaml-spdx-licenses is marked for autoremoval from testing Aug 17
ocaml-domain-name is marked for autoremoval from testing Aug 17
advi is marked for autoremoval from testing Aug 09
mathcomp-real-closed is marked for autoremoval from testing Aug 15
ocaml-mirage-crypto is marked for autoremoval from testing Aug 07
coq is marked for autoremoval from testing Aug 15
camomile is marked for autoremoval from testing Aug 17
not-ocamlfind is marked for autoremoval from testing Aug 17
opam is marked for autoremoval from testing Aug 17
camlbz2 is marked for autoremoval from testing Aug 17
ocaml-asn1-combinators is marked for autoremoval from testing Aug 17
ocaml-rresult is marked for autoremoval from testing Aug 17
ott is marked for autoremoval from testing Aug 15
js-of-ocaml-ocamlbuild is marked for autoremoval from testing Aug 17
ben is marked for autoremoval from testing Aug 17
coqeal is marked for autoremoval from testing Aug 15
omd is marked for autoremoval from testing Aug 17
ocaml-pbkdf is marked for autoremoval from testing Aug 07
ocaml-odoc is marked for autoremoval from testing Aug 17
crowbar is marked for autoremoval from testing Aug 31
ocaml-atd is marked for autoremoval from testing Aug 17
ocaml-csv is marked for autoremoval from testing Aug 17
ocaml-tools is marked for autoremoval from testing Aug 09
ocaml-gnuplot is marked for autoremoval from testing Aug 09
ocamlagrep is marked for autoremoval from testing Aug 09
ocaml-ssl is marked for autoremoval from testing Aug 17
ocaml-sedlex is marked for autoremoval from testing Aug 17
planets is marked for autoremoval from testing Aug 09
mathcomp-algebra-tactics is marked for autoremoval from testing Aug 15
advi is marked for autoremoval from testing Aug 17
coq-menhirlib is marked for autoremoval from testing Aug 15
ocaml-dssi is marked for autoremoval from testing Aug 15
ocplib-simplex is marked for autoremoval from testing Aug 17
ocaml-alcotest is marked for autoremoval from testing Aug 17
mathcomp-multinomials is marked for autoremoval from testing Aug 15
ocaml-conduit is marked for autoremoval from testing Aug 07
reactivedata is marked for autoremoval from testing Aug 17
ocaml-cstruct is marked for autoremoval from testing Aug 17
ocaml-x509 is marked for autoremoval from testing Aug 27
ocaml-fmt is marked for autoremoval from testing Aug 17
ocaml-cohttp is marked for autoremoval from testing Aug 07
ocaml-ca-certs is marked for autoremoval from testing Aug 27
ocaml-astring is marked for autoremoval from testing Aug 17
ocaml-uri is marked for autoremoval from testing Aug 17
ocaml-base64 is marked for autoremoval from testing Aug 17
ocaml-version is marked for autoremoval from testing Aug 17
pxp is marked for autoremoval from testing Aug 09
zed is marked for autoremoval from testing Aug 17
ocamlformat is marked for autoremoval from testing Aug 17
ocaml-inotify is marked for autoremoval from testing Aug 17
ocaml-charinfo-width is marked for autoremoval from testing Aug 17
eliom is marked for autoremoval from testing Aug 07
xstr is marked for autoremoval from testing Aug 09
meta-ocaml is marked for autoremoval from testing Aug 15
ocaml-usb is marked for autoremoval from testing Aug 17
ocaml-bos is marked for autoremoval from testing Aug 17
crowbar is marked for autoremoval from testing Aug 07
coq-serapi is marked for autoremoval from testing Aug 15
coq-reduction-effects is marked for autoremoval from testing Aug 15
ocaml-hmap is marked for autoremoval from testing Aug 17
jsonm is marked for autoremoval from testing Aug 17
aac-tactics is marked for autoremoval from testing Aug 15
ocaml-ptime is marked for autoremoval from testing Aug 17
coq-hott is marked for autoremoval from testing Aug 15
ocaml-linenoise is marked for autoremoval from testing Aug 17
coq-dpdgraph is marked for autoremoval from testing Aug 15
pagodacf is marked for autoremoval from testing Aug 09
ocaml-qcheck is marked for autoremoval from testing Aug 17
ocaml-gmap is marked for autoremoval from testing Aug 17
mathcomp-bigenough is marked for autoremoval from testing Aug 15
paramcoq is marked for autoremoval from testing Aug 15
ocsigenserver is marked for autoremoval from testing Aug 07
lwt-log is marked for autoremoval from testing Aug 17
ocamldsort is marked for autoremoval from testing Aug 09
laby is marked for autoremoval from testing Aug 15
coq-corn is marked for autoremoval from testing Aug 15
coq-stdpp is marked for autoremoval from testing Aug 15

Debian testing watch

coq REMOVED from testing Aug 17

debian-bts-link

[bts-link] source package src:hol-light Aug 15

Emilio Pozuelo Monfort

Re: Bug#1073983: transition: ocaml Aug 12
Bug#1073289: Bug#1073983: transition: ocaml Aug 07
Re: Bug#1073983: transition: ocaml Aug 20

julien . puydt

Re: Bug#1073983: transition: ocaml Aug 16
Bug#1078549: FTBFS with OCaml 5.2.0 on ppc64el Aug 13

Kate Deplaix

Fw: Re: opam package maintenance Aug 07

Kyle Robbertze (@paddatrapper)

Lucas Nussbaum

Niko Tyni

Bug#1075378: perl4caml: ftbfs with GCC-14 Aug 05

Paul Gevers

Re: Bug#1073983: transition: ocaml Aug 16
Re: Bug#1073983: transition: ocaml Aug 15

Ralf Treinen (@treinen)

[Git][ocaml-team/why3] Pushed new tag upstream/1.7.1 Aug 12
[Git][ocaml-team/why3] Pushed new tag upstream/1.7.2 Aug 12
[Git][ocaml-team/why3][master] d/watch: use gitlab tags Aug 12
[Git][ocaml-team/why3][pristine-tar] pristine-tar data for why3_1.7.2.orig.tar.bz2 Aug 12
[Git][ocaml-team/why3] Pushed new tag debian/1.7.2-1 Aug 12

Santiago Vila

Bug#991060: mlpost FTBFS with imagemagick with the #987504 change Aug 22
Bug#1079313: bullseye-pu: package mlpost/0.8.2-4+deb11u1 Aug 22
Bug#1080119: ocaml-merlin: FTBFS: Error (alert deprecated): G.Lr1.reductions Aug 30

Sean Whitton

Re: Comments regarding lem_2022-12-10+dfsg-1_amd64.changes Aug 07
Comments regarding lem_2022-12-10+dfsg-1_amd64.changes Aug 03
lem_2022-12-10+dfsg-1_amd64.changes REJECTED Aug 07

Simon McVittie

The last update was on 05:00 GMT Sat Aug 31. There are 965 messages. Page 2 of 2.

[previous month]

[previous page]

Page 2 of 2

[next page]

[Thread Index] [Subject Index] [Author Index] [Other Debian Lists] [Debian Home]

Mail converted by MHonArc