gmane.linux.debian.devel.ocaml

49704 articles on record, showing the most recent 50.

rocqnavi is marked for autoremoval from testing
Tue, 04 Aug 2026 04:39:05 +0000
Debian testing autoremoval watch <[email protected]> • #49954
[bts-link] source package camlp-streams
Mon, 03 Aug 2026 17:34:47 +0000
[email protected] • #49953
Processed: Already fixed in today's upload
Mon, 03 Aug 2026 17:03:01 +0000
"Debian Bug Tracking System" <[email protected]> • #49952
Bug#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
"Debian Bug Tracking System" <[email protected]> • #49951
[Git][ocaml-team/coq-doc] Pushed new tag upstream/9.2.0
Mon, 03 Aug 2026 13:51:38 +0000
"Julien Puydt (@jpuydt)" <[email protected]> • #49950
[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
"Julien Puydt (@jpuydt)" <[email protected]> • #49949
[Git][ocaml-team/coq-doc] Pushed new tag debian/9.2.0-1
Mon, 03 Aug 2026 13:51:28 +0000
"Julien Puydt (@jpuydt)" <[email protected]> • #49948
Bug#1143518: coq-gappa: autopkgtest regression
Mon, 03 Aug 2026 17:00:14 +0300
Adrian Bunk <[email protected]> • #49947
Bug#1143293: marked as pending in coq-doc
Mon, 03 Aug 2026 13:51:27 +0000
Julien Puydt <[email protected]> • #49946
Processed: Bug#1143293 marked as pending in coq-doc
Mon, 03 Aug 2026 13:53:03 +0000
"Debian Bug Tracking System" <[email protected]> • #49945
Bug#1143515: ssreflect needs a source-only upload for testing migration
Mon, 03 Aug 2026 16:32:01 +0300
Adrian Bunk <[email protected]> • #49944
Bug#1143209: marked as done (coq-elpi FTBFS on riscv64: test timeout too short)
Mon, 03 Aug 2026 09:53:02 +0000
"Debian Bug Tracking System" <[email protected]> • #49943
Bug#1143510: RM: paramcoq -- RoM; Abandoned upstream
Mon, 03 Aug 2026 11:36:33 +0200
Julien Puydt <[email protected]> • #49942
ocaml-uring is marked for autoremoval from testing
Mon, 03 Aug 2026 04:39:44 +0000
Debian testing autoremoval watch <[email protected]> • #49941
js-of-ocaml is marked for autoremoval from testing
Mon, 03 Aug 2026 04:39:45 +0000
Debian testing autoremoval watch <[email protected]> • #49940
ocaml-afl-persistent is marked for autoremoval from testing
Sun, 02 Aug 2026 04:39:05 +0000
Debian testing autoremoval watch <[email protected]> • #49939
Bug#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 +0000
"Debian Bug Tracking System" <[email protected]> • #49938
Processing of bin-prot_0.17.0-3_source.changes
Sun, 02 Aug 2026 04:35:15 +0000
Debian FTP Masters <[email protected]> • #49937
bin-prot_0.17.0-3_source.changes ACCEPTED into unstable
Sun, 02 Aug 2026 04:49:19 +0000
Debian FTP Masters <[email protected]> • #49936
Processing of ocaml-crunch_4.1.0-2_source.changes
Sun, 02 Aug 2026 04:30:11 +0000
Debian FTP Masters <[email protected]> • #49935
[Git][ocaml-team/bin-prot] Pushed new tag debian/1%0.17.0-3
Sun, 02 Aug 2026 04:28:17 +0000
Stéphane Glondu (@glondu) <[email protected]> • #49934
Bug#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 +0000
"Debian Bug Tracking System" <[email protected]> • #49933
Bug#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 +0000
"Debian Bug Tracking System" <[email protected]> • #49932
Processed: bug 1143350 is forwarded to https://github.com/ahrefs/atd/issues/509
Sun, 02 Aug 2026 04:37:01 +0000
"Debian Bug Tracking System" <[email protected]> • #49931
Processing of lablgtk3_3.1.5-4_source.changes
Sun, 02 Aug 2026 04:20:08 +0000
Debian FTP Masters <[email protected]> • #49930
lablgtk3_3.1.5-4_source.changes ACCEPTED into unstable
Sun, 02 Aug 2026 04:34:34 +0000
Debian FTP Masters <[email protected]> • #49929
ocaml-crunch_4.1.0-2_source.changes ACCEPTED into unstable
Sun, 02 Aug 2026 04:34:27 +0000
Debian FTP Masters <[email protected]> • #49928
Processing of cppo_1.8.0-2_source.changes
Sun, 02 Aug 2026 04:15:06 +0000
Debian FTP Masters <[email protected]> • #49927
Bug#1143284: marked as pending in bin-prot
Sun, 02 Aug 2026 04:28:15 +0000
Stéphane Glondu <[email protected]> • #49926
Processed: Bug#1143284 marked as pending in bin-prot
Sun, 02 Aug 2026 04:29:03 +0000
"Debian Bug Tracking System" <[email protected]> • #49925
Bug#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 +0000
"Debian Bug Tracking System" <[email protected]> • #49924
cppo_1.8.0-2_source.changes ACCEPTED into unstable
Sun, 02 Aug 2026 04:19:37 +0000
Debian FTP Masters <[email protected]> • #49923
[Git][ocaml-team/cppo] Pushed new tag debian/1.8.0-2
Sun, 02 Aug 2026 04:00:53 +0000
Stéphane Glondu (@glondu) <[email protected]> • #49922
Bug#1143294: marked as pending in cppo
Sun, 02 Aug 2026 04:00:49 +0000
Stéphane Glondu <[email protected]> • #49921
Processed: Bug#1143294 marked as pending in cppo
Sun, 02 Aug 2026 04:03:02 +0000
"Debian Bug Tracking System" <[email protected]> • #49920
Bug#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 +0000
Santiago Vila <[email protected]> • #49919
Bug#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 +0000
Santiago Vila <[email protected]> • #49918
Bug#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 +0000
Santiago Vila <[email protected]> • #49917
Bug#1143330: lablgtk3: FTBFS: Fatal error: exception Sys_error("o./gtkActionProps.ml: No such file or directory")
Sat, 01 Aug 2026 22:36:23 +0000
Santiago Vila <[email protected]> • #49916
Bug#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 +0000
Santiago Vila <[email protected]> • #49915
Bug#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 +0000
Santiago Vila <[email protected]> • #49914
Bug#1143295: coq-relation-algebra: FTBFS: findlib error: coq-core.plugins.ltac not found in:
Sat, 01 Aug 2026 22:35:10 +0000
Santiago Vila <[email protected]> • #49913
Bug#1143293: coq-doc: FTBFS: dpkg-buildpackage: error: debian/rules binary subprocess failed with exit status 2
Sat, 01 Aug 2026 22:35:08 +0000
Santiago Vila <[email protected]> • #49912
Bug#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 +0000
Santiago Vila <[email protected]> • #49911
camomile is marked for autoremoval from testing
Sat, 01 Aug 2026 04:39:03 +0000
Debian testing autoremoval watch <[email protected]> • #49910
Bug#1143209: coq-elpi FTBFS on riscv64: test timeout too short
Fri, 31 Jul 2026 22:58:46 +0300
Adrian Bunk <[email protected]> • #49909
ocsipersist is marked for autoremoval from testing
Fri, 31 Jul 2026 04:39:06 +0000
Debian testing autoremoval watch <[email protected]> • #49908
eliom is marked for autoremoval from testing
Fri, 31 Jul 2026 04:39:05 +0000
Debian testing autoremoval watch <[email protected]> • #49907
ocaml-batteries is marked for autoremoval from testing
Fri, 31 Jul 2026 04:39:05 +0000
Debian testing autoremoval watch <[email protected]> • #49906
ocaml-kdf is marked for autoremoval from testing
Fri, 31 Jul 2026 04:39:05 +0000
Debian testing autoremoval watch <[email protected]> • #49905