debian-ocaml-maint Mar 2022 by thread

[previous month]

[previous page]

Page 1 of 1

[next page]

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

Processing of ocaml-bigarray-compat_1.1.0-1_source.changes Debian FTP Masters
[Git][ocaml-team/findlib][pristine-tar] 2 commits: pristine-tar data for findlib_1.9.2.orig.tar.gz Stéphane Glondu (@glondu)
ocaml-bigarray-compat_1.1.0-1_source.changes ACCEPTED into unstable Debian FTP Masters
Processing of findlib_1.9.3-1_source.changes Debian FTP Masters
Processing of janest-base_0.14.3-1_source.changes Debian FTP Masters
Processing of ocaml-parsexp_0.14.2-1_source.changes Debian FTP Masters
[Git][ocaml-team/lablgtk2][master] 7 commits: Update debian/watch Stéphane Glondu (@glondu)
[Git][ocaml-team/lablgtk2][pristine-tar] pristine-tar data for lablgtk2_2.18.12.orig.tar.gz Stéphane Glondu (@glondu)
[Git][ocaml-team/lablgtk2][upstream] New upstream version 2.18.12 Stéphane Glondu (@glondu)
[Git][ocaml-team/lablgtk2] Pushed new tag upstream/2.18.12 Stéphane Glondu (@glondu)
[Git][ocaml-team/lablgtk2] Pushed new tag archive/debian/2.18.12-1 Stéphane Glondu (@glondu)
[Git][ocaml-team/lablgtk2] Pushed new tag debian/2.18.12-1 Stéphane Glondu (@glondu)
findlib_1.9.3-1_source.changes ACCEPTED into unstable Debian FTP Masters
janest-base_0.14.3-1_source.changes ACCEPTED into unstable Debian FTP Masters
ocaml-parsexp_0.14.2-1_source.changes ACCEPTED into unstable Debian FTP Masters
Processing of lablgtk2_2.18.12-1_source.changes Debian FTP Masters
lablgtk2_2.18.12-1_source.changes ACCEPTED into unstable Debian FTP Masters
Processing of lablgtk3_3.1.2-1_source.changes Debian FTP Masters
lablgtk3_3.1.2-1_source.changes ACCEPTED into unstable Debian FTP Masters
Processing of ocaml-odoc_2.1.0+dfsg-1_source.changes Debian FTP Masters
ocaml-odoc_2.1.0+dfsg-1_source.changes ACCEPTED into unstable Debian FTP Masters
[Git][ocaml-team/js-of-ocaml][master] 6 commits: New upstream version 4.0.0 Stéphane Glondu (@glondu)
[Git][ocaml-team/js-of-ocaml][pristine-tar] pristine-tar data for js-of-ocaml_4.0.0.orig.tar.bz2 Stéphane Glondu (@glondu)
[Git][ocaml-team/js-of-ocaml] Pushed new tag upstream/4.0.0 Stéphane Glondu (@glondu)
[Git][ocaml-team/js-of-ocaml] Pushed new tag archive/debian/4.0.0-1 Stéphane Glondu (@glondu)
[Git][ocaml-team/js-of-ocaml] Pushed new tag debian/4.0.0-1 Stéphane Glondu (@glondu)
[Git][ocaml-team/js-of-ocaml][upstream] New upstream version 4.0.0 Stéphane Glondu (@glondu)
Processing of js-of-ocaml_4.0.0-1_source.changes Debian FTP Masters
js-of-ocaml_4.0.0-1_source.changes ACCEPTED into unstable Debian FTP Masters
Bug#1006711: ITP: js-of-ocaml-ocamlbuild -- compiler from OCaml bytecode to JavaScript (ocamlbuild plugin) Stéphane Glondu
Processing of js-of-ocaml-ocamlbuild_0.0.0+git20220118+852302c8-1_amd64.changes Debian FTP Masters
js-of-ocaml-ocamlbuild_0.0.0+git20220118+852302c8-1_amd64.changes is NEW Debian FTP Masters
[Git][ocaml-team/camlp5][master] 2 commits: Remove constraints unnecessary since buster Stéphane Glondu (@glondu)
Bug#1006301: unison-2.51+4.13.1 -addversionno is broken Vincent Lefevre
[Git][ocaml-team/camlp5][master] 5 commits: New upstream version 8.00.03 Stéphane Glondu (@glondu)
[Git][ocaml-team/camlp5][pristine-tar] pristine-tar data for camlp5_8.00.03.orig.tar.gz Stéphane Glondu (@glondu)
[Git][ocaml-team/camlp5] Pushed new tag archive/debian/8.00.03-1 Stéphane Glondu (@glondu)
[Git][ocaml-team/camlp5][upstream] New upstream version 8.00.03 Stéphane Glondu (@glondu)
[Git][ocaml-team/camlp5] Pushed new tag debian/8.00.03-1 Stéphane Glondu (@glondu)
[Git][ocaml-team/camlp5] Pushed new tag upstream/8.00.03 Stéphane Glondu (@glondu)
[Git][ocaml-team/lambda-term][pristine-tar] pristine-tar data for lambda-term_3.2.0.orig.tar.gz Stéphane Glondu (@glondu)
[Git][ocaml-team/lambda-term] Pushed new tag debian/3.2.0-1 Stéphane Glondu (@glondu)
[Git][ocaml-team/lambda-term] Pushed new tag archive/debian/3.2.0-1 Stéphane Glondu (@glondu)
[Git][ocaml-team/lambda-term] Pushed new tag upstream/3.2.0 Stéphane Glondu (@glondu)
Processing of camlp5_8.00.03-1_source.changes Debian FTP Masters
[Git][ocaml-team/ocaml-ao][pristine-tar] pristine-tar data for ocaml-ao_0.2.4.orig.tar.gz Stéphane Glondu (@glondu)
[Git][ocaml-team/ocaml-ao] Pushed new tag archive/debian/0.2.4-1 Stéphane Glondu (@glondu)
[Git][ocaml-team/ocaml-ao] Pushed new tag upstream/0.2.4 Stéphane Glondu (@glondu)
[Git][ocaml-team/ocaml-ao] Pushed new tag debian/0.2.4-1 Stéphane Glondu (@glondu)
Processing of lambda-term_3.2.0-1_source.changes Debian FTP Masters
camlp5_8.00.03-1_source.changes ACCEPTED into unstable Debian FTP Masters
lambda-term_3.2.0-1_source.changes ACCEPTED into unstable Debian FTP Masters
[Git][ocaml-team/ocaml-cry][pristine-tar] pristine-tar data for ocaml-cry_0.6.6.orig.tar.gz Stéphane Glondu (@glondu)
[Git][ocaml-team/ocaml-cry] Pushed new tag archive/debian/0.6.6-1 Stéphane Glondu (@glondu)
[Git][ocaml-team/ocaml-cry] Pushed new tag debian/0.6.6-1 Stéphane Glondu (@glondu)
[Git][ocaml-team/ocaml-cry] Pushed new tag upstream/0.6.6 Stéphane Glondu (@glondu)
[Git][ocaml-team/ocaml-dssi][master] 2 commits: Remove constraints unnecessary since buster Stéphane Glondu (@glondu)
Processing of ocaml-cry_0.6.6-1_source.changes Debian FTP Masters
Processing of ocaml-ao_0.2.4-1_source.changes Debian FTP Masters
ocaml-ao_0.2.4-1_source.changes ACCEPTED into unstable Debian FTP Masters
ocaml-cry_0.6.6-1_source.changes ACCEPTED into unstable Debian FTP Masters
[Git][ocaml-team/ocaml-ladspa][pristine-tar] 2 commits: pristine-tar data for ocaml-ladspa_0.2.1.orig.tar.gz Stéphane Glondu (@glondu)
Processing of ocaml-ladspa_0.2.2-1_source.changes Debian FTP Masters
ocaml-ladspa_0.2.2-1_source.changes ACCEPTED into unstable Debian FTP Masters
[Git][ocaml-team/ocaml-batteries][pristine-tar] 2 commits: pristine-tar data for ocaml-batteries_3.5.0.orig.tar.gz Stéphane Glondu (@glondu)
[Git][ocaml-team/ocaml-extunix][master] 6 commits: Update debian/watch Stéphane Glondu (@glondu)
[Git][ocaml-team/ocaml-extunix][pristine-tar] pristine-tar data for ocaml-extunix_0.4.0.orig.tar.bz2 Stéphane Glondu (@glondu)
[Git][ocaml-team/ocaml-extunix] Pushed new tag archive/debian/0.4.0-1 Stéphane Glondu (@glondu)
[Git][ocaml-team/ocaml-extunix][upstream] New upstream version 0.4.0 Stéphane Glondu (@glondu)
[Git][ocaml-team/ocaml-extunix] Pushed new tag upstream/0.4.0 Stéphane Glondu (@glondu)
[Git][ocaml-team/ocaml-extunix] Pushed new tag debian/0.4.0-1 Stéphane Glondu (@glondu)
Processing of ocaml-batteries_3.5.1-1_source.changes Debian FTP Masters
Processing of ocaml-extunix_0.4.0-1_source.changes Debian FTP Masters
ocaml-batteries_3.5.1-1_source.changes ACCEPTED into unstable Debian FTP Masters
ocaml-extunix_0.4.0-1_source.changes ACCEPTED into unstable Debian FTP Masters
[Git][ocaml-team/ocaml-dssi][pristine-tar] 2 commits: pristine-tar data for ocaml-dssi_0.1.4.orig.tar.gz Stéphane Glondu (@glondu)
Processing of ocaml-dssi_0.1.5-1_source.changes Debian FTP Masters
ocaml-dssi_0.1.5-1_source.changes ACCEPTED into unstable Debian FTP Masters
[Git][ocaml-team/ocaml-mad][pristine-tar] 2 commits: pristine-tar data for ocaml-mad_0.5.1.orig.tar.gz Stéphane Glondu (@glondu)
Accepted ocaml-mad 0.5.2-1 (source) into unstable Debian FTP Masters
[Git][ocaml-team/ocaml-mm][pristine-tar] 2 commits: pristine-tar data for ocaml-mm_0.7.4.orig.tar.gz Stéphane Glondu (@glondu)
[Git][ocaml-team/ocaml-portaudio][pristine-tar] pristine-tar data for ocaml-portaudio_0.2.3.orig.tar.gz Stéphane Glondu (@glondu)
[Git][ocaml-team/ocaml-portaudio] Pushed new tag debian/0.2.3-1 Stéphane Glondu (@glondu)
[Git][ocaml-team/ocaml-portaudio] Pushed new tag upstream/0.2.3 Stéphane Glondu (@glondu)
[Git][ocaml-team/ocaml-portaudio] Pushed new tag archive/debian/0.2.3-1 Stéphane Glondu (@glondu)
Processing of ocaml-mad_0.5.2-1_source.changes Debian FTP Masters
Processing of ocaml-mm_0.7.5-1_source.changes Debian FTP Masters
[Git][ocaml-team/ocaml-pulseaudio][pristine-tar] pristine-tar data for ocaml-pulseaudio_0.1.5.orig.tar.gz Stéphane Glondu (@glondu)
[Git][ocaml-team/ocaml-pulseaudio] Pushed new tag upstream/0.1.5 Stéphane Glondu (@glondu)
[Git][ocaml-team/ocaml-pulseaudio] Pushed new tag debian/0.1.5-1 Stéphane Glondu (@glondu)
[Git][ocaml-team/ocaml-pulseaudio] Pushed new tag archive/debian/0.1.5-1 Stéphane Glondu (@glondu)
[Git][ocaml-team/ocaml-taglib][pristine-tar] 2 commits: pristine-tar data for ocaml-taglib_0.3.8.orig.tar.gz Stéphane Glondu (@glondu)
Processing of ocaml-portaudio_0.2.3-1_source.changes Debian FTP Masters
ocaml-mad_0.5.2-1_source.changes ACCEPTED into unstable Debian FTP Masters
ocaml-mm_0.7.5-1_source.changes ACCEPTED into unstable Debian FTP Masters
Processing of ocaml-taglib_0.3.9-1_source.changes Debian FTP Masters
Processing of ocaml-pulseaudio_0.1.5-1_source.changes Debian FTP Masters
ocaml-portaudio_0.2.3-1_source.changes ACCEPTED into unstable Debian FTP Masters
ocaml-pulseaudio_0.1.5-1_source.changes ACCEPTED into unstable Debian FTP Masters
ocaml-taglib_0.3.9-1_source.changes ACCEPTED into unstable Debian FTP Masters
Bug#663180: marked as done (Provides no zero value) Debian Bug Tracking System
Processed: tagging 663180 Debian Bug Tracking System
Processing of ocaml-integers_0.6.0-1_source.changes Debian FTP Masters
Processing of ocaml-domain-name_0.4.0-1_source.changes Debian FTP Masters
[Git][ocaml-team/ocaml-sha][pristine-tar] pristine-tar data for ocaml-sha_1.15.2.orig.tar.bz2 Stéphane Glondu (@glondu)
[Git][ocaml-team/ocaml-sha] Pushed new tag archive/debian/1.15.2-1 Stéphane Glondu (@glondu)
[Git][ocaml-team/ocaml-sha] Pushed new tag debian/1.15.2-1 Stéphane Glondu (@glondu)
[Git][ocaml-team/ocaml-sha][upstream] New upstream version 1.15.2 Stéphane Glondu (@glondu)
[Git][ocaml-team/ocaml-sha] Pushed new tag upstream/1.15.2 Stéphane Glondu (@glondu)
ocaml-domain-name_0.4.0-1_source.changes ACCEPTED into unstable Debian FTP Masters
ocaml-integers_0.6.0-1_source.changes ACCEPTED into unstable Debian FTP Masters
[Git][ocaml-team/ocaml-sqlite3][master] 4 commits: Update watch file format version to 4. Stéphane Glondu (@glondu)
Processing of ocaml-sha_1.15.2-1_source.changes Debian FTP Masters
Processing of ocaml-mmap_1.2.0-1_source.changes Debian FTP Masters
[Git][ocaml-team/ocaml-sqlite3][pristine-tar] 2 commits: pristine-tar data for ocaml-sqlite3_5.0.3.orig.tar.bz2 Stéphane Glondu (@glondu)
Processing of ocaml-sqlite3_5.1.0-1_source.changes Debian FTP Masters
[Git][ocaml-team/ocaml-gen][pristine-tar] pristine-tar data for ocaml-gen_1.0.orig.tar.gz Stéphane Glondu (@glondu)
[Git][ocaml-team/ocaml-gen] Pushed new tag debian/1.0-1 Stéphane Glondu (@glondu)
[Git][ocaml-team/ocaml-gen] Pushed new tag archive/debian/1.0-1 Stéphane Glondu (@glondu)
[Git][ocaml-team/ocaml-gen] Pushed new tag upstream/1.0 Stéphane Glondu (@glondu)
ocaml-mmap_1.2.0-1_source.changes ACCEPTED into unstable Debian FTP Masters
ocaml-sha_1.15.2-1_source.changes ACCEPTED into unstable Debian FTP Masters
Processing of ocaml-gen_1.0-1_source.changes Debian FTP Masters
ocaml-gen_1.0-1_source.changes ACCEPTED into unstable Debian FTP Masters
ocaml-sqlite3_5.1.0-1_source.changes ACCEPTED into unstable Debian FTP Masters
js-of-ocaml-ocamlbuild_0.0.0+git20220118+852302c8-1_amd64.changes ACCEPTED into unstable, unstable Debian FTP Masters
[Git][ocaml-team/eliom][master] 2 commits: Update packaging Stéphane Glondu (@glondu)
[Git][ocaml-team/eliom] Pushed new tag archive/debian/9.4.0-2 Stéphane Glondu (@glondu)
[Git][ocaml-team/eliom] Pushed new tag debian/9.4.0-2 Stéphane Glondu (@glondu)
Processing of eliom_9.4.0-2_source.changes Debian FTP Masters
eliom_9.4.0-2_source.changes ACCEPTED into unstable Debian FTP Masters
Bug#1006878: libjs-of-ocaml-ocamlbuild-ocaml-dev: missing Breaks+Replaces: libjs-of-ocaml (<< 4), libjs-of-ocaml-dev (<< 4) Andreas Beckmann

