debian-ocaml-maint Dec 2025 by thread

[previous month]

[previous page]

Page 1 of 1

[next page]

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

[Git][ocaml-team/unison][2.53/debian] 6 commits: Switch debian/watch to version 5 Stéphane Glondu (@glondu)
[Git][ocaml-team/unison][2.53/upstream] New upstream version 2.53.8 Stéphane Glondu (@glondu)
[Git][ocaml-team/unison] Pushed new tag archive/debian/2.53.8-1 Stéphane Glondu (@glondu)
[Git][ocaml-team/unison][pristine-tar] pristine-tar data for unison-2.53_2.53.8.orig.tar.gz Stéphane Glondu (@glondu)
[Git][ocaml-team/unison] Pushed new tag debian/2.53.8-1 Stéphane Glondu (@glondu)
[Git][ocaml-team/unison] Pushed new tag upstream/2.53.8 Stéphane Glondu (@glondu)
Processing of unison-2.53_2.53.8-1_source.changes Debian FTP Masters
unison-2.53_2.53.8-1_source.changes ACCEPTED into unstable Debian FTP Masters
[Git][ocaml-team/opam][master] 6 commits: Switch debian/watch to version 5 Stéphane Glondu (@glondu)
[Git][ocaml-team/opam] Pushed new tag archive/debian/2.5.0-1 Stéphane Glondu (@glondu)
[Git][ocaml-team/opam] Pushed new tag debian/2.5.0-1 Stéphane Glondu (@glondu)
[Git][ocaml-team/opam][pristine-tar] pristine-tar data for opam_2.5.0.orig.tar.gz Stéphane Glondu (@glondu)
[Git][ocaml-team/opam] Pushed new tag upstream/2.5.0 Stéphane Glondu (@glondu)
[Git][ocaml-team/opam][upstream] New upstream version 2.5.0 Stéphane Glondu (@glondu)
opam_2.5.0-1_source.changes ACCEPTED into unstable Debian FTP Masters
Processing of opam_2.5.0-1_source.changes Debian FTP Masters
Bug#1121831: advi: FTBFS in sid Gianfranco Costamagna
Bug#1121833: ben: confused by :native build-dependencies Graham Inggs

Bug#1121833: ben: confused by :native build-dependencies Stéphane Glondu

Bug#1121833: ben: confused by :native build-dependencies Graham Inggs

Bug#1121833: ben: confused by :native build-dependencies Graham Inggs
Bug#1121833: ben: confused by :native build-dependencies Stéphane Glondu
Bug#1121833: ben: confused by :native build-dependencies Graham Inggs
Bug#1121833: ben: confused by :native build-dependencies Stéphane Glondu
Bug#1121833: ben: confused by :native build-dependencies Stéphane Glondu
Bug#1121833: ben: confused by :native build-dependencies Graham Inggs

Bug#1121833: marked as done (ben: confused by :native build-dependencies) Debian Bug Tracking System

Processed: limit source to advi, tagging 1121831 Debian Bug Tracking System
[Git][ocaml-team/advi][master] doc: fix option 'francais' of babel package Ralf Treinen (@treinen)
Processed: tagging 1121981, tagging 1122003, tagging 1122009, tagging 1122017, tagging 1122023, tagging 1122024 ... Debian Bug Tracking System
ben_1.14_source.changes ACCEPTED into unstable Debian FTP Masters
Processing of ben_1.14_source.changes Debian FTP Masters
Bug#1122238: ben should ignore Build-Depends-Indep Adrian Bunk

Bug#1122238: ben should ignore Build-Depends-Indep Stéphane Glondu

Message not available
- Bug#1122238: ben should ignore Build-Depends-Indep Stéphane Glondu

Bug#1122303: ocaml-eio: FTBFS with the nocheck build profile Santiago Vila

Bug#1122303: marked as done (ocaml-eio: FTBFS with the nocheck build profile) Debian Bug Tracking System

ocaml-eio_1.3-2_source.changes ACCEPTED into unstable Debian FTP Masters
Processing of ocaml-eio_1.3-2_source.changes Debian FTP Masters
Processed: metadata Debian Bug Tracking System
Bug#1122492: why3: FTBFS: Fatal error: exception Sys_error("debian/why3/usr/lib/x86_64-linux-gnu/ocaml/5.3.0/why3/commands/why3ide.cma: No such file or directory") Santiago Vila
advi is marked for autoremoval from testing Debian testing autoremoval watch
Bug#1043823: camomile: Fails to build source after successful build Santiago Vila

Processed: Re: camomile: Fails to build source after successful build Debian Bug Tracking System

Bug#1044568: extlib: Fails to build source after successful build Santiago Vila

