debian-ocaml-maint Feb 2026 by thread

[previous month]

[previous page]

Page 1 of 1

[next page]

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

coq-math-classes is marked for autoremoval from testing Debian testing autoremoval watch
coq-iris is marked for autoremoval from testing Debian testing autoremoval watch
coq-interval is marked for autoremoval from testing Debian testing autoremoval watch
coq-mtac2 is marked for autoremoval from testing Debian testing autoremoval watch
coq-hott is marked for autoremoval from testing Debian testing autoremoval watch
coq-record-update is marked for autoremoval from testing Debian testing autoremoval watch
ssreflect is marked for autoremoval from testing Debian testing autoremoval watch
coq-reduction-effects is marked for autoremoval from testing Debian testing autoremoval watch
coq-libhyps is marked for autoremoval from testing Debian testing autoremoval watch
mathcomp-real-closed is marked for autoremoval from testing Debian testing autoremoval watch
coq-menhirlib is marked for autoremoval from testing Debian testing autoremoval watch
mathcomp-zify is marked for autoremoval from testing Debian testing autoremoval watch
mathcomp-finmap is marked for autoremoval from testing Debian testing autoremoval watch
coq-quickchick is marked for autoremoval from testing Debian testing autoremoval watch
mathcomp-analysis is marked for autoremoval from testing Debian testing autoremoval watch
coq-hammer is marked for autoremoval from testing Debian testing autoremoval watch
mathcomp-algebra-tactics is marked for autoremoval from testing Debian testing autoremoval watch
coq-gappa is marked for autoremoval from testing Debian testing autoremoval watch
meta-ocaml is marked for autoremoval from testing Debian testing autoremoval watch
meta-unison is marked for autoremoval from testing Debian testing autoremoval watch
mathcomp-multinomials is marked for autoremoval from testing Debian testing autoremoval watch
coq-ext-lib is marked for autoremoval from testing Debian testing autoremoval watch
mathcomp-bigenough is marked for autoremoval from testing Debian testing autoremoval watch
unison-2.53 is marked for autoremoval from testing Debian testing autoremoval watch
coq-equations is marked for autoremoval from testing Debian testing autoremoval watch
coq-hierarchy-builder is marked for autoremoval from testing Debian testing autoremoval watch
coq-dpdgraph is marked for autoremoval from testing Debian testing autoremoval watch
uuidm is marked for autoremoval from testing Debian testing autoremoval watch
tyxml is marked for autoremoval from testing Debian testing autoremoval watch
utop is marked for autoremoval from testing Debian testing autoremoval watch
sail-ocaml is marked for autoremoval from testing Debian testing autoremoval watch
coq-relation-algebra is marked for autoremoval from testing Debian testing autoremoval watch
coq-stdpp is marked for autoremoval from testing Debian testing autoremoval watch
mlpost is marked for autoremoval from testing Debian testing autoremoval watch
coq-deriving is marked for autoremoval from testing Debian testing autoremoval watch
coq-corn is marked for autoremoval from testing Debian testing autoremoval watch
coq is marked for autoremoval from testing Debian testing autoremoval watch
coq-reglang is marked for autoremoval from testing Debian testing autoremoval watch
coq-extructures is marked for autoremoval from testing Debian testing autoremoval watch
morsmall is marked for autoremoval from testing Debian testing autoremoval watch
coq-unicoq is marked for autoremoval from testing Debian testing autoremoval watch
coq-simple-io is marked for autoremoval from testing Debian testing autoremoval watch
coqeal is marked for autoremoval from testing Debian testing autoremoval watch
why3 is marked for autoremoval from testing Debian testing autoremoval watch
coq-elpi is marked for autoremoval from testing Debian testing autoremoval watch
coqprime is marked for autoremoval from testing Debian testing autoremoval watch
coquelicot is marked for autoremoval from testing Debian testing autoremoval watch
coq-bignums is marked for autoremoval from testing Debian testing autoremoval watch
morbig is marked for autoremoval from testing Debian testing autoremoval watch
coq-unimath is marked for autoremoval from testing Debian testing autoremoval watch
not-ocamlfind is marked for autoremoval from testing Debian testing autoremoval watch
reactivedata is marked for autoremoval from testing Debian testing autoremoval watch
nss-passwords is marked for autoremoval from testing Debian testing autoremoval watch
ocaml-alcotest is marked for autoremoval from testing Debian testing autoremoval watch
nurpawiki is marked for autoremoval from testing Debian testing autoremoval watch
nproc is marked for autoremoval from testing Debian testing autoremoval watch
ocaml-asn1-combinators is marked for autoremoval from testing Debian testing autoremoval watch
ocaml-backoff is marked for autoremoval from testing Debian testing autoremoval watch
react is marked for autoremoval from testing Debian testing autoremoval watch
ocaml-afl-persistent is marked for autoremoval from testing Debian testing autoremoval watch
obus is marked for autoremoval from testing Debian testing autoremoval watch
ocaml-bos is marked for autoremoval from testing Debian testing autoremoval watch
ocaml-base64 is marked for autoremoval from testing Debian testing autoremoval watch
ocaml-atd is marked for autoremoval from testing Debian testing autoremoval watch
ocaml-astring is marked for autoremoval from testing Debian testing autoremoval watch
ocaml-ca-certs is marked for autoremoval from testing Debian testing autoremoval watch
ocaml-cohttp is marked for autoremoval from testing Debian testing autoremoval watch
ocaml-batteries is marked for autoremoval from testing Debian testing autoremoval watch
ocaml-cry is marked for autoremoval from testing Debian testing autoremoval watch
ocaml-crowbar is marked for autoremoval from testing Debian testing autoremoval watch
ocaml-charinfo-width is marked for autoremoval from testing Debian testing autoremoval watch
ocaml-cstruct is marked for autoremoval from testing Debian testing autoremoval watch
ocaml-conduit is marked for autoremoval from testing Debian testing autoremoval watch
ocaml-digestif is marked for autoremoval from testing Debian testing autoremoval watch
ocaml-decimal is marked for autoremoval from testing Debian testing autoremoval watch
ocaml-containers is marked for autoremoval from testing Debian testing autoremoval watch
ocaml-domain-local-await is marked for autoremoval from testing Debian testing autoremoval watch
ocaml-dscheck is marked for autoremoval from testing Debian testing autoremoval watch
ocaml-csv is marked for autoremoval from testing Debian testing autoremoval watch
ocaml-crunch is marked for autoremoval from testing Debian testing autoremoval watch
ocaml-eqaf is marked for autoremoval from testing Debian testing autoremoval watch
ocaml-eio is marked for autoremoval from testing Debian testing autoremoval watch
ocaml-domain-name is marked for autoremoval from testing Debian testing autoremoval watch
ocaml-expect is marked for autoremoval from testing Debian testing autoremoval watch
ocaml-fmt is marked for autoremoval from testing Debian testing autoremoval watch
ocaml-gen is marked for autoremoval from testing Debian testing autoremoval watch
ocaml-gettext is marked for autoremoval from testing Debian testing autoremoval watch
ocaml-duration is marked for autoremoval from testing Debian testing autoremoval watch
ocaml-hex is marked for autoremoval from testing Debian testing autoremoval watch
ocaml-hmap is marked for autoremoval from testing Debian testing autoremoval watch
ocaml-gmap is marked for autoremoval from testing Debian testing autoremoval watch
ocaml-iomux is marked for autoremoval from testing Debian testing autoremoval watch
ocaml-fpath is marked for autoremoval from testing Debian testing autoremoval watch
ocaml-kdf is marked for autoremoval from testing Debian testing autoremoval watch
ocaml-ipaddr is marked for autoremoval from testing Debian testing autoremoval watch
ocaml-linenoise is marked for autoremoval from testing Debian testing autoremoval watch
ocaml-inotify is marked for autoremoval from testing Debian testing autoremoval watch
ocaml-mdx is marked for autoremoval from testing Debian testing autoremoval watch
ocaml-logs is marked for autoremoval from testing Debian testing autoremoval watch
ocaml-merlin is marked for autoremoval from testing Debian testing autoremoval watch
ocaml-lwt-dllist is marked for autoremoval from testing Debian testing autoremoval watch
ocaml-iter is marked for autoremoval from testing Debian testing autoremoval watch
ocaml-mirage-kv is marked for autoremoval from testing Debian testing autoremoval watch
ocaml-mirage-crypto is marked for autoremoval from testing Debian testing autoremoval watch
ocaml-markup is marked for autoremoval from testing Debian testing autoremoval watch
ocaml-mirage-kv-mem is marked for autoremoval from testing Debian testing autoremoval watch
ocaml-mirage-ptime is marked for autoremoval from testing Debian testing autoremoval watch
ocaml-mew-vi is marked for autoremoval from testing Debian testing autoremoval watch
ocaml-mtime is marked for autoremoval from testing Debian testing autoremoval watch
ocaml-multicore-bench is marked for autoremoval from testing Debian testing autoremoval watch
ocaml-multicore-magic is marked for autoremoval from testing Debian testing autoremoval watch
ocaml-odoc is marked for autoremoval from testing Debian testing autoremoval watch
ocaml-multicoretests is marked for autoremoval from testing Debian testing autoremoval watch
ocaml-ohex is marked for autoremoval from testing Debian testing autoremoval watch
ocaml-oseq is marked for autoremoval from testing Debian testing autoremoval watch
ocaml-monolith is marked for autoremoval from testing Debian testing autoremoval watch
ocaml-patch is marked for autoremoval from testing Debian testing autoremoval watch
ocaml-posix is marked for autoremoval from testing Debian testing autoremoval watch
ocaml-qcheck is marked for autoremoval from testing Debian testing autoremoval watch
ocaml-randomconv is marked for autoremoval from testing Debian testing autoremoval watch
ocaml-saturn is marked for autoremoval from testing Debian testing autoremoval watch
ocaml-pbkdf is marked for autoremoval from testing Debian testing autoremoval watch
ocaml-psq is marked for autoremoval from testing Debian testing autoremoval watch
ocaml-sedlex is marked for autoremoval from testing Debian testing autoremoval watch
ocaml-ptime is marked for autoremoval from testing Debian testing autoremoval watch
ocaml-spdx-licenses is marked for autoremoval from testing Debian testing autoremoval watch
ocaml-stringext is marked for autoremoval from testing Debian testing autoremoval watch
ocaml-qtest is marked for autoremoval from testing Debian testing autoremoval watch
ocaml-version is marked for autoremoval from testing Debian testing autoremoval watch
ocaml-rresult is marked for autoremoval from testing Debian testing autoremoval watch
ocaml-uri is marked for autoremoval from testing Debian testing autoremoval watch
ocaml-unix-errno is marked for autoremoval from testing Debian testing autoremoval watch
ocaml-uuseg is marked for autoremoval from testing Debian testing autoremoval watch
ocaml-usb is marked for autoremoval from testing Debian testing autoremoval watch
ocaml-ssl is marked for autoremoval from testing Debian testing autoremoval watch
ocamlgraph is marked for autoremoval from testing Debian testing autoremoval watch
ocamlformat is marked for autoremoval from testing Debian testing autoremoval watch
ocaml-thread-table is marked for autoremoval from testing Debian testing autoremoval watch
ocsigenserver is marked for autoremoval from testing Debian testing autoremoval watch
ocamlviz is marked for autoremoval from testing Debian testing autoremoval watch
ocaml-websocket is marked for autoremoval from testing Debian testing autoremoval watch
ocaml-x509 is marked for autoremoval from testing Debian testing autoremoval watch
ocsipersist is marked for autoremoval from testing Debian testing autoremoval watch
lwt-log is marked for autoremoval from testing Debian testing autoremoval watch
ocamldap is marked for autoremoval from testing Debian testing autoremoval watch
lwt-ssl is marked for autoremoval from testing Debian testing autoremoval watch
ocplib-simplex is marked for autoremoval from testing Debian testing autoremoval watch
ocurl is marked for autoremoval from testing Debian testing autoremoval watch
omd is marked for autoremoval from testing Debian testing autoremoval watch
ott is marked for autoremoval from testing Debian testing autoremoval watch
lwt is marked for autoremoval from testing Debian testing autoremoval watch
paramcoq is marked for autoremoval from testing Debian testing autoremoval watch
opam is marked for autoremoval from testing Debian testing autoremoval watch
opam-0install-cudf is marked for autoremoval from testing Debian testing autoremoval watch
belenios is marked for autoremoval from testing Debian testing autoremoval watch
liquidsoap is marked for autoremoval from testing Debian testing autoremoval watch
pgocaml is marked for autoremoval from testing Debian testing autoremoval watch
wyrd is marked for autoremoval from testing Debian testing autoremoval watch
elpi is marked for autoremoval from testing Debian testing autoremoval watch
laby is marked for autoremoval from testing Debian testing autoremoval watch
ledit is marked for autoremoval from testing Debian testing autoremoval watch
lambda-term is marked for autoremoval from testing Debian testing autoremoval watch
lablgtk3 is marked for autoremoval from testing Debian testing autoremoval watch
ben is marked for autoremoval from testing Debian testing autoremoval watch
dose3 is marked for autoremoval from testing Debian testing autoremoval watch