Bug#1006878: marked as done (libjs-of-ocaml-ocamlbuild-ocaml-dev: missing Breaks+Replaces: libjs-of-ocaml (<< 4), libjs-of-ocaml-dev (<< 4)) Debian Bug Tracking System

[Git][ocaml-team/ocaml-getopt][master] 2 commits: Remove MIA uploaders Stéphane Glondu (@glondu)
[Git][ocaml-team/ocaml-getopt][master] 2 commits: Update packaging Stéphane Glondu (@glondu)
[Git][ocaml-team/ocaml-getopt] Pushed new tag debian/0.0.20040811-11 Stéphane Glondu (@glondu)
[Git][ocaml-team/ocaml-getopt] Pushed new tag archive/debian/0.0.20040811-11 Stéphane Glondu (@glondu)
Processing of ocaml-getopt_0.0.20040811-11_source.changes Debian FTP Masters
ocaml-getopt_0.0.20040811-11_source.changes ACCEPTED into unstable Debian FTP Masters
Processing of js-of-ocaml-ocamlbuild_0.0.0+git20220118+852302c8-2_source.changes Debian FTP Masters
Bug#873238: marked as done (Updating the ocaml-getopt Uploaders list) Debian Bug Tracking System
js-of-ocaml-ocamlbuild_0.0.0+git20220118+852302c8-2_source.changes ACCEPTED into unstable Debian FTP Masters
Accepted ocaml-shout 0.2.7-2 (source) into unstable Debian FTP Masters
[Git][ocaml-team/ocaml-shout][master] 2 commits: Update packaging Stéphane Glondu (@glondu)
[Git][ocaml-team/ocaml-shout] Pushed new tag archive/debian/0.2.7-2 Stéphane Glondu (@glondu)
[Git][ocaml-team/ocaml-shout] Pushed new tag debian/0.2.7-2 Stéphane Glondu (@glondu)
Processing of ocaml-shout_0.2.7-2_source.changes Debian FTP Masters
ocaml-shout_0.2.7-2_source.changes ACCEPTED into unstable Debian FTP Masters
[Git][ocaml-team/ocaml-magic] Pushed new tag debian/0.7.3-6 Stéphane Glondu (@glondu)
[Git][ocaml-team/ocaml-magic] Pushed new tag archive/debian/0.7.3-6 Stéphane Glondu (@glondu)
[Git][ocaml-team/ocamlcreal][master] 2 commits: Remove MIA uploaders Stéphane Glondu (@glondu)
Processing of ocaml-magic_0.7.3-6_source.changes Debian FTP Masters
[Git][ocaml-team/ocamlcreal][master] 2 commits: Update packaging Stéphane Glondu (@glondu)
[Git][ocaml-team/ocamlcreal] Pushed new tag debian/0.7-7 Stéphane Glondu (@glondu)
[Git][ocaml-team/ocamlcreal] Pushed new tag archive/debian/0.7-7 Stéphane Glondu (@glondu)
Processing of ocamlcreal_0.7-7_source.changes Debian FTP Masters
Bug#873236: marked as done (Updating the ocamlcreal Uploaders list) Debian Bug Tracking System
ocaml-magic_0.7.3-6_source.changes ACCEPTED into unstable Debian FTP Masters
ocamlcreal_0.7-7_source.changes ACCEPTED into unstable Debian FTP Masters
Processing of mathcomp-analysis_0.4.0-1_source.changes Debian FTP Masters
mathcomp-analysis_0.4.0-1_source.changes ACCEPTED into unstable Debian FTP Masters
ocaml-mad 0.5.2-1 MIGRATED to testing Debian testing watch
ocaml-shout 0.2.7-2 MIGRATED to testing Debian testing watch
[Git][ocaml-team/unison][pristine-tar] pristine-tar data for unison-2.52_2.52.0.orig.tar.gz Stéphane Glondu (@glondu)
[Git][ocaml-team/unison] Pushed new branch 2.52/debian Stéphane Glondu (@glondu)
[Git][ocaml-team/unison] Pushed new tag debian/2.52.0-1 Stéphane Glondu (@glondu)
[Git][ocaml-team/unison] Pushed new branch 2.52/upstream Stéphane Glondu (@glondu)
[Git][ocaml-team/unison] Pushed new tag upstream/2.52.0 Stéphane Glondu (@glondu)
Processing of unison-2.52_2.52.0-1_amd64.changes Debian FTP Masters
unison-2.52_2.52.0-1_amd64.changes is NEW Debian FTP Masters
[bts-link] source package src:ocaml-ffmpeg debian-bts-link

