debian-ocaml-maint  

Messages by Date

• 2025/12/31 [Git][ocaml-team/lwt][master] drop Recommands liblwt-ocaml-doc Ralf Treinen (@treinen)
• 2025/12/30 Processed: drop tags Debian Bug Tracking System
• 2025/12/30 Processed: Re: ocaml-uucp: Fails to build binary packages again after successful build Debian Bug Tracking System
• 2025/12/30 Processed: Re: ocaml-uunf: Fails to build binary packages again after successful build Debian Bug Tracking System
• 2025/12/30 Bug#1049724: ocaml-uucp: Fails to build binary packages again after successful build Santiago Vila
• 2025/12/30 Bug#1049555: ocaml-uunf: Fails to build binary packages again after successful build Santiago Vila
• 2025/12/27 Processing of elpi_2.0.7-3_source.changes Debian FTP Masters
• 2025/12/27 elpi_2.0.7-3_source.changes ACCEPTED into unstable Debian FTP Masters
• 2025/12/27 Processing of opam-file-format_2.2.0-2_source.changes Debian FTP Masters
• 2025/12/27 opam-file-format_2.2.0-2_source.changes ACCEPTED into unstable Debian FTP Masters
• 2025/12/27 [Git][ocaml-team/opam-file-format] Pushed new tag debian/2.2.0-2 @glondu
• 2025/12/27 [Git][ocaml-team/opam-file-format] Pushed new tag archive/debian/2.2.0-2 @glondu
• 2025/12/27 [Git][ocaml-team/opam-file-format][master] 2 commits: Disable tests to cut build-dependency cycle @glondu
• 2025/12/26 Processing of eliom_11.1.1-5_source.changes Debian FTP Masters
• 2025/12/26 ocaml-merlin_5.6-504+ds-1_source.changes ACCEPTED into unstable Debian FTP Masters
• 2025/12/26 ocaml-gettext_0.5.0+really0.4.2-2_source.changes ACCEPTED into unstable Debian FTP Masters
• 2025/12/26 Processing of hol-light_3.1.0-2_source.changes Debian FTP Masters
• 2025/12/26 Processing of ocaml-gettext_0.5.0+really0.4.2-2_source.changes Debian FTP Masters
• 2025/12/26 hol-light_3.1.0-2_source.changes ACCEPTED into unstable Debian FTP Masters
• 2025/12/26 eliom_11.1.1-5_source.changes ACCEPTED into unstable Debian FTP Masters
• 2025/12/26 camlp5_8.04.00-1_source.changes ACCEPTED into unstable Debian FTP Masters
• 2025/12/26 [Git][ocaml-team/eliom] Pushed new tag debian/11.1.1-5 @glondu
• 2025/12/26 [Git][ocaml-team/eliom] Pushed new tag archive/debian/11.1.1-5 @glondu
• 2025/12/26 [Git][ocaml-team/eliom][master] Prepare upload to unstable @glondu
• 2025/12/26 [Git][ocaml-team/ocaml-gettext] Pushed new tag debian/0.5.0+really0.4.2-2 @glondu
• 2025/12/26 [Git][ocaml-team/ocaml-gettext] Pushed new tag archive/debian/0.5.0+really0.4.2-2 @glondu
• 2025/12/26 [Git][ocaml-team/ocaml-gettext][master] Prepare upload to unstable @glondu
• 2025/12/26 Processing of camlp5_8.04.00-1_source.changes Debian FTP Masters
• 2025/12/26 [Git][ocaml-team/hol-light] Pushed new tag debian/1%3.1.0-2 @glondu
• 2025/12/26 [Git][ocaml-team/hol-light] Pushed new tag archive/debian/1%3.1.0-2 @glondu
• 2025/12/26 [Git][ocaml-team/hol-light][master] Prepare upload to unstable @glondu
• 2025/12/26 Processing of ocaml-merlin_5.6-504+ds-1_source.changes Debian FTP Masters
• 2025/12/26 [Git][ocaml-team/camlp5] Pushed new tag debian/8.04.00-1 @glondu
• 2025/12/26 [Git][ocaml-team/camlp5] Pushed new tag archive/debian/8.04.00-1 @glondu
• 2025/12/26 [Git][ocaml-team/camlp5][master] Prepare upload to unstable @glondu
• 2025/12/26 Processing of camlp4_5.4+1-1_source.changes Debian FTP Masters
• 2025/12/26 camlp4_5.4+1-1_source.changes ACCEPTED into unstable Debian FTP Masters
• 2025/12/26 [Git][ocaml-team/camlp4] Pushed new tag debian/5.4+1-1 @glondu
• 2025/12/26 [Git][ocaml-team/camlp4] Pushed new tag archive/debian/5.4+1-1 @glondu
• 2025/12/26 [Git][ocaml-team/camlp4][master] Prepare upload to unstable @glondu
• 2025/12/26 ocaml-tools_20120103-14_source.changes ACCEPTED into unstable Debian FTP Masters
• 2025/12/26 Processing of ocaml-tools_20120103-14_source.changes Debian FTP Masters
• 2025/12/26 [Git][ocaml-team/ocaml-tools] Pushed new tag debian/20120103-14 @glondu
• 2025/12/26 [Git][ocaml-team/ocaml-tools] Pushed new tag archive/debian/20120103-14 @glondu
• 2025/12/26 [Git][ocaml-team/ocaml-tools][master] Recompile with OCaml 5.4.0 @glondu
• 2025/12/26 Processing of ocaml_5.4.0-1_source.changes Debian FTP Masters
• 2025/12/26 [Git][ocaml-team/ocaml] Pushed new tag debian/5.4.0-1 @glondu
• 2025/12/26 [Git][ocaml-team/ocaml] Pushed new tag archive/debian/5.4.0-1 @glondu
• 2025/12/26 ocaml_5.4.0-1_source.changes ACCEPTED into unstable Debian FTP Masters
• 2025/12/26 Re: Bug#1123656: transition: ocaml 5.4.0 Emilio Pozuelo Monfort
• 2025/12/25 hol-light is marked for autoremoval from testing Debian testing autoremoval watch
• 2025/12/24 ocaml-dscheck is marked for autoremoval from testing Debian testing autoremoval watch
• 2025/12/24 yojson is marked for autoremoval from testing Debian testing autoremoval watch
• 2025/12/24 lablgtk3 is marked for autoremoval from testing Debian testing autoremoval watch
• 2025/12/24 camlbz2 is marked for autoremoval from testing Debian testing autoremoval watch
• 2025/12/24 ocaml-expect is marked for autoremoval from testing Debian testing autoremoval watch
• 2025/12/24 ocaml-duration is marked for autoremoval from testing Debian testing autoremoval watch
• 2025/12/24 jsonm is marked for autoremoval from testing Debian testing autoremoval watch
• 2025/12/24 camlp5 is marked for autoremoval from testing Debian testing autoremoval watch
• 2025/12/24 ocaml-eio is marked for autoremoval from testing Debian testing autoremoval watch
• 2025/12/24 ocaml-gettext is marked for autoremoval from testing Debian testing autoremoval watch
• 2025/12/24 lambda-term is marked for autoremoval from testing Debian testing autoremoval watch
• 2025/12/24 ocaml-gmap is marked for autoremoval from testing Debian testing autoremoval watch
• 2025/12/24 laby is marked for autoremoval from testing Debian testing autoremoval watch
• 2025/12/24 ocaml-hex is marked for autoremoval from testing Debian testing autoremoval watch
• 2025/12/24 ocaml-eqaf is marked for autoremoval from testing Debian testing autoremoval watch
• 2025/12/24 ledit is marked for autoremoval from testing Debian testing autoremoval watch
• 2025/12/24 ocaml-fpath is marked for autoremoval from testing Debian testing autoremoval watch
• 2025/12/24 ocaml-fmt is marked for autoremoval from testing Debian testing autoremoval watch
• 2025/12/24 ocaml-gen is marked for autoremoval from testing Debian testing autoremoval watch
• 2025/12/24 ocaml-inotify is marked for autoremoval from testing Debian testing autoremoval watch
• 2025/12/24 camlp5-buildscripts is marked for autoremoval from testing Debian testing autoremoval watch
• 2025/12/24 ocaml-lwt-dllist is marked for autoremoval from testing Debian testing autoremoval watch
• 2025/12/24 camomile is marked for autoremoval from testing Debian testing autoremoval watch
• 2025/12/24 ssreflect is marked for autoremoval from testing Debian testing autoremoval watch
• 2025/12/24 ocaml-hmap is marked for autoremoval from testing Debian testing autoremoval watch
• 2025/12/24 ocaml-iomux is marked for autoremoval from testing Debian testing autoremoval watch
• 2025/12/24 ocaml-iter is marked for autoremoval from testing Debian testing autoremoval watch
• 2025/12/24 ocaml-ipaddr is marked for autoremoval from testing Debian testing autoremoval watch
• 2025/12/24 ocaml-logs is marked for autoremoval from testing Debian testing autoremoval watch
• 2025/12/24 ocaml-mirage-crypto is marked for autoremoval from testing Debian testing autoremoval watch
• 2025/12/24 ocaml-kdf is marked for autoremoval from testing Debian testing autoremoval watch
• 2025/12/24 nproc is marked for autoremoval from testing Debian testing autoremoval watch
• 2025/12/24 ocaml-monolith is marked for autoremoval from testing Debian testing autoremoval watch
• 2025/12/24 ocaml-linenoise is marked for autoremoval from testing Debian testing autoremoval watch
• 2025/12/24 nss-passwords is marked for autoremoval from testing Debian testing autoremoval watch
• 2025/12/24 coq is marked for autoremoval from testing Debian testing autoremoval watch
• 2025/12/24 coq-bignums is marked for autoremoval from testing Debian testing autoremoval watch
• 2025/12/24 ocaml-markup is marked for autoremoval from testing Debian testing autoremoval watch
• 2025/12/24 ocaml-mdx is marked for autoremoval from testing Debian testing autoremoval watch
• 2025/12/24 coq-dpdgraph is marked for autoremoval from testing Debian testing autoremoval watch
• 2025/12/24 ocaml-multicore-bench is marked for autoremoval from testing Debian testing autoremoval watch
• 2025/12/24 nurpawiki is marked for autoremoval from testing Debian testing autoremoval watch
• 2025/12/24 ocaml-merlin is marked for autoremoval from testing Debian testing autoremoval watch
• 2025/12/24 ocaml-mirage-kv is marked for autoremoval from testing Debian testing autoremoval watch
• 2025/12/24 ocaml-mew-vi is marked for autoremoval from testing Debian testing autoremoval watch
• 2025/12/24 ocaml-mirage-ptime is marked for autoremoval from testing Debian testing autoremoval watch
• 2025/12/24 ocaml-mtime is marked for autoremoval from testing Debian testing autoremoval watch
• 2025/12/24 ocaml-mirage-kv-mem is marked for autoremoval from testing Debian testing autoremoval watch
• 2025/12/24 coq-gappa is marked for autoremoval from testing Debian testing autoremoval watch
• 2025/12/24 coq-hammer is marked for autoremoval from testing Debian testing autoremoval watch
• 2025/12/24 coq-corn is marked for autoremoval from testing Debian testing autoremoval watch
• 2025/12/24 coq-elpi is marked for autoremoval from testing Debian testing autoremoval watch
• 2025/12/24 coq-deriving is marked for autoremoval from testing Debian testing autoremoval watch
• 2025/12/24 ocaml-multicore-magic is marked for autoremoval from testing Debian testing autoremoval watch
• 2025/12/24 coq-equations is marked for autoremoval from testing Debian testing autoremoval watch
• 2025/12/24 coq-ext-lib is marked for autoremoval from testing Debian testing autoremoval watch
• 2025/12/24 coq-libhyps is marked for autoremoval from testing Debian testing autoremoval watch
• 2025/12/24 ocaml-patch is marked for autoremoval from testing Debian testing autoremoval watch
• 2025/12/24 ocaml-multicoretests is marked for autoremoval from testing Debian testing autoremoval watch
• 2025/12/24 coq-math-classes is marked for autoremoval from testing Debian testing autoremoval watch
• 2025/12/24 coq-extructures is marked for autoremoval from testing Debian testing autoremoval watch
• 2025/12/24 coq-hott is marked for autoremoval from testing Debian testing autoremoval watch
• 2025/12/24 ocaml-odoc is marked for autoremoval from testing Debian testing autoremoval watch
• 2025/12/24 ocaml-ohex is marked for autoremoval from testing Debian testing autoremoval watch
• 2025/12/24 coq-hierarchy-builder is marked for autoremoval from testing Debian testing autoremoval watch
• 2025/12/24 ocaml-ptime is marked for autoremoval from testing Debian testing autoremoval watch
• 2025/12/24 coq-mtac2 is marked for autoremoval from testing Debian testing autoremoval watch
• 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

• Earlier messages
• Later messages