<Possible follow-ups>
dose3 is marked for autoremoval from testing Debian testing autoremoval watch

js-of-ocaml is marked for autoremoval from testing Debian testing autoremoval watch
eliom is marked for autoremoval from testing Debian testing autoremoval watch
flocq is marked for autoremoval from testing Debian testing autoremoval watch
zed is marked for autoremoval from testing Debian testing autoremoval watch
js-of-ocaml-ocamlbuild is marked for autoremoval from testing Debian testing autoremoval watch
hol-light is marked for autoremoval from testing Debian testing autoremoval watch
camlbz2 is marked for autoremoval from testing Debian testing autoremoval watch
camomile is marked for autoremoval from testing Debian testing autoremoval watch
yojson is marked for autoremoval from testing Debian testing autoremoval watch
ppx-deriving-yojson is marked for autoremoval from testing Debian testing autoremoval watch
ppx-yojson-conv-lib is marked for autoremoval from testing Debian testing autoremoval watch
camlp5-buildscripts is marked for autoremoval from testing Debian testing autoremoval watch
aac-tactics is marked for autoremoval from testing Debian testing autoremoval watch
headache is marked for autoremoval from testing Debian testing autoremoval watch
camlp5 is marked for autoremoval from testing Debian testing autoremoval watch

<Possible follow-ups>
camlp5 is marked for autoremoval from testing Debian testing autoremoval watch

