debian-ocaml-maint Aug 2024 by thread

[previous month]

[previous page]

Page 2 of 2

[next page]

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

planets_0.1.13-23_source.changes ACCEPTED into unstable Debian FTP Masters
[Git][ocaml-team/camlimages][master] 6 commits: New upstream version 5.0.5 Stéphane Glondu (@glondu)
Bug#1073908: marked as done (FTBFS with OCaml 5.2.0 (Uses String.create)) Debian Bug Tracking System
[Git][ocaml-team/camlimages][pristine-tar] pristine-tar data for camlimages_5.0.5.orig.tar.gz Stéphane Glondu (@glondu)
[Git][ocaml-team/camlimages][upstream] New upstream version 5.0.5 Stéphane Glondu (@glondu)
[Git][ocaml-team/camlimages] Pushed new tag archive/debian/1%5.0.5-1 Stéphane Glondu (@glondu)
[Git][ocaml-team/camlimages] Pushed new tag debian/1%5.0.5-1 Stéphane Glondu (@glondu)
[Git][ocaml-team/camlimages] Pushed new tag upstream/5.0.5 Stéphane Glondu (@glondu)
Processing of camlimages_5.0.5-1_source.changes Debian FTP Masters
Processed (with 1 error): forward 1073882 to upstream Debian Bug Tracking System
Processed: Bug#1073902 marked as pending in ocamlrss Debian Bug Tracking System
advi_2.0.0-1_source.changes ACCEPTED into unstable Debian FTP Masters
[Git][ocaml-team/advi][master] 8 commits: New upstream version 2.0.0 Stéphane Glondu (@glondu)
[Git][ocaml-team/advi][pristine-tar] pristine-tar data for advi_2.0.0.orig.tar.gz Stéphane Glondu (@glondu)
[Git][ocaml-team/advi][upstream] New upstream version 2.0.0 Stéphane Glondu (@glondu)
[Git][ocaml-team/advi] Pushed new tag archive/debian/2.0.0-1 Stéphane Glondu (@glondu)
[Git][ocaml-team/advi] Pushed new tag debian/2.0.0-1 Stéphane Glondu (@glondu)
[Git][ocaml-team/advi] Pushed new tag upstream/2.0.0 Stéphane Glondu (@glondu)
Processing of advi_2.0.0-1_source.changes Debian FTP Masters
Processed: Bug#1073909 marked as pending in pxp Debian Bug Tracking System
[Git][ocaml-team/ocamlrss] Pushed new tag archive/debian/2.2.2-3 Stéphane Glondu (@glondu)
[Git][ocaml-team/ocamlrss] Pushed new tag debian/2.2.2-3 Stéphane Glondu (@glondu)
ocamlrss_2.2.2-3_source.changes ACCEPTED into unstable Debian FTP Masters
pxp_1.2.9-4_source.changes ACCEPTED into unstable Debian FTP Masters
Bug#1073902: marked as done (FTBFS with OCaml 5.2.0 (Uses Pervasives)) Debian Bug Tracking System
Bug#1073909: marked as done (FTBFS with OCaml 5.2.0 (Uses obsolete (&) operator)) Debian Bug Tracking System
Processing of ocamlrss_2.2.2-3_source.changes Debian FTP Masters
[Git][ocaml-team/pxp] Pushed new tag debian/1.2.9-4 Stéphane Glondu (@glondu)
[Git][ocaml-team/pxp] Pushed new tag archive/debian/1.2.9-4 Stéphane Glondu (@glondu)
Processing of pxp_1.2.9-4_source.changes Debian FTP Masters
Processed: Bug#1073888 marked as pending in nproc Debian Bug Tracking System
[Git][ocaml-team/nproc] Pushed new tag archive/debian/0.5.1-5 Stéphane Glondu (@glondu)
[Git][ocaml-team/nproc] Pushed new tag debian/0.5.1-5 Stéphane Glondu (@glondu)
Processing of nproc_0.5.1-5_source.changes Debian FTP Masters
nproc_0.5.1-5_source.changes ACCEPTED into unstable Debian FTP Masters
Bug#1073888: marked as done (FTBFS with OCaml 5.2.0 (Missing dependency on camlp-streams)) Debian Bug Tracking System
Bug#1078383: ppx-tools: FTBFS: make: *** [debian/rules:7: binary] Error 25 Lucas Nussbaum
Bug#1078409: camlimages: FTBFS: gifread.c:46:9: error: implicit declaration of function ‘alloc_small’; did you mean ‘caml_alloc_small’? [-Wimplicit-function-declaration] Lucas Nussbaum

Bug#1078409: marked as done (camlimages: FTBFS: gifread.c:46:9: error: implicit declaration of function ‘alloc_small’; did you mean ‘caml_alloc_small’? [-Wimplicit-function-declaration]) Debian Bug Tracking System

