debian-ocaml-maint Jun 2023 by author

[previous page]

Page 1 of 1

[next page]

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

---

Stéphane Glondu

• Re: Working on the ounit package - and finding a slew of new packages are needed... Jun 21

Adrian Bunk

• Bug#1038675: coqeal FTBFS: Error: Cannot find a physical path bound to logical path mpoly with prefix SsrMultinomials. Jun 20
• Bug#1038672: mathcomp-abel FTBFS: Error: The reference fact_smonotone was not found in the current environment. Jun 19
• Bug#1039032: ppx-globalize FTBFS on bytecode architectures Jun 24
• Bug#1039031: ppx-enumerate FTBFS on bytecode architectures Jun 24
• Bug#1039406: ppx-base FTBFS on bytecode architectures Jun 25
• Bug#1039036: ppx-cold FTBFS on bytecode architectures Jun 24
• Bug#1038450: coq-unimath FTBFS on 32bit Jun 18
• Bug#1038869: jane-street-headers FTBFS on ocaml bytecode architectures Jun 22
• Bug#1038695: mathcomp-multinomials: autopkgtest regression with coq 8.17.0 Jun 20
• Bug#1039115: ppx-assert FTBFS on bytecode architectures Jun 25

Adrien Nader

• Bug#1038450: patch probably available Jun 20
• Bug#1038450: patch probably available Jun 20
• Bug#1038450: patch probably available Jun 21

Aurelien Jarno

• Bug#1038819: coq-unimath: Please re-enable support for riscv64 Jun 21

Bas Couwenberg

• Bug#1037318: ben: Quiet mode does not suppress read_global_config output Jun 11

Bastian Germann

• Bug#1011323: lablgtk2: Please remove the obsolete gtkgl/glarea component Jun 18

bluca

• Bug#1039269: mldonkey: ships sysv-init script without systemd unit Jun 25
• Bug#1039293: ocsigenserver: ships sysv-init script without systemd unit Jun 25

Debian Bug Tracking System

