debian-ocaml-maint Nov 2024 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/belenios][pristine-tar] pristine-tar data for belenios_3.0+dfsg.orig.tar.xz Nov 26
• [Git][ocaml-team/belenios] Pushed new tag debian/3.0+dfsg-1 Nov 26
• [Git][ocaml-team/belenios] Pushed new tag archive/debian/3.0+dfsg-1 Nov 26
• [Git][ocaml-team/belenios][master] 6 commits: Upstream's ext is now vendor Nov 26
• [Git][ocaml-team/belenios] Pushed new tag upstream/3.0+dfsg Nov 26
• [Git][ocaml-team/belenios][upstream] New upstream version 3.0+dfsg Nov 26

Antoine Beaupré

• Bug#1087134: please support HTTPS Nov 11

Abudlaziz Ahmed

• 1 New Message Nov 14

Antoine Beaupre

• Bug#1087134: please support HTTPS Nov 08

Debian Bug Tracking System

• Bug#1078941: marked as done (Requires ocamlopt) Nov 29

Debian FTP Masters

• Processing of coq-dpdgraph_1.0+8.20-1_source.changes Nov 20
• Processing of aac-tactics_8.20.0-1_source.changes Nov 20
• coq-ext-lib_0.12.2-1_source.changes ACCEPTED into unstable Nov 20
• coq-mtac2_1.4+8.20-1_source.changes ACCEPTED into unstable Nov 23
• Processing of coq-quickchick_2.0.4-1_source.changes Nov 20
• Processing of coq-unicoq_1.6-8.20-1_source.changes Nov 23
• coq-unimath_20240923-1_source.changes ACCEPTED into unstable Nov 20
• Processing of mathcomp-multinomials_2.2.0-4_source.changes Nov 20
• flocq_4.2.0-1_source.changes ACCEPTED into unstable Nov 20
• aac-tactics_8.20.0-1_source.changes ACCEPTED into unstable Nov 20
• Processing of coq-unimath_20240923-2_source.changes Nov 25
• Processing of coquelicot_3.4.2-1_source.changes Nov 20
• Processing of coq-interval_4.11.1-1_source.changes Nov 20
• coq-unicoq_1.6-8.20-1_source.changes ACCEPTED into unstable Nov 23
• Processing of coq-ext-lib_0.12.2-1_source.changes Nov 20
• mathcomp-analysis_1.7.0-1_source.changes ACCEPTED into unstable Nov 25
• Processing of mathcomp-finmap_2.1.0-3_source.changes Nov 24
• Processing of coq-menhirlib_20240715+ds-1_source.changes Nov 20
• Processing of mathcomp-analysis_1.7.0-1_source.changes Nov 25
• belenios_3.0+dfsg-1_source.changes ACCEPTED into unstable Nov 26
• Processing of coq-equations_1.3.1-8.20-1_source.changes Nov 20
• Processing of coq_8.20.0+dfsg-1_source.changes Nov 20
• Processing of coq-mtac2_1.4+8.20-1_source.changes Nov 23
• mathcomp-finmap_2.1.0-3_source.changes ACCEPTED into unstable Nov 24
• Processing of coq-hott_8.20-1_source.changes Nov 20
• coq-quickchick_2.0.4-1_source.changes ACCEPTED into unstable Nov 20
• mathcomp-multinomials_2.2.0-4_source.changes ACCEPTED into unstable Nov 20
• coq-unicoq_1.6-8.19-3_source.changes ACCEPTED into unstable Nov 20
• coq-unimath_20240923-2_source.changes ACCEPTED into unstable Nov 25
• Processing of coq-serapi_8.20.0+0.20.0-1_source.changes Nov 20
• Processing of coq-unicoq_1.6-8.19-3_source.changes Nov 20
• mathcomp-analysis_1.6.0-1_source.changes ACCEPTED into unstable Nov 20
• coq-corn_8.19.0+ds1-2_source.changes ACCEPTED into unstable Nov 20
• Processing of ocaml-merlin_5.3-502+ds-1_source.changes Nov 27
• coq-interval_4.11.1-1_source.changes ACCEPTED into unstable Nov 20
• coq-relation-algebra_1.7.11-1_source.changes ACCEPTED into unstable Nov 20
• Processing of coq-mtac2_1.4+8.19-3_source.changes Nov 20
• Processing of coq-iris_4.3.0-1_source.changes Nov 20
• Processing of coq-corn_8.19.0+ds1-2_source.changes Nov 20
• coq-iris_4.3.0-1_source.changes ACCEPTED into unstable Nov 20
• coq-serapi_8.20.0+0.20.0-1_source.changes ACCEPTED into unstable Nov 20
• Processing of paramcoq_1.1.3+coq8.20-1_source.changes Nov 20
• coq-dpdgraph_1.0+8.20-1_source.changes ACCEPTED into unstable Nov 20
• elpi_1.19.6-1_source.changes ACCEPTED into unstable Nov 20
• linksem_0.8+dfsg3-1_amd64.changes is NEW Nov 22
• coq-mtac2_1.4+8.19-3_source.changes ACCEPTED into unstable Nov 20
• Processing of coq-unimath_20240923-1_source.changes Nov 20
• Processing of hol-light_3.0.0-1_source.changes Nov 26
• Processing of coq-stdpp_1.11.0-1_source.changes Nov 20
• Processing of mathcomp-analysis_1.6.0-2_source.changes Nov 23
• Processing of coq-relation-algebra_1.7.11-1_source.changes Nov 20
• linksem_0.8+dfsg3-1_amd64.changes ACCEPTED into unstable Nov 22
• Processing of mathcomp-real-closed_2.0.1-1_source.changes Nov 20
• mathcomp-real-closed_2.0.1-1_source.changes ACCEPTED into unstable Nov 20
• paramcoq_1.1.3+coq8.20-1_source.changes ACCEPTED into unstable Nov 20
• Processing of linksem_0.8+dfsg3-1_amd64.changes Nov 22
• coq-hammer_1.3.2+8.20-1_source.changes ACCEPTED into unstable Nov 20
• coq-hott_8.20-1_source.changes ACCEPTED into unstable Nov 20
• Processing of coq-elpi_2.2.3-1_source.changes Nov 20
• hol-light_3.0.0-1_source.changes REJECTED Nov 26
• Processing of mathcomp-analysis_1.6.0-1_source.changes Nov 20
• coq-simple-io_1.10.0-1_source.changes ACCEPTED into unstable Nov 20
• mathcomp-analysis_1.6.0-2_source.changes ACCEPTED into unstable Nov 23
• coq-stdpp_1.11.0-1_source.changes ACCEPTED into unstable Nov 20
• Accepted coq 8.20.0+dfsg-1 (source) into unstable Nov 20
• Processing of belenios_3.0+dfsg-1_source.changes Nov 26
• coq-elpi_2.2.3-1_source.changes ACCEPTED into unstable Nov 20
• coq-menhirlib_20240715+ds-1_source.changes ACCEPTED into unstable Nov 20
• coq-record-update_0.3.4-4_source.changes ACCEPTED into unstable Nov 23
• ocaml-merlin_5.3-502+ds-1_source.changes ACCEPTED into unstable Nov 27
• Processing of flocq_4.2.0-1_source.changes Nov 20
• Processing of elpi_1.19.6-1_source.changes Nov 20
• coq_8.20.0+dfsg-1_source.changes ACCEPTED into unstable Nov 20
• coquelicot_3.4.2-1_source.changes ACCEPTED into unstable Nov 20
• Processing of coq-record-update_0.3.4-4_source.changes Nov 23
• Processing of coq-simple-io_1.10.0-1_source.changes Nov 20
• Processing of coq-hammer_1.3.2+8.20-1_source.changes Nov 20
• coq-equations_1.3.1-8.20-1_source.changes ACCEPTED into unstable Nov 20

