debian-ocaml-maint  

Messages by Date

• 2025/12/24 ocaml-oseq is marked for autoremoval from testing Debian testing autoremoval watch
• 2025/12/24 coq-iris is marked for autoremoval from testing Debian testing autoremoval watch
• 2025/12/24 coq-interval is marked for autoremoval from testing Debian testing autoremoval watch
• 2025/12/24 ocaml-rresult is marked for autoremoval from testing Debian testing autoremoval watch
• 2025/12/24 ocaml-randomconv is marked for autoremoval from testing Debian testing autoremoval watch
• 2025/12/24 sail-ocaml is marked for autoremoval from testing Debian testing autoremoval watch
• 2025/12/24 ocaml-saturn is marked for autoremoval from testing Debian testing autoremoval watch
• 2025/12/24 ocaml-pbkdf is marked for autoremoval from testing Debian testing autoremoval watch
• 2025/12/24 ocaml-posix is marked for autoremoval from testing Debian testing autoremoval watch
• 2025/12/24 ocaml-sedlex is marked for autoremoval from testing Debian testing autoremoval watch
• 2025/12/24 coq-menhirlib is marked for autoremoval from testing Debian testing autoremoval watch
• 2025/12/24 coq-reduction-effects is marked for autoremoval from testing Debian testing autoremoval watch
• 2025/12/24 coq-reglang is marked for autoremoval from testing Debian testing autoremoval watch
• 2025/12/24 ocaml-psq is marked for autoremoval from testing Debian testing autoremoval watch
• 2025/12/24 ocaml-qtest is marked for autoremoval from testing Debian testing autoremoval watch
• 2025/12/24 coq-relation-algebra is marked for autoremoval from testing Debian testing autoremoval watch
• 2025/12/24 ocaml-qcheck is marked for autoremoval from testing Debian testing autoremoval watch
• 2025/12/24 coq-stdpp is marked for autoremoval from testing Debian testing autoremoval watch
• 2025/12/24 coq-unicoq is marked for autoremoval from testing Debian testing autoremoval watch
• 2025/12/24 coqeal is marked for autoremoval from testing Debian testing autoremoval watch
• 2025/12/24 coq-quickchick is marked for autoremoval from testing Debian testing autoremoval watch
• 2025/12/24 ocaml-spdx-licenses is marked for autoremoval from testing Debian testing autoremoval watch
• 2025/12/24 coq-record-update is marked for autoremoval from testing Debian testing autoremoval watch
• 2025/12/24 zed is marked for autoremoval from testing Debian testing autoremoval watch
• 2025/12/24 ocaml-stringext is marked for autoremoval from testing Debian testing autoremoval watch
• 2025/12/24 coqprime is marked for autoremoval from testing Debian testing autoremoval watch
• 2025/12/24 mathcomp-zify is marked for autoremoval from testing Debian testing autoremoval watch
• 2025/12/24 coq-simple-io is marked for autoremoval from testing Debian testing autoremoval watch
• 2025/12/24 coq-unimath is marked for autoremoval from testing Debian testing autoremoval watch
• 2025/12/24 coquelicot is marked for autoremoval from testing Debian testing autoremoval watch
• 2025/12/24 ocaml-uucd is marked for autoremoval from testing Debian testing autoremoval watch
• 2025/12/24 aac-tactics is marked for autoremoval from testing Debian testing autoremoval watch
• 2025/12/24 ocaml-ssl is marked for autoremoval from testing Debian testing autoremoval watch
• 2025/12/24 ocaml-uunf is marked for autoremoval from testing Debian testing autoremoval watch
• 2025/12/24 ocaml-uuseg is marked for autoremoval from testing Debian testing autoremoval watch
• 2025/12/24 ocaml-topkg is marked for autoremoval from testing Debian testing autoremoval watch
• 2025/12/24 ocaml-unix-errno is marked for autoremoval from testing Debian testing autoremoval watch
• 2025/12/24 ocaml-thread-table is marked for autoremoval from testing Debian testing autoremoval watch
• 2025/12/24 mathcomp-bigenough is marked for autoremoval from testing Debian testing autoremoval watch
• 2025/12/24 ocaml-version is marked for autoremoval from testing Debian testing autoremoval watch
• 2025/12/24 ocaml-uri is marked for autoremoval from testing Debian testing autoremoval watch
• 2025/12/24 ocaml-usb is marked for autoremoval from testing Debian testing autoremoval watch
• 2025/12/24 wyrd is marked for autoremoval from testing Debian testing autoremoval watch
• 2025/12/24 ocamlformat is marked for autoremoval from testing Debian testing autoremoval watch
• 2025/12/24 ocaml-uucp is marked for autoremoval from testing Debian testing autoremoval watch
• 2025/12/24 mathcomp-multinomials is marked for autoremoval from testing Debian testing autoremoval watch
• 2025/12/24 mathcomp-real-closed is marked for autoremoval from testing Debian testing autoremoval watch
• 2025/12/24 mathcomp-finmap is marked for autoremoval from testing Debian testing autoremoval watch
• 2025/12/24 reactivedata is marked for autoremoval from testing Debian testing autoremoval watch
• 2025/12/24 ocsipersist is marked for autoremoval from testing Debian testing autoremoval watch
• 2025/12/24 react is marked for autoremoval from testing Debian testing autoremoval watch
• 2025/12/24 ocamldap is marked for autoremoval from testing Debian testing autoremoval watch
• 2025/12/24 ocaml-websocket is marked for autoremoval from testing Debian testing autoremoval watch
• 2025/12/24 lwt-log is marked for autoremoval from testing Debian testing autoremoval watch
• 2025/12/24 ocaml-x509 is marked for autoremoval from testing Debian testing autoremoval watch
• 2025/12/24 omd is marked for autoremoval from testing Debian testing autoremoval watch
• 2025/12/24 mathcomp-analysis is marked for autoremoval from testing Debian testing autoremoval watch
• 2025/12/24 ocamlviz is marked for autoremoval from testing Debian testing autoremoval watch
• 2025/12/24 ocamlgraph is marked for autoremoval from testing Debian testing autoremoval watch
• 2025/12/24 ocplib-simplex is marked for autoremoval from testing Debian testing autoremoval watch
• 2025/12/24 ocsigenserver is marked for autoremoval from testing Debian testing autoremoval watch
• 2025/12/24 mathcomp-algebra-tactics is marked for autoremoval from testing Debian testing autoremoval watch
• 2025/12/24 lwt-ssl is marked for autoremoval from testing Debian testing autoremoval watch
• 2025/12/24 eliom is marked for autoremoval from testing Debian testing autoremoval watch
• 2025/12/24 elpi is marked for autoremoval from testing Debian testing autoremoval watch
• 2025/12/24 uuidm is marked for autoremoval from testing Debian testing autoremoval watch
• 2025/12/24 opam is marked for autoremoval from testing Debian testing autoremoval watch
• 2025/12/24 ocurl is marked for autoremoval from testing Debian testing autoremoval watch
• 2025/12/24 lwt is marked for autoremoval from testing Debian testing autoremoval watch
• 2025/12/24 opam-0install-cudf is marked for autoremoval from testing Debian testing autoremoval watch
• 2025/12/24 paramcoq is marked for autoremoval from testing Debian testing autoremoval watch
• 2025/12/24 dose3 is marked for autoremoval from testing Debian testing autoremoval watch
• 2025/12/24 opam-file-format is marked for autoremoval from testing Debian testing autoremoval watch
• 2025/12/24 uutf is marked for autoremoval from testing Debian testing autoremoval watch
• 2025/12/24 ott is marked for autoremoval from testing Debian testing autoremoval watch
• 2025/12/24 liquidsoap is marked for autoremoval from testing Debian testing autoremoval watch
• 2025/12/24 tyxml is marked for autoremoval from testing Debian testing autoremoval watch
• 2025/12/24 morbig is marked for autoremoval from testing Debian testing autoremoval watch
• 2025/12/24 utop is marked for autoremoval from testing Debian testing autoremoval watch
• 2025/12/24 meta-ocaml is marked for autoremoval from testing Debian testing autoremoval watch
• 2025/12/24 pgocaml is marked for autoremoval from testing Debian testing autoremoval watch
• 2025/12/24 meta-unison is marked for autoremoval from testing Debian testing autoremoval watch
• 2025/12/24 obus is marked for autoremoval from testing Debian testing autoremoval watch
• 2025/12/24 unison-2.53 is marked for autoremoval from testing Debian testing autoremoval watch
• 2025/12/24 ocaml-base64 is marked for autoremoval from testing Debian testing autoremoval watch
• 2025/12/24 flocq is marked for autoremoval from testing Debian testing autoremoval watch
• 2025/12/24 ppx-deriving-yojson is marked for autoremoval from testing Debian testing autoremoval watch
• 2025/12/24 ocaml-alcotest is marked for autoremoval from testing Debian testing autoremoval watch
• 2025/12/24 ocaml-asn1-combinators is marked for autoremoval from testing Debian testing autoremoval watch
• 2025/12/24 ocaml-charinfo-width is marked for autoremoval from testing Debian testing autoremoval watch
• 2025/12/24 morsmall is marked for autoremoval from testing Debian testing autoremoval watch
• 2025/12/24 ppx-yojson-conv is marked for autoremoval from testing Debian testing autoremoval watch
• 2025/12/24 ocaml-ca-certs is marked for autoremoval from testing Debian testing autoremoval watch
• 2025/12/24 ocaml-astring is marked for autoremoval from testing Debian testing autoremoval watch
• 2025/12/24 belenios is marked for autoremoval from testing Debian testing autoremoval watch
• 2025/12/24 not-ocamlfind is marked for autoremoval from testing Debian testing autoremoval watch
• 2025/12/24 ocaml-cohttp is marked for autoremoval from testing Debian testing autoremoval watch
• 2025/12/24 ocaml-atd is marked for autoremoval from testing Debian testing autoremoval watch
• 2025/12/24 ocaml-batteries is marked for autoremoval from testing Debian testing autoremoval watch
• 2025/12/24 ocaml-backoff is marked for autoremoval from testing Debian testing autoremoval watch
• 2025/12/24 headache is marked for autoremoval from testing Debian testing autoremoval watch
• 2025/12/24 ben is marked for autoremoval from testing Debian testing autoremoval watch
• 2025/12/24 ocaml-csv is marked for autoremoval from testing Debian testing autoremoval watch
• 2025/12/24 ocaml-bos is marked for autoremoval from testing Debian testing autoremoval watch
• 2025/12/24 ppx-yojson-conv-lib is marked for autoremoval from testing Debian testing autoremoval watch
• 2025/12/24 ocaml-containers is marked for autoremoval from testing Debian testing autoremoval watch
• 2025/12/24 js-of-ocaml is marked for autoremoval from testing Debian testing autoremoval watch
• 2025/12/24 ocaml-crowbar is marked for autoremoval from testing Debian testing autoremoval watch
• 2025/12/24 ocaml-conduit is marked for autoremoval from testing Debian testing autoremoval watch
• 2025/12/24 ocaml-crunch is marked for autoremoval from testing Debian testing autoremoval watch
• 2025/12/24 ocaml-domain-name is marked for autoremoval from testing Debian testing autoremoval watch
• 2025/12/24 ocaml-cry is marked for autoremoval from testing Debian testing autoremoval watch
• 2025/12/24 ocaml-cstruct is marked for autoremoval from testing Debian testing autoremoval watch
• 2025/12/24 ocaml-decimal is marked for autoremoval from testing Debian testing autoremoval watch
• 2025/12/24 mlpost is marked for autoremoval from testing Debian testing autoremoval watch
• 2025/12/24 ocaml-digestif is marked for autoremoval from testing Debian testing autoremoval watch
• 2025/12/24 js-of-ocaml-ocamlbuild is marked for autoremoval from testing Debian testing autoremoval watch
• 2025/12/24 ocaml-domain-local-await is marked for autoremoval from testing Debian testing autoremoval watch
• 2025/12/24 Re: Bug#1123656: transition: ocaml 5.4.0 Stéphane Glondu
• 2025/12/23 Processed: retitle 1122492 to why3: FTBFS:/bin/sh: 1: ccomps: not found Debian Bug Tracking System
• 2025/12/22 Bug#1122238: ben should ignore Build-Depends-Indep Stéphane Glondu
• 2025/12/20 Processed: tagging 1105655, tagging 1105339, tagging 1044779, tagging 1049769, tagging 1105533, tagging 1044714 ... Debian Bug Tracking System
• 2025/12/20 ocaml-process_0.2.1-1_amd64.changes is NEW Debian FTP Masters
• 2025/12/20 Processing of ocaml-process_0.2.1-1_amd64.changes Debian FTP Masters
• 2025/12/20 Bug#1123728: ITP: ocaml-process -- easy process control in OCaml Stéphane Glondu
• 2025/12/20 Processing of ocaml-posix_2.2.0-2_source.changes Debian FTP Masters
• 2025/12/20 ocaml-posix_2.2.0-2_source.changes ACCEPTED into unstable Debian FTP Masters
• 2025/12/19 Processing of hol-light_3.1.0-1_source.changes Debian FTP Masters
• 2025/12/19 hol-light_3.1.0-1_source.changes ACCEPTED into unstable Debian FTP Masters
• 2025/12/19 [Git][ocaml-team/hol-light] Pushed new tag archive/debian/1%3.1.0-1 @glondu
• 2025/12/19 [Git][ocaml-team/hol-light] Pushed new tag debian/1%3.1.0-1 @glondu
• 2025/12/19 [Git][ocaml-team/hol-light][master] Prepare upload to unstable @glondu
• 2025/12/19 [Git][ocaml-team/hol-light] Pushed new tag upstream/3.1.0 @glondu
• 2025/12/19 [Git][ocaml-team/hol-light][upstream] New upstream version 3.1.0 @glondu
• 2025/12/19 [Git][ocaml-team/hol-light][pristine-tar] pristine-tar data for hol-light_3.1.0.orig.tar.xz @glondu
• 2025/12/19 [Git][ocaml-team/hol-light][master] 7 commits: New upstream version 3.0.0 @glondu
• 2025/12/19 Bug#1123656: transition: ocaml 5.4.0 Stéphane Glondu
• 2025/12/19 Processing of ocamlformat_0.28.1-1_source.changes Debian FTP Masters
• 2025/12/19 ocamlformat_0.28.1-1_source.changes ACCEPTED into unstable Debian FTP Masters
• 2025/12/19 Processing of pyml_20250807-1_source.changes Debian FTP Masters
• 2025/12/19 pyml_20250807-1_source.changes ACCEPTED into unstable Debian FTP Masters
• 2025/12/19 Processing of ocaml-merlin_5.6-503+ds-1_source.changes Debian FTP Masters
• 2025/12/19 ocaml-merlin_5.6-503+ds-1_source.changes ACCEPTED into unstable Debian FTP Masters
• 2025/12/19 [Git][ocaml-team/eliom][master] 3 commits: Fix compilation with OCaml 5.4.0 @glondu
• 2025/12/19 [Git][ocaml-team/ocaml-gettext][master] 3 commits: Fix compilation with OCaml 5.4.0 @glondu
• 2025/12/18 why3 is marked for autoremoval from testing Debian testing autoremoval watch
• 2025/12/18 Processing of ocaml-batteries_3.10.0-1_source.changes Debian FTP Masters
• 2025/12/18 ocaml-batteries_3.10.0-1_source.changes ACCEPTED into unstable Debian FTP Masters
• 2025/12/18 Processing of ocaml-stdcompat_21.1-1_source.changes Debian FTP Masters
• 2025/12/18 [Git][ocaml-team/ocaml-batteries] Pushed new tag debian/3.10.0-1 @glondu
• 2025/12/18 [Git][ocaml-team/ocaml-batteries] Pushed new tag archive/debian/3.10.0-1 @glondu
• 2025/12/18 [Git][ocaml-team/ocaml-batteries][master] Prepare upload to unstable @glondu
• 2025/12/18 ocaml-stdcompat_21.1-1_source.changes ACCEPTED into unstable Debian FTP Masters
• 2025/12/17 Processing of ocaml-multicore-magic_2.3.1-3_source.changes Debian FTP Masters
• 2025/12/17 ocaml-multicore-magic_2.3.1-3_source.changes ACCEPTED into unstable Debian FTP Masters
• 2025/12/17 Processing of ocamlnet_4.1.9-7_source.changes Debian FTP Masters
• 2025/12/17 ocamlnet_4.1.9-7_source.changes ACCEPTED into unstable Debian FTP Masters
• 2025/12/17 [Git][ocaml-team/ocaml-batteries] Pushed new tag upstream/3.10.0 @glondu
• 2025/12/17 [Git][ocaml-team/ocaml-batteries][pristine-tar] pristine-tar data for ocaml-batteries_3.10.0.orig.tar.gz @glondu
• 2025/12/17 [Git][ocaml-team/ocamlnet] Pushed new tag debian/4.1.9-7 @glondu
• 2025/12/17 [Git][ocaml-team/ocamlnet][master] 4 commits: Fix compilation with OCaml 5.04.0 @glondu
• 2025/12/17 [Git][ocaml-team/ocamlnet] Pushed new tag archive/debian/4.1.9-7 @glondu
• 2025/12/17 [Git][ocaml-team/camlp5] Pushed new tag upstream/8.03.06 @glondu
• 2025/12/17 [Git][ocaml-team/camlp5] Pushed new tag upstream/8.03.05 @glondu
• 2025/12/17 [Git][ocaml-team/camlp5] Pushed new tag upstream/8.04.00 @glondu
• 2025/12/17 [Git][ocaml-team/camlp5] Pushed new tag upstream/8.03.04 @glondu
• 2025/12/17 [Git][ocaml-team/camlp5] Pushed new tag upstream/8.03.03 @glondu
• 2025/12/17 [Git][ocaml-team/camlp5][upstream] 6 commits: New upstream version 8.03.02 @glondu
• 2025/12/17 [Git][ocaml-team/camlp5][master] 11 commits: Switch debian/watch to version 5 @glondu
• 2025/12/17 [Git][ocaml-team/camlp5] Pushed new tag upstream/8.03.02 @glondu
• 2025/12/17 [Git][ocaml-team/camlp5][pristine-tar] 6 commits: pristine-tar data for camlp5_8.03.02.orig.tar.gz @glondu
• 2025/12/17 [Git][ocaml-team/camlp4] Pushed new tag upstream/5.4+1 @glondu
• 2025/12/17 [Git][ocaml-team/camlp4][pristine-tar] pristine-tar data for camlp4_5.4+1.orig.tar.gz @glondu
• 2025/12/17 Processing of ocamlbuild_0.16.1-2_source.changes Debian FTP Masters
• 2025/12/17 [Git][ocaml-team/ocamlbuild][master] 3 commits: Fix PrincipalFlag test with OCaml 5.4.0 @glondu
• 2025/12/17 [Git][ocaml-team/ocamlbuild] Pushed new tag debian/0.16.1-2 @glondu
• 2025/12/17 [Git][ocaml-team/ocamlbuild] Pushed new tag archive/debian/0.16.1-2 @glondu
• 2025/12/17 ocamlbuild_0.16.1-2_source.changes ACCEPTED into unstable Debian FTP Masters
• 2025/12/15 ocaml_5.4.0-1~exp3_source.changes ACCEPTED into experimental Debian FTP Masters
• 2025/12/14 Processing of ocaml_5.4.0-1~exp3_source.changes Debian FTP Masters
• 2025/12/14 [Git][ocaml-team/ocaml] Pushed new tag archive/debian/5.4.0-1_exp3 @glondu
• 2025/12/14 [Git][ocaml-team/ocaml] Pushed new tag debian/5.4.0-1_exp3 @glondu
• 2025/12/14 [Git][ocaml-team/ocaml][debian/experimental] 2 commits: Mark test_compact_manydomains as multicore @glondu
• 2025/12/14 Processing of ocaml_5.4.0-1~exp2_source.changes Debian FTP Masters
• 2025/12/14 ocaml_5.4.0-1~exp2_source.changes ACCEPTED into experimental Debian FTP Masters
• 2025/12/14 [Git][ocaml-team/ocaml] Pushed new tag debian/5.4.0-1_exp2 @glondu
• 2025/12/14 [Git][ocaml-team/ocaml] Pushed new tag archive/debian/5.4.0-1_exp2 @glondu
• 2025/12/14 [Git][ocaml-team/ocaml][debian/experimental] 3 commits: fma test from test suite fails on hppa, enable emulation like on m68k @glondu
• 2025/12/13 Processed: tags Debian Bug Tracking System
• 2025/12/13 Processed: Re: ssreflect: Fails to build source after successful build Debian Bug Tracking System
• 2025/12/13 Bug#1047036: ssreflect: Fails to build source after successful build Santiago Vila
• 2025/12/13 Processed: Re: nss-passwords: Fails to build source after successful build Debian Bug Tracking System
• 2025/12/13 Bug#1048153: nss-passwords: Fails to build source after successful build Santiago Vila
• 2025/12/13 Processed: Re: janest-ocaml-compiler-libs: Fails to build source after successful build Debian Bug Tracking System
• 2025/12/13 Bug#1047520: janest-ocaml-compiler-libs: Fails to build source after successful build Santiago Vila
• 2025/12/13 Processed: Re: ocaml-alcotest: Fails to build source after successful build Debian Bug Tracking System
• 2025/12/13 Bug#1046478: ocaml-alcotest: Fails to build source after successful build Santiago Vila
• 2025/12/13 Processed: Re: ocaml-ca-certs: Fails to build source after successful build Debian Bug Tracking System
• 2025/12/13 Bug#1045855: ocaml-ca-certs: Fails to build source after successful build Santiago Vila
• 2025/12/13 Processed: Re: extlib: Fails to build source after successful build Debian Bug Tracking System

• Earlier messages
• Later messages