debian-ocaml-maint Dec 2025 by thread

[previous month]

[previous page]

Page 1 of 1

[next page]

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

[Git][ocaml-team/unison][2.53/debian] 6 commits: Switch debian/watch to version 5 Stéphane Glondu (@glondu)
[Git][ocaml-team/unison][2.53/upstream] New upstream version 2.53.8 Stéphane Glondu (@glondu)
[Git][ocaml-team/unison] Pushed new tag archive/debian/2.53.8-1 Stéphane Glondu (@glondu)
[Git][ocaml-team/unison][pristine-tar] pristine-tar data for unison-2.53_2.53.8.orig.tar.gz Stéphane Glondu (@glondu)
[Git][ocaml-team/unison] Pushed new tag debian/2.53.8-1 Stéphane Glondu (@glondu)
[Git][ocaml-team/unison] Pushed new tag upstream/2.53.8 Stéphane Glondu (@glondu)
Processing of unison-2.53_2.53.8-1_source.changes Debian FTP Masters
unison-2.53_2.53.8-1_source.changes ACCEPTED into unstable Debian FTP Masters
[Git][ocaml-team/opam][master] 6 commits: Switch debian/watch to version 5 Stéphane Glondu (@glondu)
[Git][ocaml-team/opam] Pushed new tag archive/debian/2.5.0-1 Stéphane Glondu (@glondu)
[Git][ocaml-team/opam] Pushed new tag debian/2.5.0-1 Stéphane Glondu (@glondu)
[Git][ocaml-team/opam][pristine-tar] pristine-tar data for opam_2.5.0.orig.tar.gz Stéphane Glondu (@glondu)
[Git][ocaml-team/opam] Pushed new tag upstream/2.5.0 Stéphane Glondu (@glondu)
[Git][ocaml-team/opam][upstream] New upstream version 2.5.0 Stéphane Glondu (@glondu)
opam_2.5.0-1_source.changes ACCEPTED into unstable Debian FTP Masters
Processing of opam_2.5.0-1_source.changes Debian FTP Masters
Bug#1121831: advi: FTBFS in sid Gianfranco Costamagna
Bug#1121833: ben: confused by :native build-dependencies Graham Inggs

Bug#1121833: ben: confused by :native build-dependencies Stéphane Glondu

Bug#1121833: ben: confused by :native build-dependencies Graham Inggs

Bug#1121833: ben: confused by :native build-dependencies Graham Inggs
Bug#1121833: ben: confused by :native build-dependencies Stéphane Glondu
Bug#1121833: ben: confused by :native build-dependencies Graham Inggs
Bug#1121833: ben: confused by :native build-dependencies Stéphane Glondu
Bug#1121833: ben: confused by :native build-dependencies Stéphane Glondu
Bug#1121833: ben: confused by :native build-dependencies Graham Inggs

Bug#1121833: marked as done (ben: confused by :native build-dependencies) Debian Bug Tracking System

Processed: limit source to advi, tagging 1121831 Debian Bug Tracking System
[Git][ocaml-team/advi][master] doc: fix option 'francais' of babel package Ralf Treinen (@treinen)
Processed: tagging 1121981, tagging 1122003, tagging 1122009, tagging 1122017, tagging 1122023, tagging 1122024 ... Debian Bug Tracking System
ben_1.14_source.changes ACCEPTED into unstable Debian FTP Masters
Processing of ben_1.14_source.changes Debian FTP Masters
Bug#1122238: ben should ignore Build-Depends-Indep Adrian Bunk

Bug#1122238: ben should ignore Build-Depends-Indep Stéphane Glondu

Message not available
- Bug#1122238: ben should ignore Build-Depends-Indep Stéphane Glondu

Bug#1122303: ocaml-eio: FTBFS with the nocheck build profile Santiago Vila

Bug#1122303: marked as done (ocaml-eio: FTBFS with the nocheck build profile) Debian Bug Tracking System

ocaml-eio_1.3-2_source.changes ACCEPTED into unstable Debian FTP Masters
Processing of ocaml-eio_1.3-2_source.changes Debian FTP Masters
Processed: metadata Debian Bug Tracking System
Bug#1122492: why3: FTBFS: Fatal error: exception Sys_error("debian/why3/usr/lib/x86_64-linux-gnu/ocaml/5.3.0/why3/commands/why3ide.cma: No such file or directory") Santiago Vila
advi is marked for autoremoval from testing Debian testing autoremoval watch
Bug#1043823: camomile: Fails to build source after successful build Santiago Vila

