debian-ocaml-maint Sep 2022 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#1015179: Please update ppxlib to latest upstream Sep 22

Debian Bug Tracking System

• Bug#1019571: marked as done (paramcoq: autopkgtest failure) Sep 13
• Bug#1008482: marked as done (imagen use convert without Depends/Recommends on it) Sep 18
• Bug#769379: marked as done (dh-ocaml: please mark as Multi-Arch:foreign) Sep 21
• Bug#1015758: marked as done (ocaml-odoc: autopkgtests failures) Sep 05
• Processed: limit source to hevea, tagging 1008482 Sep 17

Debian FTP Masters

• paramcoq_1.1.3+coq8.16-2_source.changes ACCEPTED into unstable Sep 13
• coq-hierarchy-builder_1.3.0-2_source.changes ACCEPTED into unstable Sep 06
• coq-hott_8.16-1_source.changes ACCEPTED into unstable Sep 06
• coq-iris_4.0.0-2_source.changes ACCEPTED into unstable Sep 11
• aac-tactics_8.16.0-1_source.changes ACCEPTED into unstable Sep 06
• coq_8.16.0+dfsg-1_source.changes ACCEPTED into unstable Sep 06
• Processing of coq-corn_8.16.0-1_source.changes Sep 06
• ocaml-ogg_0.7.3-1_source.changes ACCEPTED into unstable Sep 27
• Processing of paramcoq_1.1.3+coq8.16-1_source.changes Sep 06
• Processing of aac-tactics_8.16.0-1_source.changes Sep 06
• coq-doc_8.16.0-1_source.changes ACCEPTED into unstable Sep 11
• Processing of coq-hammer_1.3.2+8.16-1_source.changes Sep 06
• coq-stdpp_1.8.0-2_source.changes ACCEPTED into unstable Sep 11
• Processing of ocaml-ffmpeg_1.1.6-1_source.changes Sep 27
• Processing of mathcomp-analysis_0.5.4-1_source.changes Sep 11
• Processing of coq-elpi_1.15.6-1_source.changes Sep 11
• Processing of coq-elpi_1.15.5-1_source.changes Sep 06
• hevea-doc_2.36-1_source.changes REJECTED Sep 18
• Processing of paramcoq_1.1.3+coq8.16-2_source.changes Sep 13
• elpi_1.16.5-2_source.changes ACCEPTED into unstable Sep 12
• Processing of elpi_1.16.5-3_source.changes Sep 12
• Processing of coq-doc_8.16.0-1_source.changes Sep 11
• coq-menhirlib_20220210+ds-3_source.changes ACCEPTED into unstable Sep 11
• Processing of coq-iris_4.0.0-2_source.changes Sep 11
• Processing of mathcomp-abel_1.2.1-1_amd64.changes Sep 13
• coq-reduction-effects_0.1.4-2_source.changes ACCEPTED into unstable Sep 06
• Processing of elpi_1.16.5-4_source.changes Sep 13
• Processing of coq-hott_8.16-1_source.changes Sep 06
• ocaml-ssl_0.5.12-1_source.changes ACCEPTED into unstable Sep 27
• Processing of coq-menhirlib_20220210+ds-3_source.changes Sep 11
• Processing of coq-relation-algebra_1.7.8-1_amd64.changes Sep 23
• coq-libhyps_2.0.6-1_amd64.changes is NEW Sep 23
• coq-gappa_1.5.2-4_source.changes ACCEPTED into unstable Sep 06
• coq-corn_8.16.0-1_source.changes ACCEPTED into unstable Sep 06
• Accepted coq 8.16.0+dfsg-1 (source) into unstable Sep 06
• Processing of coq-unicoq_1.6-8.16-1_source.changes Sep 06
• coq-mtac2_1.4+8.16-1_source.changes ACCEPTED into unstable Sep 06
• coq-hammer_1.3.2+8.16-1_source.changes ACCEPTED into unstable Sep 06
• Processing of coq-hierarchy-builder_1.3.0-2_source.changes Sep 06
• coq-dpdgraph_1.0+8.16-1_source.changes ACCEPTED into unstable Sep 06
• coq-equations_1.3-8.16-1_source.changes ACCEPTED into unstable Sep 06
• Processing of coq_8.16.0+dfsg-1_source.changes Sep 06
• Processing of elpi_1.16.5-2_source.changes Sep 12
• Processing of ocaml-ogg_0.7.3-1_source.changes Sep 27
• ocaml-ffmpeg_1.1.6-1_source.changes ACCEPTED into unstable Sep 27
• Processing of coq-simple-io_1.7.0-3_source.changes Sep 06
• elpi_1.16.5-3_source.changes ACCEPTED into unstable Sep 12
• mathcomp-analysis_0.5.3-2_source.changes ACCEPTED into unstable Sep 06
• coq-relation-algebra_1.7.8-1_amd64.changes REJECTED Sep 11
• coq-relation-algebra_1.7.8-1_amd64.changes is NEW Sep 23
• Processing of hevea-doc_2.36-1_source.changes Sep 18
• Processing of hevea-doc_2.36-1_amd64.changes Sep 18
• Processing of coq-gappa_1.5.2-4_source.changes Sep 06
• coq-bignums_8.16.0-1_source.changes ACCEPTED into unstable Sep 06
• Processing of coq-stdpp_1.8.0-2_source.changes Sep 11
• Processing of coq-bignums_8.16.0-1_source.changes Sep 06
• coq-unicoq_1.6-8.16-1_source.changes ACCEPTED into unstable Sep 06
• coq-simple-io_1.7.0-3_source.changes ACCEPTED into unstable Sep 06
• Processing of coq-reduction-effects_0.1.4-2_source.changes Sep 06
• Processing of coq-simple-io_1.8.0-1_source.changes Sep 25
• Processing of ocaml-odoc_2.1.1+dfsg-1_source.changes Sep 05
• Processing of coqeal_1.1.1-2_source.changes Sep 13
• Processing of coq-relation-algebra_1.7.8-1_amd64.changes Sep 11
• Processing of coq-quickchick_1.6.4-2_source.changes Sep 06
• coq-quickchick_1.6.4-2_source.changes ACCEPTED into unstable Sep 06
• Processing of coq-relation-algebra_1.7.8-1_source.changes Sep 11
• Processing of mathcomp-analysis_0.5.3-2_source.changes Sep 06
• coq-elpi_1.15.5-1_source.changes ACCEPTED into unstable Sep 06
• coqeal_1.1.1-2_source.changes ACCEPTED into unstable Sep 13
• Processing of coq-mtac2_1.4+8.16-1_source.changes Sep 06
• Processing of coq-equations_1.3-8.16-1_source.changes Sep 06
• paramcoq_1.1.3+coq8.16-1_source.changes ACCEPTED into unstable Sep 06
• hevea-doc_2.36-1_amd64.changes ACCEPTED into unstable Sep 18
• coq-elpi_1.15.6-1_source.changes ACCEPTED into unstable Sep 11
• mathcomp-abel_1.2.1-1_amd64.changes is NEW Sep 13
• hevea_2.36-1_source.changes ACCEPTED into unstable Sep 18
• ocaml-odoc_2.1.1+dfsg-1_source.changes ACCEPTED into unstable Sep 05
• Processing of coq-libhyps_2.0.6-1_amd64.changes Sep 23
• coq-relation-algebra_1.7.8-1_source.changes REJECTED Sep 11
• Processing of coq-dpdgraph_1.0+8.16-1_source.changes Sep 06
• Processing of ocaml-ssl_0.5.12-1_source.changes Sep 27
• mathcomp-analysis_0.5.4-1_source.changes ACCEPTED into unstable Sep 11
• coq-simple-io_1.8.0-1_source.changes ACCEPTED into unstable Sep 25
• Processing of hevea_2.36-1_source.changes Sep 18
• elpi_1.16.5-4_source.changes ACCEPTED into unstable Sep 13