• Bug#1038228: marked as done (please drop transitional package ocaml-mode from src:caml-mode) Jun 18
• Bug#1038819: marked as done (coq-unimath: Please re-enable support for riscv64) Jun 22
• Bug#1038228: marked as done (please drop transitional package ocaml-mode from src:caml-mode) Jun 18
• Bug#1039032: marked as done (ppx-globalize FTBFS on bytecode architectures) Jun 25
• Bug#913549: marked as done (ocamlbuild: new upstream release (0.13.1)) Jun 23
• Processed: block 1038036 with 1038193 1038196 1038197 1038071 1038342 1038347 1038349 1038350 1038354 1038357 1038359 1038358 1038364 1038368 1038370 1038372 1038454 1038456 1038457 1038458 1038469 1038472 1038346 1038091 1038376 1038505 1038095 1038076 1038083 1038064 1038592 1037429 1038476 1038078 1038481 1038498 1038499 1038500 1038501 1038507 1038508 Jun 20
• Processed: block 1038037 with 1038012 1038013 1038020 1038021 1038023 1038740 1038029 1038043 1038048 1038049 1038050 1038051 1038053 1038054 1038055 1038057 1038059 1038062 1038742 1038170 1038173 1038174 1038175 1038176 1038178 1038180 1038181 1038182 1038183 1038184 1038186 1038193 1038194 1038195 1038196 1038197 1038198 1038342 1038347 1038348 1038349 1038350 1038077 1038354 1038087 1038361 1038362 1038368 1038370 1038377 1038454 1038455 1038456 1038458 1038459 1038460 1038461 1038465 1038470 1038473 1038474 1038346 1038092 1038505 1038095 1038076 1038083 1038592 1037429 1038475 1038476 1038478 1038480 1038481 1038498 1038499 1038500 1038502 1038503 1038508 1038514 1038510 Jun 22
• Bug#1038675: marked as done (coqeal FTBFS: Error: Cannot find a physical path bound to logical path mpoly with prefix SsrMultinomials.) Jun 20
• Bug#1038672: marked as done (mathcomp-abel FTBFS: Error: The reference fact_smonotone was not found in the current environment.) Jun 20
• Processed: found 1000003 in 2.1.2-1, tagging 1000003, found 999965 in 3.3.5+ds-10, tagging 999965 ... Jun 30
• Processed: block 1038076 with 1038077 Jun 21
• Bug#1038450: marked as done (coq-unimath FTBFS on 32bit) Jun 20
• Processed: block 1038080 with 1038054 1038350 1038353 1038094 1038505 1038076 1038083 1037429 1038476 1038481 1038510 1038524 1038497 1038495 Jun 20
• Bug#654405: marked as done (/usr/bin/ocamlbuild.native: ocamlbuild has undocumented preconditions using .itarget-files) Jun 23
• Processed: block 1038076 with 1038078 1038078 Jun 21
• Bug#1039036: marked as done (ppx-cold FTBFS on bytecode architectures) Jun 25
• Bug#1039031: marked as done (ppx-enumerate FTBFS on bytecode architectures) Jun 25
• Bug#1039115: marked as done (ppx-assert FTBFS on bytecode architectures) Jun 26
• Processed: Marking PCRE3 use as RC for trixie Jun 29
• Bug#1038382: marked as done (coq: FTBFS: /bin/sh: Argument list too long) Jun 17
• Bug#1011323: marked as done (lablgtk2: Please remove the obsolete gtkgl/glarea component) Jun 18
• Bug#1039406: marked as done (ppx-base FTBFS on bytecode architectures) Jun 26
• Bug#1038869: marked as done (jane-street-headers FTBFS on ocaml bytecode architectures) Jun 22
• Processed: block 1038070 with 1038023 1038051 1038054 1038057 1038059 1038175 1038034 1038193 1038194 1038195 1038197 1038071 1038342 1038353 1038354 1038359 1038358 1038364 1038370 1038372 1038454 1038093 1038457 1038458 1038505 1038076 1038083 1038095 1037429 1038476 1038078 1038481 1038507 Jun 22
• Processed: tagging 1038695 Jun 20
• Bug#1038695: marked as done (mathcomp-multinomials: autopkgtest regression with coq 8.17.0) Jun 20

Debian FTP Masters

