debian-ocaml-maint Jul 2024 by thread

[previous month]

[previous page]

Page 1 of 1

[next page]

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

Processed: Bug#1074557 marked as pending in extlib Debian Bug Tracking System
[Git][ocaml-team/extlib] Pushed new tag debian/1.7.9-2 Stéphane Glondu (@glondu)
[Git][ocaml-team/extlib] Pushed new tag archive/debian/1.7.9-2 Stéphane Glondu (@glondu)
extlib_1.7.9-2_source.changes ACCEPTED into unstable Debian FTP Masters
Bug#1074557: marked as done (extlib: Failing autopkgtests) Debian Bug Tracking System
Processing of extlib_1.7.9-2_source.changes Debian FTP Masters
belenios is marked for autoremoval from testing Debian testing autoremoval watch
ocaml_5.2.0-1~exp3_source.changes ACCEPTED into experimental Debian FTP Masters
Bug#1073995: marked as done (libcompiler-libs-ocaml-dev, libstdlib-ocaml and libstdlib-ocaml-dev have an undeclared file conflict) Debian Bug Tracking System
[Git][ocaml-team/ocaml] Pushed new tag archive/debian/5.2.0-1_exp3 Stéphane Glondu (@glondu)
[Git][ocaml-team/ocaml] Pushed new tag debian/5.2.0-1_exp3 Stéphane Glondu (@glondu)
Processing of ocaml_5.2.0-1~exp3_source.changes Debian FTP Masters
Bug#1074589: libcompiler-libs-ocaml-dev, libstdlib-ocaml and libstdlib-ocaml-dev have an undeclared file conflict Helmut Grohne

Processed: libcompiler-libs-ocaml-dev, libstdlib-ocaml and libstdlib-ocaml-dev have an undeclared file conflict Debian Bug Tracking System
Processed: Bug#1074589 marked as pending in ocaml Debian Bug Tracking System
Bug#1074589: marked as done (libcompiler-libs-ocaml-dev, libstdlib-ocaml and libstdlib-ocaml-dev have an undeclared file conflict) Debian Bug Tracking System

ocaml_5.2.0-1~exp4_source.changes ACCEPTED into experimental Debian FTP Masters
[Git][ocaml-team/ocaml] Pushed new tag archive/debian/5.2.0-1_exp4 Stéphane Glondu (@glondu)
[Git][ocaml-team/ocaml] Pushed new tag debian/5.2.0-1_exp4 Stéphane Glondu (@glondu)
Processing of ocaml_5.2.0-1~exp4_source.changes Debian FTP Masters
Processed: Bug#1043725 marked as pending in belenios Debian Bug Tracking System
belenios_2.5.1+dfsg-1_source.changes ACCEPTED into unstable Debian FTP Masters
[Git][ocaml-team/belenios][master] 9 commits: New upstream version 2.3+dfsg Stéphane Glondu (@glondu)
[Git][ocaml-team/belenios][pristine-tar] 4 commits: pristine-tar data for belenios_2.3+dfsg.orig.tar.xz Stéphane Glondu (@glondu)
Bug#1073091: marked as done (belenios: replace to-be-removed markdown build-dependency) Debian Bug Tracking System
[Git][ocaml-team/belenios][upstream] 4 commits: New upstream version 2.3+dfsg Stéphane Glondu (@glondu)
Bug#1043725: marked as done (belenios: Fails to build source after successful build) Debian Bug Tracking System
Processing of belenios_2.5.1+dfsg-1_source.changes Debian FTP Masters
[Git][ocaml-team/approx][master] 18 commits: #1073871 is fixed by pending change Stéphane Glondu (@glondu)
[Git][ocaml-team/approx] Pushed new tag archive/debian/5.13-1 Stéphane Glondu (@glondu)
[Git][ocaml-team/approx] Pushed new tag debian/5.13-1 Stéphane Glondu (@glondu)
[Git][ocaml-team/approx] Pushed new tag upstream/5.13 Stéphane Glondu (@glondu)
[Git][ocaml-team/approx][pristine-tar] pristine-tar data for approx_5.13.orig.tar.gz Stéphane Glondu (@glondu)
Processing of approx_5.13-1_source.changes Debian FTP Masters
approx_5.13-1_source.changes ACCEPTED into unstable Debian FTP Masters
Accepted approx 5.13-1 (source) into unstable Debian FTP Masters
Bug#1072019: marked as done (approx: drop dependency on system-log-daemon) Debian Bug Tracking System
Bug#1031411: marked as done (approx: starts to dislike spaces-only lines in configuration) Debian Bug Tracking System
Bug#1073871: marked as done (FTBFS with OCaml 5.2.0 (Uses String.lowercase)) Debian Bug Tracking System
Bug#757945: marked as done (approx: delivers outdated data) Debian Bug Tracking System
Bug#810255: marked as done (approx: Approx fails to load new versions of DEP-11 icon tarballs) Debian Bug Tracking System
Bug#930327: marked as done (approx: cron.weekly: Don't mail deleted files) Debian Bug Tracking System
Bug#867377: marked as done (approx: Cleanup cronjob prints all deleted files) Debian Bug Tracking System
Bug#987604: marked as done (approx: /etc/cron.weekly/approx does not work if $cache is a symlink) Debian Bug Tracking System
Bug#1074732: ocaml-expect: FTBFS: make[1]: *** [debian/rules:38: override_dh_auto_clean] Error 2 Lucas Nussbaum

