debian-ocaml-maint Jan 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 (@glondu)

• [Git][ocaml-team/ocaml-extunix] Pushed new tag upstream/0.4.1 Jan 21
• [Git][ocaml-team/ocaml-re] Pushed new tag upstream/1.10.4 Jan 23
• [Git][ocaml-team/ocaml-ctypes] Pushed new tag archive/debian/0.20.1-1 Jan 21
• [Git][ocaml-team/lablgtk2] Deleted branch patch-queue/master Jan 21
• [Git][ocaml-team/ocaml-batteries][upstream] New upstream version 3.6.0 Jan 21
• [Git][ocaml-team/biniou] Pushed new tag upstream/1.2.2 Jan 20
• [Git][ocaml-team/opam-file-format][pristine-tar] 2 commits: pristine-tar data for opam-file-format_2.1.4.orig.tar.gz Jan 22
• [Git][ocaml-team/belenios] Pushed new tag debian/2.0+dfsg-1 Jan 02
• [Git][ocaml-team/hol-light] Pushed new tag archive/debian/20230128-1 Jan 31
• [Git][ocaml-team/easy-format] Pushed new tag upstream/1.3.3 Jan 20
• [Git][ocaml-team/uuidm] Pushed new tag archive/debian/0.9.8-1 Jan 22
• [Git][ocaml-team/ocaml-extunix] Pushed new tag debian/0.4.1-1 Jan 21
• [Git][ocaml-team/hol-light][upstream] New upstream version 20230128 Jan 31
• [Git][ocaml-team/ocaml-taglib] Pushed new tag upstream/0.3.10 Jan 22
• [Git][ocaml-team/ocaml-re][master] 3 commits: Set upstream metadata fields: Bug-Database, Bug-Submit, Repository-Browse. Jan 23
• [Git][ocaml-team/ocaml-ctypes] Pushed new tag upstream/0.20.1 Jan 21
• [Git][ocaml-team/headache] Pushed new tag debian/1.06-1 Jan 23
• [Git][ocaml-team/ocaml-extunix][pristine-tar] pristine-tar data for ocaml-extunix_0.4.1.orig.tar.bz2 Jan 21
• [Git][ocaml-team/ocaml-topkg][upstream] 2 commits: New upstream version 1.0.6 Jan 21
• [Git][ocaml-team/belenios][master] 4 commits: New upstream version 2.0+dfsg Jan 02
• [Git][ocaml-team/parmap] Pushed new tag upstream/1.2.5 Jan 22
• [Git][ocaml-team/ocaml-ctypes] Pushed new tag debian/0.20.1-1 Jan 21
• [Git][ocaml-team/ocaml-batteries] Pushed new tag upstream/3.6.0 Jan 21
• [Git][ocaml-team/ocaml-shine] Pushed new tag archive/debian/0.2.3-1 Jan 22
• [Git][ocaml-team/ocaml-taglib] Pushed new tag debian/0.3.10-1 Jan 22
• [Git][ocaml-team/parmap] Pushed new tag archive/debian/1.2.5-1 Jan 22
• [Git][ocaml-team/belenios][upstream] New upstream version 2.0+dfsg Jan 02
• [Git][ocaml-team/cppo] Pushed new tag debian/1.6.9-1 Jan 20
• [Git][ocaml-team/findlib][upstream] 3 commits: New upstream version 1.9.4 Jan 23
• [Git][ocaml-team/hol-light] Pushed new tag debian/20230128-1 Jan 31
• [Git][ocaml-team/headache] Pushed new tag archive/debian/1.06-1 Jan 23
• [Git][ocaml-team/hol-light] Pushed new tag upstream/20230128 Jan 31
• [Git][ocaml-team/uuidm] Pushed new tag debian/0.9.8-1 Jan 22
• [Git][ocaml-team/uuidm] Pushed new tag upstream/0.9.8 Jan 22
• [Git][ocaml-team/ocamlbuild][master] 2 commits: Remove constraints unnecessary since buster Jan 22
• [Git][ocaml-team/camlp5] Pushed new tag archive/debian/8.00.04-1 Jan 20
• [Git][ocaml-team/labltk][pristine-tar] 2 commits: pristine-tar data for labltk_8.06.12.orig.tar.gz Jan 20
• [Git][ocaml-team/biniou][upstream] New upstream version 1.2.2 Jan 20
• [Git][ocaml-team/ocaml-fileutils] Pushed new tag debian/0.6.4-1 Jan 22
• [Git][ocaml-team/camlp5] Pushed new tag upstream/8.00.04 Jan 20
• [Git][ocaml-team/camlidl][master] 5 commits: New upstream version 1.10 Jan 20
• [Git][ocaml-team/ocaml-batteries] Pushed new tag debian/3.6.0-1 Jan 21
• [Git][ocaml-team/ocaml-taglib] Pushed new tag archive/debian/0.3.10-1 Jan 22
• [Git][ocaml-team/findlib][pristine-tar] 3 commits: pristine-tar data for findlib_1.9.4.orig.tar.gz Jan 23
• [Git][ocaml-team/ocaml-ctypes][pristine-tar] pristine-tar data for ocaml-ctypes_0.20.1.orig.tar.gz Jan 21
• [Git][ocaml-team/headache] Pushed new tag upstream/1.06 Jan 23
• [Git][ocaml-team/ocaml-fileutils][pristine-tar] pristine-tar data for ocaml-fileutils_0.6.4.orig.tar.gz Jan 22
• [Git][ocaml-team/ocaml-batteries][master] 5 commits: New upstream version 3.6.0 Jan 21
• [Git][ocaml-team/ocaml-re] Pushed new tag archive/debian/1.10.4-1 Jan 23
• [Git][ocaml-team/ocaml-fileutils] Pushed new tag archive/debian/0.6.4-1 Jan 22
• [Git][ocaml-team/ocaml-fileutils] Pushed new tag upstream/0.6.4 Jan 22
• [Git][ocaml-team/camlidl][upstream] 2 commits: New upstream version 1.10 Jan 20
• [Git][ocaml-team/biniou] Pushed new tag archive/debian/1.2.2-1 Jan 21
• [Git][ocaml-team/belenios] Pushed new tag archive/debian/2.0+dfsg-1 Jan 02
• [Git][ocaml-team/ocaml-shine] Pushed new tag debian/0.2.3-1 Jan 22
• [Git][ocaml-team/biniou] Pushed new tag debian/1.2.2-1 Jan 21
• [Git][ocaml-team/ocaml-extunix] Pushed new tag archive/debian/0.4.1-1 Jan 21
• [Git][ocaml-team/hol-light][master] 8 commits: Update packaging Jan 31
• [Git][ocaml-team/parmap] Pushed new tag debian/1.2.5-1 Jan 22
• [Git][ocaml-team/camlp5][upstream] New upstream version 8.00.04 Jan 20
• [Git][ocaml-team/ocaml-topkg][master] 5 commits: New upstream version 1.0.6 Jan 21
• [Git][ocaml-team/ocaml-taglib][pristine-tar] pristine-tar data for ocaml-taglib_0.3.10.orig.tar.gz Jan 22
• [Git][ocaml-team/ocaml-re] Pushed new tag debian/1.10.4-1 Jan 23
• [Git][ocaml-team/lablgtk2] Pushed new branch patch-queue/master Jan 21
• [Git][ocaml-team/lablgtk2] Pushed new tag debian/2.18.13-1 Jan 21
• [Git][ocaml-team/hol-light][pristine-tar] pristine-tar data for hol-light_20230128.orig.tar.gz Jan 31
• [Git][ocaml-team/cppo] Pushed new tag upstream/1.6.9 Jan 20
• [Git][ocaml-team/lablgtk2] Pushed new tag archive/debian/2.18.13-1 Jan 21
• [Git][ocaml-team/camlp5] Pushed new tag debian/8.00.04-1 Jan 20
• [Git][ocaml-team/easy-format] Pushed new tag upstream/1.3.4 Jan 20
• [Git][ocaml-team/uuidm][pristine-tar] pristine-tar data for uuidm_0.9.8.orig.tar.bz2 Jan 22
• [Git][ocaml-team/ocaml-batteries] Pushed new tag archive/debian/3.6.0-1 Jan 21
• [Git][ocaml-team/belenios] Pushed new tag upstream/2.0+dfsg Jan 02
• [Git][ocaml-team/lablgtk2] Pushed new tag upstream/2.18.13 Jan 21
• [Git][ocaml-team/cppo] Pushed new tag archive/debian/1.6.9-1 Jan 20
• [Git][ocaml-team/findlib][master] 8 commits: New upstream version 1.9.4 Jan 23
• [Git][ocaml-team/camlp5][master] 4 commits: New upstream version 8.00.04 Jan 20
• [Git][ocaml-team/ocaml-shine] Pushed new tag upstream/0.2.3 Jan 22