Processed: [bts-link] source package src:ocaml-ffmpeg Debian Bug Tracking System

[why3] dropping coq support ? Ralf Treinen

Re: [why3] dropping coq support ? Stéphane Glondu
Re: [why3] dropping coq support ? julien . puydt

Bug#1007272: ocamlcreal: please consider upgrading to 3.0 source format Lucas Nussbaum

Bug#1007272: marked as done (ocamlcreal: please consider upgrading to 3.0 source format) Debian Bug Tracking System

Bug#1007633: ocaml-magic: please consider upgrading to 3.0 source format Lucas Nussbaum

Bug#1007633: marked as done (ocaml-magic: please consider upgrading to 3.0 source format) Debian Bug Tracking System

unison-2.52_2.52.0-1_amd64.changes ACCEPTED into unstable, unstable Debian FTP Masters
Processing of ocaml-ffmpeg_1.1.2-1_source.changes Debian FTP Masters
[Git][ocaml-team/ocaml-ogg] Pushed new tag debian/0.7.1-1 Kyle Robbertze (@paddatrapper)
[Git][ocaml-team/ocaml-ogg] Pushed new tag upstream/0.7.1 Kyle Robbertze (@paddatrapper)
[Git][ocaml-team/ocaml-ogg][pristine-tar] pristine-tar data for ocaml-ogg_0.7.1.orig.tar.gz Kyle Robbertze (@paddatrapper)
Processing of ocaml-ogg_0.7.1-1_source.changes Debian FTP Masters
Bug#1004573: marked as done (ocaml-ffmpeg: FTBFS with ffmpeg 5.0) Debian Bug Tracking System
ocaml-ffmpeg_1.1.2-1_source.changes ACCEPTED into unstable Debian FTP Masters
ocaml-ogg_0.7.1-1_source.changes ACCEPTED into unstable Debian FTP Masters
[Git][ocaml-team/menhir][master] 7 commits: New upstream version 20210929 Julien Puydt (@jpuydt)
[Git][ocaml-team/menhir][pristine-tar] pristine-tar data for menhir_20220210+ds.orig.tar.xz Julien Puydt (@jpuydt)
[Git][ocaml-team/menhir][upstream] New upstream version 20220210+ds Julien Puydt (@jpuydt)
Updating menhir julien . puydt

