debian-ocaml-maint Sep 2025 by author

[previous page]

Page 2 of 2

[next page]

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

Debian testing autoremoval watch

ocurl is marked for autoremoval from testing Sep 28
zed is marked for autoremoval from testing Sep 06
headache is marked for autoremoval from testing Sep 28
coq-mtac2 is marked for autoremoval from testing Sep 06
ocaml-dscheck is marked for autoremoval from testing Sep 28
coq-gappa is marked for autoremoval from testing Sep 06
ocaml-mdx is marked for autoremoval from testing Sep 28
ocaml-randomconv is marked for autoremoval from testing Sep 06
ocaml-topkg is marked for autoremoval from testing Sep 28
mathcomp-analysis is marked for autoremoval from testing Sep 28
elpi is marked for autoremoval from testing Sep 21
react is marked for autoremoval from testing Sep 15
ocaml-unix-errno is marked for autoremoval from testing Sep 06
aac-tactics is marked for autoremoval from testing Sep 28
lambda-term is marked for autoremoval from testing Sep 29
lambda-term is marked for autoremoval from testing Sep 06
coq-quickchick is marked for autoremoval from testing Sep 21
ocaml-mtime is marked for autoremoval from testing Sep 06
coq-relation-algebra is marked for autoremoval from testing Sep 06
mlpost is marked for autoremoval from testing Sep 28
morsmall is marked for autoremoval from testing Sep 06
lablgtk3 is marked for autoremoval from testing Sep 28
ocaml-base64 is marked for autoremoval from testing Sep 29
ocaml-csv is marked for autoremoval from testing Sep 28
meta-ocaml is marked for autoremoval from testing Sep 28
js-of-ocaml is marked for autoremoval from testing Sep 21
coq-record-update is marked for autoremoval from testing Sep 28
ocaml-atd is marked for autoremoval from testing Sep 06
ocaml-astring is marked for autoremoval from testing Sep 15
lwt is marked for autoremoval from testing Sep 06
ocaml-websocket is marked for autoremoval from testing Sep 28
ocaml-gen is marked for autoremoval from testing Sep 28
ocaml-multicore-bench is marked for autoremoval from testing Sep 06
ocaml-decimal is marked for autoremoval from testing Sep 28
uutf is marked for autoremoval from testing Sep 06
yojson is marked for autoremoval from testing Sep 28
nproc is marked for autoremoval from testing Sep 28
coq-bignums is marked for autoremoval from testing Sep 06
ocaml-hmap is marked for autoremoval from testing Sep 15
ben is marked for autoremoval from testing Sep 06
ocaml-charinfo-width is marked for autoremoval from testing Sep 06
ocaml-markup is marked for autoremoval from testing Sep 06
ocaml-uuseg is marked for autoremoval from testing Sep 15
ocaml-lwt-dllist is marked for autoremoval from testing Sep 28
mathcomp-analysis is marked for autoremoval from testing Sep 06
coqprime is marked for autoremoval from testing Sep 06
ocaml-digestif is marked for autoremoval from testing Sep 06
coq-simple-io is marked for autoremoval from testing Sep 06
wyrd is marked for autoremoval from testing Sep 28
mathcomp-real-closed is marked for autoremoval from testing Sep 06
coq-interval is marked for autoremoval from testing Sep 28
ocaml-logs is marked for autoremoval from testing Sep 06
coq-ext-lib is marked for autoremoval from testing Sep 06
tyxml is marked for autoremoval from testing Sep 28
ocaml-ssl is marked for autoremoval from testing Sep 06
coq-extructures is marked for autoremoval from testing Sep 06
meta-ocaml is marked for autoremoval from testing Sep 06
ocaml-pbkdf is marked for autoremoval from testing Sep 06
ocaml-cry is marked for autoremoval from testing Sep 28
coq-deriving is marked for autoremoval from testing Sep 28
ocaml-gmap is marked for autoremoval from testing Sep 06
ppx-yojson-conv-lib is marked for autoremoval from testing Sep 06
meta-ocaml is marked for autoremoval from testing Sep 30
ocaml-mirage-kv-mem is marked for autoremoval from testing Sep 28
ocaml-merlin is marked for autoremoval from testing Sep 06
ocaml-ohex is marked for autoremoval from testing Sep 06
paramcoq is marked for autoremoval from testing Sep 28
camlp5 is marked for autoremoval from testing Sep 28
morsmall is marked for autoremoval from testing Sep 28
ocaml-kdf is marked for autoremoval from testing Sep 28
ocaml-inotify is marked for autoremoval from testing Sep 28
ocaml-psq is marked for autoremoval from testing Sep 06
ocaml-ohex is marked for autoremoval from testing Sep 28
coq-unimath is marked for autoremoval from testing Sep 06
flocq is marked for autoremoval from testing Sep 28
mathcomp-zify is marked for autoremoval from testing Sep 28
ocaml-ca-certs is marked for autoremoval from testing Sep 06
nurpawiki is marked for autoremoval from testing Sep 28
omd is marked for autoremoval from testing Sep 06
ocaml-cohttp is marked for autoremoval from testing Sep 06
dose3 is marked for autoremoval from testing Sep 06
ocaml-dscheck is marked for autoremoval from testing Sep 06
ocurl is marked for autoremoval from testing Sep 06
ocaml-unix-errno is marked for autoremoval from testing Sep 28
ssreflect is marked for autoremoval from testing Sep 06
ocaml-oseq is marked for autoremoval from testing Sep 06
ocamlviz is marked for autoremoval from testing Sep 28
uutf is marked for autoremoval from testing Sep 15
coq-reduction-effects is marked for autoremoval from testing Sep 06
nurpawiki is marked for autoremoval from testing Sep 06
ocaml-conduit is marked for autoremoval from testing Sep 28
coq is marked for autoremoval from testing Sep 28
ocaml-odoc is marked for autoremoval from testing Sep 13
ocaml-lwt-dllist is marked for autoremoval from testing Sep 06
ocaml-gmap is marked for autoremoval from testing Sep 28
why3 is marked for autoremoval from testing Sep 30
ocsipersist is marked for autoremoval from testing Sep 28
ledit is marked for autoremoval from testing Sep 06
uuidm is marked for autoremoval from testing Sep 06
mathcomp-algebra-tactics is marked for autoremoval from testing Sep 28
coq-math-classes is marked for autoremoval from testing Sep 28
ocaml-base64 is marked for autoremoval from testing Sep 06
coq-corn is marked for autoremoval from testing Sep 06
headache is marked for autoremoval from testing Sep 06
ocaml-saturn is marked for autoremoval from testing Sep 06
ocaml-cohttp is marked for autoremoval from testing Sep 28
pgocaml is marked for autoremoval from testing Sep 28
ocamlgraph is marked for autoremoval from testing Sep 06
ocaml-ipaddr is marked for autoremoval from testing Sep 06
ocamlviz is marked for autoremoval from testing Sep 06
ocaml-bos is marked for autoremoval from testing Sep 06
ocaml-oseq is marked for autoremoval from testing Sep 28
ocaml-linenoise is marked for autoremoval from testing Sep 06
mathcomp-algebra-tactics is marked for autoremoval from testing Sep 06
ocaml-sedlex is marked for autoremoval from testing Sep 06
ocaml-atd is marked for autoremoval from testing Sep 28
ocaml-crunch is marked for autoremoval from testing Sep 06
coq-unimath is marked for autoremoval from testing Sep 28
mlpost is marked for autoremoval from testing Sep 06
ocaml-iomux is marked for autoremoval from testing Sep 23
ocaml-merlin is marked for autoremoval from testing Sep 28
ocaml-qtest is marked for autoremoval from testing Sep 28
ocaml-gettext is marked for autoremoval from testing Sep 28
ocplib-simplex is marked for autoremoval from testing Sep 28
ocaml-eqaf is marked for autoremoval from testing Sep 28
ocamlgraph is marked for autoremoval from testing Sep 29
ocaml-uunf is marked for autoremoval from testing Sep 29
not-ocamlfind is marked for autoremoval from testing Sep 28
ocplib-simplex is marked for autoremoval from testing Sep 06
ocaml-domain-name is marked for autoremoval from testing Sep 28
coq-ext-lib is marked for autoremoval from testing Sep 28
reactivedata is marked for autoremoval from testing Sep 06
ocaml-mew-vi is marked for autoremoval from testing Sep 28
camlp5-buildscripts is marked for autoremoval from testing Sep 06
ocaml-domain-name is marked for autoremoval from testing Sep 06
wyrd is marked for autoremoval from testing Sep 06
ocaml-patch is marked for autoremoval from testing Sep 28
ocaml-batteries is marked for autoremoval from testing Sep 28
liquidsoap is marked for autoremoval from testing Sep 21
ocaml-containers is marked for autoremoval from testing Sep 18
ocaml-markup is marked for autoremoval from testing Sep 28
opam-file-format is marked for autoremoval from testing Sep 28
coq-unicoq is marked for autoremoval from testing Sep 06
dose3 is marked for autoremoval from testing Sep 28
ocaml-iomux is marked for autoremoval from testing Sep 29
ppx-yojson-conv is marked for autoremoval from testing Sep 21
ott is marked for autoremoval from testing Sep 28
yojson is marked for autoremoval from testing Sep 06
ocaml-astring is marked for autoremoval from testing Sep 06
ocaml-mtime is marked for autoremoval from testing Sep 15
lwt-log is marked for autoremoval from testing Sep 28
ocaml-odoc is marked for autoremoval from testing Sep 06
ocaml-eqaf is marked for autoremoval from testing Sep 06
ocaml-qcheck is marked for autoremoval from testing Sep 17
ocaml-uuseg is marked for autoremoval from testing Sep 06
ocaml-conduit is marked for autoremoval from testing Sep 06
coq-mtac2 is marked for autoremoval from testing Sep 28
coq-menhirlib is marked for autoremoval from testing Sep 28
react is marked for autoremoval from testing Sep 06
ocaml-randomconv is marked for autoremoval from testing Sep 28
ocaml-alcotest is marked for autoremoval from testing Sep 06
ocaml-uri is marked for autoremoval from testing Sep 28
ocaml-patch is marked for autoremoval from testing Sep 06
coq-iris is marked for autoremoval from testing Sep 28
coq-libhyps is marked for autoremoval from testing Sep 28
ocaml-version is marked for autoremoval from testing Sep 06