• Processing of coq-mtac2_1.4+8.17-1_source.changes Jun 13
• Processing of dh-coq_0.6_source.changes Jun 22
• Processing of mathcomp-finmap_1.5.2-2_source.changes Jun 14
• Processing of mathcomp-abel_1.2.1-2_source.changes Jun 20
• ocaml-merlin_4.7-413-1_amd64.changes is NEW Jun 30
• Processing of ppx-base_0.16.0-1_amd64.changes Jun 21
• Processing of coquelicot_3.3.1-1_source.changes Jun 14
• coquelicot_3.3.1-1_source.changes ACCEPTED into unstable Jun 14
• Processing of paramcoq_1.1.3+coq8.17-1_source.changes Jun 12
• coq-menhirlib_20230608+ds-1_source.changes ACCEPTED into unstable Jun 26
• jst-config_0.16.0-1_amd64.changes is NEW Jun 21
• Processing of jane-street-headers_0.16.0-2_source.changes Jun 22
• ppx-inline-test_0.16.0-1_amd64.changes ACCEPTED into unstable Jun 23
• Processing of ppx-globalize_0.16.0-1_amd64.changes Jun 21
• Processing of ppx-assert_0.16.0-1_amd64.changes Jun 20
• Processing of ppx-hash_0.16.0-1_source.changes Jun 21
• Processing of ppx-enumerate_0.16.0-1_amd64.changes Jun 21
• Processing of coq-record-update_0.3.2-1_source.changes Jun 12
• Processing of coq-quickchick_2.0-1_source.changes Jun 14
• coq-hott_8.17-1_source.changes ACCEPTED into unstable Jun 12
• coq-quickchick_2.0-1_source.changes ACCEPTED into unstable Jun 14
• Processing of caml-mode_4.9-2_source.changes Jun 18
• elpi_1.16.10-1_source.changes ACCEPTED into unstable Jun 12
• coq-ext-lib_0.11.8-1_source.changes ACCEPTED into unstable Jun 12
• Processing of jane-street-headers_0.16.0-1_amd64.changes Jun 20
• Processing of jst-config_0.16.0-1_amd64.changes Jun 21
• Processing of coq-extructures_0.3.1-4_source.changes Jun 15
• ppx-base_0.16.0-1_amd64.changes is NEW Jun 21
• coq-reduction-effects_0.1.4-4_source.changes ACCEPTED into unstable Jun 12
• jane-street-headers_0.16.0-1_amd64.changes is NEW Jun 20
• coqprime_8.17-1_source.changes ACCEPTED into unstable Jun 13
• ppx-assert_0.16.0-1_amd64.changes ACCEPTED into unstable Jun 23
• coq-gappa_1.5.3-1_source.changes ACCEPTED into unstable Jun 13
• Processing of coq-simple-io_1.8.0-3_source.changes Jun 13
• coq-extructures_0.3.1-4_source.changes ACCEPTED into unstable Jun 15
• Processing of coq_8.17.0+dfsg-1_source.changes Jun 12
• coq-libhyps_2.0.6-3_source.changes ACCEPTED into unstable Jun 12
• Processing of coq-unicoq_1.6-8.17-1_source.changes Jun 12
• aac-tactics_8.17.0-2_source.changes ACCEPTED into unstable Jun 12
• Processing of coq-interval_4.7.0-1_source.changes Jun 15
• flocq_4.1.1-1_source.changes ACCEPTED into unstable Jun 12
• Processing of mathcomp-analysis_0.6.2-1_source.changes Jun 15
• coq-menhirlib_20220210+ds-5_source.changes ACCEPTED into unstable Jun 12
• Processing of coq-hierarchy-builder_1.4.0-3_source.changes Jun 13
• Processing of coq-equations_1.3-8.17-1_source.changes Jun 13
• Processing of coq-math-classes_8.17.0-1_source.changes Jun 13
• ssreflect_1.17.0-1_source.changes ACCEPTED into unstable Jun 13
• Processing of ppx-enumerate_0.16.0-3_source.changes Jun 28
• Processing of coq-ext-lib_0.11.8-1_source.changes Jun 12
• Processing of coq-unimath_20230420-3_source.changes Jun 20
• ppx-enumerate_0.16.0-3_source.changes ACCEPTED into unstable Jun 28
• coq-equations_1.3-8.17-1_source.changes ACCEPTED into unstable Jun 13
• Processing of ppx-assert_0.16.0-2_source.changes Jun 26
• ppx-base_0.16.0-1_amd64.changes ACCEPTED into unstable Jun 23
• paramcoq_1.1.3+coq8.17-1_source.changes ACCEPTED into unstable Jun 12
• ppx-expect_0.16.0-1_amd64.changes is NEW Jun 21
• coq-hierarchy-builder_1.4.0-3_source.changes ACCEPTED into unstable Jun 13
• mathcomp-algebra-tactics_1.1.1-1_source.changes ACCEPTED into unstable Jun 15
• Processing of mathcomp-algebra-tactics_1.1.1-1_source.changes Jun 15
• coq-math-classes_8.17.0-1_source.changes ACCEPTED into unstable Jun 13
• mathcomp-bigenough_1.0.1-9_source.changes ACCEPTED into unstable Jun 14
• ppx-cold_0.16.0-1_amd64.changes ACCEPTED into unstable Jun 23
• ppx-assert_0.16.0-1_amd64.changes is NEW Jun 20
• Processing of coq-menhirlib_20220210+ds-5_source.changes Jun 12
• jane-street-headers_0.16.0-2_source.changes ACCEPTED into unstable Jun 22
• Processing of mathcomp-real-closed_1.1.4-1_source.changes Jun 15
• lablgtk2_2.18.13-1.1_source.changes ACCEPTED into unstable Jun 18
• dh-coq_0.6_source.changes ACCEPTED into unstable Jun 22
• coq-interval_4.7.0-1_source.changes ACCEPTED into unstable Jun 15
• Processing of ppx-enumerate_0.16.0-2_source.changes Jun 25
• jane-street-headers_0.16.0-1_amd64.changes ACCEPTED into unstable Jun 21
• ppx-cold_0.16.0-2_source.changes ACCEPTED into unstable Jun 25
• Processing of coqprime_8.17-1_source.changes Jun 13
• Processing of coq-reduction-effects_0.1.4-4_source.changes Jun 12
• mathcomp-multinomials_1.6.0-2_source.changes ACCEPTED into unstable Jun 20
• ppx-assert_0.16.0-3_source.changes ACCEPTED into unstable Jun 28
• Processing of mathcomp-multinomials_1.6.0-2_source.changes Jun 20
• Processing of ott_0.33+ds-1_source.changes Jun 12
• ppx-expect_0.16.0-1_amd64.changes ACCEPTED into unstable Jun 23
• mathcomp-zify_1.3.0+1.12+8.13-1_source.changes ACCEPTED into unstable Jun 14
• coq-stdpp_1.8.0-4_source.changes ACCEPTED into unstable Jun 12
• ppx-globalize_0.16.0-1_amd64.changes ACCEPTED into unstable Jun 23
• coq-deriving_0.1.1-1_source.changes ACCEPTED into unstable Jun 14
• Processing of ocaml-pp_1.1.2-1_amd64.changes Jun 21
• coq-reglang_1.1.3-3_source.changes ACCEPTED into unstable Jun 14
• ppx-assert_0.16.0-2_source.changes ACCEPTED into unstable Jun 26
• mathcomp-abel_1.2.1-2_source.changes ACCEPTED into unstable Jun 20
• coq-unimath_20230420-2_source.changes ACCEPTED into unstable Jun 17
• ppx-enumerate_0.16.0-1_amd64.changes is NEW Jun 21
• ppx-cold_0.16.0-1_source.changes REJECTED Jun 20
• Processing of mathcomp-analysis_0.6.3-1_source.changes Jun 21
• coq_8.17.0+dfsg-1_source.changes ACCEPTED into unstable Jun 12
• Processing of ppx-assert_0.16.0-3_source.changes Jun 28
• Processing of coq-unimath_20230420-4_source.changes Jun 22
• Processing of ppx-cold_0.16.0-1_source.changes Jun 20
• Processing of coq-libhyps_2.0.6-3_source.changes Jun 12
• coq-unimath_20230420-4_source.changes ACCEPTED into unstable Jun 22
• Processing of ppx-base_0.16.0-2_source.changes Jun 26
• caml-mode_4.9-2_source.changes ACCEPTED into unstable Jun 18
• ppx-hash_0.16.0-1_source.changes ACCEPTED into unstable Jun 21
• coq-unimath_20230420-3_source.changes ACCEPTED into unstable Jun 20
• ppx-cold_0.16.0-1_amd64.changes is NEW Jun 20
• Processing of ppx-cold_0.16.0-1_amd64.changes Jun 20
• ppx-enumerate_0.16.0-2_source.changes ACCEPTED into unstable Jun 25
• Accepted coq 8.17.0+dfsg-1 (source) into unstable Jun 12
• caml-mode_4.9-1_source.changes ACCEPTED into experimental Jun 18
• Processing of coq-elpi_1.17.1-1_source.changes Jun 12
• coq-iris_4.0.0-4_source.changes ACCEPTED into unstable Jun 13
• coq-dpdgraph_1.0+8.17-1_source.changes ACCEPTED into unstable Jun 12
• coq-hammer_1.3.2+8.17-1_source.changes ACCEPTED into unstable Jun 12
• Processing of ssreflect_1.17.0-1_source.changes Jun 13
• coq-unicoq_1.6-8.17-1_source.changes ACCEPTED into unstable Jun 12
• mathcomp-analysis_0.6.2-1_source.changes ACCEPTED into unstable Jun 15
• coq-corn_8.16.0-3_source.changes ACCEPTED into unstable Jun 13
• mathcomp-finmap_1.5.2-2_source.changes ACCEPTED into unstable Jun 14
• ocaml-time-now_0.16.0-1_amd64.changes is NEW Jun 21
• coq-bignums_8.17.0-3_source.changes ACCEPTED into unstable Jun 12
• ppx-base_0.16.0-2_source.changes ACCEPTED into unstable Jun 26
• Processing of coq-bignums_8.17.0-3_source.changes Jun 12
• Processing of ppx-expect_0.16.0-1_amd64.changes Jun 21
• Processing of flocq_4.1.1-1_source.changes Jun 12
• ppx-globalize_0.16.0-1_amd64.changes is NEW Jun 21
• mathcomp-analysis_0.6.3-1_source.changes ACCEPTED into unstable Jun 21
• coq-simple-io_1.8.0-3_source.changes ACCEPTED into unstable Jun 13
• Processing of ocaml-merlin_4.7-413-1_amd64.changes Jun 30
• ocaml-pp_1.1.2-1_amd64.changes is NEW Jun 21
• Processing of ppx-inline-test_0.16.0-1_amd64.changes Jun 21
• Processing of mathcomp-multinomials_1.6.0-1_source.changes Jun 15
• coq-record-update_0.3.2-1_source.changes ACCEPTED into unstable Jun 12
• Processing of mathcomp-bigenough_1.0.1-9_source.changes Jun 14
• Processing of aac-tactics_8.17.0-2_source.changes Jun 12
• Processing of coq-dpdgraph_1.0+8.17-1_source.changes Jun 12
• ott_0.33+ds-1_source.changes ACCEPTED into unstable Jun 12
• ppx-enumerate_0.16.0-1_amd64.changes ACCEPTED into unstable Jun 23
• Processing of ppx-globalize_0.16.0-2_source.changes Jun 25
• Processing of coq-unimath_20230420-2_source.changes Jun 17
• Processing of coq-deriving_0.1.1-1_source.changes Jun 14
• Processing of ocaml-time-now_0.16.0-1_amd64.changes Jun 21
• Processing of coq-hammer_1.3.2+8.17-1_source.changes Jun 12
• Processing of caml-mode_4.9-1_source.changes Jun 18
• Processing of lablgtk2_2.18.13-1.1_source.changes Jun 18
• ocaml-time-now_0.16.0-1_amd64.changes ACCEPTED into unstable Jun 23
• jst-config_0.16.0-1_amd64.changes ACCEPTED into unstable Jun 29
• Processing of coq-gappa_1.5.3-1_source.changes Jun 13
• mathcomp-multinomials_1.6.0-1_source.changes ACCEPTED into unstable Jun 15
• Processing of coq-iris_4.0.0-4_source.changes Jun 13
• Processing of coq-reglang_1.1.3-3_source.changes Jun 14
• Processing of elpi_1.16.10-1_source.changes Jun 12
• mathcomp-real-closed_1.1.4-1_source.changes ACCEPTED into unstable Jun 15
• Processing of mathcomp-zify_1.3.0+1.12+8.13-1_source.changes Jun 14
• Processing of coq-stdpp_1.8.0-4_source.changes Jun 12
• coq-mtac2_1.4+8.17-1_source.changes ACCEPTED into unstable Jun 13
• ppx-inline-test_0.16.0-1_amd64.changes is NEW Jun 21
• Processing of coq-corn_8.16.0-3_source.changes Jun 13
• coq-unimath_20230420-1_source.changes ACCEPTED into unstable Jun 12
• coq-elpi_1.17.1-1_source.changes ACCEPTED into unstable Jun 12
• Processing of coq-menhirlib_20230608+ds-1_source.changes Jun 26
• Processing of coq-unimath_20230420-1_source.changes Jun 12
• Processing of coq-hott_8.17-1_source.changes Jun 12
• coq-relation-algebra_1.7.9-1_source.changes ACCEPTED into unstable Jun 14
• ppx-globalize_0.16.0-2_source.changes ACCEPTED into unstable Jun 25
• coqeal_1.1.3-1_source.changes ACCEPTED into unstable Jun 20
• Processing of ppx-cold_0.16.0-2_source.changes Jun 25
• Processing of coq-relation-algebra_1.7.9-1_source.changes Jun 14
• ocaml-pp_1.1.2-1_amd64.changes ACCEPTED into unstable Jun 23
• Processing of coqeal_1.1.3-1_source.changes Jun 20

