debian-ocaml-maint Oct 2025 by author

[previous page]

Page 1 of 1

[next page]

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

---

Stéphane Glondu

• Bug#1116827: marked as pending in ocaml-atd Oct 04
• Bug#1117440: marked as pending in ben Oct 06

Stéphane Glondu (@glondu)

• [Git][ocaml-team/ocaml-sedlex][upstream] New upstream version 3.7 Oct 17
• [Git][ocaml-team/ocp-indent][upstream] New upstream version 1.9.0 Oct 16
• [Git][ocaml-team/postgresql-ocaml] Pushed new tag upstream/5.3.2 Oct 16
• [Git][ocaml-team/ocaml-visitors] Pushed new tag debian/20251010-1 Oct 17
• [Git][ocaml-team/ocp-indent] Pushed new tag archive/debian/1.9.0-2 Oct 20
• [Git][ocaml-team/ocp-indent][master] 2 commits: Run autopkgtest with umask 022 Oct 21
• [Git][ocaml-team/ocaml-sedlex] Pushed new tag debian/3.7-1 Oct 17
• [Git][ocaml-team/ocaml-sedlex] Pushed new tag upstream/3.7 Oct 17
• [Git][ocaml-team/ocaml] Pushed new tag archive/debian/5.4.0-1_exp1 Oct 12
• [Git][ocaml-team/ocaml][pristine-tar] pristine-tar data for ocaml_5.4.0.orig.tar.xz Oct 12
• [Git][ocaml-team/ocaml-sedlex][master] 6 commits: Switch debian/watch to version 5 Oct 17
• [Git][ocaml-team/ocp-indent][master] 2 commits: Fix autopkgtest Oct 20
• [Git][ocaml-team/ocaml][debian/sid] 4 commits: Build --without-zstd Oct 12
• [Git][ocaml-team/postgresql-ocaml] Pushed new tag upstream/5.3.1 Oct 16
• [Git][ocaml-team/ocaml-atd] Pushed new tag archive/debian/2.16.0-3 Oct 04
• [Git][ocaml-team/ocp-indent] Pushed new tag archive/debian/1.9.0-3 Oct 21
• [Git][ocaml-team/postgresql-ocaml] Pushed new tag debian/5.3.2-1 Oct 16
• [Git][ocaml-team/ocp-indent] Pushed new tag debian/1.9.0-1 Oct 16
• [Git][ocaml-team/ocp-indent] Pushed new tag debian/1.9.0-2 Oct 20
• [Git][ocaml-team/ocaml-visitors] Pushed new tag archive/debian/20251010-1 Oct 17
• [Git][ocaml-team/ocaml-batteries] Pushed new tag debian/3.9.0-2 Oct 04
• [Git][ocaml-team/ocaml] Pushed new tag debian/5.4.0-1_exp1 Oct 12
• [Git][ocaml-team/zed][master] 2 commits: Update packaging Oct 04
• [Git][ocaml-team/ocaml-batteries] Pushed new tag archive/debian/3.9.0-2 Oct 04
• [Git][ocaml-team/postgresql-ocaml] Pushed new tag archive/debian/5.3.2-1 Oct 16
• [Git][ocaml-team/ocaml-visitors][pristine-tar] pristine-tar data for ocaml-visitors_20251010.orig.tar.xz Oct 17
• [Git][ocaml-team/zed] Pushed new tag archive/debian/3.2.3-2 Oct 04
• [Git][ocaml-team/ocaml-batteries][master] 2 commits: Update packaging Oct 04
• [Git][ocaml-team/ocaml-inotify] Pushed new tag debian/2.6-2 Oct 04
• [Git][ocaml-team/ocaml-atd] Pushed new tag debian/2.16.0-3 Oct 04
• [Git][ocaml-team/ocaml-visitors] Pushed new tag upstream/20251010 Oct 17
• [Git][ocaml-team/ocp-indent] Pushed new tag debian/1.9.0-3 Oct 21
• [Git][ocaml-team/ocp-indent][master] 7 commits: Switch debian/watch to version 5 Oct 16
• [Git][ocaml-team/ocp-indent] Pushed new tag archive/debian/1.9.0-1 Oct 16
• [Git][ocaml-team/zed] Pushed new tag debian/3.2.3-2 Oct 04
• [Git][ocaml-team/postgresql-ocaml][pristine-tar] 3 commits: pristine-tar data for postgresql-ocaml_5.3.0.orig.tar.bz2 Oct 16
• [Git][ocaml-team/ocaml-inotify] Pushed new tag archive/debian/2.6-2 Oct 04
• [Git][ocaml-team/ocaml-sedlex][pristine-tar] pristine-tar data for ocaml-sedlex_3.7.orig.tar.gz Oct 17
• [Git][ocaml-team/ocaml-inotify][master] 2 commits: Update packaging Oct 04
• [Git][ocaml-team/ocp-indent][pristine-tar] pristine-tar data for ocp-indent_1.9.0.orig.tar.gz Oct 16
• [Git][ocaml-team/ocaml] Pushed new tag upstream/5.4.0 Oct 12
• [Git][ocaml-team/postgresql-ocaml] Pushed new tag upstream/5.3.0 Oct 16
• [Git][ocaml-team/ocp-indent] Pushed new tag upstream/1.9.0 Oct 16
• [Git][ocaml-team/ocaml-sedlex] Pushed new tag archive/debian/3.7-1 Oct 17