Debian testing watch

• coq 8.16.0+dfsg-1 MIGRATED to testing Sep 17

Gianfranco Costamagna

• Bug#1015758: ocaml-odoc: autopkgtests failures Sep 03

julien . puydt

• Bug#1019879: ITP: ppx-hash -- ppx writer generating hash functions Sep 15
• Bug#1019692: ITP: mathcomp-abel -- Abel-Galois and Abel-Ruffini theorems for Mathematical Components Sep 13
• Bug#1015179: Please update ppxlib to latest upstream Sep 22

Julien Puydt

• Bug#1019239: transition: coq (41 packages involved) Sep 06

Julien Puydt (@jpuydt)

• [Git][ocaml-team/coq] Pushed new tag debian/8.16.0+dfsg-1 Sep 06
• [Git][ocaml-team/coq-doc] Pushed new tag upstream/8.16.0 Sep 11
• [Git][ocaml-team/coq-doc][pristine-tar] pristine-tar data for coq-doc_8.16.0.orig.tar.gz Sep 11
• [Git][ocaml-team/coq][master] 6 commits: Add explicit b-dep on libfindlib-ocaml-dev Sep 06
• [Git][ocaml-team/coq-doc][master] 3 commits: New upstream version 8.16.0 Sep 11
• [Git][ocaml-team/coq][upstream] New upstream version 8.16.0+dfsg Sep 06
• [Git][ocaml-team/coq-doc] Pushed new tag debian/8.16.0-1 Sep 11
• [Git][ocaml-team/coq] Pushed new tag upstream/8.16.0+dfsg Sep 06
• [Git][ocaml-team/coq-doc][upstream] New upstream version 8.16.0 Sep 11