Bug#1074732: marked as done (ocaml-expect: FTBFS: make[1]: *** [debian/rules:38: override_dh_auto_clean] Error 2) Debian Bug Tracking System

[Git][ocaml-team/ocaml-expect][master] 2 commits: Update packaging Stéphane Glondu (@glondu)
[Git][ocaml-team/ocaml-expect] Pushed new tag archive/debian/0.0.6-4 Stéphane Glondu (@glondu)
[Git][ocaml-team/ocaml-expect] Pushed new tag debian/0.0.6-4 Stéphane Glondu (@glondu)
ocaml-expect_0.0.6-4_source.changes ACCEPTED into unstable Debian FTP Masters
Bug#1073894: marked as done (FTBFS with OCaml 5.2.0 (Unbound module "Topdirs")) Debian Bug Tracking System
Processing of ocaml-expect_0.0.6-4_source.changes Debian FTP Masters
Bug#1075126: lablgtk3: ftbfs with GCC-14 Matthias Klose

Bug#1075126: marked as done (lablgtk3: ftbfs with GCC-14) Debian Bug Tracking System

Bug#1075125: lablgl: ftbfs with GCC-14 Matthias Klose
Bug#1075127: labltk: ftbfs with GCC-14 Matthias Klose

Bug#1075127: marked as done (labltk: ftbfs with GCC-14) Debian Bug Tracking System