Stéphane Glondu

• Re: ocaml-eio_1.3-1_amd64.changes REJECTED Oct 13
• Bug#1101476: coq: Please whitelist ocaml-native-compilers to supported architectures Oct 08
• Bug#1101476: coq: Please whitelist ocaml-native-compilers to supported architectures Oct 08
• Bug#1118031: Unable to detect when local and remote metadata no longer matches Oct 14
• Re: About yojson 3.0.0 Oct 22
• Re: About yojson 3.0.0 Oct 22

Aaron Rainbolt

• Bug#1118031: Unable to detect when local and remote metadata no longer matches Oct 13
• Bug#1118031: Unable to detect when local and remote metadata no longer matches Oct 15

Adrian Bunk

• Re: coq rdeps in experimental build against coq/sid Oct 31
• coq rdeps in experimental build against coq/sid Oct 31

Alexandre Detiste

• Bug#1117440: ben: slight regression in latest version ? Oct 05

Bradtke and Sons

• LPO 26147 Friday, October 31, 2025 at 05:31:58 PM Oct 31

Carles Pina i Estany

• Bug#1117585: coq: suggests why which is not in unstable Oct 08

Debian Bug Tracking System

• Bug#1116829: marked as done (ocaml-cohttp: FTBFS with the nocheck build profile) Oct 04
• Processed: fixed 1111916 in 2.1.1-1 Oct 31
• Processed: Re: Bug#1118031: Unable to detect when local and remote metadata no longer matches Oct 15
• Processed: Upstream bug reported Oct 21
• Bug#1116828: marked as done (ocaml-batteries: FTBFS with the nocheck build profile) Oct 04
• Bug#1116831: marked as done (ocaml-inotify: FTBFS with the nocheck build profile) Oct 04
• Processed: Re: coq: Please whitelist ocaml-native-compilers to supported architectures Oct 07
• Processed: Bug#1116827 marked as pending in ocaml-atd Oct 04
• Bug#1117585: marked as done (coq: suggests why which is not in unstable) Oct 29
• Bug#1105230: marked as done (aac-tactics: FTBFS with make --shuffle=reverse: make[2]: *** [Makefile.coq:613: install-byte] Error 2 shuffle=reverse) Oct 29
• Processed: Bug#1117440 marked as pending in ben Oct 06
• Bug#1117440: marked as done (ben: slight regression in latest version ?) Oct 06
• Bug#1116929: marked as done (zed: FTBFS with the nocheck build profile) Oct 04
• Processed: tagging 1117440 Oct 06
• Bug#1116827: marked as done (ocaml-atd: FTBFS with the nocheck build profile) Oct 04
• Processed (with 11 errors): raising severity Oct 14

Debian buildds

• failed mips64el build of coq 9.1.0+dfsg-2 Oct 30

Debian FTP Masters