Kyle Robbertze (@paddatrapper)

• [Git][ocaml-team/ocaml-ogg] Pushed new tag upstream/0.7.3 Sep 27
• [Git][ocaml-team/ocaml-ssl] Pushed new tag debian/0.5.12-1 Sep 27
• [Git][ocaml-team/ocaml-ssl] Pushed new tag upstream/0.5.12 Sep 27
• [Git][ocaml-team/ocaml-ogg][pristine-tar] pristine-tar data for ocaml-ogg_0.7.3.orig.tar.gz Sep 27
• [Git][ocaml-team/ocaml-ogg] Pushed new tag debian/0.7.3-1 Sep 27

Lesinfos.ma

• L'Aid Al Mawlid Annabaoui sera bientôt célébré Sep 27
• Le Maroc célèbre la Journée mondiale contre la rage sous le signe "Une santé – Zéro décès" Sep 28
• Le Maroc traverse une phase de stress hydrique aigu Sep 28

Ralf Treinen (@treinen)

• [Git][ocaml-team/hevea-doc][upstream] New upstream version 2.36 Sep 18
• [Git][ocaml-team/hevea-doc] Pushed new tag debian/2.36-1 Sep 18
• [Git][ocaml-team/hevea] Pushed new tag debian/2.36-1 Sep 18
• [Git][ocaml-team/why3][master] 2 commits: New upstream version 1.5.1 Sep 30
• [Git][ocaml-team/why3][upstream] New upstream version 1.5.1 Sep 30
• [Git][ocaml-team/why3] Pushed new tag upstream/1.5.1 Sep 30
• [Git][ocaml-team/hevea] Pushed new tag upstream/2.36 Sep 18
• [Git][ocaml-team/hevea-doc] Pushed new tag upstream/2.36 Sep 18
• [Git][ocaml-team/hevea][master] 6 commits: New upstream version 2.35 Sep 18
• [Git][ocaml-team/hevea-doc][master] 2 commits: New upstream version 2.36 Sep 18
• [Git][ocaml-team/hevea][upstream] New upstream version 2.36 Sep 18

Sebastian Ramacher

• Bug#1019571: paramcoq: autopkgtest failure Sep 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]