Bug#1075329: ocaml-lo: ftbfs with GCC-14 Matthias Klose
Bug#1075378: perl4caml: ftbfs with GCC-14 Matthias Klose
Processing of ocaml-afl-persistent_1.4-5_source.changes Debian FTP Masters
ocaml-afl-persistent_1.4-5_source.changes ACCEPTED into unstable Debian FTP Masters
ppxlib-jane_0.17.0-3_amd64.changes ACCEPTED into unstable Debian FTP Masters
ppx-bin-prot_0.17.0-1_source.changes ACCEPTED into unstable Debian FTP Masters
ppx-compare_0.17.0-1_source.changes ACCEPTED into unstable Debian FTP Masters
ppx-enumerate_0.17.0-1_source.changes ACCEPTED into unstable Debian FTP Masters
ppx-globalize_0.17.0-1_source.changes ACCEPTED into unstable Debian FTP Masters
ppx-hash_0.17.0-1_source.changes ACCEPTED into unstable Debian FTP Masters
ppx-sexp-conv_0.17.0-1_source.changes ACCEPTED into unstable Debian FTP Masters
Processing of ppx-compare_0.17.0-1_source.changes Debian FTP Masters
Processing of ppx-bin-prot_0.17.0-1_source.changes Debian FTP Masters
Processing of ppx-hash_0.17.0-1_source.changes Debian FTP Masters
Processing of ppx-globalize_0.17.0-1_source.changes Debian FTP Masters
Processing of ppx-sexp-conv_0.17.0-1_source.changes Debian FTP Masters
Processing of ppx-enumerate_0.17.0-1_source.changes Debian FTP Masters
[Git][ocaml-team/ppx-sexp-conv][master] 5 commits: New upstream version 0.17.0 Julien Puydt (@jpuydt)
[Git][ocaml-team/ppx-sexp-conv][pristine-tar] pristine-tar data for ppx-sexp-conv_0.17.0.orig.tar.gz Julien Puydt (@jpuydt)
[Git][ocaml-team/ppx-sexp-conv][upstream] New upstream version 0.17.0 Julien Puydt (@jpuydt)
[Git][ocaml-team/ppx-sexp-conv] Pushed new tag debian/1%0.17.0-1 Julien Puydt (@jpuydt)
[Git][ocaml-team/ppx-sexp-conv] Pushed new tag upstream/0.17.0 Julien Puydt (@jpuydt)
Processing of ppx-assert_0.17.0-1_source.changes Debian FTP Masters
ppx-assert_0.17.0-1_source.changes ACCEPTED into unstable Debian FTP Masters
Processing of ben_1.2_source.changes Debian FTP Masters
ben_1.2_source.changes ACCEPTED into unstable Debian FTP Masters
Processing of ben_1.3_source.changes Debian FTP Masters
ben_1.3_source.changes ACCEPTED into unstable Debian FTP Masters
ben_1.4_source.changes ACCEPTED into unstable Debian FTP Masters
Processing of ben_1.4_source.changes Debian FTP Masters
Bug#1075934: ITP: ocamlformat -- auto-formatter for OCaml code Stéphane Glondu
Bug#1075935: ITP: ocaml-version -- handle OCaml compiler version strings Stéphane Glondu
Bug#884713: marked as done (approx: systemd's approx.socket should be configured to not have any trigger limit) Debian Bug Tracking System
ocaml-version_3.6.7-1_amd64.changes is NEW Debian FTP Masters
Processing of ocaml-version_3.6.7-1_amd64.changes Debian FTP Masters
Processed: Bug#763462 marked as pending in ben Debian Bug Tracking System
Bug#763462: Package marked as bad although it is “uncompiled” Stéphane Glondu
ocaml-luv is marked for autoremoval from testing Debian testing autoremoval watch
[Git][ocaml-team/approx][master] 2 commits: Update d/changelog to close bug #884713 Stéphane Glondu (@glondu)
ocaml-version_3.6.7-1_amd64.changes ACCEPTED into unstable Debian FTP Masters
ocamlformat_0.26.2-1_amd64.changes is NEW Debian FTP Masters
Processing of ocamlformat_0.26.2-1_amd64.changes Debian FTP Masters
Bug#729223: ben: provide state of the package in testing, too Stéphane Glondu

Message not available
- Processed: Re: Bug#729223: ben: provide state of the package in testing, too Debian Bug Tracking System