• Processing of ocaml_5.4.0-1~exp1_source.changes Oct 12
• Processing of ocp-indent_1.9.0-1_source.changes Oct 16
• Processing of zed_3.2.3-2_source.changes Oct 04
• ocaml_5.4.0-1~exp1_source.changes ACCEPTED into experimental Oct 12
• Processing of ocaml-version_4.0.3-1_source.changes Oct 17
• ocaml-atd_2.16.0-3_source.changes ACCEPTED into unstable Oct 04
• ocaml-cohttp_5.3.0-2_source.changes ACCEPTED into unstable Oct 04
• ocaml-inotify_2.6-2_source.changes ACCEPTED into unstable Oct 04
• zed_3.2.3-2_source.changes ACCEPTED into unstable Oct 04
• cpdf_2.8.1-1_amd64.changes ACCEPTED into unstable Oct 12
• ppxlib_0.37.0-1_source.changes ACCEPTED into unstable Oct 16
• Processing of ben_1.12_source.changes Oct 06
• postgresql-ocaml_5.3.2-1_source.changes ACCEPTED into unstable Oct 16
• ocaml-eio_1.3-1_amd64.changes is NEW Oct 13
• Processing of ocaml-alcotest_1.9.1-1_source.changes Oct 17
• Processing of ocaml-multicoretests_0.10-1_source.changes Oct 17
• Accepted coq 9.1.0+dfsg-2 (source amd64) into experimental Oct 29
• Processing of ppx-import_1.12.0-1_source.changes Oct 17
• Processing of ocaml-domain-name_0.5.0-1_source.changes Oct 17
• Processing of ocaml-eio_1.3-1_amd64.changes Oct 13
• ocaml-domain-name_0.5.0-1_source.changes ACCEPTED into unstable Oct 17
• cpdf_2.8.1-2_source.changes ACCEPTED into unstable Oct 13
• Processing of coq-elpi_2.5.0-1.2_source.changes Oct 28
• ocaml-sedlex_3.7-1_source.changes ACCEPTED into unstable Oct 17
• ocaml-batteries_3.9.0-2_source.changes ACCEPTED into unstable Oct 04
• ocaml-alcotest_1.9.1-1_source.changes ACCEPTED into unstable Oct 17
• Processing of ocp-indent_1.9.0-2_source.changes Oct 20
• ocaml-monolith_0~20250922-1_source.changes ACCEPTED into unstable Oct 17
• Processing of ocaml-mdx_2.5.1-1_source.changes Oct 17
• ocaml-visitors_20251010-1_source.changes ACCEPTED into unstable Oct 17
• coq-elpi_2.5.0-1.2_source.changes ACCEPTED into unstable Oct 28
• ocaml-multicoretests_0.10-1_source.changes ACCEPTED into unstable Oct 17
• ocaml-mdx_2.5.1-1_source.changes ACCEPTED into unstable Oct 17
• Processing of ocaml-sedlex_3.7-1_source.changes Oct 17
• Processing of ocaml-atd_2.16.0-3_source.changes Oct 04
• Processing of ocp-indent_1.9.0-3_source.changes Oct 21
• Processing of postgresql-ocaml_5.3.2-1_source.changes Oct 16
• Processing of ocaml-cohttp_5.3.0-2_source.changes Oct 04
• Processing of ocaml-batteries_3.9.0-2_source.changes Oct 04
• ocp-indent_1.9.0-2_source.changes ACCEPTED into unstable Oct 20
• ocp-indent_1.9.0-3_source.changes ACCEPTED into unstable Oct 21
• Processing of ocaml-inotify_2.6-2_source.changes Oct 04
• ocaml-mirage-kv-mem_4.0.1-1_source.changes ACCEPTED into unstable Oct 17
• Processing of ocaml-mirage-kv-mem_4.0.1-1_source.changes Oct 17
• ben_1.12_source.changes ACCEPTED into unstable Oct 06
• Processing of ocaml-monolith_0~20250922-1_source.changes Oct 17
• Processing of ppxlib_0.37.0-1_source.changes Oct 16
• Processing of cpdf_2.8.1-2_source.changes Oct 13
• ocp-indent_1.9.0-1_source.changes ACCEPTED into unstable Oct 16
• ppx-import_1.12.0-1_source.changes ACCEPTED into unstable Oct 17
• Processing of ocaml-visitors_20251010-1_source.changes Oct 17
• ocaml-version_4.0.3-1_source.changes ACCEPTED into unstable Oct 17

Debian testing autoremoval watch

• uutf is marked for autoremoval from testing Oct 05
• ocaml-inotify is marked for autoremoval from testing Oct 10
• ocaml-atd is marked for autoremoval from testing Oct 08
• ocaml-batteries is marked for autoremoval from testing Oct 10
• js-of-ocaml is marked for autoremoval from testing Oct 11
• ocaml-containers is marked for autoremoval from testing Oct 08
• eliom is marked for autoremoval from testing Oct 11
• react is marked for autoremoval from testing Oct 05
• ocaml-iter is marked for autoremoval from testing Oct 07
• ben is marked for autoremoval from testing Oct 06
• ocaml-hmap is marked for autoremoval from testing Oct 05
• ppx-deriving-yojson is marked for autoremoval from testing Oct 11
• elpi is marked for autoremoval from testing Oct 11
• ocaml-qcheck is marked for autoremoval from testing Oct 07
• ocaml-fpath is marked for autoremoval from testing Oct 02
• liquidsoap is marked for autoremoval from testing Oct 11
• lwt is marked for autoremoval from testing Oct 11
• zed is marked for autoremoval from testing Oct 10
• ocaml-odoc is marked for autoremoval from testing Oct 03
• ben is marked for autoremoval from testing Oct 12
• ocaml-ptime is marked for autoremoval from testing Oct 05
• ocaml-mirage-ptime is marked for autoremoval from testing Oct 11
• ocaml-mtime is marked for autoremoval from testing Oct 05
• coq-quickchick is marked for autoremoval from testing Oct 01
• ocaml-astring is marked for autoremoval from testing Oct 05
• ocaml-cohttp is marked for autoremoval from testing Oct 10
• ocaml-mirage-crypto is marked for autoremoval from testing Oct 11
• ppx-yojson-conv is marked for autoremoval from testing Oct 11