Stéphane Glondu

• Bug#1029398: ben: "tracker --archs" is not honoured Jan 22
• Bug#1029538: RM: coq-theories -- NBS; cruft Jan 24
• Bug#1028324: RM: cduce -- RoQA, unmaintained, FTBFS, zero popcon Jan 23
• Bug#1029398: ben: "tracker --archs" is not honoured Jan 22
• Bug#1029398: ben: "tracker --archs" is not honoured Jan 22

Adrian Bunk

• Bug#1029398: ben: "tracker --archs" is not honoured Jan 22
• Bug#1029398: ben: "tracker --archs" is not honoured Jan 22
• Bug#1029398: ben: "tracker --archs" is not honoured Jan 22
• Bug#1029398: ben: "tracker --archs" is not honoured Jan 22

Debian Bug Tracking System

• Bug#796418: marked as done (src:cduce: embeds build date, makes package non-reproducible) Jan 23
• Processed: severity of 1028324 is serious Jan 09
• Processed: Re: Bug#1028324: RM: cduce -- RoQA, unmaintained, FTBFS, zero popcon Jan 23
• Bug#1029398: marked as done (ben: "tracker --archs" is not honoured) Jan 23
• Bug#878983: marked as done (cduce FTBFS with OCaml 4.05.0) Jan 23
• Bug#1028869: marked as done (pyml: FTBFS: make[1]: *** [debian/rules:22: override_dh_auto_test] Error 1) Jan 23
• Processed: src:coccinelle: fails to migrate to testing for too long: FTBFS on armhf Jan 11
• Bug#1002983: marked as done (FTBFS with camlp5 8.00.02) Jan 31