ppx-yojson-conv is marked for autoremoval from testing Debian testing autoremoval watch
[Git][ocaml-team/camlbz2][master] 2 commits: Do no longer build doc, to cut dependency cycle Stéphane Glondu (@glondu)
[Git][ocaml-team/camlbz2] Pushed new tag archive/debian/0.8.0-3 Stéphane Glondu (@glondu)
camlbz2_0.8.0-3_source.changes ACCEPTED into unstable Debian FTP Masters
[Git][ocaml-team/camlbz2] Pushed new tag debian/0.8.0-3 Stéphane Glondu (@glondu)
Processing of camlbz2_0.8.0-3_source.changes Debian FTP Masters
[Git][ocaml-team/dose3][master] 2 commits: Move pandoc to Build-Depends-Indep Stéphane Glondu (@glondu)
[Git][ocaml-team/dose3] Pushed new tag archive/debian/7.0.0-7 Stéphane Glondu (@glondu)
[Git][ocaml-team/dose3] Pushed new tag debian/7.0.0-7 Stéphane Glondu (@glondu)
Processing of dose3_7.0.0-7_source.changes Debian FTP Masters
dose3_7.0.0-7_source.changes ACCEPTED into unstable Debian FTP Masters
Bug#1126673: Should frama-c be removed from unstable? André Maroneze