[Git][ocaml-team/ocaml-dune][master] 4 commits: New upstream version 3.16.0 Stéphane Glondu (@glondu)
[Git][ocaml-team/ocaml-dune][pristine-tar] pristine-tar data for ocaml-dune_3.16.0.orig.tar.bz2 Stéphane Glondu (@glondu)
[Git][ocaml-team/ocaml-dune][upstream] New upstream version 3.16.0 Stéphane Glondu (@glondu)
[Git][ocaml-team/ocaml-dune] Pushed new tag archive/debian/3.16.0-1 Stéphane Glondu (@glondu)
[Git][ocaml-team/ocaml-dune] Pushed new tag debian/3.16.0-1 Stéphane Glondu (@glondu)
[Git][ocaml-team/ocaml-dune] Pushed new tag upstream/3.16.0 Stéphane Glondu (@glondu)
Processing of ocaml-dune_3.16.0-1_source.changes Debian FTP Masters
[Git][ocaml-team/camlzip][pristine-tar] pristine-tar data for camlzip_1.12.orig.tar.gz Stéphane Glondu (@glondu)
[Git][ocaml-team/camlzip] Pushed new tag archive/debian/1.12-1 Stéphane Glondu (@glondu)
[Git][ocaml-team/camlzip] Pushed new tag debian/1.12-1 Stéphane Glondu (@glondu)
[Git][ocaml-team/camlzip] Pushed new tag upstream/1.12 Stéphane Glondu (@glondu)
Processing of camlzip_1.12-1_source.changes Debian FTP Masters
camlzip_1.12-1_source.changes ACCEPTED into unstable Debian FTP Masters
labltk_8.06.14-1_source.changes ACCEPTED into unstable Debian FTP Masters
ocaml-dune_3.16.0-1_source.changes ACCEPTED into unstable Debian FTP Masters
[Git][ocaml-team/labltk][pristine-tar] pristine-tar data for labltk_8.06.14.orig.tar.gz Stéphane Glondu (@glondu)
[Git][ocaml-team/labltk] Pushed new tag archive/debian/8.06.14-1 Stéphane Glondu (@glondu)
[Git][ocaml-team/labltk] Pushed new tag debian/8.06.14-1 Stéphane Glondu (@glondu)
[Git][ocaml-team/labltk] Pushed new tag upstream/8.06.14 Stéphane Glondu (@glondu)
[Git][ocaml-team/ocamlbuild][master] 6 commits: Remove sign-tags from debian/gbp.conf Stéphane Glondu (@glondu)
[Git][ocaml-team/ocamlbuild][pristine-tar] pristine-tar data for ocamlbuild_0.15.0.orig.tar.gz Stéphane Glondu (@glondu)
[Git][ocaml-team/ocamlbuild][upstream] New upstream version 0.15.0 Stéphane Glondu (@glondu)
[Git][ocaml-team/ocamlbuild] Pushed new tag archive/debian/0.15.0-1 Stéphane Glondu (@glondu)
[Git][ocaml-team/ocamlbuild] Pushed new tag debian/0.15.0-1 Stéphane Glondu (@glondu)
[Git][ocaml-team/ocamlbuild] Pushed new tag upstream/0.15.0 Stéphane Glondu (@glondu)
Processing of labltk_8.06.14-1_source.changes Debian FTP Masters
Processing of ocamlbuild_0.15.0-1_source.changes Debian FTP Masters
ocamlbuild_0.15.0-1_source.changes ACCEPTED into unstable Debian FTP Masters
opam package maintenance Kate Deplaix

Re: opam package maintenance Stéphane Glondu