debian-bts-link

• [bts-link] source package src:ocaml-ffmpeg Oct 27

Inmovilla

• Supplier Inquiry Top Glfts LLC Oct 13

John Paul Adrian Glaubitz

• Bug#1101476: coq: Please whitelist ocaml-native-compilers to supported architectures Oct 08
• Bug#1101476: coq: Please whitelist ocaml-native-compilers to supported architectures Oct 09
• Bug#1101476: coq: Please whitelist ocaml-native-compilers to supported architectures Oct 08
• Bug#1101476: coq: Please whitelist ocaml-native-compilers to supported architectures Oct 08
• Bug#1101476: coq: Please whitelist ocaml-native-compilers to supported architectures Oct 07
• Bug#1101476: coq: Please whitelist ocaml-native-compilers to supported architectures Oct 08

Julien Puydt

• Re: Bug#1117585: coq: suggests why which is not in unstable Oct 08
• Bug#1101476: coq: Please whitelist ocaml-native-compilers to supported architectures Oct 09
• About yojson 3.0.0 Oct 18
• Bug#1101476: coq: Please whitelist ocaml-native-compilers to supported architectures Oct 08
• Bug#1101476: coq: Please whitelist ocaml-native-compilers to supported architectures Oct 08
• Re: coq rdeps in experimental build against coq/sid Oct 31
• Bug#1101476: coq: Please whitelist ocaml-native-compilers to supported architectures Oct 09
• Bug#1101476: coq: Please whitelist ocaml-native-compilers to supported architectures Oct 08

Julien Puydt (@jpuydt)

• [Git][ocaml-team/ssreflect] Pushed new tag upstream/2.5.0 Oct 29
• [Git][ocaml-team/ssreflect][upstream] 2 commits: New upstream version 2.4.0 Oct 29
• [Git][ocaml-team/yojson][pristine-tar] pristine-tar data for yojson_3.0.0.orig.tar.gz Oct 18
• [Git][ocaml-team/yojson] Pushed new tag debian/3.0.0-1 Oct 18
• [Git][ocaml-team/aac-tactics] Pushed new tag debian/9.0.0-1 Oct 29
• [Git][ocaml-team/aac-tactics][master] Drop the useless dbgsym package Oct 29
• [Git][ocaml-team/yojson][upstream] New upstream version 3.0.0 Oct 18
• [Git][ocaml-team/yojson][master] 4 commits: New upstream version 3.0.0 Oct 18
• [Git][ocaml-team/ssreflect] Pushed new tag upstream/2.4.0 Oct 29
• [Git][ocaml-team/aac-tactics][master] 7 commits: Adapt to renaming from Coq to Rocq Oct 29
• [Git][ocaml-team/aac-tactics][pristine-tar] 2 commits: pristine-tar data for aac-tactics_9.0.0.orig.tar.gz Oct 29
• [Git][ocaml-team/aac-tactics] Pushed new tag upstream/9.0.0 Oct 29
• [Git][ocaml-team/yojson][master] Prepare for upload to experimental Oct 18
• [Git][ocaml-team/coq][master] Try to re-enable non-native compilation - we'll see if it flies! Oct 09
• [Git][ocaml-team/aac-tactics][upstream] New upstream version 9.0.0 Oct 29
• [Git][ocaml-team/ssreflect][pristine-tar] 2 commits: pristine-tar data for ssreflect_2.4.0.orig.tar.gz Oct 29
• [Git][ocaml-team/coq] Pushed new tag debian/9.1.0+dfsg-2 Oct 28
• [Git][ocaml-team/ssreflect][master] 10 commits: New upstream version 2.4.0 Oct 29
• [Git][ocaml-team/coq][master] Prepare for upload to experimental Oct 28
• [Git][ocaml-team/ssreflect] Pushed new tag debian/2.5.0-1 Oct 29
• [Git][ocaml-team/yojson] Pushed new tag upstream/3.0.0 Oct 18

Thorsten Alteholz

• ocaml-eio_1.3-1_amd64.changes REJECTED Oct 12

[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]