debian-ocaml-maint Nov 2024 by thread

[previous month]

[first page]

[previous page]

Page 1 of 1

[next page]

[last page]

[next month]

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

Bug#1086600: ocaml: Please enable native backend on hurd-amd64 Samuel Thibault
Bug#1087134: please support HTTPS Antoine Beaupre

Bug#1087134: please support HTTPS Kyle Robbertze

Bug#1087134: please support HTTPS Antoine Beaupré

Bug#1087437: coccinelle: FTBFS: Fatal error occurred, no output PDF file produced! Emanuele Rocca

Bug#1087437: coccinelle: FTBFS: Fatal error occurred, no output PDF file produced! Diederik de Haas

1 New Message Abudlaziz Ahmed
Bug#1087631: Transition: coq 8.20 Julien Puydt
[Git][ocaml-team/coq][master] Prepare for upload Julien Puydt (@jpuydt)
[Git][ocaml-team/coq][pristine-tar] 2 commits: pristine-tar data for coq_8.19.2+dfsg.orig.tar.xz Julien Puydt (@jpuydt)
[Git][ocaml-team/coq][upstream] 2 commits: New upstream version 8.19.2+dfsg Julien Puydt (@jpuydt)
[Git][ocaml-team/coq] Pushed new tag debian/8.20.0+dfsg-1 Julien Puydt (@jpuydt)
[Git][ocaml-team/coq] Pushed new tag upstream/8.19.2+dfsg Julien Puydt (@jpuydt)
[Git][ocaml-team/coq] Pushed new tag upstream/8.20.0+dfsg Julien Puydt (@jpuydt)
[Git][ocaml-team/aac-tactics][master] Prepare for upload Julien Puydt (@jpuydt)
[Git][ocaml-team/aac-tactics][pristine-tar] pristine-tar data for aac-tactics_8.20.0.orig.tar.gz Julien Puydt (@jpuydt)
[Git][ocaml-team/aac-tactics] Pushed new tag debian/8.20.0-1 Julien Puydt (@jpuydt)
[Git][ocaml-team/aac-tactics] Pushed new tag upstream/8.20.0 Julien Puydt (@jpuydt)
aac-tactics_8.20.0-1_source.changes ACCEPTED into unstable Debian FTP Masters
coq_8.20.0+dfsg-1_source.changes ACCEPTED into unstable Debian FTP Masters
Accepted coq 8.20.0+dfsg-1 (source) into unstable Debian FTP Masters
coq-dpdgraph_1.0+8.20-1_source.changes ACCEPTED into unstable Debian FTP Masters
coq-elpi_2.2.3-1_source.changes ACCEPTED into unstable Debian FTP Masters
coq-equations_1.3.1-8.20-1_source.changes ACCEPTED into unstable Debian FTP Masters
coq-ext-lib_0.12.2-1_source.changes ACCEPTED into unstable Debian FTP Masters
coq-hammer_1.3.2+8.20-1_source.changes ACCEPTED into unstable Debian FTP Masters
coq-hott_8.20-1_source.changes ACCEPTED into unstable Debian FTP Masters
coq-menhirlib_20240715+ds-1_source.changes ACCEPTED into unstable Debian FTP Masters
coq-serapi_8.20.0+0.20.0-1_source.changes ACCEPTED into unstable Debian FTP Masters
coq-stdpp_1.11.0-1_source.changes ACCEPTED into unstable Debian FTP Masters
coq-unicoq_1.6-8.19-3_source.changes ACCEPTED into unstable Debian FTP Masters
coq-unimath_20240923-1_source.changes ACCEPTED into unstable Debian FTP Masters
elpi_1.19.6-1_source.changes ACCEPTED into unstable Debian FTP Masters
flocq_4.2.0-1_source.changes ACCEPTED into unstable Debian FTP Masters
paramcoq_1.1.3+coq8.20-1_source.changes ACCEPTED into unstable Debian FTP Masters
Processing of elpi_1.19.6-1_source.changes Debian FTP Masters
Processing of coq-elpi_2.2.3-1_source.changes Debian FTP Masters
Processing of coq-dpdgraph_1.0+8.20-1_source.changes Debian FTP Masters
Processing of coq_8.20.0+dfsg-1_source.changes Debian FTP Masters
Processing of aac-tactics_8.20.0-1_source.changes Debian FTP Masters
Processing of coq-ext-lib_0.12.2-1_source.changes Debian FTP Masters
Processing of coq-hott_8.20-1_source.changes Debian FTP Masters
Processing of coq-menhirlib_20240715+ds-1_source.changes Debian FTP Masters
Processing of coq-hammer_1.3.2+8.20-1_source.changes Debian FTP Masters
Processing of coq-serapi_8.20.0+0.20.0-1_source.changes Debian FTP Masters
Processing of coq-unimath_20240923-1_source.changes Debian FTP Masters
Processing of coq-unicoq_1.6-8.19-3_source.changes Debian FTP Masters
Processing of coq-equations_1.3.1-8.20-1_source.changes Debian FTP Masters
Processing of coq-stdpp_1.11.0-1_source.changes Debian FTP Masters
Processing of flocq_4.2.0-1_source.changes Debian FTP Masters
Processing of paramcoq_1.1.3+coq8.20-1_source.changes Debian FTP Masters
coq-corn_8.19.0+ds1-2_source.changes ACCEPTED into unstable Debian FTP Masters
coq-interval_4.11.1-1_source.changes ACCEPTED into unstable Debian FTP Masters
coq-iris_4.3.0-1_source.changes ACCEPTED into unstable Debian FTP Masters
coq-mtac2_1.4+8.19-3_source.changes ACCEPTED into unstable Debian FTP Masters
coq-quickchick_2.0.4-1_source.changes ACCEPTED into unstable Debian FTP Masters
coq-relation-algebra_1.7.11-1_source.changes ACCEPTED into unstable Debian FTP Masters
coq-simple-io_1.10.0-1_source.changes ACCEPTED into unstable Debian FTP Masters
coquelicot_3.4.2-1_source.changes ACCEPTED into unstable Debian FTP Masters
mathcomp-analysis_1.6.0-1_source.changes ACCEPTED into unstable Debian FTP Masters
mathcomp-multinomials_2.2.0-4_source.changes ACCEPTED into unstable Debian FTP Masters
mathcomp-real-closed_2.0.1-1_source.changes ACCEPTED into unstable Debian FTP Masters
Processing of coq-relation-algebra_1.7.11-1_source.changes Debian FTP Masters
Processing of coquelicot_3.4.2-1_source.changes Debian FTP Masters
Processing of coq-quickchick_2.0.4-1_source.changes Debian FTP Masters
Processing of coq-iris_4.3.0-1_source.changes Debian FTP Masters
Processing of coq-interval_4.11.1-1_source.changes Debian FTP Masters
Processing of coq-mtac2_1.4+8.19-3_source.changes Debian FTP Masters
Processing of coq-simple-io_1.10.0-1_source.changes Debian FTP Masters
Processing of coq-corn_8.19.0+ds1-2_source.changes Debian FTP Masters
Processing of mathcomp-analysis_1.6.0-1_source.changes Debian FTP Masters
Processing of mathcomp-real-closed_2.0.1-1_source.changes Debian FTP Masters
Processing of mathcomp-multinomials_2.2.0-4_source.changes Debian FTP Masters
coccinelle is marked for autoremoval from testing Debian testing autoremoval watch
linksem_0.8+dfsg3-1_amd64.changes is NEW Debian FTP Masters
Processing of linksem_0.8+dfsg3-1_amd64.changes Debian FTP Masters
linksem_0.8+dfsg3-1_amd64.changes ACCEPTED into unstable Debian FTP Masters
coq-mtac2_1.4+8.20-1_source.changes ACCEPTED into unstable Debian FTP Masters
coq-unicoq_1.6-8.20-1_source.changes ACCEPTED into unstable Debian FTP Masters
Processing of coq-unicoq_1.6-8.20-1_source.changes Debian FTP Masters
Processing of coq-mtac2_1.4+8.20-1_source.changes Debian FTP Masters
coq-record-update_0.3.4-4_source.changes ACCEPTED into unstable Debian FTP Masters
Processing of coq-record-update_0.3.4-4_source.changes Debian FTP Masters
Processing of mathcomp-analysis_1.6.0-2_source.changes Debian FTP Masters
mathcomp-analysis_1.6.0-2_source.changes ACCEPTED into unstable Debian FTP Masters
Processing of mathcomp-finmap_2.1.0-3_source.changes Debian FTP Masters
mathcomp-finmap_2.1.0-3_source.changes ACCEPTED into unstable Debian FTP Masters
Proposal Fulfilling Ms . Carmen Ling
mathcomp-analysis_1.7.0-1_source.changes ACCEPTED into unstable Debian FTP Masters
Processing of mathcomp-analysis_1.7.0-1_source.changes Debian FTP Masters
coq-unimath_20240923-2_source.changes ACCEPTED into unstable Debian FTP Masters
Processing of coq-unimath_20240923-2_source.changes Debian FTP Masters
[Git][ocaml-team/hol-light][pristine-tar] pristine-tar data for hol-light_3.0.0.orig.tar.xz vimerbf (@vimerbf-guest)
[Git][ocaml-team/hol-light][upstream] New upstream version 3.0.0 vimerbf (@vimerbf-guest)
[Git][ocaml-team/hol-light] Pushed new tag upstream/3.0.0 vimerbf (@vimerbf-guest)
[Git][ocaml-team/hol-light][master] 10 commits: clear some comments on d/watch again vimerbf (@vimerbf-guest)
hol-light_3.0.0-1_source.changes REJECTED Debian FTP Masters
Processing of hol-light_3.0.0-1_source.changes Debian FTP Masters
[Git][ocaml-team/hol-light][master] Update copyright years and file Gianfranco Costamagna (@locutusofborg)
[Git][ocaml-team/hol-light][master] Fix spacing Gianfranco Costamagna (@locutusofborg)
[Git][ocaml-team/hol-light][master] Add epoch to version number vimerbf (@vimerbf-guest)
[Git][ocaml-team/belenios][master] 6 commits: Upstream's ext is now vendor Stéphane Glondu (@glondu)
[Git][ocaml-team/belenios][pristine-tar] pristine-tar data for belenios_3.0+dfsg.orig.tar.xz Stéphane Glondu (@glondu)
[Git][ocaml-team/belenios][upstream] New upstream version 3.0+dfsg Stéphane Glondu (@glondu)
[Git][ocaml-team/belenios] Pushed new tag archive/debian/3.0+dfsg-1 Stéphane Glondu (@glondu)
[Git][ocaml-team/belenios] Pushed new tag debian/3.0+dfsg-1 Stéphane Glondu (@glondu)
[Git][ocaml-team/belenios] Pushed new tag upstream/3.0+dfsg Stéphane Glondu (@glondu)
belenios_3.0+dfsg-1_source.changes ACCEPTED into unstable Debian FTP Masters
Processing of belenios_3.0+dfsg-1_source.changes Debian FTP Masters
Processing of ocaml-merlin_5.3-502+ds-1_source.changes Debian FTP Masters
ocaml-merlin_5.3-502+ds-1_source.changes ACCEPTED into unstable Debian FTP Masters
Bug#1088468: libjs-of-ocaml-doc: move from twitter-bootstrap{3,4} to bootstrap-html (v5) santiagorr
coq 8.20.0+dfsg-1 MIGRATED to testing Debian testing watch
Bug#1078941: marked as done (Requires ocamlopt) Debian Bug Tracking System

The last update was on 13:00 GMT Fri Nov 29. There are 114 messages. Page 1 of 1.

[previous month]

[first page]

[previous page]

Page 1 of 1

[next page]

[last page]

[next month]

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

Mail converted by MHonArc