cryptokit_1.20.1-1_source.changes ACCEPTED into unstable Debian FTP Masters
[Git][ocaml-team/cryptokit][master] 7 commits: Update upstream source from tag 'upstream/1.20' Stéphane Glondu (@glondu)
[Git][ocaml-team/cryptokit][pristine-tar] 2 commits: pristine-tar data for cryptokit_1.20.orig.tar.gz Stéphane Glondu (@glondu)
[Git][ocaml-team/cryptokit][upstream] 2 commits: New upstream version 1.20 Stéphane Glondu (@glondu)
Processing of cryptokit_1.20.1-1_source.changes Debian FTP Masters
Processing of ocaml-qcheck_0.22-1_source.changes Debian FTP Masters
ocaml-qcheck_0.22-1_source.changes ACCEPTED into unstable Debian FTP Masters
Processing of ocaml-conduit_6.2.3-1_source.changes Debian FTP Masters
ocaml-conduit_6.2.3-1_source.changes ACCEPTED into unstable Debian FTP Masters
lablgtk3_3.1.5-1_source.changes ACCEPTED into unstable Debian FTP Masters
Processing of lablgtk3_3.1.5-1_source.changes Debian FTP Masters
ocamlformat_0.26.2-1_amd64.changes ACCEPTED into unstable Debian FTP Masters
Processed: limit source to hlins, tagging 1073881 Debian Bug Tracking System
coccinelle_1.2.deb-1_source.changes ACCEPTED into unstable Debian FTP Masters
[Git][ocaml-team/coccinelle][master] 6 commits: New upstream version 1.2.deb Stéphane Glondu (@glondu)
[Git][ocaml-team/coccinelle][pristine-tar] pristine-tar data for coccinelle_1.2.deb.orig.tar.gz Stéphane Glondu (@glondu)
[Git][ocaml-team/coccinelle] Pushed new tag archive/debian/1.2.deb-1 Stéphane Glondu (@glondu)
[Git][ocaml-team/coccinelle][upstream] New upstream version 1.2.deb Stéphane Glondu (@glondu)
[Git][ocaml-team/coccinelle] Pushed new tag debian/1.2.deb-1 Stéphane Glondu (@glondu)
[Git][ocaml-team/coccinelle] Pushed new tag upstream/1.2.deb Stéphane Glondu (@glondu)
Processing of coccinelle_1.2.deb-1_source.changes Debian FTP Masters
Bug#1076364: ITP: 0install-solver -- package dependency solver Stéphane Glondu
Bug#1076365: ITP: opam-0install-cudf -- Opam solver using 0install backend using the CUDF interface Stéphane Glondu
Bug#1076366: ITP: ocaml-spdx-licenses -- library providing a strict SPDX License Expression parser Stéphane Glondu
0install-solver_2.18-1_amd64.changes is NEW Debian FTP Masters
Processing of 0install-solver_2.18-1_amd64.changes Debian FTP Masters
Bug#1076367: ITP: ocaml-swhid-core -- OCaml library to work with swhids Stéphane Glondu
Processing of ocaml-spdx-licenses_1.2.0-1_amd64.changes Debian FTP Masters
[Git][ocaml-team/opam][master] 6 commits: Merge branch 'upstream' into 'upstream' Stéphane Glondu (@glondu)
[Git][ocaml-team/opam] Pushed new tag upstream/2.2.0 Stéphane Glondu (@glondu)
[Git][ocaml-team/opam][pristine-tar] pristine-tar data for opam_2.2.0.orig.tar.gz Stéphane Glondu (@glondu)
[Git][ocaml-team/opam][upstream] New upstream version 2.2.0 Stéphane Glondu (@glondu)
Processing of ocaml-swhid-core_0.1-1_amd64.changes Debian FTP Masters
ocaml-spdx-licenses_1.2.0-1_amd64.changes is NEW Debian FTP Masters
ocaml-swhid-core_0.1-1_amd64.changes is NEW Debian FTP Masters
Processing of ben_1.5_source.changes Debian FTP Masters
ben_1.5_source.changes ACCEPTED into unstable Debian FTP Masters
Bug#763462: marked as done (Package marked as bad although it is “uncompiled”) Debian Bug Tracking System
lem_2022-12-10+dfsg-1_amd64.changes is NEW Debian FTP Masters
Processing of lem_2022-12-10+dfsg-1_amd64.changes Debian FTP Masters
Bug#1073289: Bug#1073983: transition: ocaml Stéphane Glondu

Message not available
- Bug#1073289: Bug#1073983: transition: ocaml Adrian Bunk

[Git][ocaml-team/hlins][master] 8 commits: remove one bogus file Ralf Treinen (@treinen)
[Git][ocaml-team/hlins][pristine-tar] pristine-tar data for hlins_0.40.orig.tar.bz2 Ralf Treinen (@treinen)
[Git][ocaml-team/hlins][upstream] New upstream version 0.40 Ralf Treinen (@treinen)
Processing of hlins_0.40-1_source.changes Debian FTP Masters
hlins_0.40-1_source.changes ACCEPTED into unstable Debian FTP Masters
Bug#1073881: marked as done (FTBFS with OCaml 5.2.0 (Uses or binary operator)) Debian Bug Tracking System
[Git][ocaml-team/hlins] Pushed new tag debian/0.40-1 Ralf Treinen (@treinen)
[Git][ocaml-team/hlins] Pushed new tag upstream/0.40 Ralf Treinen (@treinen)
ocaml-swhid-core_0.1-1_amd64.changes ACCEPTED into unstable Debian FTP Masters
ocaml-spdx-licenses_1.2.0-1_amd64.changes ACCEPTED into unstable Debian FTP Masters
[bts-link] source package src:liquidsoap debian-bts-link
Bug#1076614: libcamljava-ocaml-dev lost its OCaml Depends+Provides Adrian Bunk

