debian-ocaml-maint  

Messages by Date

• 2025/11/27 ocaml-bitstring_5.0.2-1_source.changes ACCEPTED into unstable Debian FTP Masters
• 2025/11/27 [Git][ocaml-team/ocaml-bitstring] Pushed new tag upstream/5.0.2 @glondu
• 2025/11/27 [Git][ocaml-team/ocaml-bitstring][pristine-tar] pristine-tar data for ocaml-bitstring_5.0.2.orig.tar.gz @glondu
• 2025/11/27 [Git][ocaml-team/ocaml-bitstring] Pushed new tag debian/5.0.2-1 @glondu
• 2025/11/27 [Git][ocaml-team/ocaml-bitstring] Pushed new tag archive/debian/5.0.2-1 @glondu
• 2025/11/25 Processing of ben_1.13_source.changes Debian FTP Masters
• 2025/11/25 ben_1.13_source.changes ACCEPTED into unstable Debian FTP Masters
• 2025/11/25 Bug#1121365: dh-ocaml: please also drop CDBS mention from long description Alexandre Detiste
• 2025/11/11 [Git][ocaml-team/ssreflect] Pushed new tag debian/2.5.0-2 Julien Puydt (@jpuydt)
• 2025/11/11 [Git][ocaml-team/ssreflect][master] 2 commits: Strenghten depends on coq/rocq Julien Puydt (@jpuydt)
• 2025/11/11 [Git][ocaml-team/aac-tactics] Pushed new tag debian/9.0.0-2 Julien Puydt (@jpuydt)
• 2025/11/11 [Git][ocaml-team/aac-tactics][master] 2 commits: Strenghten depend on coq/rocq Julien Puydt (@jpuydt)
• 2025/11/11 [Git][ocaml-team/coq] Pushed new tag debian/9.1.0+dfsg-3 Julien Puydt (@jpuydt)
• 2025/11/11 [Git][ocaml-team/coq][master] 2 commits: Add missing Breaks+Replaces Julien Puydt (@jpuydt)
• 2025/11/11 Accepted coq 9.1.0+dfsg-3 (source amd64) into experimental Debian FTP Masters
• 2025/11/11 Processing of ocaml-posix_2.2.0-1_source.changes Debian FTP Masters
• 2025/11/11 ocaml-posix_2.2.0-1_source.changes ACCEPTED into unstable Debian FTP Masters
• 2025/11/10 ocaml-posix_2.0.2-1_amd64.changes ACCEPTED into unstable Debian FTP Masters
• 2025/11/10 ocaml-eio_1.3-1_amd64.changes ACCEPTED into unstable Debian FTP Masters
• 2025/11/04 ocaml-multicoretests_0.11-1_source.changes ACCEPTED into unstable Debian FTP Masters
• 2025/11/04 Processing of ocaml-multicoretests_0.11-1_source.changes Debian FTP Masters
• 2025/11/04 ocaml-ctypes_0.23.0-2_source.changes ACCEPTED into unstable Debian FTP Masters
• 2025/11/04 Processing of ocaml-ctypes_0.23.0-2_source.changes Debian FTP Masters
• 2025/11/04 [Git][ocaml-team/ocaml-ctypes] Pushed new tag debian/0.23.0-2 Kyle Robbertze (@paddatrapper)
• 2025/11/04 ocaml-posix_2.0.2-1_amd64.changes is NEW Debian FTP Masters
• 2025/11/04 ocaml-ffmpeg_1.2.7-1_source.changes ACCEPTED into unstable Debian FTP Masters
• 2025/11/04 Processed: Urg, typo Debian Bug Tracking System
• 2025/11/04 Processed: Mark fixed version Debian Bug Tracking System
• 2025/11/04 Processing of ocaml-posix_2.0.2-1_amd64.changes Debian FTP Masters
• 2025/11/04 Processing of ocaml-ffmpeg_1.2.7-1_source.changes Debian FTP Masters
• 2025/11/04 Bug#1099789: marked as done (Depends on saturn_lockfree which has been removed) Debian Bug Tracking System
• 2025/11/04 Processed: Missed in changelog Debian Bug Tracking System
• 2025/11/03 yojson is marked for autoremoval from testing Debian testing autoremoval watch
• 2025/11/03 zed is marked for autoremoval from testing Debian testing autoremoval watch
• 2025/11/03 wyrd is marked for autoremoval from testing Debian testing autoremoval watch
• 2025/11/03 why3 is marked for autoremoval from testing Debian testing autoremoval watch
• 2025/11/03 uutf is marked for autoremoval from testing Debian testing autoremoval watch
• 2025/11/03 unison-2.53 is marked for autoremoval from testing Debian testing autoremoval watch
• 2025/11/03 tyxml is marked for autoremoval from testing Debian testing autoremoval watch
• 2025/11/03 uuidm is marked for autoremoval from testing Debian testing autoremoval watch
• 2025/11/03 utop is marked for autoremoval from testing Debian testing autoremoval watch
• 2025/11/03 ssreflect is marked for autoremoval from testing Debian testing autoremoval watch
• 2025/11/03 sail-ocaml is marked for autoremoval from testing Debian testing autoremoval watch
• 2025/11/03 react is marked for autoremoval from testing Debian testing autoremoval watch
• 2025/11/03 reactivedata is marked for autoremoval from testing Debian testing autoremoval watch
• 2025/11/03 ppx-yojson-conv is marked for autoremoval from testing Debian testing autoremoval watch
• 2025/11/03 ppx-deriving-yojson is marked for autoremoval from testing Debian testing autoremoval watch
• 2025/11/03 ppx-yojson-conv-lib is marked for autoremoval from testing Debian testing autoremoval watch
• 2025/11/03 pgocaml is marked for autoremoval from testing Debian testing autoremoval watch
• 2025/11/03 ott is marked for autoremoval from testing Debian testing autoremoval watch
• 2025/11/03 paramcoq is marked for autoremoval from testing Debian testing autoremoval watch
• 2025/11/03 opam-file-format is marked for autoremoval from testing Debian testing autoremoval watch
• 2025/11/03 opam-0install-cudf is marked for autoremoval from testing Debian testing autoremoval watch
• 2025/11/03 ocurl is marked for autoremoval from testing Debian testing autoremoval watch
• 2025/11/03 opam is marked for autoremoval from testing Debian testing autoremoval watch
• 2025/11/03 omd is marked for autoremoval from testing Debian testing autoremoval watch
• 2025/11/03 ocsipersist is marked for autoremoval from testing Debian testing autoremoval watch
• 2025/11/03 ocaml-uucd is marked for autoremoval from testing Debian testing autoremoval watch
• 2025/11/03 ocplib-simplex is marked for autoremoval from testing Debian testing autoremoval watch
• 2025/11/03 ocsigenserver is marked for autoremoval from testing Debian testing autoremoval watch
• 2025/11/03 ocamlgraph is marked for autoremoval from testing Debian testing autoremoval watch
• 2025/11/03 ocamlviz is marked for autoremoval from testing Debian testing autoremoval watch
• 2025/11/03 ocamlformat is marked for autoremoval from testing Debian testing autoremoval watch
• 2025/11/03 ocaml-unix-errno is marked for autoremoval from testing Debian testing autoremoval watch
• 2025/11/03 ocaml-topkg is marked for autoremoval from testing Debian testing autoremoval watch
• 2025/11/03 ocaml-websocket is marked for autoremoval from testing Debian testing autoremoval watch
• 2025/11/03 ocamldap is marked for autoremoval from testing Debian testing autoremoval watch
• 2025/11/03 ocaml-uucp is marked for autoremoval from testing Debian testing autoremoval watch
• 2025/11/03 ocaml-x509 is marked for autoremoval from testing Debian testing autoremoval watch
• 2025/11/03 ocaml-version is marked for autoremoval from testing Debian testing autoremoval watch
• 2025/11/03 ocaml-uuseg is marked for autoremoval from testing Debian testing autoremoval watch
• 2025/11/03 ocaml-saturn is marked for autoremoval from testing Debian testing autoremoval watch
• 2025/11/03 ocaml-uunf is marked for autoremoval from testing Debian testing autoremoval watch
• 2025/11/03 ocaml-randomconv is marked for autoremoval from testing Debian testing autoremoval watch
• 2025/11/03 ocaml-uri is marked for autoremoval from testing Debian testing autoremoval watch
• 2025/11/03 ocaml-usb is marked for autoremoval from testing Debian testing autoremoval watch
• 2025/11/03 ocaml-stringext is marked for autoremoval from testing Debian testing autoremoval watch
• 2025/11/03 ocaml-pbkdf is marked for autoremoval from testing Debian testing autoremoval watch
• 2025/11/03 ocaml-ptime is marked for autoremoval from testing Debian testing autoremoval watch
• 2025/11/03 ocaml-thread-table is marked for autoremoval from testing Debian testing autoremoval watch
• 2025/11/03 ocaml-ssl is marked for autoremoval from testing Debian testing autoremoval watch
• 2025/11/03 ocaml-oseq is marked for autoremoval from testing Debian testing autoremoval watch
• 2025/11/03 ocaml-spdx-licenses is marked for autoremoval from testing Debian testing autoremoval watch
• 2025/11/03 ocaml-rresult is marked for autoremoval from testing Debian testing autoremoval watch
• 2025/11/03 ocaml-odoc is marked for autoremoval from testing Debian testing autoremoval watch
• 2025/11/03 ocaml-psq is marked for autoremoval from testing Debian testing autoremoval watch
• 2025/11/03 ocaml-sedlex is marked for autoremoval from testing Debian testing autoremoval watch
• 2025/11/03 ocaml-qcheck is marked for autoremoval from testing Debian testing autoremoval watch
• 2025/11/03 ocaml-mirage-kv-mem is marked for autoremoval from testing Debian testing autoremoval watch
• 2025/11/03 ocaml-qtest is marked for autoremoval from testing Debian testing autoremoval watch
• 2025/11/03 ocaml-patch is marked for autoremoval from testing Debian testing autoremoval watch
• 2025/11/03 ocaml-ohex is marked for autoremoval from testing Debian testing autoremoval watch
• 2025/11/03 ocaml-multicoretests is marked for autoremoval from testing Debian testing autoremoval watch
• 2025/11/03 ocaml-multicore-magic is marked for autoremoval from testing Debian testing autoremoval watch
• 2025/11/03 ocaml-multicore-bench is marked for autoremoval from testing Debian testing autoremoval watch
• 2025/11/03 ocaml-monolith is marked for autoremoval from testing Debian testing autoremoval watch
• 2025/11/03 ocaml-lwt-dllist is marked for autoremoval from testing Debian testing autoremoval watch
• 2025/11/03 ocaml-mtime is marked for autoremoval from testing Debian testing autoremoval watch
• 2025/11/03 ocaml-mirage-ptime is marked for autoremoval from testing Debian testing autoremoval watch
• 2025/11/03 ocaml-kdf is marked for autoremoval from testing Debian testing autoremoval watch
• 2025/11/03 ocaml-mirage-kv is marked for autoremoval from testing Debian testing autoremoval watch
• 2025/11/03 ocaml-mew-vi is marked for autoremoval from testing Debian testing autoremoval watch
• 2025/11/03 ocaml-mdx is marked for autoremoval from testing Debian testing autoremoval watch
• 2025/11/03 ocaml-merlin is marked for autoremoval from testing Debian testing autoremoval watch
• 2025/11/03 ocaml-mirage-crypto is marked for autoremoval from testing Debian testing autoremoval watch
• 2025/11/03 ocaml-mccs is marked for autoremoval from testing Debian testing autoremoval watch
• 2025/11/03 ocaml-hmap is marked for autoremoval from testing Debian testing autoremoval watch
• 2025/11/03 ocaml-markup is marked for autoremoval from testing Debian testing autoremoval watch
• 2025/11/03 ocaml-linenoise is marked for autoremoval from testing Debian testing autoremoval watch
• 2025/11/03 ocaml-logs is marked for autoremoval from testing Debian testing autoremoval watch
• 2025/11/03 ocaml-gen is marked for autoremoval from testing Debian testing autoremoval watch
• 2025/11/03 ocaml-expect is marked for autoremoval from testing Debian testing autoremoval watch
• 2025/11/03 ocaml-iter is marked for autoremoval from testing Debian testing autoremoval watch
• 2025/11/03 ocaml-eqaf is marked for autoremoval from testing Debian testing autoremoval watch
• 2025/11/03 ocaml-ipaddr is marked for autoremoval from testing Debian testing autoremoval watch
• 2025/11/03 ocaml-dscheck is marked for autoremoval from testing Debian testing autoremoval watch
• 2025/11/03 ocaml-iomux is marked for autoremoval from testing Debian testing autoremoval watch
• 2025/11/03 ocaml-inotify is marked for autoremoval from testing Debian testing autoremoval watch
• 2025/11/03 ocaml-domain-local-await is marked for autoremoval from testing Debian testing autoremoval watch
• 2025/11/03 ocaml-hex is marked for autoremoval from testing Debian testing autoremoval watch
• 2025/11/03 ocaml-gmap is marked for autoremoval from testing Debian testing autoremoval watch
• 2025/11/03 ocaml-fpath is marked for autoremoval from testing Debian testing autoremoval watch
• 2025/11/03 ocaml-gettext is marked for autoremoval from testing Debian testing autoremoval watch
• 2025/11/03 ocaml-fmt is marked for autoremoval from testing Debian testing autoremoval watch
• 2025/11/03 ocaml-cstruct is marked for autoremoval from testing Debian testing autoremoval watch
• 2025/11/03 ocaml-duration is marked for autoremoval from testing Debian testing autoremoval watch
• 2025/11/03 ocaml-crowbar is marked for autoremoval from testing Debian testing autoremoval watch
• 2025/11/03 ocaml-conduit is marked for autoremoval from testing Debian testing autoremoval watch
• 2025/11/03 ocaml-domain-name is marked for autoremoval from testing Debian testing autoremoval watch
• 2025/11/03 ocaml-decimal is marked for autoremoval from testing Debian testing autoremoval watch
• 2025/11/03 ocaml-digestif is marked for autoremoval from testing Debian testing autoremoval watch
• 2025/11/03 ocaml-bos is marked for autoremoval from testing Debian testing autoremoval watch
• 2025/11/03 ocaml-batteries is marked for autoremoval from testing Debian testing autoremoval watch
• 2025/11/03 ocaml-csv is marked for autoremoval from testing Debian testing autoremoval watch
• 2025/11/03 ocaml-base64 is marked for autoremoval from testing Debian testing autoremoval watch
• 2025/11/03 ocaml-cry is marked for autoremoval from testing Debian testing autoremoval watch
• 2025/11/03 ocaml-crunch is marked for autoremoval from testing Debian testing autoremoval watch
• 2025/11/03 ocaml-containers is marked for autoremoval from testing Debian testing autoremoval watch
• 2025/11/03 ocaml-asn1-combinators is marked for autoremoval from testing Debian testing autoremoval watch
• 2025/11/03 ocaml-cohttp is marked for autoremoval from testing Debian testing autoremoval watch
• 2025/11/03 ocaml-alcotest is marked for autoremoval from testing Debian testing autoremoval watch
• 2025/11/03 obus is marked for autoremoval from testing Debian testing autoremoval watch
• 2025/11/03 ocaml-ca-certs is marked for autoremoval from testing Debian testing autoremoval watch
• 2025/11/03 ocaml-charinfo-width is marked for autoremoval from testing Debian testing autoremoval watch
• 2025/11/03 ocaml-atd is marked for autoremoval from testing Debian testing autoremoval watch
• 2025/11/03 nss-passwords is marked for autoremoval from testing Debian testing autoremoval watch
• 2025/11/03 ocaml-backoff is marked for autoremoval from testing Debian testing autoremoval watch
• 2025/11/03 ocaml-astring is marked for autoremoval from testing Debian testing autoremoval watch
• 2025/11/03 nurpawiki is marked for autoremoval from testing Debian testing autoremoval watch
• 2025/11/03 nproc is marked for autoremoval from testing Debian testing autoremoval watch
• 2025/11/03 not-ocamlfind is marked for autoremoval from testing Debian testing autoremoval watch
• 2025/11/03 morbig is marked for autoremoval from testing Debian testing autoremoval watch
• 2025/11/03 mlpost is marked for autoremoval from testing Debian testing autoremoval watch
• 2025/11/03 meta-unison is marked for autoremoval from testing Debian testing autoremoval watch
• 2025/11/03 morsmall is marked for autoremoval from testing Debian testing autoremoval watch
• 2025/11/03 meta-ocaml is marked for autoremoval from testing Debian testing autoremoval watch
• 2025/11/03 mathcomp-bigenough is marked for autoremoval from testing Debian testing autoremoval watch
• 2025/11/03 mathcomp-zify is marked for autoremoval from testing Debian testing autoremoval watch
• 2025/11/03 mathcomp-real-closed is marked for autoremoval from testing Debian testing autoremoval watch
• 2025/11/03 mathcomp-multinomials is marked for autoremoval from testing Debian testing autoremoval watch
• 2025/11/03 mathcomp-finmap is marked for autoremoval from testing Debian testing autoremoval watch
• 2025/11/03 mathcomp-analysis is marked for autoremoval from testing Debian testing autoremoval watch
• 2025/11/03 mathcomp-algebra-tactics is marked for autoremoval from testing Debian testing autoremoval watch
• 2025/11/03 lwt is marked for autoremoval from testing Debian testing autoremoval watch
• 2025/11/03 lwt-ssl is marked for autoremoval from testing Debian testing autoremoval watch
• 2025/11/03 lwt-log is marked for autoremoval from testing Debian testing autoremoval watch
• 2025/11/03 liquidsoap is marked for autoremoval from testing Debian testing autoremoval watch
• 2025/11/03 lambda-term is marked for autoremoval from testing Debian testing autoremoval watch
• 2025/11/03 laby is marked for autoremoval from testing Debian testing autoremoval watch
• 2025/11/03 lablgtk3 is marked for autoremoval from testing Debian testing autoremoval watch
• 2025/11/03 ledit is marked for autoremoval from testing Debian testing autoremoval watch
• 2025/11/03 js-of-ocaml-ocamlbuild is marked for autoremoval from testing Debian testing autoremoval watch
• 2025/11/03 headache is marked for autoremoval from testing Debian testing autoremoval watch
• 2025/11/03 jsonm is marked for autoremoval from testing Debian testing autoremoval watch
• 2025/11/03 js-of-ocaml is marked for autoremoval from testing Debian testing autoremoval watch
• 2025/11/03 hol-light is marked for autoremoval from testing Debian testing autoremoval watch
• 2025/11/03 flocq is marked for autoremoval from testing Debian testing autoremoval watch
• 2025/11/03 eliom is marked for autoremoval from testing Debian testing autoremoval watch
• 2025/11/03 elpi is marked for autoremoval from testing Debian testing autoremoval watch
• 2025/11/03 dose3 is marked for autoremoval from testing Debian testing autoremoval watch
• 2025/11/03 coq-unimath is marked for autoremoval from testing Debian testing autoremoval watch
• 2025/11/03 coquelicot is marked for autoremoval from testing Debian testing autoremoval watch
• 2025/11/03 coq-menhirlib is marked for autoremoval from testing Debian testing autoremoval watch
• 2025/11/03 coq-reglang is marked for autoremoval from testing Debian testing autoremoval watch
• 2025/11/03 coq-stdpp is marked for autoremoval from testing Debian testing autoremoval watch
• 2025/11/03 coqprime is marked for autoremoval from testing Debian testing autoremoval watch
• 2025/11/03 coqeal is marked for autoremoval from testing Debian testing autoremoval watch
• 2025/11/03 coq-unicoq is marked for autoremoval from testing Debian testing autoremoval watch
• 2025/11/03 coq-interval is marked for autoremoval from testing Debian testing autoremoval watch
• 2025/11/03 coq-hierarchy-builder is marked for autoremoval from testing Debian testing autoremoval watch
• 2025/11/03 coq-simple-io is marked for autoremoval from testing Debian testing autoremoval watch
• 2025/11/03 coq-relation-algebra is marked for autoremoval from testing Debian testing autoremoval watch
• 2025/11/03 coq-hammer is marked for autoremoval from testing Debian testing autoremoval watch
• 2025/11/03 coq-reduction-effects is marked for autoremoval from testing Debian testing autoremoval watch
• 2025/11/03 coq-quickchick is marked for autoremoval from testing Debian testing autoremoval watch
• 2025/11/03 coq-elpi is marked for autoremoval from testing Debian testing autoremoval watch
• 2025/11/03 coq-mtac2 is marked for autoremoval from testing Debian testing autoremoval watch
• 2025/11/03 coq-record-update is marked for autoremoval from testing Debian testing autoremoval watch
• 2025/11/03 coq-math-classes is marked for autoremoval from testing Debian testing autoremoval watch
• 2025/11/03 coq-ext-lib is marked for autoremoval from testing Debian testing autoremoval watch

• Earlier messages
• Later messages