Re: Updating menhir Stéphane Glondu

Re: Updating menhir julien . puydt

Re: Updating menhir Ralf Treinen
Re: Updating menhir Ralf Treinen

Re: Updating menhir julien . puydt

[Git][ocaml-team/ocaml-atd][pristine-tar] pristine-tar data for ocaml-atd_2.3.3.orig.tar.gz Julien Puydt (@jpuydt)
[Git][ocaml-team/ocaml-atd][master] 5 commits: Fix d/watch Julien Puydt (@jpuydt)
[Git][ocaml-team/ocaml-atd] Pushed new tag upstream/2.3.3 Julien Puydt (@jpuydt)
[Git][ocaml-team/ocaml-atd][upstream] New upstream version 2.3.3 Julien Puydt (@jpuydt)
[Git][ocaml-team/why3][pristine-tar] pristine-tar data for why3_1.4.1.orig.tar.gz Ralf Treinen (@treinen)
[Git][ocaml-team/menhir][master] Prepare for upload (experimental) Julien Puydt (@jpuydt)
[Git][ocaml-team/menhir] Pushed new tag debian/20220210+ds-1 Julien Puydt (@jpuydt)
[Git][ocaml-team/menhir] Pushed new tag upstream/20220210+ds Julien Puydt (@jpuydt)
Processing of menhir_20220210+ds-1_source.changes Debian FTP Masters
menhir_20220210+ds-1_source.changes ACCEPTED into experimental Debian FTP Masters
Bug#1003801: marked as done (why3 FTBFS: Error: File graph.cmo not found) Debian Bug Tracking System
Processing of why3_1.4.1-1_source.changes Debian FTP Masters
why3_1.4.1-1_source.changes ACCEPTED into unstable Debian FTP Masters
Processing of why3_1.4.1-2_source.changes Debian FTP Masters
why3_1.4.1-2_source.changes ACCEPTED into unstable Debian FTP Masters
[Git][ocaml-team/why3][master] on bytecode archs, WHY3HYPO_UNITS must be obtained from why3ide.cma Ralf Treinen (@treinen)
[Git][ocaml-team/meta-unison][master] 2 commits: Point to unison-2.52 binaries Stéphane Glondu (@glondu)
[Git][ocaml-team/meta-unison] Pushed new tag debian/2.52+1 Stéphane Glondu (@glondu)
[Git][ocaml-team/meta-unison] Pushed new tag archive/debian/2.52+1 Stéphane Glondu (@glondu)
Processing of meta-unison_2.52+1_source.changes Debian FTP Masters
Processed: limit source to frama-c, tagging 1000491 Debian Bug Tracking System
meta-unison_2.52+1_source.changes ACCEPTED into unstable Debian FTP Masters
Processing of pyml_20211015-2_source.changes Debian FTP Masters
pyml_20211015-2_source.changes ACCEPTED into unstable Debian FTP Masters
[Git][ocaml-team/coq][master] 7 commits: New upstream version 8.15.0+dfsg Julien Puydt (@jpuydt)
[Git][ocaml-team/coq][pristine-tar] pristine-tar data for coq_8.15.1+dfsg.orig.tar.xz Julien Puydt (@jpuydt)
[Git][ocaml-team/coq] Pushed new tag debian/8.15.1+dfsg-1 Julien Puydt (@jpuydt)
[Git][ocaml-team/coq][upstream] New upstream version 8.15.1+dfsg Julien Puydt (@jpuydt)
[Git][ocaml-team/coq] Pushed new tag upstream/8.15.1+dfsg Julien Puydt (@jpuydt)
Processing of coq_8.15.1+dfsg-1_source.changes Debian FTP Masters
coq_8.15.1+dfsg-1_source.changes ACCEPTED into unstable Debian FTP Masters
Accepted coq 8.15.1+dfsg-1 (source) into unstable Debian FTP Masters
Bug#923215: marked as done (split into several binary packages) Debian Bug Tracking System
[Git][ocaml-team/ssreflect] Pushed new tag debian/1.14.0-7 Julien Puydt (@jpuydt)
Processing of ssreflect_1.14.0-7_source.changes Debian FTP Masters
ssreflect_1.14.0-7_source.changes REJECTED Debian FTP Masters
Processing of frama-c_20211203-chromium-1_source.changes Debian FTP Masters
[Git][ocaml-team/frama-c][upstream] New upstream version 20211203-chromium Ralf Treinen (@treinen)
[Git][ocaml-team/frama-c][pristine-tar] pristine-tar data for frama-c_20211203-chromium.orig.tar.gz Ralf Treinen (@treinen)
Bug#1000491: marked as done (FTBFS with Why3 1.4.0) Debian Bug Tracking System
frama-c_20211203-chromium-1_source.changes ACCEPTED into unstable Debian FTP Masters
[Git][ocaml-team/ssreflect][master] 2 commits: Change b-dep from obsolete lua5.1 to lua5.4 Julien Puydt (@jpuydt)
[Git][ocaml-team/ssreflect] Pushed new tag debian/1.14.0-8 Julien Puydt (@jpuydt)
Processing of ssreflect_1.14.0-8_source.changes Debian FTP Masters
ssreflect_1.14.0-8_source.changes ACCEPTED into unstable Debian FTP Masters
[Git][ocaml-team/frama-c][master] 8 commits: New upstream version 20211203-chromium Ralf Treinen (@treinen)
[Git][ocaml-team/frama-c] Pushed new tag debian/20201209+titanium-4 Ralf Treinen (@treinen)
[Git][ocaml-team/frama-c] Pushed new tag upstream/20211203-chromium Ralf Treinen (@treinen)
[Git][ocaml-team/frama-c] Pushed new tag debian/20211203-chromium-1 Ralf Treinen (@treinen)
[Git][ocaml-team/why3] Pushed new tag debian/1.4.1-1 Ralf Treinen (@treinen)
[Git][ocaml-team/why3] Pushed new tag debian/1.4.1-2 Ralf Treinen (@treinen)
[Git][ocaml-team/why3] Pushed new tag upstream/1.4.1 Ralf Treinen (@treinen)
Processing of coq-elpi_1.13.0-2_source.changes Debian FTP Masters
Processing of mathcomp-finmap_1.5.1-2_source.changes Debian FTP Masters
Processing of coq-hierarchy-builder_1.2.1-3_source.changes Debian FTP Masters
coq-elpi_1.13.0-2_source.changes ACCEPTED into unstable Debian FTP Masters
coq-hierarchy-builder_1.2.1-3_source.changes ACCEPTED into unstable Debian FTP Masters
mathcomp-finmap_1.5.1-2_source.changes ACCEPTED into unstable Debian FTP Masters
Processing of mathcomp-bigenough_1.0.1-2_source.changes Debian FTP Masters
Processing of mathcomp-analysis_0.5.0-1_source.changes Debian FTP Masters
mathcomp-analysis_0.5.0-1_source.changes ACCEPTED into unstable Debian FTP Masters
mathcomp-bigenough_1.0.1-2_source.changes ACCEPTED into unstable Debian FTP Masters
Bug#1005621: marked as done (coq-hierarchy-builder: FTBFS: dh_install: error: missing files, aborting) Debian Bug Tracking System
On the coq ecosystem in Debian julien . puydt