Debian testing watch

• coq 8.17.0+dfsg-1 MIGRATED to testing Jun 24

Holger Levsen

• Bug#1038290: please drop transitional package dune from src:ocaml-dune Jun 17
• Bug#1038228: please drop transitional package ocaml-mode from src:caml-mode Jun 16
• Bug#1038321: please drop transitional package tuareg-mode from src:tuareg-mode Jun 17

Julia Anderson

• lists Brand & Advertising List Jun 20

julien . puydt

• Re: Working on the ounit package - and finding a slew of new packages are needed... Jun 21
• Re: Working on the ounit package - and finding a slew of new packages are needed... Jun 21
• Working on the ounit package - and finding a slew of new packages are needed... Jun 19
• Bug#1038450: patch probably available Jun 20
• Bug#1038450: patch probably available Jun 21
• Re: Working on the ounit package - and finding a slew of new packages are needed... Jun 21
• Bug#1038450: patch probably available Jun 22

Julien Puydt

• Bug#1038692: ITP: ppx-cold -- Provide the @cold annotation for OCaml Jun 20

Julien Puydt (@jpuydt)

• [Git][ocaml-team/js-of-ocaml][master] 6 commits: Really fix d/watch Jun 26
• [Git][ocaml-team/aac-tactics][master] 3 commits: Added lintian overrides for false issues Jun 12
• [Git][ocaml-team/coq] Pushed new tag upstream/8.17.0+dfsg Jun 12
• [Git][ocaml-team/ocaml-dune][master] 8 commits: Fix d/watch Jun 21
• [Git][ocaml-team/ocaml-dune][upstream] New upstream version 3.8.2 Jun 21
• [Git][ocaml-team/ssreflect][upstream] New upstream version 1.17.0 Jun 13
• [Git][ocaml-team/coq][master] 9 commits: New upstream version 8.17.0+dfsg Jun 12
• [Git][ocaml-team/ssreflect][master] 6 commits: Bump standards-version to 4.6.2 Jun 13
• [Git][ocaml-team/ocamlbuild] Pushed new tag upstream/0.14.2 Jun 23
• [Git][ocaml-team/ocamlbuild][master] Version 0.14.2 wants OCaml >= 5.1 Jun 23
• [Git][ocaml-team/coq] Pushed new tag debian/8.17.0+dfsg-1 Jun 12
• [Git][ocaml-team/js-of-ocaml][upstream] New upstream version 5.3.0 Jun 26
• [Git][ocaml-team/sexplib310] Pushed new tag upstream/0.16.0 Jun 30
• [Git][ocaml-team/js-of-ocaml] Pushed new tag upstream/5.3.0 Jun 26
• [Git][ocaml-team/coq][upstream] New upstream version 8.17.0+dfsg Jun 12
• [Git][ocaml-team/ssreflect] Pushed new tag upstream/1.17.0 Jun 13
• [Git][ocaml-team/ssreflect] Pushed new tag debian/1.17.0-1 Jun 13
• [Git][ocaml-team/aac-tactics] Pushed new tag debian/8.17.0-2 Jun 12

Nik Sultana

• Support for packaging an OCaml-based tool for Debian Jun 14

Sebastian Ramacher

• Bug#1039739: ppx-expect: FTBFS: Error: Unbound module Sexplib0.Sexp_conv_record Jun 28
• Bug#1038382: coq: FTBFS: /bin/sh: Argument list too long Jun 17

Simon McVittie

• Bug#1038078: liquidsoap: Indirectly depends on SDL 1.2 Jun 15
• Bug#1038076: ocamlsdl: Is a language binding for an obsolete version of SDL Jun 15
• Bug#1038077: freetennis: Depends on SDL 1.2 Jun 15

Vagrant Cascadian

• Bug#1037277: advi: reproducible-builds: Embedded build path and usrmerge paths in example Makefile Jun 10

Vincent Lefevre

• Bug#1037512: why3: did not remove the /usr/share/emacs25/site-lisp/why3.el symlink on package removal Jun 13

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