Processed: Bug#1076614 marked as pending in camljava Debian Bug Tracking System
Bug#1076614: marked as done (libcamljava-ocaml-dev lost its OCaml Depends+Provides) Debian Bug Tracking System

0install-solver_2.18-1_amd64.changes ACCEPTED into unstable Debian FTP Masters
opam-0install-cudf_0.4.3-1_amd64.changes is NEW Debian FTP Masters
Processing of opam-0install-cudf_0.4.3-1_amd64.changes Debian FTP Masters
[Git][ocaml-team/camljava][pristine-tar] pristine-tar data for camljava_0.4.orig.tar.gz Stéphane Glondu (@glondu)
[Git][ocaml-team/camljava] Pushed new tag archive/debian/0.4-1 Stéphane Glondu (@glondu)
[Git][ocaml-team/camljava] Pushed new tag debian/0.4-1 Stéphane Glondu (@glondu)
[Git][ocaml-team/camljava] Pushed new tag upstream/0.4 Stéphane Glondu (@glondu)
Processing of camljava_0.4-1_source.changes Debian FTP Masters
camljava_0.4-1_source.changes ACCEPTED into unstable Debian FTP Masters
[Git][ocaml-team/camlzip][master] 2 commits: Fix autopkgtest with OCaml 5.2.0 Stéphane Glondu (@glondu)
[Git][ocaml-team/camlzip] Pushed new tag archive/debian/1.12-2 Stéphane Glondu (@glondu)
[Git][ocaml-team/camlzip] Pushed new tag debian/1.12-2 Stéphane Glondu (@glondu)
camlzip_1.12-2_source.changes ACCEPTED into unstable Debian FTP Masters
Processing of camlzip_1.12-2_source.changes Debian FTP Masters
ocamlweb_1.41-8_source.changes ACCEPTED into unstable Debian FTP Masters
Processing of ocamlweb_1.41-8_source.changes Debian FTP Masters
Bug#1046168: marked as done (ocamlweb: Fails to build source after successful build) Debian Bug Tracking System
[Git][ocaml-team/ocamlweb] Pushed new tag debian/1.41-8 Ralf Treinen (@treinen)
[Git][ocaml-team/liquidsoap][master] Configure cache directory Kyle Robbertze (@paddatrapper)
Bug#1077093: caml-mode: needs rebuild against dh-elpa >=2.1.5 spwhitton

Bug#1077093: marked as done (caml-mode: needs rebuild against dh-elpa >=2.1.5) Debian Bug Tracking System

Bug#1077110: liquidsoap: needs rebuild against dh-elpa >=2.1.5 spwhitton
Bug#1077130: tuareg-mode: needs rebuild against dh-elpa >=2.1.5 spwhitton

Processed: Bug#1077130 marked as pending in tuareg-mode Debian Bug Tracking System
Bug#1077130: marked as done (tuareg-mode: needs rebuild against dh-elpa >=2.1.5) Debian Bug Tracking System

