debian-ocaml-maint Jun 2024 by thread

[previous month]

[previous page]

Page 2 of 2

[next page]

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

coq 8.19.1+dfsg-2 MIGRATED to testing Debian testing watch
coq-bignums_9.0.0+coq8.20-1_source.changes ACCEPTED into unstable Debian FTP Masters
Processing of coq-bignums_9.0.0+coq8.20-1_source.changes Debian FTP Masters
ben_1.0_source.changes ACCEPTED into unstable Debian FTP Masters
Processing of ben_1.0_source.changes Debian FTP Masters
ben_1.1_source.changes ACCEPTED into unstable Debian FTP Masters
Processing of ben_1.1_source.changes Debian FTP Masters
facile_1.1.4-4_source.changes ACCEPTED into unstable Debian FTP Masters
[Git][ocaml-team/facile] Pushed new tag archive/debian/1.1.4-4 Stéphane Glondu (@glondu)
[Git][ocaml-team/facile] Pushed new tag debian/1.1.4-4 Stéphane Glondu (@glondu)
Processing of facile_1.1.4-4_source.changes Debian FTP Masters
meta-ocaml_5_source.changes ACCEPTED into unstable Debian FTP Masters
Processing of meta-ocaml_5_source.changes Debian FTP Masters
[Git][ocaml-team/polygen] Pushed new tag archive/debian/1.0.6.ds2-25 Stéphane Glondu (@glondu)
[Git][ocaml-team/polygen] Pushed new tag debian/1.0.6.ds2-25 Stéphane Glondu (@glondu)
Bug#1052451: when receiving a SIGINT, unison should send it to the process group, not just to ssh Vincent Lefevre

Bug#1052451: when receiving a SIGINT, unison should send it to the process group, not just to ssh Vincent Lefevre

[Git][ocaml-team/cudf] Pushed new tag archive/debian/0.10-4 Stéphane Glondu (@glondu)
[Git][ocaml-team/cudf] Pushed new tag debian/0.10-4 Stéphane Glondu (@glondu)
[Git][ocaml-team/camlp5][master] Prepare upload to unstable Stéphane Glondu (@glondu)
[Git][ocaml-team/camlp5] Pushed new tag archive/debian/8.03.00-1 Stéphane Glondu (@glondu)
[Git][ocaml-team/camlp5] Pushed new tag debian/8.03.00-1 Stéphane Glondu (@glondu)
[Git][ocaml-team/extlib][master] 7 commits: Update debian/watch Stéphane Glondu (@glondu)
[Git][ocaml-team/extlib][pristine-tar] pristine-tar data for extlib_1.7.9.orig.tar.gz Stéphane Glondu (@glondu)
[Git][ocaml-team/extlib] Pushed new tag archive/debian/1.7.9-1 Stéphane Glondu (@glondu)
[Git][ocaml-team/extlib] Pushed new tag debian/1.7.9-1 Stéphane Glondu (@glondu)
[Git][ocaml-team/extlib] Pushed new tag upstream/1.7.9 Stéphane Glondu (@glondu)
[Git][ocaml-team/coccinelle][master] 2 commits: Update packaging Stéphane Glondu (@glondu)
[Git][ocaml-team/coccinelle] Pushed new tag archive/debian/1.1.1.deb-6 Stéphane Glondu (@glondu)
[Git][ocaml-team/coccinelle] Pushed new tag debian/1.1.1.deb-6 Stéphane Glondu (@glondu)
Processing of camlp5_8.03.00-1_source.changes Debian FTP Masters
Processing of cudf_0.10-4_source.changes Debian FTP Masters
Processing of extlib_1.7.9-1_source.changes Debian FTP Masters
Processing of coccinelle_1.1.1.deb-6_source.changes Debian FTP Masters
[Git][ocaml-team/oasis] Pushed new tag archive/debian/0.4.11-4 Stéphane Glondu (@glondu)
[Git][ocaml-team/oasis] Pushed new tag debian/0.4.11-4 Stéphane Glondu (@glondu)
Processing of oasis_0.4.11-4_source.changes Debian FTP Masters
Processing of ocaml-stdcompat_20~git20240529-1_source.changes Debian FTP Masters
camlp5_8.03.00-1_source.changes ACCEPTED into unstable Debian FTP Masters
coccinelle_1.1.1.deb-6_source.changes ACCEPTED into unstable Debian FTP Masters
cudf_0.10-4_source.changes ACCEPTED into unstable Debian FTP Masters
extlib_1.7.9-1_source.changes ACCEPTED into unstable Debian FTP Masters
oasis_0.4.11-4_source.changes ACCEPTED into unstable Debian FTP Masters
ocaml-stdcompat_20~git20240529-1_source.changes ACCEPTED into unstable Debian FTP Masters
[Git][ocaml-team/hol-light] Pushed new tag archive/debian/20231021-2 Stéphane Glondu (@glondu)
[Git][ocaml-team/hol-light] Pushed new tag debian/20231021-2 Stéphane Glondu (@glondu)
Processing of hol-light_20231021-2_source.changes Debian FTP Masters
hol-light_20231021-2_source.changes ACCEPTED into unstable Debian FTP Masters
oasis_0.4.11-5_source.changes ACCEPTED into unstable Debian FTP Masters
[Git][ocaml-team/oasis][master] 2 commits: Call ocamlbuild with -use-ocamlfind Stéphane Glondu (@glondu)
[Git][ocaml-team/oasis] Pushed new tag archive/debian/0.4.11-5 Stéphane Glondu (@glondu)
[Git][ocaml-team/oasis] Pushed new tag debian/0.4.11-5 Stéphane Glondu (@glondu)
Processing of oasis_0.4.11-5_source.changes Debian FTP Masters
Bug#1074557: extlib: Failing autopkgtests Jeremy Bícha

The last update was on 22:00 GMT Sun Jun 30. There are 554 messages. Page 2 of 2.

[previous month]

[previous page]

Page 2 of 2

[next page]

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

Mail converted by MHonArc