debian-ocaml-maint Nov 2025 by subject

[First Page] <
[previous page] 		Page 1 of 1 >
[next page] 		[Last Page]

[Thread Index] [Date Index] [Author Index] [Other Debian Lists] [Debian Home]
[bts-link] source package src:ocaml-ffmpeg [Git][ocaml-team/aac-tactics] Pushed new tag debian/9.0.0-2 [Git][ocaml-team/aac-tactics][master] 2 commits: Strenghten depend on coq/rocq [Git][ocaml-team/coq] Pushed new tag debian/9.1.0+dfsg-3 [Git][ocaml-team/coq][master] 2 commits: Add missing Breaks+Replaces [Git][ocaml-team/dh-ocaml] Pushed new tag archive/debian/2.5 [Git][ocaml-team/dh-ocaml] Pushed new tag debian/2.5 [Git][ocaml-team/ocaml-bitstring] Pushed new tag archive/debian/5.0.2-1 [Git][ocaml-team/ocaml-bitstring] Pushed new tag debian/5.0.2-1 [Git][ocaml-team/ocaml-bitstring] Pushed new tag upstream/5.0.2 [Git][ocaml-team/ocaml-bitstring][pristine-tar] pristine-tar data for ocaml-bitstring_5.0.2.orig.tar.gz [Git][ocaml-team/ocaml-ctypes] Pushed new tag archive/debian/0.24.0-1 [Git][ocaml-team/ocaml-ctypes] Pushed new tag debian/0.23.0-2 [Git][ocaml-team/ocaml-ctypes] Pushed new tag debian/0.24.0-1 [Git][ocaml-team/ocaml-ctypes] Pushed new tag upstream/0.24.0 [Git][ocaml-team/ocaml-ctypes][master] 7 commits: Switch debian/watch to version 5 [Git][ocaml-team/ocaml-ctypes][pristine-tar] pristine-tar data for ocaml-ctypes_0.24.0.orig.tar.gz [Git][ocaml-team/ocaml-ctypes][upstream] New upstream version 0.24.0 [Git][ocaml-team/ocaml-topkg] Pushed new tag archive/debian/1.1.1-1 [Git][ocaml-team/ocaml-topkg] Pushed new tag debian/1.1.1-1 [Git][ocaml-team/ocaml-topkg] Pushed new tag upstream/1.1.1 [Git][ocaml-team/ocaml-topkg][pristine-tar] pristine-tar data for ocaml-topkg_1.1.1.orig.tar.bz2 [Git][ocaml-team/ocaml-visitors] Pushed new tag archive/debian/20251114-1 [Git][ocaml-team/ocaml-visitors] Pushed new tag debian/20251114-1 [Git][ocaml-team/ocaml-visitors] Pushed new tag upstream/20251114 [Git][ocaml-team/ocaml-visitors][pristine-tar] pristine-tar data for ocaml-visitors_20251114.orig.tar.xz [Git][ocaml-team/ssreflect] Pushed new tag debian/2.5.0-2 [Git][ocaml-team/ssreflect][master] 2 commits: Strenghten depends on coq/rocq aac-tactics is marked for autoremoval from testing Accepted coq 9.1.0+dfsg-3 (source amd64) into experimental belenios is marked for autoremoval from testing ben is marked for autoremoval from testing ben_1.13_source.changes ACCEPTED into unstable Bug#1099789: marked as done (Depends on saturn_lockfree which has been removed) Bug#1121365: dh-ocaml: please also drop CDBS mention from long description Bug#1121365: marked as done (dh-ocaml: please also drop CDBS mention from long description) camlbz2 is marked for autoremoval from testing camlp5 is marked for autoremoval from testing camlp5-buildscripts is marked for autoremoval from testing camomile is marked for autoremoval from testing coq is marked for autoremoval from testing coq-bignums is marked for autoremoval from testing coq-corn is marked for autoremoval from testing coq-deriving is marked for autoremoval from testing coq-dpdgraph is marked for autoremoval from testing coq-elpi is marked for autoremoval from testing coq-equations is marked for autoremoval from testing coq-ext-lib is marked for autoremoval from testing coq-extructures is marked for autoremoval from testing coq-gappa is marked for autoremoval from testing coq-hammer is marked for autoremoval from testing coq-hierarchy-builder is marked for autoremoval from testing coq-hott is marked for autoremoval from testing coq-interval is marked for autoremoval from testing coq-iris is marked for autoremoval from testing coq-libhyps is marked for autoremoval from testing coq-math-classes is marked for autoremoval from testing coq-menhirlib is marked for autoremoval from testing coq-mtac2 is marked for autoremoval from testing coq-quickchick is marked for autoremoval from testing coq-record-update is marked for autoremoval from testing coq-reduction-effects is marked for autoremoval from testing coq-reglang is marked for autoremoval from testing coq-relation-algebra is marked for autoremoval from testing coq-simple-io is marked for autoremoval from testing coq-stdpp is marked for autoremoval from testing coq-unicoq is marked for autoremoval from testing coq-unimath is marked for autoremoval from testing coqeal is marked for autoremoval from testing coqprime is marked for autoremoval from testing coquelicot is marked for autoremoval from testing dh-ocaml_2.5_source.changes ACCEPTED into unstable dose3 is marked for autoremoval from testing eliom is marked for autoremoval from testing elpi is marked for autoremoval from testing flocq is marked for autoremoval from testing headache is marked for autoremoval from testing hol-light is marked for autoremoval from testing js-of-ocaml is marked for autoremoval from testing js-of-ocaml-ocamlbuild is marked for autoremoval from testing jsonm is marked for autoremoval from testing lablgtk3 is marked for autoremoval from testing laby is marked for autoremoval from testing lambda-term is marked for autoremoval from testing ledit is marked for autoremoval from testing liquidsoap is marked for autoremoval from testing lwt is marked for autoremoval from testing lwt-log is marked for autoremoval from testing lwt-ssl is marked for autoremoval from testing mathcomp-algebra-tactics is marked for autoremoval from testing mathcomp-analysis is marked for autoremoval from testing mathcomp-bigenough is marked for autoremoval from testing mathcomp-finmap is marked for autoremoval from testing mathcomp-multinomials is marked for autoremoval from testing mathcomp-real-closed is marked for autoremoval from testing mathcomp-zify is marked for autoremoval from testing meta-ocaml is marked for autoremoval from testing meta-unison is marked for autoremoval from testing mlpost is marked for autoremoval from testing morbig is marked for autoremoval from testing morsmall is marked for autoremoval from testing not-ocamlfind is marked for autoremoval from testing nproc is marked for autoremoval from testing nss-passwords is marked for autoremoval from testing nurpawiki is marked for autoremoval from testing obus is marked for autoremoval from testing ocaml-alcotest is marked for autoremoval from testing ocaml-asn1-combinators is marked for autoremoval from testing ocaml-astring is marked for autoremoval from testing ocaml-atd is marked for autoremoval from testing ocaml-backoff is marked for autoremoval from testing ocaml-base64 is marked for autoremoval from testing ocaml-batteries is marked for autoremoval from testing ocaml-bitstring_5.0.2-1_source.changes ACCEPTED into unstable ocaml-bos is marked for autoremoval from testing ocaml-ca-certs is marked for autoremoval from testing ocaml-charinfo-width is marked for autoremoval from testing ocaml-cohttp is marked for autoremoval from testing ocaml-conduit is marked for autoremoval from testing ocaml-containers is marked for autoremoval from testing ocaml-crowbar is marked for autoremoval from testing ocaml-crowbar_0.2.2-1_source.changes ACCEPTED into unstable ocaml-crunch is marked for autoremoval from testing ocaml-cry is marked for autoremoval from testing ocaml-cstruct is marked for autoremoval from testing ocaml-csv is marked for autoremoval from testing ocaml-ctypes_0.23.0-2_source.changes ACCEPTED into unstable ocaml-ctypes_0.24.0-1_source.changes ACCEPTED into unstable ocaml-decimal is marked for autoremoval from testing ocaml-digestif is marked for autoremoval from testing ocaml-domain-local-await is marked for autoremoval from testing ocaml-domain-name is marked for autoremoval from testing ocaml-dscheck is marked for autoremoval from testing ocaml-duration is marked for autoremoval from testing ocaml-eio_1.3-1_amd64.changes ACCEPTED into unstable ocaml-eqaf is marked for autoremoval from testing ocaml-expect is marked for autoremoval from testing ocaml-ffmpeg_1.2.7-1_source.changes ACCEPTED into unstable ocaml-fmt is marked for autoremoval from testing ocaml-fpath is marked for autoremoval from testing ocaml-gen is marked for autoremoval from testing ocaml-gettext is marked for autoremoval from testing ocaml-gmap is marked for autoremoval from testing ocaml-hex is marked for autoremoval from testing ocaml-hmap is marked for autoremoval from testing ocaml-inotify is marked for autoremoval from testing ocaml-iomux is marked for autoremoval from testing ocaml-ipaddr is marked for autoremoval from testing ocaml-iter is marked for autoremoval from testing ocaml-kdf is marked for autoremoval from testing ocaml-linenoise is marked for autoremoval from testing ocaml-logs is marked for autoremoval from testing ocaml-logs_0.10.0-1_source.changes ACCEPTED into unstable ocaml-lwt-dllist is marked for autoremoval from testing ocaml-markup is marked for autoremoval from testing ocaml-mccs is marked for autoremoval from testing ocaml-mdx is marked for autoremoval from testing ocaml-merlin is marked for autoremoval from testing ocaml-mew-vi is marked for autoremoval from testing ocaml-mirage-crypto is marked for autoremoval from testing ocaml-mirage-kv is marked for autoremoval from testing ocaml-mirage-kv-mem is marked for autoremoval from testing ocaml-mirage-ptime is marked for autoremoval from testing ocaml-mirage-ptime_5.2.0-1_source.changes ACCEPTED into unstable ocaml-monolith is marked for autoremoval from testing ocaml-mtime is marked for autoremoval from testing ocaml-multicore-bench is marked for autoremoval from testing ocaml-multicore-magic is marked for autoremoval from testing ocaml-multicoretests is marked for autoremoval from testing ocaml-multicoretests_0.11-1_source.changes ACCEPTED into unstable ocaml-odoc is marked for autoremoval from testing ocaml-ohex is marked for autoremoval from testing ocaml-oseq is marked for autoremoval from testing ocaml-patch is marked for autoremoval from testing ocaml-patch_3.1.0-1_source.changes ACCEPTED into unstable ocaml-pbkdf is marked for autoremoval from testing ocaml-posix_2.0.2-1_amd64.changes ACCEPTED into unstable ocaml-posix_2.0.2-1_amd64.changes is NEW ocaml-posix_2.2.0-1_source.changes ACCEPTED into unstable ocaml-psq is marked for autoremoval from testing ocaml-ptime is marked for autoremoval from testing ocaml-qcheck is marked for autoremoval from testing ocaml-qcheck_0.27-1_source.changes ACCEPTED into unstable ocaml-qtest is marked for autoremoval from testing ocaml-randomconv is marked for autoremoval from testing ocaml-rresult is marked for autoremoval from testing ocaml-saturn is marked for autoremoval from testing ocaml-sedlex is marked for autoremoval from testing ocaml-spdx-licenses is marked for autoremoval from testing ocaml-ssl is marked for autoremoval from testing ocaml-stringext is marked for autoremoval from testing ocaml-thread-table is marked for autoremoval from testing ocaml-topkg is marked for autoremoval from testing ocaml-topkg_1.1.1-1_source.changes ACCEPTED into unstable ocaml-unix-errno is marked for autoremoval from testing ocaml-uri is marked for autoremoval from testing ocaml-usb is marked for autoremoval from testing ocaml-uucd is marked for autoremoval from testing ocaml-uucp is marked for autoremoval from testing ocaml-uunf is marked for autoremoval from testing ocaml-uuseg is marked for autoremoval from testing ocaml-version is marked for autoremoval from testing ocaml-visitors_20251114-1_source.changes ACCEPTED into unstable ocaml-websocket is marked for autoremoval from testing ocaml-x509 is marked for autoremoval from testing ocamldap is marked for autoremoval from testing ocamlformat is marked for autoremoval from testing ocamlgraph is marked for autoremoval from testing ocamlviz is marked for autoremoval from testing ocplib-simplex is marked for autoremoval from testing ocsigenserver is marked for autoremoval from testing ocsipersist is marked for autoremoval from testing ocurl is marked for autoremoval from testing omd is marked for autoremoval from testing opam is marked for autoremoval from testing opam-0install-cudf is marked for autoremoval from testing opam-file-format is marked for autoremoval from testing ott is marked for autoremoval from testing paramcoq is marked for autoremoval from testing pcre2-ocaml_8.0.4-1_source.changes ACCEPTED into unstable pgocaml is marked for autoremoval from testing ppx-deriving-yojson is marked for autoremoval from testing ppx-yojson-conv is marked for autoremoval from testing ppx-yojson-conv-lib is marked for autoremoval from testing Processed: [bts-link] source package src:ocaml-ffmpeg Processed: Mark fixed version Processed: Missed in changelog Processed: Urg, typo Processing of ben_1.13_source.changes Processing of dh-ocaml_2.5_source.changes Processing of ocaml-bitstring_5.0.2-1_source.changes Processing of ocaml-crowbar_0.2.2-1_source.changes Processing of ocaml-ctypes_0.23.0-2_source.changes Processing of ocaml-ctypes_0.24.0-1_source.changes Processing of ocaml-ffmpeg_1.2.7-1_source.changes Processing of ocaml-logs_0.10.0-1_source.changes Processing of ocaml-mirage-ptime_5.2.0-1_source.changes Processing of ocaml-multicoretests_0.11-1_source.changes Processing of ocaml-patch_3.1.0-1_source.changes Processing of ocaml-posix_2.0.2-1_amd64.changes Processing of ocaml-posix_2.2.0-1_source.changes Processing of ocaml-qcheck_0.27-1_source.changes Processing of ocaml-topkg_1.1.1-1_source.changes Processing of ocaml-visitors_20251114-1_source.changes Processing of pcre2-ocaml_8.0.4-1_source.changes react is marked for autoremoval from testing reactivedata is marked for autoremoval from testing sail-ocaml is marked for autoremoval from testing ssreflect is marked for autoremoval from testing tyxml is marked for autoremoval from testing unison-2.53 is marked for autoremoval from testing utop is marked for autoremoval from testing uuidm is marked for autoremoval from testing uutf is marked for autoremoval from testing why3 is marked for autoremoval from testing wyrd is marked for autoremoval from testing yojson is marked for autoremoval from testing zed is marked for autoremoval from testing The last update was on 09:20 GMT Fri Nov 28. There are 258 messages. Page 1 of 1.
<<
[previous month] 		|<
[first page] 		<
[previous page] 		Page 1 of 1
 >
[next page] 		>|
[last page] 		>>
[next month]

[Thread Index] [Subject Index] [Author Index] [Other Debian Lists] [Debian Home]
Mail converted by MHonArc