Processing of elpi_1.18.2-5_source.changes Debian FTP Masters
elpi_1.18.2-5_source.changes ACCEPTED into unstable Debian FTP Masters
Bug#1073879: marked as done (FTBFS with OCaml 5.2.0 (Missing dependency on libfindlib-ocaml for bigarray)) Debian Bug Tracking System
[Git][ocaml-team/ocaml-extunix][master] 7 commits: Update debian/watch Stéphane Glondu (@glondu)
[Git][ocaml-team/ocaml-extunix][pristine-tar] pristine-tar data for ocaml-extunix_0.4.2.orig.tar.bz2 Stéphane Glondu (@glondu)
[Git][ocaml-team/ocaml-extunix] Pushed new tag archive/debian/0.4.2-1 Stéphane Glondu (@glondu)
[Git][ocaml-team/ocaml-extunix] Pushed new tag debian/0.4.2-1 Stéphane Glondu (@glondu)
[Git][ocaml-team/ocaml-extunix] Pushed new tag upstream/0.4.2 Stéphane Glondu (@glondu)
ocaml-extunix_0.4.2-1_source.changes ACCEPTED into unstable Debian FTP Masters
Processing of ocaml-extunix_0.4.2-1_source.changes Debian FTP Masters
approx_5.13-1~bpo12+1_source.changes REJECTED Debian FTP Masters
Processing of approx_5.13-1~bpo12+1_source.changes Debian FTP Masters
Processing of approx_5.13-1~bpo12+1_amd64.changes Debian FTP Masters
approx_5.13-1~bpo12+1_amd64.changes is NEW Debian FTP Masters
[Git][ocaml-team/why3][master] d/watch: use gitlab tags Ralf Treinen (@treinen)
[Git][ocaml-team/why3][pristine-tar] pristine-tar data for why3_1.7.2.orig.tar.bz2 Ralf Treinen (@treinen)
why3_1.7.2-1_source.changes ACCEPTED into unstable Debian FTP Masters
Bug#1046969: marked as done (why3: Fails to build source after successful build) Debian Bug Tracking System
Processing of why3_1.7.2-1_source.changes Debian FTP Masters
Bug#1078549: FTBFS with OCaml 5.2.0 on ppc64el Stéphane Glondu

Bug#1078549: FTBFS with OCaml 5.2.0 on ppc64el julien . puydt
Bug#1078549: marked as done (FTBFS with OCaml 5.2.0 on ppc64el) Debian Bug Tracking System

[Git][ocaml-team/why3] Pushed new tag debian/1.7.2-1 Ralf Treinen (@treinen)
[Git][ocaml-team/why3] Pushed new tag upstream/1.7.2 Ralf Treinen (@treinen)
[Git][ocaml-team/why3] Pushed new tag upstream/1.7.1 Ralf Treinen (@treinen)
Bug#1078561: lintian: false postive ocaml-dev-file-not-in-usr-lib-ocaml Bo YU
lem_2022-12-10+dfsg2-1_amd64.changes is NEW Debian FTP Masters
Processing of lem_2022-12-10+dfsg2-1_amd64.changes Debian FTP Masters
[Git][ocaml-team/camlpdf][master] 2 commits: Fix autopkgtest on bytecode architectures Stéphane Glondu (@glondu)
[Git][ocaml-team/camlpdf] Pushed new tag archive/debian/2.7-2 Stéphane Glondu (@glondu)
[Git][ocaml-team/camlpdf] Pushed new tag debian/2.7-2 Stéphane Glondu (@glondu)
camlpdf_2.7-2_source.changes ACCEPTED into unstable Debian FTP Masters
Processing of camlpdf_2.7-2_source.changes Debian FTP Masters
[Git][ocaml-team/ocaml-atd] Pushed new tag archive/debian/2.15.0-2 Stéphane Glondu (@glondu)
[Git][ocaml-team/ocaml-atd] Pushed new tag debian/2.15.0-2 Stéphane Glondu (@glondu)
ocaml-atd_2.15.0-2_source.changes ACCEPTED into unstable Debian FTP Masters
Processing of ocaml-atd_2.15.0-2_source.changes Debian FTP Masters
[Git][ocaml-team/why3][master] 2 commits: Do not hardcode /usr/lib/ocaml Stéphane Glondu (@glondu)
Bug#1073023: (No Subject) andy

<Possible follow-ups>
Bug#1073023: (No Subject) andy