Julien Puydt

On updating Coq/Rocq in Debian Sep 12

Julien Puydt (@jpuydt)

[Git][ocaml-team/coq][pristine-tar] pristine-tar data for coq_9.1.0+dfsg.orig.tar.xz Sep 17
[Git][ocaml-team/coq] Pushed new tag debian/9.1.0+dfsg-1 Sep 17
[Git][ocaml-team/coq] Pushed new tag upstream/9.1.0+dfsg Sep 17

Ralf Treinen (@treinen)

[Git][ocaml-team/why3] Pushed new tag debian/1.8.2-1 Sep 23
[Git][ocaml-team/why3][pristine-tar] pristine-tar data for why3_1.8.2.orig.tar.bz2 Sep 23
[Git][ocaml-team/why3] Pushed new tag upstream/1.8.2 Sep 23

Santiago Vila

Bug#1114239: ocaml-hmap: FTBFS: dh_missing: error: missing files, aborting Sep 05
Bug#1114237: ocaml-astring: FTBFS: dh_missing: error: missing files, aborting Sep 05
Bug#1116829: ocaml-cohttp: FTBFS with the nocheck build profile Sep 30
Bug#1114241: ocaml-ptime: FTBFS: dh_missing: error: missing files, aborting Sep 05
Bug#1114238: ocaml-fpath: FTBFS: dh_missing: error: missing files, aborting Sep 05
Bug#1116929: zed: FTBFS with the nocheck build profile Sep 30
Bug#1116828: ocaml-batteries: FTBFS with the nocheck build profile Sep 30
Bug#1116831: ocaml-inotify: FTBFS with the nocheck build profile Sep 30
Bug#1114428: uutf: FTBFS: dpkg-buildpackage: error: debian/rules binary subprocess returned exit status 2 Sep 05
Bug#1114240: ocaml-mtime: FTBFS: dh_missing: error: missing files, aborting Sep 05
Bug#1116827: ocaml-atd: FTBFS with the nocheck build profile Sep 30
Bug#1114242: ocaml-uuseg: FTBFS: dh_missing: error: missing files, aborting Sep 05
Bug#1114345: react: FTBFS: dh_missing: error: missing files, aborting Sep 05

Victor Gambier

Bug#1110513: coccinelle: linked against wrong libraries Sep 09

The last update was on 08:20 GMT Wed Oct 01. There are 687 messages. Page 2 of 2.

[previous month]

[first page]

[previous page]

Page 2 of 2

[next page]

[last page]

[next month]

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

Mail converted by MHonArc