gmane.linux.debian.devel.ocaml archive
423 archived articles, newest first (page 2 of 5). Latest articles →
[Git][ocaml-team/dh-ocaml] Pushed new tag debian/3.8
Wed, 05 Aug 2026 14:46:15 +0000Processed: closing 1143518
Tue, 04 Aug 2026 13:35:02 +0000rocqnavi is marked for autoremoval from testing
Tue, 04 Aug 2026 04:39:05 +0000[bts-link] source package camlp-streams
Mon, 03 Aug 2026 17:34:47 +0000Processed: Already fixed in today's upload
Mon, 03 Aug 2026 17:03:01 +0000Bug#1143293: marked as done (coq-doc: FTBFS: dpkg-buildpackage: error: debian/rules binary subprocess failed with exit status 2)
Mon, 03 Aug 2026 14:33:02 +0000[Git][ocaml-team/coq-doc] Pushed new tag upstream/9.2.0
Mon, 03 Aug 2026 13:51:38 +0000[Git][ocaml-team/coq-doc][pristine-tar] pristine-tar data for coq-doc_9.2.0.orig.tar.gz
Mon, 03 Aug 2026 13:51:30 +0000[Git][ocaml-team/coq-doc] Pushed new tag debian/9.2.0-1
Mon, 03 Aug 2026 13:51:28 +0000Bug#1143518: coq-gappa: autopkgtest regression
Mon, 03 Aug 2026 17:00:14 +0300Bug#1143293: marked as pending in coq-doc
Mon, 03 Aug 2026 13:51:27 +0000Processed: Bug#1143293 marked as pending in coq-doc
Mon, 03 Aug 2026 13:53:03 +0000Bug#1143515: ssreflect needs a source-only upload for testing migration
Mon, 03 Aug 2026 16:32:01 +0300Bug#1143209: marked as done (coq-elpi FTBFS on riscv64: test timeout too short)
Mon, 03 Aug 2026 09:53:02 +0000Bug#1143510: RM: paramcoq -- RoM; Abandoned upstream
Mon, 03 Aug 2026 11:36:33 +0200ocaml-uring is marked for autoremoval from testing
Mon, 03 Aug 2026 04:39:44 +0000js-of-ocaml is marked for autoremoval from testing
Mon, 03 Aug 2026 04:39:45 +0000ocaml-afl-persistent is marked for autoremoval from testing
Sun, 02 Aug 2026 04:39:05 +0000Bug#1143284: marked as done (bin-prot: FTBFS: dh_auto_test: error: dune runtest -j 2 -p bin_prot returned exit code 1)
Sun, 02 Aug 2026 04:51:02 +0000Processing of bin-prot_0.17.0-3_source.changes
Sun, 02 Aug 2026 04:35:15 +0000bin-prot_0.17.0-3_source.changes ACCEPTED into unstable
Sun, 02 Aug 2026 04:49:19 +0000Processing of ocaml-crunch_4.1.0-2_source.changes
Sun, 02 Aug 2026 04:30:11 +0000[Git][ocaml-team/bin-prot] Pushed new tag debian/1%0.17.0-3
Sun, 02 Aug 2026 04:28:17 +0000Bug#1143330: marked as done (lablgtk3: FTBFS: Fatal error: exception Sys_error("o./gtkActionProps.ml: No such file or directory"))
Sun, 02 Aug 2026 04:37:02 +0000Bug#1143352: marked as done (ocaml-crunch: FTBFS: dh_auto_test: error: dune runtest -j 2 -p crunch returned exit code 1)
Sun, 02 Aug 2026 04:37:02 +0000Processed: bug 1143350 is forwarded to https://github.com/ahrefs/atd/issues/509
Sun, 02 Aug 2026 04:37:01 +0000Processing of lablgtk3_3.1.5-4_source.changes
Sun, 02 Aug 2026 04:20:08 +0000lablgtk3_3.1.5-4_source.changes ACCEPTED into unstable
Sun, 02 Aug 2026 04:34:34 +0000ocaml-crunch_4.1.0-2_source.changes ACCEPTED into unstable
Sun, 02 Aug 2026 04:34:27 +0000Processing of cppo_1.8.0-2_source.changes
Sun, 02 Aug 2026 04:15:06 +0000Bug#1143284: marked as pending in bin-prot
Sun, 02 Aug 2026 04:28:15 +0000Processed: Bug#1143284 marked as pending in bin-prot
Sun, 02 Aug 2026 04:29:03 +0000Bug#1143294: marked as done (cppo: FTBFS: dh_auto_test: error: dune runtest -j 2 -p cppo,cppo_ocamlbuild returned exit code 1)
Sun, 02 Aug 2026 04:21:03 +0000cppo_1.8.0-2_source.changes ACCEPTED into unstable
Sun, 02 Aug 2026 04:19:37 +0000[Git][ocaml-team/cppo] Pushed new tag debian/1.8.0-2
Sun, 02 Aug 2026 04:00:53 +0000Bug#1143294: marked as pending in cppo
Sun, 02 Aug 2026 04:00:49 +0000Processed: Bug#1143294 marked as pending in cppo
Sun, 02 Aug 2026 04:03:02 +0000Bug#1143357: paramcoq: FTBFS: dh_auto_build: error: make -j2 INSTALL="install --strip-program=true" returned exit code 2
Sat, 01 Aug 2026 22:37:17 +0000Bug#1143350: ocaml-atd: FTBFS: dh_auto_test: error: dune runtest -j 2 -p atdgen-codec-runtime,atd,atdgen-runtime,atdgen,atdts returned exit code 1
Sat, 01 Aug 2026 22:37:05 +0000Bug#1143352: ocaml-crunch: FTBFS: dh_auto_test: error: dune runtest -j 2 -p crunch returned exit code 1
Sat, 01 Aug 2026 22:37:07 +0000Bug#1143330: lablgtk3: FTBFS: Fatal error: exception Sys_error("o./gtkActionProps.ml: No such file or directory")
Sat, 01 Aug 2026 22:36:23 +0000Bug#1143294: cppo: FTBFS: dh_auto_test: error: dune runtest -j 2 -p cppo,cppo_ocamlbuild returned exit code 1
Sat, 01 Aug 2026 22:35:12 +0000Bug#1143292: coq-corn: FTBFS: dh_auto_build: error: make -j2 INSTALL="install --strip-program=true" returned exit code 2
Sat, 01 Aug 2026 22:35:06 +0000Bug#1143295: coq-relation-algebra: FTBFS: findlib error: coq-core.plugins.ltac not found in:
Sat, 01 Aug 2026 22:35:10 +0000Bug#1143293: coq-doc: FTBFS: dpkg-buildpackage: error: debian/rules binary subprocess failed with exit status 2
Sat, 01 Aug 2026 22:35:08 +0000Bug#1143284: bin-prot: FTBFS: dh_auto_test: error: dune runtest -j 2 -p bin_prot returned exit code 1
Sat, 01 Aug 2026 22:34:50 +0000camomile is marked for autoremoval from testing
Sat, 01 Aug 2026 04:39:03 +0000Bug#1143209: coq-elpi FTBFS on riscv64: test timeout too short
Fri, 31 Jul 2026 22:58:46 +0300ocsipersist is marked for autoremoval from testing
Fri, 31 Jul 2026 04:39:06 +0000eliom is marked for autoremoval from testing
Fri, 31 Jul 2026 04:39:05 +0000ocaml-batteries is marked for autoremoval from testing
Fri, 31 Jul 2026 04:39:05 +0000ocaml-kdf is marked for autoremoval from testing
Fri, 31 Jul 2026 04:39:05 +0000ocaml-x509 is marked for autoremoval from testing
Fri, 31 Jul 2026 04:39:05 +0000hol-light is marked for autoremoval from testing
Fri, 31 Jul 2026 04:39:05 +0000ocplib-simplex is marked for autoremoval from testing
Fri, 31 Jul 2026 04:39:06 +0000camlp5 is marked for autoremoval from testing
Fri, 31 Jul 2026 04:39:05 +0000ocaml-version is marked for autoremoval from testing
Fri, 31 Jul 2026 04:39:05 +0000Processing of ocaml-eio_1.4-2_source.changes
Thu, 30 Jul 2026 12:28:52 +0000ocaml-eio_1.4-2_source.changes ACCEPTED into unstable
Thu, 30 Jul 2026 12:33:44 +0000Processing of ocaml-lru_0.3.1-1_amd64.changes
Thu, 30 Jul 2026 09:01:31 +0000ocaml-lru_0.3.1-1_amd64.changes is NEW
Thu, 30 Jul 2026 09:05:46 +0000Bug#1143083: ITP: ocaml-lru -- scalable LRU caches
Thu, 30 Jul 2026 10:45:16 +0200Bug#1143016: libcamlp-streams-ocaml shouldn't have a -dev subpackage
Thu, 30 Jul 2026 10:23:26 +0200Processed: bug 1143016 is forwarded to https://github.com/ocaml/opam-repository/issues/27712
Thu, 30 Jul 2026 08:15:01 +0000Processing of ocaml-afl-persistent_1.4-7_source.changes
Thu, 30 Jul 2026 07:35:45 +0000ocaml-afl-persistent_1.4-7_source.changes ACCEPTED into unstable
Thu, 30 Jul 2026 07:49:01 +0000ocaml-mdx is marked for autoremoval from testing
Thu, 30 Jul 2026 04:39:07 +0000elpi is marked for autoremoval from testing
Thu, 30 Jul 2026 04:39:07 +0000Bug#1143016: libcamlp-streams-ocaml shouldn't have a -dev subpackage
Wed, 29 Jul 2026 17:25:11 +0100Bug#1048599: marked as done (mathcomp-multinomials: Fails to build source after successful build)
Wed, 29 Jul 2026 11:37:02 +0000Bug#1045076: marked as done (coq-interval: Fails to build source after successful build)
Wed, 29 Jul 2026 11:23:02 +0000ocaml-afl-persistent_1.4-6_source.changes ACCEPTED into unstable
Wed, 29 Jul 2026 08:20:17 +0000Processing of ocaml-afl-persistent_1.4-6_source.changes
Wed, 29 Jul 2026 07:51:25 +0000Bug#1044511: marked as done (coq-quickchick: Fails to build source after successful build)
Wed, 29 Jul 2026 07:07:02 +0000[Git][ocaml-team/ssreflect] Pushed new tag debian/2.6.0-2
Tue, 28 Jul 2026 21:13:18 +0000[Git][ocaml-team/ssreflect][master] Prepare for upload to unstable
Tue, 28 Jul 2026 21:13:15 +0000Processed: Fixed in next upload
Tue, 28 Jul 2026 16:07:02 +0000Re: Bug#1142947: Please include Static-Built-Using information in the security tracker
Tue, 28 Jul 2026 17:20:29 +0200Processed: Fixed in next upload
Tue, 28 Jul 2026 14:03:01 +0000Processing of ocaml-eio_1.4-1_source.changes
Tue, 28 Jul 2026 11:06:15 +0000ocaml-eio_1.4-1_source.changes ACCEPTED into unstable
Tue, 28 Jul 2026 11:19:53 +0000Processed: Fixed in next upload
Tue, 28 Jul 2026 10:21:02 +0000Bug#1045073: marked as done (coq-stdpp: Fails to build source after successful build)
Tue, 28 Jul 2026 09:51:02 +0000[Git][ocaml-team/aac-tactics] Pushed new tag debian/9.0.0-4
Tue, 28 Jul 2026 09:11:43 +0000[Git][ocaml-team/aac-tactics][master] Prepare for upload to unstable
Tue, 28 Jul 2026 09:11:40 +0000Processing of ocaml-uring_2.15.0+dfsg-3_source.changes
Tue, 28 Jul 2026 08:11:00 +0000ocaml-uring_2.15.0+dfsg-3_source.changes ACCEPTED into unstable
Tue, 28 Jul 2026 08:23:33 +0000Bug#1142897: marked as done (js-of-ocaml: FTBFS: Failed to resolve reference unresolvedroot(Lwt) Couldn't find "Lwt")
Tue, 28 Jul 2026 07:39:02 +0000js-of-ocaml_6.4.1-2_source.changes ACCEPTED into unstable
Tue, 28 Jul 2026 07:37:53 +0000Processing of js-of-ocaml_6.4.1-2_source.changes
Tue, 28 Jul 2026 07:20:08 +0000Bug#1142901: marked as done (menhir: FTBFS: dh_missing: error: missing files, aborting)
Tue, 28 Jul 2026 07:33:01 +0000Bug#1142897: marked as pending in js-of-ocaml
Tue, 28 Jul 2026 07:05:21 +0000Processed: Bug#1142897 marked as pending in js-of-ocaml
Tue, 28 Jul 2026 07:33:02 +0000menhir_20260209+ds-3_source.changes ACCEPTED into unstable
Tue, 28 Jul 2026 07:21:48 +0000[Git][ocaml-team/js-of-ocaml] Pushed new tag debian/6.4.1-2
Tue, 28 Jul 2026 07:05:22 +0000[Git][ocaml-team/js-of-ocaml][master] 2 commits: Fix FTBFS with dune 3.24.1 (Closes: #1142897)
Tue, 28 Jul 2026 07:05:21 +0000Processing of menhir_20260209+ds-3_source.changes
Tue, 28 Jul 2026 07:04:12 +0000Processing of ocaml-uring_2.15.0+dfsg-2_source.changes
Tue, 28 Jul 2026 06:54:09 +0000[Git][ocaml-team/menhir] Pushed new tag debian/20260209+ds-3
Tue, 28 Jul 2026 06:52:50 +0000[Git][ocaml-team/menhir][master] 2 commits: Fix installation of manpage (Closes: #1142901)
Tue, 28 Jul 2026 06:52:48 +0000
lmpx.com only provides a reader for public news (NNTP) servers. It is not
affiliated with the servers or forums shown here and is not responsible for
the content of articles, which is written by their respective authors.