Debian FTP Masters

• ocaml-topkg_1.0.7-1_source.changes ACCEPTED into unstable Jan 21
• opam-file-format_2.1.5-1_source.changes ACCEPTED into unstable Jan 22
• Processing of coq-menhirlib_20220210+ds-4_source.changes Jan 25
• Processing of coq-gappa_1.5.2-5_source.changes Jan 26
• Processing of ocaml-re_1.10.4-1_source.changes Jan 23
• coq-menhirlib_20220210+ds-4_source.changes ACCEPTED into unstable Jan 25
• Processing of coq-stdpp_1.8.0-3_source.changes Jan 25
• pyml_20220905-1_source.changes ACCEPTED into unstable Jan 23
• findlib_1.9.6-1_source.changes ACCEPTED into unstable Jan 23
• Processing of camlp5_8.00.04-1_source.changes Jan 20
• ocaml-re_1.10.4-1_source.changes ACCEPTED into unstable Jan 23
• coq-mtac2_1.4+8.16-2_source.changes ACCEPTED into unstable Jan 26
• ocaml-duration_0.2.1-1_source.changes ACCEPTED into unstable Jan 21
• Bug#1029314: Removed package(s) from unstable Jan 21
• Processing of coq-interval_4.6.1-2_source.changes Jan 27
• Processing of ocaml-mirage-crypto_0.10.7-1_source.changes Jan 22
• Processing of coq-unimath_20220816-2_source.changes Jan 25
• coq-reglang_1.1.3-2_source.changes ACCEPTED into unstable Jan 26
• Processing of paramcoq_1.1.3+coq8.16-3_source.changes Jan 25
• Processing of ocaml-eqaf_0.9-1_source.changes Jan 21
• Processing of cppo_1.6.9-1_source.changes Jan 20
• Processing of uuidm_0.9.8-1_source.changes Jan 22
• Processing of camlidl_1.11-1_source.changes Jan 20
• Processing of coquelicot_3.2.0-8_source.changes Jan 26
• Processing of coq-hott_8.16-2_source.changes Jan 25
• Processing of coq-iris_4.0.0-3_source.changes Jan 26
• Processing of coqeal_1.1.1-3_source.changes Jan 27
• coq-gappa_1.5.2-5_source.changes ACCEPTED into unstable Jan 26
• ocaml-cairo2_0.6.4+dfsg-1_source.changes ACCEPTED into unstable Jan 23
• Processing of coq-ext-lib_0.11.7-2_source.changes Jan 25
• flocq_4.1.0-3_source.changes ACCEPTED into unstable Jan 25
• Processing of coq-extructures_0.3.1-3_source.changes Jan 27
• Processing of coq-corn_8.16.0-2_source.changes Jan 27
• Processing of ocaml-topkg_1.0.7-1_source.changes Jan 21
• uuidm_0.9.8-1_source.changes ACCEPTED into unstable Jan 22
• camlp5_8.00.04-1_source.changes ACCEPTED into unstable Jan 20
• ocaml-extunix_0.4.1-1_source.changes ACCEPTED into unstable Jan 21
• Processing of coq-record-update_0.3.1-2_source.changes Jan 25
• coqeal_1.1.1-3_source.changes ACCEPTED into unstable Jan 27
• Processing of ben_0.10.1_source.changes Jan 23
• Processing of headache_1.06-1_source.changes Jan 23
• Processing of biniou_1.2.2-1_source.changes Jan 21
• ocaml-batteries_3.6.0-1_source.changes ACCEPTED into unstable Jan 21
• coq-unicoq_1.6-8.16-2_source.changes ACCEPTED into unstable Jan 25
• Bug#1028324: Removed package(s) from unstable Jan 23
• Processing of coq-unicoq_1.6-8.16-2_source.changes Jan 25
• coq-hammer_1.3.2+8.16-2_source.changes ACCEPTED into unstable Jan 25
• Processing of ocaml-ca-certs_0.2.3-1_source.changes Jan 25
• Processing of labltk_8.06.13-1_source.changes Jan 20
• coqprime_8.15-2_source.changes ACCEPTED into unstable Jan 26
• camlp-streams_5.0.1-1_source.changes ACCEPTED into unstable Jan 20
• ben_0.10.1_source.changes ACCEPTED into unstable Jan 23
• coq-hott_8.16-2_source.changes ACCEPTED into unstable Jan 25
• ott_0.32+ds-3_source.changes ACCEPTED into unstable Jan 25
• Processing of ocaml-shine_0.2.3-1_source.changes Jan 22
• Processing of coq-equations_1.3-8.16-2_source.changes Jan 26
• coquelicot_3.2.0-8_source.changes ACCEPTED into unstable Jan 26
• Processing of ocaml-duration_0.2.1-1_source.changes Jan 21
• coq-relation-algebra_1.7.8-2_source.changes ACCEPTED into unstable Jan 26
• Processing of ocaml-x509_0.16.2-1_source.changes Jan 25
• ocaml-fileutils_0.6.4-1_source.changes ACCEPTED into unstable Jan 22
• Processing of lablgtk3_3.1.3-1_source.changes Jan 21
• Processing of flocq_4.1.0-3_source.changes Jan 25
• coq-interval_4.6.1-2_source.changes ACCEPTED into unstable Jan 27
• Processing of coq-reglang_1.1.3-2_source.changes Jan 26
• Processing of ocaml-taglib_0.3.10-1_source.changes Jan 22
• Processing of lwt-log_1.1.2-1_source.changes Jan 23
• lwt-log_1.1.2-1_source.changes ACCEPTED into unstable Jan 23
• Processing of ocaml-stdcompat_19-1_source.changes Jan 23
• Processing of coq-mtac2_1.4+8.16-2_source.changes Jan 26
• lablgtk3_3.1.3-1_source.changes ACCEPTED into unstable Jan 21
• camlidl_1.11-1_source.changes ACCEPTED into unstable Jan 20
• ocaml-taglib_0.3.10-1_source.changes ACCEPTED into unstable Jan 22
• coq-iris_4.0.0-3_source.changes ACCEPTED into unstable Jan 26
• coq-quickchick_1.6.4-3_source.changes ACCEPTED into unstable Jan 27
• Processing of ocaml-fileutils_0.6.4-1_source.changes Jan 22
• ocaml-shine_0.2.3-1_source.changes ACCEPTED into unstable Jan 22
• Processing of coq-deriving_0.1.0-2_source.changes Jan 26
• Processing of aac-tactics_8.17.0-1_source.changes Jan 04
• Processing of coq-reduction-effects_0.1.4-3_source.changes Jan 25
• coq-equations_1.3-8.16-2_source.changes ACCEPTED into unstable Jan 26
• coq-bignums_8.17.0-2_source.changes ACCEPTED into unstable Jan 25
• headache_1.06-1_source.changes ACCEPTED into unstable Jan 23
• coq-record-update_0.3.1-2_source.changes ACCEPTED into unstable Jan 25
• coq-simple-io_1.8.0-2_source.changes ACCEPTED into unstable Jan 26
• Processing of ocaml-cairo2_0.6.4+dfsg-1_source.changes Jan 23
• coq-dpdgraph_1.0+8.16-2_source.changes ACCEPTED into unstable Jan 25
• coq-ext-lib_0.11.7-2_source.changes ACCEPTED into unstable Jan 25
• Processing of ott_0.32+ds-3_source.changes Jan 25
• aac-tactics_8.17.0-1_source.changes ACCEPTED into unstable Jan 04
• Processing of coq-bignums_8.17.0-2_source.changes Jan 25
• Processing of ocaml-extunix_0.4.1-1_source.changes Jan 21
• coq-unimath_20220816-2_source.changes ACCEPTED into unstable Jan 25
• Processing of opam-file-format_2.1.5-1_source.changes Jan 22
• belenios_2.0+dfsg-1_source.changes ACCEPTED into unstable Jan 02
• coq-deriving_0.1.0-2_source.changes ACCEPTED into unstable Jan 26
• coq-extructures_0.3.1-3_source.changes ACCEPTED into unstable Jan 27
• Processing of coq-quickchick_1.6.4-3_source.changes Jan 27
• Processing of belenios_2.0+dfsg-1_source.changes Jan 02
• Processing of lablgtk2_2.18.13-1_source.changes Jan 21
• Processing of camlp-streams_5.0.1-1_source.changes Jan 20
• Processing of pyml_20220905-1_source.changes Jan 23
• Processing of mathcomp-analysis_0.6.0-2_source.changes Jan 27
• ocaml-stdcompat_19-1_source.changes ACCEPTED into unstable Jan 23
• Processing of coq-math-classes_8.15.0-4_source.changes Jan 26
• Processing of coq-hammer_1.3.2+8.16-2_source.changes Jan 25
• coq-reduction-effects_0.1.4-3_source.changes ACCEPTED into unstable Jan 25
• Processing of hol-light_20230128-1_source.changes Jan 31
• coq-corn_8.16.0-2_source.changes ACCEPTED into unstable Jan 27
• paramcoq_1.1.3+coq8.16-3_source.changes ACCEPTED into unstable Jan 25
• coq-math-classes_8.15.0-4_source.changes ACCEPTED into unstable Jan 26
• Processing of findlib_1.9.6-1_source.changes Jan 23
• coq-elpi_1.16.0-2_source.changes ACCEPTED into unstable Jan 25
• Bug#1028324: Removed package(s) from unstable Jan 23
• ocaml-eqaf_0.9-1_source.changes ACCEPTED into unstable Jan 21
• ocaml-x509_0.16.2-1_source.changes ACCEPTED into unstable Jan 25
• Processing of parmap_1.2.5-1_source.changes Jan 22
• parmap_1.2.5-1_source.changes ACCEPTED into unstable Jan 22
• lablgtk2_2.18.13-1_source.changes ACCEPTED into unstable Jan 21
• Processing of ocaml-ctypes_0.20.1-1_source.changes Jan 21
• coq-stdpp_1.8.0-3_source.changes ACCEPTED into unstable Jan 25
• ocaml-ca-certs_0.2.3-1_source.changes ACCEPTED into unstable Jan 25
• cppo_1.6.9-1_source.changes ACCEPTED into unstable Jan 20
• Processing of coq-libhyps_2.0.6-2_source.changes Jan 25
• labltk_8.06.13-1_source.changes ACCEPTED into unstable Jan 20
• ocaml-ctypes_0.20.1-1_source.changes ACCEPTED into unstable Jan 21
• Processing of coq-simple-io_1.8.0-2_source.changes Jan 26
• coq-libhyps_2.0.6-2_source.changes ACCEPTED into unstable Jan 25
• Processing of coq-dpdgraph_1.0+8.16-2_source.changes Jan 25
• Processing of ocaml-batteries_3.6.0-1_source.changes Jan 21
• ocaml-mirage-crypto_0.10.7-1_source.changes ACCEPTED into unstable Jan 22
• Processing of coqprime_8.15-2_source.changes Jan 26
• mathcomp-analysis_0.6.0-2_source.changes ACCEPTED into unstable Jan 27
• biniou_1.2.2-1_source.changes ACCEPTED into unstable Jan 21
• hol-light_20230128-1_source.changes ACCEPTED into unstable Jan 31
• Processing of coq-elpi_1.16.0-2_source.changes Jan 25
• Processing of coq-relation-algebra_1.7.8-2_source.changes Jan 26