perl4caml is marked for autoremoval from testing Debian testing autoremoval watch
ocaml-lo is marked for autoremoval from testing Debian testing autoremoval watch
lablgl is marked for autoremoval from testing Debian testing autoremoval watch
why3 is marked for autoremoval from testing Debian testing autoremoval watch
aac-tactics is marked for autoremoval from testing Debian testing autoremoval watch
laby is marked for autoremoval from testing Debian testing autoremoval watch
lablgtk3 is marked for autoremoval from testing Debian testing autoremoval watch
mathcomp-analysis is marked for autoremoval from testing Debian testing autoremoval watch
mathcomp-algebra-tactics is marked for autoremoval from testing Debian testing autoremoval watch
mathcomp-finmap is marked for autoremoval from testing Debian testing autoremoval watch
mathcomp-multinomials is marked for autoremoval from testing Debian testing autoremoval watch
mathcomp-real-closed is marked for autoremoval from testing Debian testing autoremoval watch
mathcomp-bigenough is marked for autoremoval from testing Debian testing autoremoval watch
mathcomp-zify is marked for autoremoval from testing Debian testing autoremoval watch
meta-ocaml is marked for autoremoval from testing Debian testing autoremoval watch
meta-unison is marked for autoremoval from testing Debian testing autoremoval watch
ocaml-gettext is marked for autoremoval from testing Debian testing autoremoval watch
ocaml-dssi is marked for autoremoval from testing Debian testing autoremoval watch
frama-c is marked for autoremoval from testing Debian testing autoremoval watch
paramcoq is marked for autoremoval from testing Debian testing autoremoval watch
ott is marked for autoremoval from testing Debian testing autoremoval watch
flocq is marked for autoremoval from testing Debian testing autoremoval watch
unison-2.53 is marked for autoremoval from testing Debian testing autoremoval watch
coquelicot is marked for autoremoval from testing Debian testing autoremoval watch
coqprime is marked for autoremoval from testing Debian testing autoremoval watch
coqeal is marked for autoremoval from testing Debian testing autoremoval watch
coq-simple-io is marked for autoremoval from testing Debian testing autoremoval watch
coq-unicoq is marked for autoremoval from testing Debian testing autoremoval watch
coq-relation-algebra is marked for autoremoval from testing Debian testing autoremoval watch
coq-stdpp is marked for autoremoval from testing Debian testing autoremoval watch
coq-reduction-effects is marked for autoremoval from testing Debian testing autoremoval watch
coq-unimath is marked for autoremoval from testing Debian testing autoremoval watch
coq-reglang is marked for autoremoval from testing Debian testing autoremoval watch
coq-quickchick is marked for autoremoval from testing Debian testing autoremoval watch
coq-serapi is marked for autoremoval from testing Debian testing autoremoval watch
coq-mtac2 is marked for autoremoval from testing Debian testing autoremoval watch
coq-record-update is marked for autoremoval from testing Debian testing autoremoval watch
coq-math-classes is marked for autoremoval from testing Debian testing autoremoval watch
coq-iris is marked for autoremoval from testing Debian testing autoremoval watch
coq-libhyps is marked for autoremoval from testing Debian testing autoremoval watch
coq-hott is marked for autoremoval from testing Debian testing autoremoval watch
coq-interval is marked for autoremoval from testing Debian testing autoremoval watch
coq-menhirlib is marked for autoremoval from testing Debian testing autoremoval watch
coq-hierarchy-builder is marked for autoremoval from testing Debian testing autoremoval watch
coq-extructures 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
coq-gappa is marked for autoremoval from testing Debian testing autoremoval watch
coq-hammer 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-dpdgraph is marked for autoremoval from testing Debian testing autoremoval watch
coq is marked for autoremoval from testing Debian testing autoremoval watch
coq-bignums is marked for autoremoval from testing Debian testing autoremoval watch
ssreflect is marked for autoremoval from testing Debian testing autoremoval watch
[Git][ocaml-team/tuareg-mode] Pushed new tag archive/debian/1%3.0.1-3 Stéphane Glondu (@glondu)
[Git][ocaml-team/tuareg-mode] Pushed new tag debian/1%3.0.1-3 Stéphane Glondu (@glondu)
tuareg-mode_3.0.1-3_source.changes ACCEPTED into unstable Debian FTP Masters
Processing of tuareg-mode_3.0.1-3_source.changes Debian FTP Masters
caml-mode_4.9-4_source.changes ACCEPTED into unstable Debian FTP Masters
Processing of caml-mode_4.9-4_source.changes Debian FTP Masters
Processed: tagging 1076931, tagging 1077072, tagging 1077092, tagging 1077093, tagging 1077094, tagging 1077095 ... Debian Bug Tracking System
Processed: severity of 1072339 is serious, severity of 1072398 is serious, severity of 1072399 is serious ... Debian Bug Tracking System
Processed: Manage bugs Debian Bug Tracking System
Processing of ben_1.6_source.changes Debian FTP Masters
ben_1.6_source.changes ACCEPTED into unstable Debian FTP Masters
ocaml-ffmpeg is marked for autoremoval from testing Debian testing autoremoval watch
ocaml-ffmpeg_1.1.11.git20240725.91527f5-1~exp1_source.changes ACCEPTED into experimental Debian FTP Masters
Bug#1072440: marked as done (ocaml-ffmpeg: FTBFS with ffmpeg 7.0: swresample_stubs.c:249:10: error: ‘AVFrame’ has no member named ‘channel_layout’; did you mean ‘ch_layout’?) Debian Bug Tracking System
Processing of ocaml-ffmpeg_1.1.11.git20240725.91527f5-1~exp1_source.changes Debian FTP Masters
Processed: Bug#1073892 marked as pending in ocamldap Debian Bug Tracking System
Processed: Bug#1073891 marked as pending in ocaml-cry Debian Bug Tracking System
Bug#1077583: RM: ocaml-http -- ROM; depends on obsolete pcre3 Stéphane Glondu
[Git][ocaml-team/ocamldap] Pushed new tag debian/2.4.2-6 Stéphane Glondu (@glondu)
[Git][ocaml-team/ocamldap] Pushed new tag archive/debian/2.4.2-6 Stéphane Glondu (@glondu)
[Git][ocaml-team/ocaml-cry] Pushed new tag debian/1.0.3-2 Kyle Robbertze (@paddatrapper)
[Git][ocaml-team/ocaml-cry][master] 3 commits: Add dependency on libfindlib-ocaml Kyle Robbertze (@paddatrapper)
Processing of ocamldap_2.4.2-6_source.changes Debian FTP Masters
Processing of ocaml-cry_1.0.3-2_source.changes Debian FTP Masters
ocaml-cry_1.0.3-2_source.changes ACCEPTED into unstable Debian FTP Masters
ocamldap_2.4.2-6_source.changes ACCEPTED into unstable Debian FTP Masters
Bug#1073891: marked as done (FTBFS with OCaml 5.2.0 (Missing dependency on libfindlib-ocaml for bytes)) Debian Bug Tracking System
Bug#1073892: marked as done (FTBFS with OCaml 5.2.0 (Missing dependency on camlp-streams)) Debian Bug Tracking System
Bug#1077602: js-of-ocaml: build fails Ilari Jääskeläinen