Debian testing autoremoval watch

• coccinelle is marked for autoremoval from testing Nov 22

Debian testing watch

• coq 8.20.0+dfsg-1 MIGRATED to testing Nov 29

Diederik de Haas

• Bug#1087437: coccinelle: FTBFS: Fatal error occurred, no output PDF file produced! Nov 21

Emanuele Rocca

• Bug#1087437: coccinelle: FTBFS: Fatal error occurred, no output PDF file produced! Nov 13

Gianfranco Costamagna (@locutusofborg)

• [Git][ocaml-team/hol-light][master] Fix spacing Nov 26
• [Git][ocaml-team/hol-light][master] Update copyright years and file Nov 26

Julien Puydt

• Bug#1087631: Transition: coq 8.20 Nov 16

Julien Puydt (@jpuydt)

• [Git][ocaml-team/aac-tactics][master] Prepare for upload Nov 20
• [Git][ocaml-team/aac-tactics][pristine-tar] pristine-tar data for aac-tactics_8.20.0.orig.tar.gz Nov 20
• [Git][ocaml-team/coq][upstream] 2 commits: New upstream version 8.19.2+dfsg Nov 20
• [Git][ocaml-team/coq][master] Prepare for upload Nov 20
• [Git][ocaml-team/aac-tactics] Pushed new tag debian/8.20.0-1 Nov 20
• [Git][ocaml-team/aac-tactics] Pushed new tag upstream/8.20.0 Nov 20
• [Git][ocaml-team/coq][pristine-tar] 2 commits: pristine-tar data for coq_8.19.2+dfsg.orig.tar.xz Nov 20
• [Git][ocaml-team/coq] Pushed new tag upstream/8.20.0+dfsg Nov 20
• [Git][ocaml-team/coq] Pushed new tag upstream/8.19.2+dfsg Nov 20
• [Git][ocaml-team/coq] Pushed new tag debian/8.20.0+dfsg-1 Nov 20

Kyle Robbertze

• Bug#1087134: please support HTTPS Nov 08

Ms . Carmen Ling

• Proposal Fulfilling Nov 24

Samuel Thibault

• Bug#1086600: ocaml: Please enable native backend on hurd-amd64 Nov 01

santiagorr

• Bug#1088468: libjs-of-ocaml-doc: move from twitter-bootstrap{3,4} to bootstrap-html (v5) Nov 28

vimerbf (@vimerbf-guest)

• [Git][ocaml-team/hol-light][master] 10 commits: clear some comments on d/watch again Nov 26
• [Git][ocaml-team/hol-light][upstream] New upstream version 3.0.0 Nov 26
• [Git][ocaml-team/hol-light][pristine-tar] pristine-tar data for hol-light_3.0.0.orig.tar.xz Nov 26
• [Git][ocaml-team/hol-light] Pushed new tag upstream/3.0.0 Nov 26
• [Git][ocaml-team/hol-light][master] Add epoch to version number Nov 26

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