Message not available
- Processed: Re: Bug#1126673: Should frama-c be removed from unstable? Debian Bug Tracking System

ocaml-fmt_0.11.0-1_loong64.changes ACCEPTED into unstable Debian FTP Masters
Processing of ocaml-fmt_0.11.0-1_loong64.changes Debian FTP Masters
Processing of react_1.2.2-2_loong64.changes Debian FTP Masters
react_1.2.2-2_loong64.changes ACCEPTED into unstable Debian FTP Masters
opam-0install-cudf_0.5.0-1_loong64.changes ACCEPTED into unstable Debian FTP Masters
Processing of opam-0install-cudf_0.5.0-1_loong64.changes Debian FTP Masters
Processing of opam_2.5.0-1_loong64.changes Debian FTP Masters
opam_2.5.0-1_loong64.changes ACCEPTED into unstable Debian FTP Masters
Getting herdtool7 ready Sebastian Andrzej Siewior

Re: Getting herdtool7 ready Stéphane Glondu

Processing of herdtools7_7.58-1_amd64.changes Debian FTP Masters

<Possible follow-ups>
Processing of herdtools7_7.58-1_amd64.changes Debian FTP Masters

herdtools7_7.58-1_amd64.changes REJECTED Debian FTP Masters
herdtools7_7.58-1_amd64.changes is NEW Debian FTP Masters
Bug#982067: /usr/local/lib/ocaml owned by group staff even if /etc/staff-group-for-usr-local not present Simon McVittie