Debian testing autoremoval watch

• coccinelle is marked for autoremoval from testing Jan 24
• ocaml-afl-persistent is marked for autoremoval from testing Jan 03
• coccinelle is marked for autoremoval from testing Jan 20
• crowbar is marked for autoremoval from testing Jan 16
• pyml is marked for autoremoval from testing Jan 23

hille42

• Bug#1030074: advi: Replace package texlive-base-bin by texlive-binaries Jan 30

julien . puydt

• Bug#1029547: RM: libcoq-ocaml-dev -- NBS; cruft Jan 24

Julien Puydt (@jpuydt)

• [Git][ocaml-team/aac-tactics] Pushed new tag debian/8.17.0-1 Jan 03
• [Git][ocaml-team/aac-tactics] Pushed new tag upstream/8.17.0 Jan 03

Lucas Nussbaum

• Bug#1028869: pyml: FTBFS: make[1]: *** [debian/rules:22: override_dh_auto_test] Error 1 Jan 14

Paul Gevers

• Bug#1028488: src:coccinelle: fails to migrate to testing for too long: FTBFS on armhf Jan 11

Ralf Treinen

• Bug#1029314: RM: coccinelle [armhf] -- ROM; compilation on armhf crashes "out of memory" Jan 21

Tobias Frost

• Bug#1028324: RM: cduce -- RoQA, unmaintained, FTBFS, zero popcon Jan 09

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