Processed: Re: camomile: Fails to build source after successful build Debian Bug Tracking System

Bug#1044568: extlib: Fails to build source after successful build Santiago Vila

Processed: Re: extlib: Fails to build source after successful build Debian Bug Tracking System

Bug#1045855: ocaml-ca-certs: Fails to build source after successful build Santiago Vila

Processed: Re: ocaml-ca-certs: Fails to build source after successful build Debian Bug Tracking System

Bug#1046478: ocaml-alcotest: Fails to build source after successful build Santiago Vila

Processed: Re: ocaml-alcotest: Fails to build source after successful build Debian Bug Tracking System

Bug#1047520: janest-ocaml-compiler-libs: Fails to build source after successful build Santiago Vila

Processed: Re: janest-ocaml-compiler-libs: Fails to build source after successful build Debian Bug Tracking System

Bug#1048153: nss-passwords: Fails to build source after successful build Santiago Vila

Processed: Re: nss-passwords: Fails to build source after successful build Debian Bug Tracking System

Bug#1047036: ssreflect: Fails to build source after successful build Santiago Vila

Processed: Re: ssreflect: Fails to build source after successful build Debian Bug Tracking System

Processed: tags Debian Bug Tracking System
[Git][ocaml-team/ocaml][debian/experimental] 3 commits: fma test from test suite fails on hppa, enable emulation like on m68k Stéphane Glondu (@glondu)
[Git][ocaml-team/ocaml] Pushed new tag archive/debian/5.4.0-1_exp2 Stéphane Glondu (@glondu)
[Git][ocaml-team/ocaml] Pushed new tag debian/5.4.0-1_exp2 Stéphane Glondu (@glondu)
ocaml_5.4.0-1~exp2_source.changes ACCEPTED into experimental Debian FTP Masters
Processing of ocaml_5.4.0-1~exp2_source.changes Debian FTP Masters
[Git][ocaml-team/ocaml][debian/experimental] 2 commits: Mark test_compact_manydomains as multicore Stéphane Glondu (@glondu)
[Git][ocaml-team/ocaml] Pushed new tag debian/5.4.0-1_exp3 Stéphane Glondu (@glondu)
[Git][ocaml-team/ocaml] Pushed new tag archive/debian/5.4.0-1_exp3 Stéphane Glondu (@glondu)
Processing of ocaml_5.4.0-1~exp3_source.changes Debian FTP Masters
ocaml_5.4.0-1~exp3_source.changes ACCEPTED into experimental Debian FTP Masters
ocamlbuild_0.16.1-2_source.changes ACCEPTED into unstable Debian FTP Masters
[Git][ocaml-team/ocamlbuild] Pushed new tag archive/debian/0.16.1-2 Stéphane Glondu (@glondu)
[Git][ocaml-team/ocamlbuild][master] 3 commits: Fix PrincipalFlag test with OCaml 5.4.0 Stéphane Glondu (@glondu)
[Git][ocaml-team/ocamlbuild] Pushed new tag debian/0.16.1-2 Stéphane Glondu (@glondu)
Processing of ocamlbuild_0.16.1-2_source.changes Debian FTP Masters
[Git][ocaml-team/camlp4][pristine-tar] pristine-tar data for camlp4_5.4+1.orig.tar.gz Stéphane Glondu (@glondu)
[Git][ocaml-team/camlp4] Pushed new tag upstream/5.4+1 Stéphane Glondu (@glondu)
[Git][ocaml-team/camlp5][pristine-tar] 6 commits: pristine-tar data for camlp5_8.03.02.orig.tar.gz Stéphane Glondu (@glondu)
[Git][ocaml-team/camlp5][master] 11 commits: Switch debian/watch to version 5 Stéphane Glondu (@glondu)
[Git][ocaml-team/camlp5] Pushed new tag upstream/8.03.02 Stéphane Glondu (@glondu)
[Git][ocaml-team/camlp5][upstream] 6 commits: New upstream version 8.03.02 Stéphane Glondu (@glondu)
[Git][ocaml-team/camlp5] Pushed new tag upstream/8.03.03 Stéphane Glondu (@glondu)
[Git][ocaml-team/camlp5] Pushed new tag upstream/8.03.04 Stéphane Glondu (@glondu)
[Git][ocaml-team/camlp5] Pushed new tag upstream/8.04.00 Stéphane Glondu (@glondu)
[Git][ocaml-team/camlp5] Pushed new tag upstream/8.03.05 Stéphane Glondu (@glondu)
[Git][ocaml-team/camlp5] Pushed new tag upstream/8.03.06 Stéphane Glondu (@glondu)
[Git][ocaml-team/ocamlnet] Pushed new tag archive/debian/4.1.9-7 Stéphane Glondu (@glondu)
[Git][ocaml-team/ocamlnet][master] 4 commits: Fix compilation with OCaml 5.04.0 Stéphane Glondu (@glondu)
[Git][ocaml-team/ocamlnet] Pushed new tag debian/4.1.9-7 Stéphane Glondu (@glondu)
[Git][ocaml-team/ocaml-batteries][pristine-tar] pristine-tar data for ocaml-batteries_3.10.0.orig.tar.gz Stéphane Glondu (@glondu)
[Git][ocaml-team/ocaml-batteries] Pushed new tag upstream/3.10.0 Stéphane Glondu (@glondu)
ocamlnet_4.1.9-7_source.changes ACCEPTED into unstable Debian FTP Masters
Processing of ocamlnet_4.1.9-7_source.changes Debian FTP Masters
ocaml-multicore-magic_2.3.1-3_source.changes ACCEPTED into unstable Debian FTP Masters
Processing of ocaml-multicore-magic_2.3.1-3_source.changes Debian FTP Masters
ocaml-stdcompat_21.1-1_source.changes ACCEPTED into unstable Debian FTP Masters
[Git][ocaml-team/ocaml-batteries][master] Prepare upload to unstable Stéphane Glondu (@glondu)
[Git][ocaml-team/ocaml-batteries] Pushed new tag archive/debian/3.10.0-1 Stéphane Glondu (@glondu)
[Git][ocaml-team/ocaml-batteries] Pushed new tag debian/3.10.0-1 Stéphane Glondu (@glondu)
Processing of ocaml-stdcompat_21.1-1_source.changes Debian FTP Masters
ocaml-batteries_3.10.0-1_source.changes ACCEPTED into unstable Debian FTP Masters
Processing of ocaml-batteries_3.10.0-1_source.changes Debian FTP Masters
why3 is marked for autoremoval from testing Debian testing autoremoval watch
[Git][ocaml-team/ocaml-gettext][master] 3 commits: Fix compilation with OCaml 5.4.0 Stéphane Glondu (@glondu)
[Git][ocaml-team/eliom][master] 3 commits: Fix compilation with OCaml 5.4.0 Stéphane Glondu (@glondu)
ocaml-merlin_5.6-503+ds-1_source.changes ACCEPTED into unstable Debian FTP Masters
Processing of ocaml-merlin_5.6-503+ds-1_source.changes Debian FTP Masters
pyml_20250807-1_source.changes ACCEPTED into unstable Debian FTP Masters
Processing of pyml_20250807-1_source.changes Debian FTP Masters
ocamlformat_0.28.1-1_source.changes ACCEPTED into unstable Debian FTP Masters
Processing of ocamlformat_0.28.1-1_source.changes Debian FTP Masters
Bug#1123656: transition: ocaml 5.4.0 Stéphane Glondu