Processed: bug 1078549 is forwarded to https://github.com/LPCIC/coq-elpi/issues/678 Debian Bug Tracking System
[Git][ocaml-team/why3][master] 3 commits: Depend on ocaml-native-compilers in tests for now Stéphane Glondu (@glondu)
[Git][ocaml-team/why3] Pushed new tag archive/debian/1.7.2-2 Stéphane Glondu (@glondu)
[Git][ocaml-team/why3] Pushed new tag debian/1.7.2-2 Stéphane Glondu (@glondu)
Bug#1078578: RM: coq-elpi and others [ppc64el] -- ROM; FTBFS Stéphane Glondu
Processing of why3_1.7.2-2_source.changes Debian FTP Masters
why3_1.7.2-2_source.changes ACCEPTED into unstable Debian FTP Masters
[Git][ocaml-team/morbig][master] 2 commits: Test api-c requires ocaml-native-compilers Stéphane Glondu (@glondu)
[Git][ocaml-team/morbig] Pushed new tag archive/debian/0.11.0-3 Stéphane Glondu (@glondu)
[Git][ocaml-team/morbig] Pushed new tag debian/0.11.0-3 Stéphane Glondu (@glondu)
morbig_0.11.0-3_source.changes ACCEPTED into unstable Debian FTP Masters
Processing of morbig_0.11.0-3_source.changes Debian FTP Masters
help to fix test failed on hol-light (#1073882 also) Bo YU
Bug#1078675: ITP: ocaml-digestif -- hashes implementations Stéphane Glondu
Processing of ocaml-digestif_1.2.0-1_amd64.changes Debian FTP Masters
ocaml-digestif_1.2.0-1_amd64.changes is NEW Debian FTP Masters
ocaml-digestif_1.2.0-1_amd64.changes ACCEPTED into unstable Debian FTP Masters
ocaml-lo is marked for autoremoval from testing Debian testing autoremoval watch
lablgl is marked for autoremoval from testing Debian testing autoremoval watch
perl4caml is marked for autoremoval from testing Debian testing autoremoval watch
laby is marked for autoremoval from testing Debian testing autoremoval watch
why3 is marked for autoremoval from testing Debian testing autoremoval watch

<Possible follow-ups>
why3 is marked for autoremoval from testing Debian testing autoremoval watch

mathcomp-algebra-tactics is marked for autoremoval from testing Debian testing autoremoval watch
mathcomp-bigenough is marked for autoremoval from testing Debian testing autoremoval watch
mathcomp-analysis 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
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
flocq is marked for autoremoval from testing Debian testing autoremoval watch
mathcomp-zify is marked for autoremoval from testing Debian testing autoremoval watch
frama-c is marked for autoremoval from testing Debian testing autoremoval watch
aac-tactics is marked for autoremoval from testing Debian testing autoremoval watch
ssreflect 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
coq-stdpp is marked for autoremoval from testing Debian testing autoremoval watch
coqeal is marked for autoremoval from testing Debian testing autoremoval watch
coq-unicoq is marked for autoremoval from testing Debian testing autoremoval watch
coq-simple-io is marked for autoremoval from testing Debian testing autoremoval watch
coq-reglang is marked for autoremoval from testing Debian testing autoremoval watch
coq-unimath is marked for autoremoval from testing Debian testing autoremoval watch
coq-serapi is marked for autoremoval from testing Debian testing autoremoval watch
coq-quickchick is marked for autoremoval from testing Debian testing autoremoval watch
coq-reduction-effects is marked for autoremoval from testing Debian testing autoremoval watch
coq-relation-algebra is marked for autoremoval from testing Debian testing autoremoval watch
ocaml-gettext is marked for autoremoval from testing Debian testing autoremoval watch
coq-mtac2 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-iris is marked for autoremoval from testing Debian testing autoremoval watch
coq-hott is marked for autoremoval from testing Debian testing autoremoval watch
coq-gappa is marked for autoremoval from testing Debian testing autoremoval watch
coq-record-update 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-deriving is marked for autoremoval from testing Debian testing autoremoval watch
coq-elpi is marked for autoremoval from testing Debian testing autoremoval watch
coq-math-classes is marked for autoremoval from testing Debian testing autoremoval watch
coq-bignums is marked for autoremoval from testing Debian testing autoremoval watch
coq-dpdgraph is marked for autoremoval from testing Debian testing autoremoval watch
paramcoq is marked for autoremoval from testing Debian testing autoremoval watch
coq-libhyps is marked for autoremoval from testing Debian testing autoremoval watch
coq-corn is marked for autoremoval from testing Debian testing autoremoval watch
coq-interval is marked for autoremoval from testing Debian testing autoremoval watch
coq is marked for autoremoval from testing Debian testing autoremoval watch
coq-hammer is marked for autoremoval from testing Debian testing autoremoval watch
ott is marked for autoremoval from testing Debian testing autoremoval watch
lablgtk3 is marked for autoremoval from testing Debian testing autoremoval watch
coq-equations is marked for autoremoval from testing Debian testing autoremoval watch
ocaml-dssi is marked for autoremoval from testing Debian testing autoremoval watch
[bts-link] source package src:hol-light debian-bts-link
Bug#1078789: ITP: ocaml-ohex -- OCaml library for hexadecimal encoding and decoding Stéphane Glondu
ocaml-ohex_0.2.0-1_amd64.changes is NEW Debian FTP Masters
Processing of ocaml-ohex_0.2.0-1_amd64.changes Debian FTP Masters
ocaml-ohex_0.2.0-1_amd64.changes ACCEPTED into unstable Debian FTP Masters
Processing of opam-0install-cudf_0.5.0-1_amd64.changes Debian FTP Masters
opam-0install-cudf_0.5.0-1_amd64.changes is NEW Debian FTP Masters
ocaml-extunix is marked for autoremoval from testing Debian testing autoremoval watch
nss-passwords is marked for autoremoval from testing Debian testing autoremoval watch
utop is marked for autoremoval from testing Debian testing autoremoval watch
ocaml-uri is marked for autoremoval from testing Debian testing autoremoval watch
ocaml-unix-errno is marked for autoremoval from testing Debian testing autoremoval watch
ocaml-topkg is marked for autoremoval from testing Debian testing autoremoval watch
ocaml-ssl is marked for autoremoval from testing Debian testing autoremoval watch
ocaml-spdx-licenses is marked for autoremoval from testing Debian testing autoremoval watch
ocaml-sedlex is marked for autoremoval from testing Debian testing autoremoval watch
ocaml-version is marked for autoremoval from testing Debian testing autoremoval watch
ocaml-uuseg is marked for autoremoval from testing Debian testing autoremoval watch
ocaml-ptime is marked for autoremoval from testing Debian testing autoremoval watch
ocaml-uunf is marked for autoremoval from testing Debian testing autoremoval watch
zed is marked for autoremoval from testing Debian testing autoremoval watch
ocaml-mccs is marked for autoremoval from testing Debian testing autoremoval watch
ocaml-logs is marked for autoremoval from testing Debian testing autoremoval watch
coinst is marked for autoremoval from testing Debian testing autoremoval watch
ocaml-uucd is marked for autoremoval from testing Debian testing autoremoval watch
ocaml-hmap is marked for autoremoval from testing Debian testing autoremoval watch
ocaml-hex is marked for autoremoval from testing Debian testing autoremoval watch
ocaml-gmap is marked for autoremoval from testing Debian testing autoremoval watch
uutf is marked for autoremoval from testing Debian testing autoremoval watch
ocaml-gen is marked for autoremoval from testing Debian testing autoremoval watch
ocaml-stringext is marked for autoremoval from testing Debian testing autoremoval watch
ocaml-fpath is marked for autoremoval from testing Debian testing autoremoval watch
mlpost is marked for autoremoval from testing Debian testing autoremoval watch
ocaml-fmt is marked for autoremoval from testing Debian testing autoremoval watch
ppx-deriving-yojson is marked for autoremoval from testing Debian testing autoremoval watch
ocaml-duration is marked for autoremoval from testing Debian testing autoremoval watch
ocaml-qtest is marked for autoremoval from testing Debian testing autoremoval watch
ocaml-mtime is marked for autoremoval from testing Debian testing autoremoval watch
ocaml-mew-vi is marked for autoremoval from testing Debian testing autoremoval watch
ocaml-csv is marked for autoremoval from testing Debian testing autoremoval watch
ocaml-ipaddr is marked for autoremoval from testing Debian testing autoremoval watch
ocaml-odoc is marked for autoremoval from testing Debian testing autoremoval watch
ocaml-cry is marked for autoremoval from testing Debian testing autoremoval watch
ocaml-domain-name is marked for autoremoval from testing Debian testing autoremoval watch
ocaml-expect is marked for autoremoval from testing Debian testing autoremoval watch
ocaml-charinfo-width is marked for autoremoval from testing Debian testing autoremoval watch
ocaml-cstruct is marked for autoremoval from testing Debian testing autoremoval watch
ocaml-batteries is marked for autoremoval from testing Debian testing autoremoval watch
pgocaml is marked for autoremoval from testing Debian testing autoremoval watch
ocaml-atd is marked for autoremoval from testing Debian testing autoremoval watch
ocaml-bos is marked for autoremoval from testing Debian testing autoremoval watch
ocaml-astring is marked for autoremoval from testing Debian testing autoremoval watch
ocaml-base64 is marked for autoremoval from testing Debian testing autoremoval watch
ocaml-asn1-combinators is marked for autoremoval from testing Debian testing autoremoval watch
camlp5-buildscripts is marked for autoremoval from testing Debian testing autoremoval watch
camlp5 is marked for autoremoval from testing Debian testing autoremoval watch
camlbz2 is marked for autoremoval from testing Debian testing autoremoval watch
lwt is marked for autoremoval from testing Debian testing autoremoval watch
reactivedata is marked for autoremoval from testing Debian testing autoremoval watch
jsonm is marked for autoremoval from testing Debian testing autoremoval watch
belenios is marked for autoremoval from testing Debian testing autoremoval watch
lambda-term is marked for autoremoval from testing Debian testing autoremoval watch
ledit is marked for autoremoval from testing Debian testing autoremoval watch
tyxml is marked for autoremoval from testing Debian testing autoremoval watch
dose3 is marked for autoremoval from testing Debian testing autoremoval watch
opam is marked for autoremoval from testing Debian testing autoremoval watch
omd is marked for autoremoval from testing Debian testing autoremoval watch
morsmall is marked for autoremoval from testing Debian testing autoremoval watch
ocurl is marked for autoremoval from testing Debian testing autoremoval watch
ocplib-simplex is marked for autoremoval from testing Debian testing autoremoval watch
lwt-log is marked for autoremoval from testing Debian testing autoremoval watch
ocamlgraph is marked for autoremoval from testing Debian testing autoremoval watch
ocamldap is marked for autoremoval from testing Debian testing autoremoval watch
ocamlformat is marked for autoremoval from testing Debian testing autoremoval watch
react is marked for autoremoval from testing Debian testing autoremoval watch
camomile is marked for autoremoval from testing Debian testing autoremoval watch
js-of-ocaml is marked for autoremoval from testing Debian testing autoremoval watch
js-of-ocaml-ocamlbuild is marked for autoremoval from testing Debian testing autoremoval watch
wyrd is marked for autoremoval from testing Debian testing autoremoval watch
obus is marked for autoremoval from testing Debian testing autoremoval watch
ocaml-alcotest is marked for autoremoval from testing Debian testing autoremoval watch
ocaml-crunch is marked for autoremoval from testing Debian testing autoremoval watch
cudf is marked for autoremoval from testing Debian testing autoremoval watch
morbig is marked for autoremoval from testing Debian testing autoremoval watch
coq REMOVED from testing Debian testing watch
ocamlviz is marked for autoremoval from testing Debian testing autoremoval watch
ocaml-uucp is marked for autoremoval from testing Debian testing autoremoval watch
ocaml-qcheck is marked for autoremoval from testing Debian testing autoremoval watch
yojson is marked for autoremoval from testing Debian testing autoremoval watch
ocaml-linenoise is marked for autoremoval from testing Debian testing autoremoval watch
ocaml-randomconv is marked for autoremoval from testing Debian testing autoremoval watch
uuidm is marked for autoremoval from testing Debian testing autoremoval watch
ocaml-rresult is marked for autoremoval from testing Debian testing autoremoval watch
headache is marked for autoremoval from testing Debian testing autoremoval watch
lwt-ssl is marked for autoremoval from testing Debian testing autoremoval watch
ocaml-inotify is marked for autoremoval from testing Debian testing autoremoval watch
ben is marked for autoremoval from testing Debian testing autoremoval watch
not-ocamlfind is marked for autoremoval from testing Debian testing autoremoval watch
ocaml-usb is marked for autoremoval from testing Debian testing autoremoval watch
Bug#1078941: Requires ocamlopt Stéphane Glondu
[Git][ocaml-team/camlpdf][pristine-tar] pristine-tar data for camlpdf_2.7.1.orig.tar.gz Stéphane Glondu (@glondu)
[Git][ocaml-team/camlpdf] Pushed new tag archive/debian/2.7.1-1 Stéphane Glondu (@glondu)
[Git][ocaml-team/camlpdf] Pushed new tag debian/2.7.1-1 Stéphane Glondu (@glondu)
[Git][ocaml-team/camlpdf] Pushed new tag upstream/2.7.1 Stéphane Glondu (@glondu)
[Git][ocaml-team/ocaml-zarith][pristine-tar] pristine-tar data for ocaml-zarith_1.14.orig.tar.gz Stéphane Glondu (@glondu)
[Git][ocaml-team/ocaml-zarith] Pushed new tag archive/debian/1.14-1 Stéphane Glondu (@glondu)
[Git][ocaml-team/ocaml-zarith] Pushed new tag debian/1.14-1 Stéphane Glondu (@glondu)
[Git][ocaml-team/ocaml-zarith] Pushed new tag upstream/1.14 Stéphane Glondu (@glondu)
Processing of camlpdf_2.7.1-1_source.changes Debian FTP Masters
Processing of ocaml-zarith_1.14-1_source.changes Debian FTP Masters
camlpdf_2.7.1-1_source.changes ACCEPTED into unstable Debian FTP Masters
ocaml-zarith_1.14-1_source.changes ACCEPTED into unstable Debian FTP Masters
ocaml-sqlite3_5.2.0-1_source.changes ACCEPTED into unstable Debian FTP Masters
[Git][ocaml-team/ocaml-sqlite3][master] 7 commits: Update debian/watch Stéphane Glondu (@glondu)
[Git][ocaml-team/ocaml-sqlite3][pristine-tar] pristine-tar data for ocaml-sqlite3_5.2.0.orig.tar.bz2 Stéphane Glondu (@glondu)
[Git][ocaml-team/ocaml-sqlite3][upstream] New upstream version 5.2.0 Stéphane Glondu (@glondu)
[Git][ocaml-team/ocaml-sqlite3] Pushed new tag archive/debian/5.2.0-1 Stéphane Glondu (@glondu)
[Git][ocaml-team/ocaml-sqlite3] Pushed new tag debian/5.2.0-1 Stéphane Glondu (@glondu)
[Git][ocaml-team/ocaml-sqlite3] Pushed new tag upstream/5.2.0 Stéphane Glondu (@glondu)
Processing of ocaml-sqlite3_5.2.0-1_source.changes Debian FTP Masters
ocaml-bigstringaf_0.10.0-1_source.changes ACCEPTED into unstable Debian FTP Masters
Processing of ocaml-bigstringaf_0.10.0-1_source.changes Debian FTP Masters
ppxlib_0.33.0-1_source.changes ACCEPTED into unstable Debian FTP Masters
Processing of ppxlib_0.33.0-1_source.changes Debian FTP Masters
menhir_20240715+ds-1_source.changes ACCEPTED into unstable Debian FTP Masters
ocaml-alcotest_1.8.0-1_source.changes ACCEPTED into unstable Debian FTP Masters
[Git][ocaml-team/menhir][pristine-tar] pristine-tar data for menhir_20240715+ds.orig.tar.xz Stéphane Glondu (@glondu)
[Git][ocaml-team/menhir] Pushed new tag archive/debian/20240715+ds-1 Stéphane Glondu (@glondu)
[Git][ocaml-team/menhir] Pushed new tag debian/20240715+ds-1 Stéphane Glondu (@glondu)
[Git][ocaml-team/menhir] Pushed new tag upstream/20240715+ds Stéphane Glondu (@glondu)
Processing of menhir_20240715+ds-1_source.changes Debian FTP Masters
Processing of ocaml-alcotest_1.8.0-1_source.changes Debian FTP Masters
ppx-deriving-yojson_3.9.0-1_source.changes ACCEPTED into unstable Debian FTP Masters
ocaml-inotify_2.6-1_source.changes ACCEPTED into unstable Debian FTP Masters
[Git][ocaml-team/ppx-deriving-yojson][pristine-tar] pristine-tar data for ppx-deriving-yojson_3.9.0.orig.tar.gz Stéphane Glondu (@glondu)
[Git][ocaml-team/ppx-deriving-yojson][master] 5 commits: New upstream version 3.9.0 Stéphane Glondu (@glondu)
[Git][ocaml-team/ppx-deriving-yojson][upstream] New upstream version 3.9.0 Stéphane Glondu (@glondu)
[Git][ocaml-team/ppx-deriving-yojson] Pushed new tag archive/debian/3.9.0-1 Stéphane Glondu (@glondu)
[Git][ocaml-team/ppx-deriving-yojson] Pushed new tag debian/3.9.0-1 Stéphane Glondu (@glondu)
[Git][ocaml-team/ppx-deriving-yojson] Pushed new tag upstream/3.9.0 Stéphane Glondu (@glondu)
[Git][ocaml-team/ocaml-inotify][pristine-tar] pristine-tar data for ocaml-inotify_2.6.orig.tar.bz2 Stéphane Glondu (@glondu)
[Git][ocaml-team/ocaml-inotify] Pushed new tag archive/debian/2.6-1 Stéphane Glondu (@glondu)
[Git][ocaml-team/ocaml-inotify] Pushed new tag debian/2.6-1 Stéphane Glondu (@glondu)
[Git][ocaml-team/ocaml-inotify] Pushed new tag upstream/2.6 Stéphane Glondu (@glondu)
Processing of ppx-deriving-yojson_3.9.0-1_source.changes Debian FTP Masters
Processing of ocaml-inotify_2.6-1_source.changes Debian FTP Masters
ocaml-asn1-combinators_0.3.1-1_source.changes ACCEPTED into unstable Debian FTP Masters
ocaml-eqaf_0.10-1_source.changes ACCEPTED into unstable Debian FTP Masters
Processing of ocaml-asn1-combinators_0.3.1-1_source.changes Debian FTP Masters
Processing of ocaml-eqaf_0.10-1_source.changes Debian FTP Masters
opam-0install-cudf_0.4.3-1_amd64.changes ACCEPTED into unstable Debian FTP Masters
opam-0install-cudf_0.5.0-1_amd64.changes ACCEPTED into unstable Debian FTP Masters
ocaml-mirage-crypto_1.1.0-1_source.changes ACCEPTED into unstable Debian FTP Masters
Processing of ocaml-mirage-crypto_1.1.0-1_source.changes Debian FTP Masters
[Git][ocaml-team/opam][master] Prepare upload to unstable Stéphane Glondu (@glondu)
[Git][ocaml-team/opam] Pushed new tag archive/debian/2.2.0-1 Stéphane Glondu (@glondu)
[Git][ocaml-team/opam] Pushed new tag debian/2.2.0-1 Stéphane Glondu (@glondu)
Processing of opam_2.2.0-1_source.changes Debian FTP Masters
opam_2.2.0-1_source.changes ACCEPTED into unstable Debian FTP Masters
ocaml-pbkdf_2.0.0-1_source.changes ACCEPTED into unstable Debian FTP Masters
Processing of ocaml-pbkdf_2.0.0-1_source.changes Debian FTP Masters
ocaml-digestif is marked for autoremoval from testing Debian testing autoremoval watch
Processing of ocaml-x509_1.0.1-1_source.changes Debian FTP Masters
ocaml-x509_1.0.1-1_source.changes ACCEPTED into unstable Debian FTP Masters
ocaml-mirage-crypto_1.1.0-2_source.changes ACCEPTED into unstable Debian FTP Masters
Processing of ocaml-mirage-crypto_1.1.0-2_source.changes Debian FTP Masters
[Git][ocaml-team/opam][master] 2 commits: Fix autopkgtest Stéphane Glondu (@glondu)
[Git][ocaml-team/opam] Pushed new tag archive/debian/2.2.0-2 Stéphane Glondu (@glondu)
[Git][ocaml-team/opam] Pushed new tag debian/2.2.0-2 Stéphane Glondu (@glondu)
Processing of opam_2.2.0-2_source.changes Debian FTP Masters
Processing of ocaml-ca-certs_1.0.0-1_source.changes Debian FTP Masters
ocaml-ca-certs_1.0.0-1_source.changes ACCEPTED into unstable Debian FTP Masters
opam_2.2.0-2_source.changes ACCEPTED into unstable Debian FTP Masters
[Git][ocaml-team/opam][master] Update changelog and prepare upload to unstable Stéphane Glondu (@glondu)
[Git][ocaml-team/opam] Pushed new tag archive/debian/2.2.0-3 Stéphane Glondu (@glondu)
[Git][ocaml-team/opam] Pushed new tag debian/2.2.0-3 Stéphane Glondu (@glondu)
opam_2.2.0-3_source.changes ACCEPTED into unstable Debian FTP Masters
Processing of opam_2.2.0-3_source.changes Debian FTP Masters
Bug#1079269: ITP: ocaml-intrinsics-kernel -- a library of intrinsics for OCaml Stéphane Glondu
Processing of ocaml-intrinsics-kernel_0.17.1-1_amd64.changes Debian FTP Masters
ocaml-intrinsics-kernel_0.17.1-1_amd64.changes is NEW Debian FTP Masters
opam_2.2.0-4_source.changes ACCEPTED into unstable Debian FTP Masters
[Git][ocaml-team/opam][master] 2 commits: Test 4.14.1 switch in autopkgtest Stéphane Glondu (@glondu)
[Git][ocaml-team/opam] Pushed new tag archive/debian/2.2.0-4 Stéphane Glondu (@glondu)
[Git][ocaml-team/opam] Pushed new tag debian/2.2.0-4 Stéphane Glondu (@glondu)
Processing of opam_2.2.0-4_source.changes Debian FTP Masters
Bug#1079313: bullseye-pu: package mlpost/0.8.2-4+deb11u1 Santiago Vila
Processed: fix meta info Debian Bug Tracking System
ocaml-intrinsics-kernel_0.17.1-1_amd64.changes ACCEPTED into unstable Debian FTP Masters
mlpost_0.8.2-4+deb11u1_source.changes ACCEPTED into oldstable-proposed-updates->oldstable-new Debian FTP Masters
Bug#991060: mlpost FTBFS with imagemagick with the #987504 change Santiago Vila
Processing of mlpost_0.8.2-4+deb11u1_source.changes Debian FTP Masters
Bug#1079417: lablgtk3: please migrate from deprecated gtksourceview3 to gtksourceview4 (or 5) Simon McVittie

Processed: lablgtk3: please migrate from deprecated gtksourceview3 to gtksourceview4 (or 5) Debian Bug Tracking System

Bug#1079429: why3: please migrate from deprecated gtksourceview3 to gtksourceview4 (or 5) Simon McVittie

Processed: why3: please migrate from deprecated gtksourceview3 to gtksourceview4 (or 5) Debian Bug Tracking System

Bug#1079430: coqide: please migrate from deprecated gtksourceview3 to gtksourceview4 (or 5) Simon McVittie

Processed: coqide: please migrate from deprecated gtksourceview3 to gtksourceview4 (or 5) Debian Bug Tracking System

Bug#1079431: laby: please migrate from deprecated gtksourceview3 to gtksourceview4 (or 5) Simon McVittie

Processed: laby: please migrate from deprecated gtksourceview3 to gtksourceview4 (or 5) Debian Bug Tracking System

Bug#1079432: frama-c-base: please migrate from deprecated gtksourceview3 to gtksourceview4 (or 5) Simon McVittie

Processed: frama-c-base: please migrate from deprecated gtksourceview3 to gtksourceview4 (or 5) Debian Bug Tracking System

mlpost_0.8.2-4+deb11u1_source.changes ACCEPTED into oldstable-proposed-updates Debian FTP Masters
Bug#991060: marked as done (mlpost FTBFS with imagemagick with the #987504 change) Debian Bug Tracking System
Bug#1078051: Removed package(s) from unstable Debian FTP Masters

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

Message not available
- Bug#1038076: marked as done (ocamlsdl: Is a language binding for an obsolete version of SDL) Debian Bug Tracking System
Message not available
- Bug#1046405: marked as done (ocamlsdl: Fails to build source after successful build) Debian Bug Tracking System
Message not available
- Bug#670868: marked as done (create_RGB_surface ignores flags) Debian Bug Tracking System
Message not available
- Bug#716871: marked as done (Sdlevent.MOUSEBUTTONDOWN reports buttons 1-off causing segfaults on wheeldown) Debian Bug Tracking System
Message not available
- Bug#670869: marked as done (Missing binding for SDL_ConvertSurface) Debian Bug Tracking System
Message not available
- Bug#720690: marked as done (wrong mouse buttons in events) Debian Bug Tracking System

Processed: severity of 1078941 is wishlist Debian Bug Tracking System
[Git][ocaml-team/advi][master] 2 commits: Use SOURCE_DATE_EPOCH for reproducibility Stéphane Glondu (@glondu)
[Git][ocaml-team/advi] Pushed new tag archive/debian/2.0.0-2 Stéphane Glondu (@glondu)
[Git][ocaml-team/advi] Pushed new tag debian/2.0.0-2 Stéphane Glondu (@glondu)
advi_2.0.0-2_source.changes ACCEPTED into unstable Debian FTP Masters
Processing of advi_2.0.0-2_source.changes Debian FTP Masters
Bug#1078266: Removed package(s) from unstable Debian FTP Masters

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

Message not available
- Bug#1073907: marked as done (FTBFS with OCaml 5.2.0 (Uses String.lowercase)) Debian Bug Tracking System

Bug#1078252: Removed package(s) from unstable Debian FTP Masters
[Git][ocaml-team/advi][master] 2 commits: Use SOURCE_DATE_EPOCH to set the date in manual Stéphane Glondu (@glondu)
[Git][ocaml-team/advi] Pushed new tag archive/debian/2.0.0-3 Stéphane Glondu (@glondu)
[Git][ocaml-team/advi] Pushed new tag debian/2.0.0-3 Stéphane Glondu (@glondu)
advi_2.0.0-3_source.changes ACCEPTED into unstable Debian FTP Masters
opam_2.2.1-1_source.changes ACCEPTED into unstable Debian FTP Masters
[Git][ocaml-team/opam][master] 5 commits: New upstream version 2.2.1 Stéphane Glondu (@glondu)
[Git][ocaml-team/opam][pristine-tar] pristine-tar data for opam_2.2.1.orig.tar.gz Stéphane Glondu (@glondu)
[Git][ocaml-team/opam][upstream] New upstream version 2.2.1 Stéphane Glondu (@glondu)
[Git][ocaml-team/opam] Pushed new tag archive/debian/2.2.1-1 Stéphane Glondu (@glondu)
[Git][ocaml-team/opam] Pushed new tag debian/2.2.1-1 Stéphane Glondu (@glondu)
[Git][ocaml-team/opam] Pushed new tag upstream/2.2.1 Stéphane Glondu (@glondu)
Processing of advi_2.0.0-3_source.changes Debian FTP Masters
Processing of opam_2.2.1-1_source.changes Debian FTP Masters
advi_2.0.0-4_source.changes ACCEPTED into unstable Debian FTP Masters
[Git][ocaml-team/advi][master] 2 commits: Use FORCE_SOURCE_DATE for dvips reproducibility Stéphane Glondu (@glondu)
[Git][ocaml-team/advi] Pushed new tag archive/debian/2.0.0-4 Stéphane Glondu (@glondu)
[Git][ocaml-team/advi] Pushed new tag debian/2.0.0-4 Stéphane Glondu (@glondu)
Processing of advi_2.0.0-4_source.changes Debian FTP Masters
approx_5.13-1~bpo12+1_amd64.changes ACCEPTED into stable-backports Debian FTP Masters
Accepted approx 5.13-1~bpo12+1 (source amd64) into stable-backports Debian FTP Masters
ocaml-sexplib0_0.17.0-1_source.changes ACCEPTED into unstable Debian FTP Masters
Processing of ocaml-sexplib0_0.17.0-1_source.changes Debian FTP Masters
janest-base_0.17.1-1_source.changes ACCEPTED into unstable Debian FTP Masters
Processing of janest-base_0.17.1-1_source.changes Debian FTP Masters
[Git][ocaml-team/fieldslib][master] 5 commits: New upstream version 0.17.0 Stéphane Glondu (@glondu)
[Git][ocaml-team/fieldslib][pristine-tar] pristine-tar data for fieldslib_0.17.0.orig.tar.gz Stéphane Glondu (@glondu)
[Git][ocaml-team/fieldslib][upstream] New upstream version 0.17.0 Stéphane Glondu (@glondu)
[Git][ocaml-team/fieldslib] Pushed new tag archive/debian/1%0.17.0-1 Stéphane Glondu (@glondu)
[Git][ocaml-team/fieldslib] Pushed new tag debian/1%0.17.0-1 Stéphane Glondu (@glondu)
[Git][ocaml-team/fieldslib] Pushed new tag upstream/0.17.0 Stéphane Glondu (@glondu)
fieldslib_0.17.0-1_source.changes ACCEPTED into unstable Debian FTP Masters
ocaml-parsexp_0.17.0-1_source.changes ACCEPTED into unstable Debian FTP Masters
ocaml-stdio_0.17.0-1_source.changes ACCEPTED into unstable Debian FTP Masters
ppx-stable-witness_0.17.0-1_source.changes ACCEPTED into unstable Debian FTP Masters
Processing of ocaml-parsexp_0.17.0-1_source.changes Debian FTP Masters
Processing of fieldslib_0.17.0-1_source.changes Debian FTP Masters
[Git][ocaml-team/typerep][pristine-tar] pristine-tar data for typerep_0.17.0.orig.tar.gz Stéphane Glondu (@glondu)
[Git][ocaml-team/typerep] Pushed new tag archive/debian/1%0.17.0-1 Stéphane Glondu (@glondu)
[Git][ocaml-team/typerep] Pushed new tag debian/1%0.17.0-1 Stéphane Glondu (@glondu)
[Git][ocaml-team/typerep] Pushed new tag upstream/0.17.0 Stéphane Glondu (@glondu)
Processing of ocaml-stdio_0.17.0-1_source.changes Debian FTP Masters
[Git][ocaml-team/variantslib][master] 5 commits: New upstream version 0.17.0 Stéphane Glondu (@glondu)
[Git][ocaml-team/variantslib][pristine-tar] pristine-tar data for variantslib_0.17.0.orig.tar.gz Stéphane Glondu (@glondu)
[Git][ocaml-team/variantslib][upstream] New upstream version 0.17.0 Stéphane Glondu (@glondu)
[Git][ocaml-team/variantslib] Pushed new tag archive/debian/1%0.17.0-1 Stéphane Glondu (@glondu)
[Git][ocaml-team/variantslib] Pushed new tag debian/1%0.17.0-1 Stéphane Glondu (@glondu)
[Git][ocaml-team/variantslib] Pushed new tag upstream/0.17.0 Stéphane Glondu (@glondu)
Processing of ppx-stable-witness_0.17.0-1_source.changes Debian FTP Masters
typerep_0.17.0-1_source.changes ACCEPTED into unstable Debian FTP Masters
variantslib_0.17.0-1_source.changes ACCEPTED into unstable Debian FTP Masters
Processing of typerep_0.17.0-1_source.changes Debian FTP Masters
Processing of variantslib_0.17.0-1_source.changes Debian FTP Masters
sexplib310_0.17.0-1_source.changes ACCEPTED into unstable Debian FTP Masters
[Git][ocaml-team/sexplib310][pristine-tar] pristine-tar data for sexplib310_0.17.0.orig.tar.gz Stéphane Glondu (@glondu)
[Git][ocaml-team/sexplib310] Pushed new tag archive/debian/1%0.17.0-1 Stéphane Glondu (@glondu)
[Git][ocaml-team/sexplib310] Pushed new tag debian/1%0.17.0-1 Stéphane Glondu (@glondu)
[Git][ocaml-team/sexplib310] Pushed new tag upstream/0.17.0 Stéphane Glondu (@glondu)
Processing of sexplib310_0.17.0-1_source.changes Debian FTP Masters
bin-prot_0.17.0-1_source.changes ACCEPTED into unstable Debian FTP Masters
[Git][ocaml-team/bin-prot][master] 5 commits: New upstream version 0.17.0 Stéphane Glondu (@glondu)
[Git][ocaml-team/bin-prot][pristine-tar] pristine-tar data for bin-prot_0.17.0.orig.tar.gz Stéphane Glondu (@glondu)
[Git][ocaml-team/bin-prot] Pushed new tag archive/debian/1%0.17.0-1 Stéphane Glondu (@glondu)
[Git][ocaml-team/bin-prot] Pushed new tag debian/1%0.17.0-1 Stéphane Glondu (@glondu)
[Git][ocaml-team/bin-prot] Pushed new tag upstream/0.17.0 Stéphane Glondu (@glondu)
Processing of bin-prot_0.17.0-1_source.changes Debian FTP Masters
jst-config_0.17.0-1_source.changes ACCEPTED into unstable Debian FTP Masters
Processing of jst-config_0.17.0-1_source.changes Debian FTP Masters
bin-prot_0.17.0-2_source.changes ACCEPTED into unstable Debian FTP Masters
ocaml-version_3.6.8-1_source.changes ACCEPTED into unstable Debian FTP Masters
Processing of bin-prot_0.17.0-2_source.changes Debian FTP Masters
Processing of ocaml-version_3.6.8-1_source.changes Debian FTP Masters
[Git][ocaml-team/bin-prot][master] 3 commits: Fix FTBFS on bytecode architectures Stéphane Glondu (@glondu)
[Git][ocaml-team/bin-prot] Pushed new tag archive/debian/1%0.17.0-2 Stéphane Glondu (@glondu)
[Git][ocaml-team/bin-prot] Pushed new tag debian/1%0.17.0-2 Stéphane Glondu (@glondu)
Processing of ocaml-ctypes_0.23.0-1_source.changes Debian FTP Masters
[Git][ocaml-team/ocaml-ctypes] Pushed new tag archive/debian/0.23.0-1 Stéphane Glondu (@glondu)
[Git][ocaml-team/ocaml-ctypes][master] 4 commits: New upstream version 0.23.0 Stéphane Glondu (@glondu)
[Git][ocaml-team/ocaml-ctypes] Pushed new tag debian/0.23.0-1 Stéphane Glondu (@glondu)
[Git][ocaml-team/ocaml-ctypes] Pushed new tag upstream/0.23.0 Stéphane Glondu (@glondu)
[Git][ocaml-team/ocaml-ctypes][pristine-tar] pristine-tar data for ocaml-ctypes_0.23.0.orig.tar.gz Stéphane Glondu (@glondu)
[Git][ocaml-team/ocaml-ctypes][upstream] New upstream version 0.23.0 Stéphane Glondu (@glondu)
ocaml-ctypes_0.23.0-1_source.changes ACCEPTED into unstable Debian FTP Masters
Processing of ocaml-x509_1.0.2-1_source.changes Debian FTP Masters
ocaml-x509_1.0.2-1_source.changes ACCEPTED into unstable Debian FTP Masters
Processed: reassign 1078549 to ocaml, found 1078549 in 5.2.0-2, affects 1078549 Debian Bug Tracking System
ocaml_5.2.0-3_source.changes ACCEPTED into unstable Debian FTP Masters
[Git][ocaml-team/ocaml][debian/sid] 3 commits: Import upstream patch to fix coq-elpi ppc64el failure Stéphane Glondu (@glondu)
[Git][ocaml-team/ocaml] Pushed new tag archive/debian/5.2.0-3 Stéphane Glondu (@glondu)
[Git][ocaml-team/ocaml] Pushed new tag debian/5.2.0-3 Stéphane Glondu (@glondu)
Processing of ocaml_5.2.0-3_source.changes Debian FTP Masters
Bug#1080119: ocaml-merlin: FTBFS: Error (alert deprecated): G.Lr1.reductions Santiago Vila

The last update was on 05:00 GMT Sat Aug 31. There are 965 messages. Page 2 of 2.

[previous month]

[previous page]

Page 2 of 2

[next page]

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

Mail converted by MHonArc