Processed: Re: extlib: Fails to build source after successful build Debian Bug Tracking System

Bug#1045855: ocaml-ca-certs: Fails to build source after successful build Santiago Vila

Processed: Re: ocaml-ca-certs: Fails to build source after successful build Debian Bug Tracking System

Bug#1046478: ocaml-alcotest: Fails to build source after successful build Santiago Vila

Processed: Re: ocaml-alcotest: Fails to build source after successful build Debian Bug Tracking System

Bug#1047520: janest-ocaml-compiler-libs: Fails to build source after successful build Santiago Vila

Processed: Re: janest-ocaml-compiler-libs: Fails to build source after successful build Debian Bug Tracking System

Bug#1048153: nss-passwords: Fails to build source after successful build Santiago Vila

Processed: Re: nss-passwords: Fails to build source after successful build Debian Bug Tracking System

Bug#1047036: ssreflect: Fails to build source after successful build Santiago Vila

Processed: Re: ssreflect: Fails to build source after successful build Debian Bug Tracking System

Processed: tags Debian Bug Tracking System
[Git][ocaml-team/ocaml][debian/experimental] 3 commits: fma test from test suite fails on hppa, enable emulation like on m68k Stéphane Glondu (@glondu)
[Git][ocaml-team/ocaml] Pushed new tag archive/debian/5.4.0-1_exp2 Stéphane Glondu (@glondu)
[Git][ocaml-team/ocaml] Pushed new tag debian/5.4.0-1_exp2 Stéphane Glondu (@glondu)
ocaml_5.4.0-1~exp2_source.changes ACCEPTED into experimental Debian FTP Masters
Processing of ocaml_5.4.0-1~exp2_source.changes Debian FTP Masters
[Git][ocaml-team/ocaml][debian/experimental] 2 commits: Mark test_compact_manydomains as multicore Stéphane Glondu (@glondu)
[Git][ocaml-team/ocaml] Pushed new tag debian/5.4.0-1_exp3 Stéphane Glondu (@glondu)
[Git][ocaml-team/ocaml] Pushed new tag archive/debian/5.4.0-1_exp3 Stéphane Glondu (@glondu)
Processing of ocaml_5.4.0-1~exp3_source.changes Debian FTP Masters
ocaml_5.4.0-1~exp3_source.changes ACCEPTED into experimental Debian FTP Masters
ocamlbuild_0.16.1-2_source.changes ACCEPTED into unstable Debian FTP Masters
[Git][ocaml-team/ocamlbuild] Pushed new tag archive/debian/0.16.1-2 Stéphane Glondu (@glondu)
[Git][ocaml-team/ocamlbuild][master] 3 commits: Fix PrincipalFlag test with OCaml 5.4.0 Stéphane Glondu (@glondu)
[Git][ocaml-team/ocamlbuild] Pushed new tag debian/0.16.1-2 Stéphane Glondu (@glondu)
Processing of ocamlbuild_0.16.1-2_source.changes Debian FTP Masters
[Git][ocaml-team/camlp4][pristine-tar] pristine-tar data for camlp4_5.4+1.orig.tar.gz Stéphane Glondu (@glondu)
[Git][ocaml-team/camlp4] Pushed new tag upstream/5.4+1 Stéphane Glondu (@glondu)
[Git][ocaml-team/camlp5][pristine-tar] 6 commits: pristine-tar data for camlp5_8.03.02.orig.tar.gz Stéphane Glondu (@glondu)
[Git][ocaml-team/camlp5][master] 11 commits: Switch debian/watch to version 5 Stéphane Glondu (@glondu)
[Git][ocaml-team/camlp5] Pushed new tag upstream/8.03.02 Stéphane Glondu (@glondu)
[Git][ocaml-team/camlp5][upstream] 6 commits: New upstream version 8.03.02 Stéphane Glondu (@glondu)
[Git][ocaml-team/camlp5] Pushed new tag upstream/8.03.03 Stéphane Glondu (@glondu)
[Git][ocaml-team/camlp5] Pushed new tag upstream/8.03.04 Stéphane Glondu (@glondu)
[Git][ocaml-team/camlp5] Pushed new tag upstream/8.04.00 Stéphane Glondu (@glondu)
[Git][ocaml-team/camlp5] Pushed new tag upstream/8.03.05 Stéphane Glondu (@glondu)
[Git][ocaml-team/camlp5] Pushed new tag upstream/8.03.06 Stéphane Glondu (@glondu)
[Git][ocaml-team/ocamlnet] Pushed new tag archive/debian/4.1.9-7 Stéphane Glondu (@glondu)
[Git][ocaml-team/ocamlnet][master] 4 commits: Fix compilation with OCaml 5.04.0 Stéphane Glondu (@glondu)
[Git][ocaml-team/ocamlnet] Pushed new tag debian/4.1.9-7 Stéphane Glondu (@glondu)
[Git][ocaml-team/ocaml-batteries][pristine-tar] pristine-tar data for ocaml-batteries_3.10.0.orig.tar.gz Stéphane Glondu (@glondu)
[Git][ocaml-team/ocaml-batteries] Pushed new tag upstream/3.10.0 Stéphane Glondu (@glondu)
ocamlnet_4.1.9-7_source.changes ACCEPTED into unstable Debian FTP Masters
Processing of ocamlnet_4.1.9-7_source.changes Debian FTP Masters
ocaml-multicore-magic_2.3.1-3_source.changes ACCEPTED into unstable Debian FTP Masters
Processing of ocaml-multicore-magic_2.3.1-3_source.changes Debian FTP Masters
ocaml-stdcompat_21.1-1_source.changes ACCEPTED into unstable Debian FTP Masters
[Git][ocaml-team/ocaml-batteries][master] Prepare upload to unstable Stéphane Glondu (@glondu)
[Git][ocaml-team/ocaml-batteries] Pushed new tag archive/debian/3.10.0-1 Stéphane Glondu (@glondu)
[Git][ocaml-team/ocaml-batteries] Pushed new tag debian/3.10.0-1 Stéphane Glondu (@glondu)
Processing of ocaml-stdcompat_21.1-1_source.changes Debian FTP Masters
ocaml-batteries_3.10.0-1_source.changes ACCEPTED into unstable Debian FTP Masters
Processing of ocaml-batteries_3.10.0-1_source.changes Debian FTP Masters
why3 is marked for autoremoval from testing Debian testing autoremoval watch
[Git][ocaml-team/ocaml-gettext][master] 3 commits: Fix compilation with OCaml 5.4.0 Stéphane Glondu (@glondu)
[Git][ocaml-team/eliom][master] 3 commits: Fix compilation with OCaml 5.4.0 Stéphane Glondu (@glondu)
ocaml-merlin_5.6-503+ds-1_source.changes ACCEPTED into unstable Debian FTP Masters
Processing of ocaml-merlin_5.6-503+ds-1_source.changes Debian FTP Masters
pyml_20250807-1_source.changes ACCEPTED into unstable Debian FTP Masters
Processing of pyml_20250807-1_source.changes Debian FTP Masters
ocamlformat_0.28.1-1_source.changes ACCEPTED into unstable Debian FTP Masters
Processing of ocamlformat_0.28.1-1_source.changes Debian FTP Masters
Bug#1123656: transition: ocaml 5.4.0 Stéphane Glondu
[Git][ocaml-team/hol-light][master] 7 commits: New upstream version 3.0.0 Stéphane Glondu (@glondu)
[Git][ocaml-team/hol-light][pristine-tar] pristine-tar data for hol-light_3.1.0.orig.tar.xz Stéphane Glondu (@glondu)
[Git][ocaml-team/hol-light][upstream] New upstream version 3.1.0 Stéphane Glondu (@glondu)
[Git][ocaml-team/hol-light] Pushed new tag upstream/3.1.0 Stéphane Glondu (@glondu)
[Git][ocaml-team/hol-light][master] Prepare upload to unstable Stéphane Glondu (@glondu)
[Git][ocaml-team/hol-light] Pushed new tag debian/1%3.1.0-1 Stéphane Glondu (@glondu)
[Git][ocaml-team/hol-light] Pushed new tag archive/debian/1%3.1.0-1 Stéphane Glondu (@glondu)
hol-light_3.1.0-1_source.changes ACCEPTED into unstable Debian FTP Masters
Processing of hol-light_3.1.0-1_source.changes Debian FTP Masters
ocaml-posix_2.2.0-2_source.changes ACCEPTED into unstable Debian FTP Masters
Processing of ocaml-posix_2.2.0-2_source.changes Debian FTP Masters
Bug#1123728: ITP: ocaml-process -- easy process control in OCaml Stéphane Glondu
Processing of ocaml-process_0.2.1-1_amd64.changes Debian FTP Masters
ocaml-process_0.2.1-1_amd64.changes is NEW Debian FTP Masters
Processed: tagging 1105655, tagging 1105339, tagging 1044779, tagging 1049769, tagging 1105533, tagging 1044714 ... Debian Bug Tracking System
Processed: retitle 1122492 to why3: FTBFS:/bin/sh: 1: ccomps: not found Debian Bug Tracking System

The last update was on 08:40 GMT Tue Dec 23. There are 125 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