Re: Bug#1123656: transition: ocaml 5.4.0 Stéphane Glondu

Re: Bug#1123656: transition: ocaml 5.4.0 Emilio Pozuelo Monfort

[Git][ocaml-team/hol-light][master] 7 commits: New upstream version 3.0.0 Stéphane Glondu (@glondu)
[Git][ocaml-team/hol-light][pristine-tar] pristine-tar data for hol-light_3.1.0.orig.tar.xz Stéphane Glondu (@glondu)
[Git][ocaml-team/hol-light][upstream] New upstream version 3.1.0 Stéphane Glondu (@glondu)
[Git][ocaml-team/hol-light] Pushed new tag upstream/3.1.0 Stéphane Glondu (@glondu)
[Git][ocaml-team/hol-light][master] Prepare upload to unstable Stéphane Glondu (@glondu)

<Possible follow-ups>
[Git][ocaml-team/hol-light][master] Prepare upload to unstable Stéphane Glondu (@glondu)

[Git][ocaml-team/hol-light] Pushed new tag debian/1%3.1.0-1 Stéphane Glondu (@glondu)
[Git][ocaml-team/hol-light] Pushed new tag archive/debian/1%3.1.0-1 Stéphane Glondu (@glondu)
hol-light_3.1.0-1_source.changes ACCEPTED into unstable Debian FTP Masters
Processing of hol-light_3.1.0-1_source.changes Debian FTP Masters
ocaml-posix_2.2.0-2_source.changes ACCEPTED into unstable Debian FTP Masters
Processing of ocaml-posix_2.2.0-2_source.changes Debian FTP Masters
Bug#1123728: ITP: ocaml-process -- easy process control in OCaml Stéphane Glondu
Processing of ocaml-process_0.2.1-1_amd64.changes Debian FTP Masters
ocaml-process_0.2.1-1_amd64.changes is NEW Debian FTP Masters
Processed: tagging 1105655, tagging 1105339, tagging 1044779, tagging 1049769, tagging 1105533, tagging 1044714 ... Debian Bug Tracking System
Processed: retitle 1122492 to why3: FTBFS:/bin/sh: 1: ccomps: not found Debian Bug Tracking System
ocaml-domain-local-await is marked for autoremoval from testing Debian testing autoremoval watch
js-of-ocaml-ocamlbuild is marked for autoremoval from testing Debian testing autoremoval watch
ocaml-digestif is marked for autoremoval from testing Debian testing autoremoval watch
mlpost is marked for autoremoval from testing Debian testing autoremoval watch
ocaml-decimal is marked for autoremoval from testing Debian testing autoremoval watch
ocaml-cstruct is marked for autoremoval from testing Debian testing autoremoval watch
ocaml-cry is marked for autoremoval from testing Debian testing autoremoval watch
ocaml-domain-name is marked for autoremoval from testing Debian testing autoremoval watch
ocaml-crunch is marked for autoremoval from testing Debian testing autoremoval watch
ocaml-conduit is marked for autoremoval from testing Debian testing autoremoval watch
ocaml-crowbar is marked for autoremoval from testing Debian testing autoremoval watch
js-of-ocaml is marked for autoremoval from testing Debian testing autoremoval watch
ocaml-containers is marked for autoremoval from testing Debian testing autoremoval watch
ppx-yojson-conv-lib is marked for autoremoval from testing Debian testing autoremoval watch
ocaml-bos is marked for autoremoval from testing Debian testing autoremoval watch
ocaml-csv is marked for autoremoval from testing Debian testing autoremoval watch
ben is marked for autoremoval from testing Debian testing autoremoval watch
headache is marked for autoremoval from testing Debian testing autoremoval watch
ocaml-backoff is marked for autoremoval from testing Debian testing autoremoval watch
ocaml-batteries is marked for autoremoval from testing Debian testing autoremoval watch
ocaml-atd is marked for autoremoval from testing Debian testing autoremoval watch
ocaml-cohttp is marked for autoremoval from testing Debian testing autoremoval watch
not-ocamlfind is marked for autoremoval from testing Debian testing autoremoval watch
belenios 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
ppx-yojson-conv is marked for autoremoval from testing Debian testing autoremoval watch
morsmall is marked for autoremoval from testing Debian testing autoremoval watch
ocaml-charinfo-width is marked for autoremoval from testing Debian testing autoremoval watch
ocaml-asn1-combinators is marked for autoremoval from testing Debian testing autoremoval watch
ocaml-alcotest is marked for autoremoval from testing Debian testing autoremoval watch
ppx-deriving-yojson is marked for autoremoval from testing Debian testing autoremoval watch
flocq is marked for autoremoval from testing Debian testing autoremoval watch
ocaml-base64 is marked for autoremoval from testing Debian testing autoremoval watch
unison-2.53 is marked for autoremoval from testing Debian testing autoremoval watch
obus is marked for autoremoval from testing Debian testing autoremoval watch
meta-unison is marked for autoremoval from testing Debian testing autoremoval watch
pgocaml is marked for autoremoval from testing Debian testing autoremoval watch
meta-ocaml is marked for autoremoval from testing Debian testing autoremoval watch
utop is marked for autoremoval from testing Debian testing autoremoval watch
morbig is marked for autoremoval from testing Debian testing autoremoval watch
tyxml is marked for autoremoval from testing Debian testing autoremoval watch
liquidsoap is marked for autoremoval from testing Debian testing autoremoval watch
ott is marked for autoremoval from testing Debian testing autoremoval watch
uutf is marked for autoremoval from testing Debian testing autoremoval watch
opam-file-format is marked for autoremoval from testing Debian testing autoremoval watch
dose3 is marked for autoremoval from testing Debian testing autoremoval watch
paramcoq is marked for autoremoval from testing Debian testing autoremoval watch
opam-0install-cudf is marked for autoremoval from testing Debian testing autoremoval watch
lwt is marked for autoremoval from testing Debian testing autoremoval watch
ocurl is marked for autoremoval from testing Debian testing autoremoval watch
opam is marked for autoremoval from testing Debian testing autoremoval watch
uuidm is marked for autoremoval from testing Debian testing autoremoval watch
elpi is marked for autoremoval from testing Debian testing autoremoval watch
eliom is marked for autoremoval from testing Debian testing autoremoval watch
lwt-ssl is marked for autoremoval from testing Debian testing autoremoval watch
mathcomp-algebra-tactics is marked for autoremoval from testing Debian testing autoremoval watch
ocsigenserver is marked for autoremoval from testing Debian testing autoremoval watch
ocplib-simplex is marked for autoremoval from testing Debian testing autoremoval watch
ocamlgraph is marked for autoremoval from testing Debian testing autoremoval watch
ocamlviz is marked for autoremoval from testing Debian testing autoremoval watch
mathcomp-analysis is marked for autoremoval from testing Debian testing autoremoval watch
omd is marked for autoremoval from testing Debian testing autoremoval watch
ocaml-x509 is marked for autoremoval from testing Debian testing autoremoval watch
lwt-log is marked for autoremoval from testing Debian testing autoremoval watch
ocaml-websocket is marked for autoremoval from testing Debian testing autoremoval watch
ocamldap is marked for autoremoval from testing Debian testing autoremoval watch
react is marked for autoremoval from testing Debian testing autoremoval watch
ocsipersist is marked for autoremoval from testing Debian testing autoremoval watch
reactivedata is marked for autoremoval from testing Debian testing autoremoval watch
mathcomp-finmap is marked for autoremoval from testing Debian testing autoremoval watch
mathcomp-real-closed is marked for autoremoval from testing Debian testing autoremoval watch
mathcomp-multinomials is marked for autoremoval from testing Debian testing autoremoval watch
ocaml-uucp is marked for autoremoval from testing Debian testing autoremoval watch
ocamlformat is marked for autoremoval from testing Debian testing autoremoval watch
wyrd is marked for autoremoval from testing Debian testing autoremoval watch
ocaml-usb is marked for autoremoval from testing Debian testing autoremoval watch
ocaml-uri is marked for autoremoval from testing Debian testing autoremoval watch
ocaml-version is marked for autoremoval from testing Debian testing autoremoval watch
mathcomp-bigenough is marked for autoremoval from testing Debian testing autoremoval watch
ocaml-thread-table is marked for autoremoval from testing Debian testing autoremoval watch
ocaml-unix-errno is marked for autoremoval from testing Debian testing autoremoval watch
ocaml-topkg is marked for autoremoval from testing Debian testing autoremoval watch
ocaml-uuseg is marked for autoremoval from testing Debian testing autoremoval watch
ocaml-uunf is marked for autoremoval from testing Debian testing autoremoval watch
ocaml-ssl is marked for autoremoval from testing Debian testing autoremoval watch
aac-tactics is marked for autoremoval from testing Debian testing autoremoval watch
ocaml-uucd is marked for autoremoval from testing Debian testing autoremoval watch
coquelicot is marked for autoremoval from testing Debian testing autoremoval watch
coq-unimath is marked for autoremoval from testing Debian testing autoremoval watch
coq-simple-io is marked for autoremoval from testing Debian testing autoremoval watch
mathcomp-zify is marked for autoremoval from testing Debian testing autoremoval watch
coqprime is marked for autoremoval from testing Debian testing autoremoval watch
ocaml-stringext is marked for autoremoval from testing Debian testing autoremoval watch
zed is marked for autoremoval from testing Debian testing autoremoval watch
coq-record-update is marked for autoremoval from testing Debian testing autoremoval watch
ocaml-spdx-licenses is marked for autoremoval from testing Debian testing autoremoval watch
coq-quickchick is marked for autoremoval from testing Debian testing autoremoval watch
coqeal is marked for autoremoval from testing Debian testing autoremoval watch
coq-unicoq is marked for autoremoval from testing Debian testing autoremoval watch
coq-stdpp is marked for autoremoval from testing Debian testing autoremoval watch
ocaml-qcheck is marked for autoremoval from testing Debian testing autoremoval watch
coq-relation-algebra is marked for autoremoval from testing Debian testing autoremoval watch
ocaml-qtest is marked for autoremoval from testing Debian testing autoremoval watch
ocaml-psq is marked for autoremoval from testing Debian testing autoremoval watch
coq-reglang is marked for autoremoval from testing Debian testing autoremoval watch
coq-reduction-effects is marked for autoremoval from testing Debian testing autoremoval watch
coq-menhirlib is marked for autoremoval from testing Debian testing autoremoval watch
ocaml-sedlex is marked for autoremoval from testing Debian testing autoremoval watch
ocaml-posix is marked for autoremoval from testing Debian testing autoremoval watch
ocaml-pbkdf is marked for autoremoval from testing Debian testing autoremoval watch
ocaml-saturn is marked for autoremoval from testing Debian testing autoremoval watch
sail-ocaml is marked for autoremoval from testing Debian testing autoremoval watch
ocaml-randomconv is marked for autoremoval from testing Debian testing autoremoval watch
ocaml-rresult is marked for autoremoval from testing Debian testing autoremoval watch
coq-interval is marked for autoremoval from testing Debian testing autoremoval watch
coq-iris is marked for autoremoval from testing Debian testing autoremoval watch
ocaml-oseq is marked for autoremoval from testing Debian testing autoremoval watch
coq-mtac2 is marked for autoremoval from testing Debian testing autoremoval watch
ocaml-ptime is marked for autoremoval from testing Debian testing autoremoval watch
coq-hierarchy-builder is marked for autoremoval from testing Debian testing autoremoval watch
ocaml-ohex is marked for autoremoval from testing Debian testing autoremoval watch
ocaml-odoc is marked for autoremoval from testing Debian testing autoremoval watch
coq-hott is marked for autoremoval from testing Debian testing autoremoval watch
coq-extructures is marked for autoremoval from testing Debian testing autoremoval watch
coq-math-classes is marked for autoremoval from testing Debian testing autoremoval watch
ocaml-multicoretests is marked for autoremoval from testing Debian testing autoremoval watch
ocaml-patch is marked for autoremoval from testing Debian testing autoremoval watch
coq-libhyps is marked for autoremoval from testing Debian testing autoremoval watch
coq-ext-lib is marked for autoremoval from testing Debian testing autoremoval watch
coq-equations is marked for autoremoval from testing Debian testing autoremoval watch
ocaml-multicore-magic is marked for autoremoval from testing Debian testing autoremoval watch
coq-deriving is marked for autoremoval from testing Debian testing autoremoval watch
coq-elpi is marked for autoremoval from testing Debian testing autoremoval watch
coq-corn is marked for autoremoval from testing Debian testing autoremoval watch
coq-hammer is marked for autoremoval from testing Debian testing autoremoval watch
coq-gappa 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-mtime 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-mirage-kv is marked for autoremoval from testing Debian testing autoremoval watch
ocaml-merlin is marked for autoremoval from testing Debian testing autoremoval watch
nurpawiki is marked for autoremoval from testing Debian testing autoremoval watch
ocaml-multicore-bench is marked for autoremoval from testing Debian testing autoremoval watch
coq-dpdgraph is marked for autoremoval from testing Debian testing autoremoval watch
ocaml-mdx is marked for autoremoval from testing Debian testing autoremoval watch
ocaml-markup is marked for autoremoval from testing Debian testing autoremoval watch
coq-bignums is marked for autoremoval from testing Debian testing autoremoval watch
coq is marked for autoremoval from testing Debian testing autoremoval watch
nss-passwords is marked for autoremoval from testing Debian testing autoremoval watch
ocaml-linenoise is marked for autoremoval from testing Debian testing autoremoval watch
ocaml-monolith is marked for autoremoval from testing Debian testing autoremoval watch
nproc is marked for autoremoval from testing Debian testing autoremoval watch
ocaml-kdf is marked for autoremoval from testing Debian testing autoremoval watch
ocaml-mirage-crypto is marked for autoremoval from testing Debian testing autoremoval watch
ocaml-logs is marked for autoremoval from testing Debian testing autoremoval watch
ocaml-ipaddr is marked for autoremoval from testing Debian testing autoremoval watch
ocaml-iter is marked for autoremoval from testing Debian testing autoremoval watch
ocaml-iomux is marked for autoremoval from testing Debian testing autoremoval watch
ocaml-hmap is marked for autoremoval from testing Debian testing autoremoval watch
ssreflect is marked for autoremoval from testing Debian testing autoremoval watch
camomile is marked for autoremoval from testing Debian testing autoremoval watch
ocaml-lwt-dllist is marked for autoremoval from testing Debian testing autoremoval watch
camlp5-buildscripts is marked for autoremoval from testing Debian testing autoremoval watch
ocaml-inotify is marked for autoremoval from testing Debian testing autoremoval watch
ocaml-gen is marked for autoremoval from testing Debian testing autoremoval watch
ocaml-fmt is marked for autoremoval from testing Debian testing autoremoval watch
ocaml-fpath is marked for autoremoval from testing Debian testing autoremoval watch
ledit is marked for autoremoval from testing Debian testing autoremoval watch
ocaml-eqaf is marked for autoremoval from testing Debian testing autoremoval watch
ocaml-hex is marked for autoremoval from testing Debian testing autoremoval watch
laby is marked for autoremoval from testing Debian testing autoremoval watch
ocaml-gmap is marked for autoremoval from testing Debian testing autoremoval watch
lambda-term is marked for autoremoval from testing Debian testing autoremoval watch
ocaml-gettext is marked for autoremoval from testing Debian testing autoremoval watch
ocaml-eio is marked for autoremoval from testing Debian testing autoremoval watch
camlp5 is marked for autoremoval from testing Debian testing autoremoval watch
jsonm is marked for autoremoval from testing Debian testing autoremoval watch
ocaml-duration is marked for autoremoval from testing Debian testing autoremoval watch
ocaml-expect is marked for autoremoval from testing Debian testing autoremoval watch
camlbz2 is marked for autoremoval from testing Debian testing autoremoval watch
lablgtk3 is marked for autoremoval from testing Debian testing autoremoval watch
yojson is marked for autoremoval from testing Debian testing autoremoval watch
ocaml-dscheck is marked for autoremoval from testing Debian testing autoremoval watch
hol-light is marked for autoremoval from testing Debian testing autoremoval watch
ocaml_5.4.0-1_source.changes ACCEPTED into unstable Debian FTP Masters
[Git][ocaml-team/ocaml] Pushed new tag archive/debian/5.4.0-1 Stéphane Glondu (@glondu)
[Git][ocaml-team/ocaml] Pushed new tag debian/5.4.0-1 Stéphane Glondu (@glondu)
Processing of ocaml_5.4.0-1_source.changes Debian FTP Masters
[Git][ocaml-team/ocaml-tools][master] Recompile with OCaml 5.4.0 Stéphane Glondu (@glondu)
[Git][ocaml-team/ocaml-tools] Pushed new tag archive/debian/20120103-14 Stéphane Glondu (@glondu)
[Git][ocaml-team/ocaml-tools] Pushed new tag debian/20120103-14 Stéphane Glondu (@glondu)
Processing of ocaml-tools_20120103-14_source.changes Debian FTP Masters
ocaml-tools_20120103-14_source.changes ACCEPTED into unstable Debian FTP Masters
[Git][ocaml-team/camlp4][master] Prepare upload to unstable Stéphane Glondu (@glondu)
[Git][ocaml-team/camlp4] Pushed new tag archive/debian/5.4+1-1 Stéphane Glondu (@glondu)
[Git][ocaml-team/camlp4] Pushed new tag debian/5.4+1-1 Stéphane Glondu (@glondu)
camlp4_5.4+1-1_source.changes ACCEPTED into unstable Debian FTP Masters
Processing of camlp4_5.4+1-1_source.changes Debian FTP Masters
[Git][ocaml-team/camlp5][master] Prepare upload to unstable Stéphane Glondu (@glondu)
[Git][ocaml-team/camlp5] Pushed new tag archive/debian/8.04.00-1 Stéphane Glondu (@glondu)
[Git][ocaml-team/camlp5] Pushed new tag debian/8.04.00-1 Stéphane Glondu (@glondu)
Processing of ocaml-merlin_5.6-504+ds-1_source.changes Debian FTP Masters
[Git][ocaml-team/hol-light] Pushed new tag archive/debian/1%3.1.0-2 Stéphane Glondu (@glondu)
[Git][ocaml-team/hol-light] Pushed new tag debian/1%3.1.0-2 Stéphane Glondu (@glondu)
Processing of camlp5_8.04.00-1_source.changes Debian FTP Masters
[Git][ocaml-team/ocaml-gettext][master] Prepare upload to unstable Stéphane Glondu (@glondu)
[Git][ocaml-team/ocaml-gettext] Pushed new tag archive/debian/0.5.0+really0.4.2-2 Stéphane Glondu (@glondu)
[Git][ocaml-team/ocaml-gettext] Pushed new tag debian/0.5.0+really0.4.2-2 Stéphane Glondu (@glondu)
[Git][ocaml-team/eliom][master] Prepare upload to unstable Stéphane Glondu (@glondu)
[Git][ocaml-team/eliom] Pushed new tag archive/debian/11.1.1-5 Stéphane Glondu (@glondu)
[Git][ocaml-team/eliom] Pushed new tag debian/11.1.1-5 Stéphane Glondu (@glondu)
camlp5_8.04.00-1_source.changes ACCEPTED into unstable Debian FTP Masters
eliom_11.1.1-5_source.changes ACCEPTED into unstable Debian FTP Masters
hol-light_3.1.0-2_source.changes ACCEPTED into unstable Debian FTP Masters
Processing of ocaml-gettext_0.5.0+really0.4.2-2_source.changes Debian FTP Masters
Processing of hol-light_3.1.0-2_source.changes Debian FTP Masters
ocaml-gettext_0.5.0+really0.4.2-2_source.changes ACCEPTED into unstable Debian FTP Masters
ocaml-merlin_5.6-504+ds-1_source.changes ACCEPTED into unstable Debian FTP Masters
Processing of eliom_11.1.1-5_source.changes Debian FTP Masters
[Git][ocaml-team/opam-file-format][master] 2 commits: Disable tests to cut build-dependency cycle Stéphane Glondu (@glondu)
[Git][ocaml-team/opam-file-format] Pushed new tag archive/debian/2.2.0-2 Stéphane Glondu (@glondu)
[Git][ocaml-team/opam-file-format] Pushed new tag debian/2.2.0-2 Stéphane Glondu (@glondu)
opam-file-format_2.2.0-2_source.changes ACCEPTED into unstable Debian FTP Masters
Processing of opam-file-format_2.2.0-2_source.changes Debian FTP Masters
elpi_2.0.7-3_source.changes ACCEPTED into unstable Debian FTP Masters
Processing of elpi_2.0.7-3_source.changes Debian FTP Masters
Bug#1049555: ocaml-uunf: Fails to build binary packages again after successful build Santiago Vila

Processed: Re: ocaml-uunf: Fails to build binary packages again after successful build Debian Bug Tracking System

Bug#1049724: ocaml-uucp: Fails to build binary packages again after successful build Santiago Vila

Processed: Re: ocaml-uucp: Fails to build binary packages again after successful build Debian Bug Tracking System

Processed: drop tags Debian Bug Tracking System
[Git][ocaml-team/lwt][master] drop Recommands liblwt-ocaml-doc Ralf Treinen (@treinen)
[Git][ocaml-team/lwt][master] typo in changelog Ralf Treinen (@treinen)
Bug#1124402: ITP: herdtools7 -- A tool suite to test weak memory models Sebastian Andrzej Siewior

The last update was on 19:40 GMT Wed Dec 31. There are 364 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