Processed: Re: Bug#1077602: js-of-ocaml: build fails Debian Bug Tracking System
Bug#1077602: js-of-ocaml: build fails Stéphane Glondu

Bug#1077602: js-of-ocaml: build fails Mister Ilari Jääskeläinen

Bug#1077602: js-of-ocaml: build fails Stéphane Glondu

[Git][ocaml-team/ocamldap][master] 3 commits: Work around Re.Pcre incompleteness Stéphane Glondu (@glondu)
[Git][ocaml-team/ocamldap] Pushed new tag archive/debian/2.4.2-7 Stéphane Glondu (@glondu)
[Git][ocaml-team/ocamldap] Pushed new tag debian/2.4.2-7 Stéphane Glondu (@glondu)
ocamldap_2.4.2-7_source.changes ACCEPTED into unstable Debian FTP Masters
Processing of ocamldap_2.4.2-7_source.changes Debian FTP Masters
Bug#1077583: Removed package(s) from unstable Debian FTP Masters

<Possible follow-ups>
Bug#1077583: Removed package(s) from unstable Debian FTP Masters

Message not available
- Bug#473579: marked as done (libhttp-ocaml-dev: Not_found raised in Http_user_agent.head when the host does not exists.) Debian Bug Tracking System

[Git][ocaml-team/unison][2.53/debian] 6 commits: New upstream version 2.53.4 Stéphane Glondu (@glondu)
[Git][ocaml-team/unison][2.53/upstream] 2 commits: New upstream version 2.53.4 Stéphane Glondu (@glondu)
[Git][ocaml-team/unison][pristine-tar] 2 commits: pristine-tar data for unison-2.53_2.53.4.orig.tar.gz Stéphane Glondu (@glondu)
Processing of unison-2.53_2.53.5-1_source.changes Debian FTP Masters
unison-2.53_2.53.5-1_source.changes ACCEPTED into unstable Debian FTP Masters

The last update was on 15:00 GMT Wed Jul 31. There are 319 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