Re: On the coq ecosystem in Debian Stéphane Glondu

Re: On the coq ecosystem in Debian julien . puydt

Re: On the coq ecosystem in Debian Ralf Treinen

Re: On the coq ecosystem in Debian julien . puydt

Processing of mathcomp-analysis_0.5.0-2_source.changes Debian FTP Masters
mathcomp-analysis_0.5.0-2_source.changes ACCEPTED into unstable Debian FTP Masters
Processing of elpi_1.14.3-1_source.changes Debian FTP Masters
elpi_1.14.3-1_source.changes ACCEPTED into unstable Debian FTP Masters
Processing of ppx-import_1.9.1-1_source.changes Debian FTP Masters
ppx-import_1.9.1-1_source.changes ACCEPTED into unstable Debian FTP Masters
[Git][ocaml-team/liquidsoap][ubuntu/libretime] prepare upload to libretime ppa Kyle Robbertze (@paddatrapper)
[Git][ocaml-team/ocamlagrep][master] update d/watch to github location Ralf Treinen (@treinen)
Bug#1008482: imagen use convert without Depends/Recommends on it Bill Allombert
[Git][ocaml-team/ocamlagrep][master] 3 commits: team upload Ralf Treinen (@treinen)
[Git][ocaml-team/coq-doc][master] 5 commits: New upstream version 8.15.1 Julien Puydt (@jpuydt)
[Git][ocaml-team/coq-doc] Pushed new tag debian/8.15.1-1 Julien Puydt (@jpuydt)
[Git][ocaml-team/coq-doc][pristine-tar] pristine-tar data for coq-doc_8.15.1.orig.tar.gz Julien Puydt (@jpuydt)
[Git][ocaml-team/coq-doc] Pushed new tag upstream/8.15.1 Julien Puydt (@jpuydt)
[Git][ocaml-team/coq-doc][upstream] New upstream version 8.15.1 Julien Puydt (@jpuydt)
Processing of coq-doc_8.15.1-1_amd64.changes Debian FTP Masters
coq-doc_8.15.1-1_amd64.changes ACCEPTED into unstable Debian FTP Masters

The last update was on 09:40 GMT Wed Mar 30. There are 282 messages. Page 1 of 1.

[previous month]

[previous page]

Page 1 of 1

[next page]

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

Mail converted by MHonArc