Message not available
- Processed: Re: Bug#982067: /usr/local/lib/ocaml owned by group staff even if /etc/staff-group-for-usr-local not present Debian Bug Tracking System

[Git][ocaml-team/ocaml] Pushed new tag debian/5.4.0-3 Stéphane Glondu (@glondu)
Processing of ocaml_5.4.0-3_source.changes Debian FTP Masters
ocaml_5.4.0-3_source.changes ACCEPTED into unstable Debian FTP Masters
Bug#1125099: marked as done (Remove transitional packages) Debian Bug Tracking System
Bug#982067: marked as done (/usr/local/lib/ocaml owned by group staff even if /etc/staff-group-for-usr-local not present) Debian Bug Tracking System
Bug#1127765: camlp5 depends on the removed transitional package ocaml-compiler-libs Adrian Bunk

Bug#1127765: marked as done (camlp5 depends on the removed transitional package ocaml-compiler-libs) Debian Bug Tracking System

Processed: reassign 1127729 to src:ocaml-gavl, tagging 1127729, severity of 1127729 is serious Debian Bug Tracking System
[Git][ocaml-team/camlp5][master] 2 commits: Do no longer depend on ocaml-compiler-libs (Closes: #1127765) Stéphane Glondu (@glondu)
[Git][ocaml-team/camlp5] Pushed new tag debian/8.04.00-4 Stéphane Glondu (@glondu)
[Git][ocaml-team/camlp5] Pushed new tag archive/debian/8.04.00-4 Stéphane Glondu (@glondu)
Processing of camlp5_8.04.00-4_source.changes Debian FTP Masters
camlp5_8.04.00-4_source.changes ACCEPTED into unstable Debian FTP Masters
Debian NEW review of metacoq 1.4-9.1-1: REJECTED dfsg-team
Bug#1128188: libcoq-stdlib lacks dependencies Adrian Bunk

Processed: libcoq-stdlib lacks dependencies Debian Bug Tracking System

Bug#1128189: coq: Please install dllcoqperf_stubs.so on native architectures only John Paul Adrian Glaubitz

Bug#1128189: coq: Please install dllcoqperf_stubs.so on native architectures only John Paul Adrian Glaubitz

Bug#1128189: coq: Please install dllcoqperf_stubs.so on native architectures only John Paul Adrian Glaubitz

Bug#1128189: coq: Please install dllcoqperf_stubs.so on native architectures only John Paul Adrian Glaubitz
Bug#1128189: coq: Please install dllcoqperf_stubs.so on native architectures only Julien Puydt
Bug#1128189: coq: Please install dllcoqperf_stubs.so on native architectures only John Paul Adrian Glaubitz

Processed: Bug#1128189 marked as pending in coq Debian Bug Tracking System
Bug#1128189: marked as pending in coq Julien Puydt

Processed: Re: Bug#1000390: aspcud fails to resolve upgrade problem, apt succeeds Debian Bug Tracking System
ocaml-process_0.2.1-1_amd64.changes ACCEPTED into unstable Debian FTP Masters
[Git][ocaml-team/coq][master] Remove Benjamin Barenblat from Debian uploaders Benjamin Barenblat (@bbaren)
Processing of ocaml-posix_4.0.1-1_source.changes Debian FTP Masters
ocaml-posix_4.0.1-1_source.changes ACCEPTED into unstable Debian FTP Masters
Bug#1128515: Updating the coq Uploaders list Tobias Frost
ocaml-gavl is marked for autoremoval from testing Debian testing autoremoval watch
ocaml-posix_4.0.1-2_source.changes ACCEPTED into unstable Debian FTP Masters
Processing of ocaml-posix_4.0.1-2_source.changes Debian FTP Masters
Processed: limit source to coq, tagging 1128515 Debian Bug Tracking System
[Git][ocaml-team/coq][master] Close bug Stéphane Glondu (@glondu)
Processing of ocaml-posix_4.0.1-3_source.changes Debian FTP Masters
ocaml-posix_4.0.1-3_source.changes ACCEPTED into unstable Debian FTP Masters
ocaml-posix_4.0.1+git12-gcfd9bfb-1_source.changes ACCEPTED into unstable Debian FTP Masters
Processing of ocaml-posix_4.0.1+git12-gcfd9bfb-1_source.changes Debian FTP Masters
ocaml-posix_4.0.1+git12-gcfd9bfb-2_source.changes ACCEPTED into unstable Debian FTP Masters
Processing of ocaml-posix_4.0.1+git12-gcfd9bfb-2_source.changes Debian FTP Masters
herdtools7_7.58-1_amd64.changes ACCEPTED into unstable Debian FTP Masters
ocaml-merlin_5.6-504+ds-2_source.changes ACCEPTED into unstable Debian FTP Masters
Processing of ocaml-merlin_5.6-504+ds-2_source.changes Debian FTP Masters
[PATCH] Update the OCaml presentation in the package descriptions Samuel Hym

Re: [PATCH] Update the OCaml presentation in the package descriptions Stéphane Glondu

ocaml-alcotest_1.9.1-2_source.changes ACCEPTED into unstable Debian FTP Masters
Processing of ocaml-alcotest_1.9.1-2_source.changes Debian FTP Masters
Please enable CI for herdtools7 Sebastian Andrzej Siewior

Re: Please enable CI for herdtools7 Stéphane Glondu

[Git][ocaml-team/ocamlnet] Pushed new tag debian/4.1.9-8 Stéphane Glondu (@glondu)
[Git][ocaml-team/ocamlnet][master] 3 commits: Install also *.cmx files Stéphane Glondu (@glondu)
Processing of ocamlnet_4.1.9-8_source.changes Debian FTP Masters
ocamlnet_4.1.9-8_source.changes ACCEPTED into unstable Debian FTP Masters
Processing of ocaml-posix_4.0.1+git12-gcfd9bfb-3_source.changes Debian FTP Masters
ocaml-posix_4.0.1+git12-gcfd9bfb-3_source.changes ACCEPTED into unstable Debian FTP Masters
Bug#1129262: ocaml-odoc: please drop usage of "quilt" from autopkgtest Alexandre Detiste
Bug#1129317: ocaml: CVE-2026-28364 Salvatore Bonaccorso

The last update was on 20:40 GMT Sat Feb 28. There are 269 messages. Page 1 of 1.

[previous month]

[previous page]

Page 1 of 1

[next page]

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

Mail converted by MHonArc