debian-ocaml-maint Mar 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 (@glondu)

• [Git][ocaml-team/eliom][master] 2 commits: Update packaging Mar 07
• [Git][ocaml-team/ocaml-batteries][pristine-tar] 2 commits: pristine-tar data for ocaml-batteries_3.5.0.orig.tar.gz Mar 03
• [Git][ocaml-team/lablgtk2][pristine-tar] pristine-tar data for lablgtk2_2.18.12.orig.tar.gz Mar 02
• [Git][ocaml-team/js-of-ocaml][master] 6 commits: New upstream version 4.0.0 Mar 02
• [Git][ocaml-team/ocaml-sha] Pushed new tag archive/debian/1.15.2-1 Mar 04
• [Git][ocaml-team/ocamlcreal][master] 2 commits: Update packaging Mar 08
• [Git][ocaml-team/ocaml-ao] Pushed new tag debian/0.2.4-1 Mar 03
• [Git][ocaml-team/eliom] Pushed new tag debian/9.4.0-2 Mar 07
• [Git][ocaml-team/ocaml-pulseaudio] Pushed new tag debian/0.1.5-1 Mar 04
• [Git][ocaml-team/lablgtk2] Pushed new tag archive/debian/2.18.12-1 Mar 02
• [Git][ocaml-team/ocaml-portaudio][pristine-tar] pristine-tar data for ocaml-portaudio_0.2.3.orig.tar.gz Mar 04
• [Git][ocaml-team/ocaml-portaudio] Pushed new tag archive/debian/0.2.3-1 Mar 04
• [Git][ocaml-team/lablgtk2] Pushed new tag upstream/2.18.12 Mar 02
• [Git][ocaml-team/lambda-term][pristine-tar] pristine-tar data for lambda-term_3.2.0.orig.tar.gz Mar 03
• [Git][ocaml-team/ocaml-mad][pristine-tar] 2 commits: pristine-tar data for ocaml-mad_0.5.1.orig.tar.gz Mar 04
• [Git][ocaml-team/ocaml-gen] Pushed new tag archive/debian/1.0-1 Mar 04
• [Git][ocaml-team/ocaml-getopt] Pushed new tag archive/debian/0.0.20040811-11 Mar 07
• [Git][ocaml-team/lambda-term] Pushed new tag debian/3.2.0-1 Mar 03
• [Git][ocaml-team/ocaml-shout] Pushed new tag archive/debian/0.2.7-2 Mar 08
• [Git][ocaml-team/unison] Pushed new branch 2.52/upstream Mar 13
• [Git][ocaml-team/ocaml-sha][pristine-tar] pristine-tar data for ocaml-sha_1.15.2.orig.tar.bz2 Mar 04
• [Git][ocaml-team/findlib][pristine-tar] 2 commits: pristine-tar data for findlib_1.9.2.orig.tar.gz Mar 02
• [Git][ocaml-team/camlp5] Pushed new tag debian/8.00.03-1 Mar 03
• [Git][ocaml-team/camlp5] Pushed new tag archive/debian/8.00.03-1 Mar 03
• [Git][ocaml-team/ocamlcreal] Pushed new tag debian/0.7-7 Mar 08
• [Git][ocaml-team/ocaml-taglib][pristine-tar] 2 commits: pristine-tar data for ocaml-taglib_0.3.8.orig.tar.gz Mar 04
• [Git][ocaml-team/ocaml-ladspa][pristine-tar] 2 commits: pristine-tar data for ocaml-ladspa_0.2.1.orig.tar.gz Mar 03
• [Git][ocaml-team/unison][pristine-tar] pristine-tar data for unison-2.52_2.52.0.orig.tar.gz Mar 13
• [Git][ocaml-team/lambda-term] Pushed new tag archive/debian/3.2.0-1 Mar 03
• [Git][ocaml-team/lablgtk2][upstream] New upstream version 2.18.12 Mar 02
• [Git][ocaml-team/eliom] Pushed new tag archive/debian/9.4.0-2 Mar 07
• [Git][ocaml-team/camlp5][master] 2 commits: Remove constraints unnecessary since buster Mar 03
• [Git][ocaml-team/ocaml-ao] Pushed new tag archive/debian/0.2.4-1 Mar 03
• [Git][ocaml-team/unison] Pushed new tag debian/2.52.0-1 Mar 13
• [Git][ocaml-team/ocaml-getopt][master] 2 commits: Remove MIA uploaders Mar 07
• [Git][ocaml-team/meta-unison] Pushed new tag debian/2.52+1 Mar 21
• [Git][ocaml-team/ocaml-cry] Pushed new tag archive/debian/0.6.6-1 Mar 03
• [Git][ocaml-team/ocaml-magic] Pushed new tag debian/0.7.3-6 Mar 08
• [Git][ocaml-team/ocaml-pulseaudio] Pushed new tag upstream/0.1.5 Mar 04
• [Git][ocaml-team/ocaml-extunix] Pushed new tag debian/0.4.0-1 Mar 03
• [Git][ocaml-team/ocaml-extunix][master] 6 commits: Update debian/watch Mar 03
• [Git][ocaml-team/ocaml-dssi][master] 2 commits: Remove constraints unnecessary since buster Mar 03
• [Git][ocaml-team/ocaml-ao] Pushed new tag upstream/0.2.4 Mar 03
• [Git][ocaml-team/lablgtk2][master] 7 commits: Update debian/watch Mar 02
• [Git][ocaml-team/camlp5] Pushed new tag upstream/8.00.03 Mar 03
• [Git][ocaml-team/ocaml-extunix] Pushed new tag upstream/0.4.0 Mar 03
• [Git][ocaml-team/ocaml-pulseaudio][pristine-tar] pristine-tar data for ocaml-pulseaudio_0.1.5.orig.tar.gz Mar 04
• [Git][ocaml-team/js-of-ocaml] Pushed new tag archive/debian/4.0.0-1 Mar 02
• [Git][ocaml-team/ocaml-mm][pristine-tar] 2 commits: pristine-tar data for ocaml-mm_0.7.4.orig.tar.gz Mar 04
• [Git][ocaml-team/ocaml-sqlite3][pristine-tar] 2 commits: pristine-tar data for ocaml-sqlite3_5.0.3.orig.tar.bz2 Mar 04
• [Git][ocaml-team/ocaml-getopt] Pushed new tag debian/0.0.20040811-11 Mar 07
• [Git][ocaml-team/ocaml-gen] Pushed new tag upstream/1.0 Mar 04
• [Git][ocaml-team/lablgtk2] Pushed new tag debian/2.18.12-1 Mar 02
• [Git][ocaml-team/ocaml-getopt][master] 2 commits: Update packaging Mar 07
• [Git][ocaml-team/ocaml-extunix][upstream] New upstream version 0.4.0 Mar 03
• [Git][ocaml-team/lambda-term] Pushed new tag upstream/3.2.0 Mar 03
• [Git][ocaml-team/ocaml-portaudio] Pushed new tag upstream/0.2.3 Mar 04
• [Git][ocaml-team/ocaml-shout][master] 2 commits: Update packaging Mar 08
• [Git][ocaml-team/ocaml-shout] Pushed new tag debian/0.2.7-2 Mar 08
• [Git][ocaml-team/ocaml-gen] Pushed new tag debian/1.0-1 Mar 04
• [Git][ocaml-team/ocaml-sha] Pushed new tag upstream/1.15.2 Mar 04
• [Git][ocaml-team/js-of-ocaml][pristine-tar] pristine-tar data for js-of-ocaml_4.0.0.orig.tar.bz2 Mar 02
• [Git][ocaml-team/meta-unison][master] 2 commits: Point to unison-2.52 binaries Mar 21
• [Git][ocaml-team/unison] Pushed new branch 2.52/debian Mar 13
• [Git][ocaml-team/ocaml-dssi][pristine-tar] 2 commits: pristine-tar data for ocaml-dssi_0.1.4.orig.tar.gz Mar 03
• [Git][ocaml-team/unison] Pushed new tag upstream/2.52.0 Mar 13
• [Git][ocaml-team/ocaml-pulseaudio] Pushed new tag archive/debian/0.1.5-1 Mar 04
• [Git][ocaml-team/ocaml-sqlite3][master] 4 commits: Update watch file format version to 4. Mar 04
• [Git][ocaml-team/ocaml-sha][upstream] New upstream version 1.15.2 Mar 04
• [Git][ocaml-team/js-of-ocaml] Pushed new tag debian/4.0.0-1 Mar 02
• [Git][ocaml-team/js-of-ocaml] Pushed new tag upstream/4.0.0 Mar 02
• [Git][ocaml-team/camlp5][upstream] New upstream version 8.00.03 Mar 03
• [Git][ocaml-team/camlp5][master] 5 commits: New upstream version 8.00.03 Mar 03
• [Git][ocaml-team/js-of-ocaml][upstream] New upstream version 4.0.0 Mar 02
• [Git][ocaml-team/camlp5][pristine-tar] pristine-tar data for camlp5_8.00.03.orig.tar.gz Mar 03
• [Git][ocaml-team/ocaml-extunix][pristine-tar] pristine-tar data for ocaml-extunix_0.4.0.orig.tar.bz2 Mar 03
• [Git][ocaml-team/ocamlcreal] Pushed new tag archive/debian/0.7-7 Mar 08
• [Git][ocaml-team/ocaml-cry] Pushed new tag upstream/0.6.6 Mar 03
• [Git][ocaml-team/ocamlcreal][master] 2 commits: Remove MIA uploaders Mar 08
• [Git][ocaml-team/ocaml-sha] Pushed new tag debian/1.15.2-1 Mar 04
• [Git][ocaml-team/ocaml-magic] Pushed new tag archive/debian/0.7.3-6 Mar 08
• [Git][ocaml-team/ocaml-gen][pristine-tar] pristine-tar data for ocaml-gen_1.0.orig.tar.gz Mar 04
• [Git][ocaml-team/ocaml-ao][pristine-tar] pristine-tar data for ocaml-ao_0.2.4.orig.tar.gz Mar 03
• [Git][ocaml-team/ocaml-cry][pristine-tar] pristine-tar data for ocaml-cry_0.6.6.orig.tar.gz Mar 03
• [Git][ocaml-team/ocaml-portaudio] Pushed new tag debian/0.2.3-1 Mar 04
• [Git][ocaml-team/meta-unison] Pushed new tag archive/debian/2.52+1 Mar 21
• [Git][ocaml-team/ocaml-cry] Pushed new tag debian/0.6.6-1 Mar 03
• [Git][ocaml-team/ocaml-extunix] Pushed new tag archive/debian/0.4.0-1 Mar 03

Stéphane Glondu

• Bug#1006711: ITP: js-of-ocaml-ocamlbuild -- compiler from OCaml bytecode to JavaScript (ocamlbuild plugin) Mar 03

Stéphane Glondu

• Re: [why3] dropping coq support ? Mar 18
• Re: On the coq ecosystem in Debian Mar 28
• Re: Updating menhir Mar 18

Andreas Beckmann

• Bug#1006878: libjs-of-ocaml-ocamlbuild-ocaml-dev: missing Breaks+Replaces: libjs-of-ocaml (<< 4), libjs-of-ocaml-dev (<< 4) Mar 07

Bill Allombert

• Bug#1008482: imagen use convert without Depends/Recommends on it Mar 27

Debian Bug Tracking System

• Bug#1007272: marked as done (ocamlcreal: please consider upgrading to 3.0 source format) Mar 15
• Bug#663180: marked as done (Provides no zero value) Mar 04
• Bug#1005621: marked as done (coq-hierarchy-builder: FTBFS: dh_install: error: missing files, aborting) Mar 24
• Bug#1007633: marked as done (ocaml-magic: please consider upgrading to 3.0 source format) Mar 15
• Bug#1004573: marked as done (ocaml-ffmpeg: FTBFS with ffmpeg 5.0) Mar 16
• Processed: limit source to frama-c, tagging 1000491 Mar 21
• Bug#873236: marked as done (Updating the ocamlcreal Uploaders list) Mar 08
• Bug#1006878: marked as done (libjs-of-ocaml-ocamlbuild-ocaml-dev: missing Breaks+Replaces: libjs-of-ocaml (<< 4), libjs-of-ocaml-dev (<< 4)) Mar 08
• Processed: [bts-link] source package src:ocaml-ffmpeg Mar 14
• Bug#1000491: marked as done (FTBFS with Why3 1.4.0) Mar 23
• Processed: tagging 663180 Mar 04
• Bug#1003801: marked as done (why3 FTBFS: Error: File graph.cmo not found) Mar 19
• Bug#873238: marked as done (Updating the ocaml-getopt Uploaders list) Mar 08
• Bug#923215: marked as done (split into several binary packages) Mar 23

Debian FTP Masters

• eliom_9.4.0-2_source.changes ACCEPTED into unstable Mar 07
• ocaml-gen_1.0-1_source.changes ACCEPTED into unstable Mar 04
• mathcomp-analysis_0.5.0-1_source.changes ACCEPTED into unstable Mar 23
• ocaml-mad_0.5.2-1_source.changes ACCEPTED into unstable Mar 04
• js-of-ocaml_4.0.0-1_source.changes ACCEPTED into unstable Mar 02
• Processing of janest-base_0.14.3-1_source.changes Mar 02
• ocaml-bigarray-compat_1.1.0-1_source.changes ACCEPTED into unstable Mar 02
• Processing of frama-c_20211203-chromium-1_source.changes Mar 23
• ocaml-ao_0.2.4-1_source.changes ACCEPTED into unstable Mar 03
• meta-unison_2.52+1_source.changes ACCEPTED into unstable Mar 21
• Processing of ocaml-portaudio_0.2.3-1_source.changes Mar 04
• pyml_20211015-2_source.changes ACCEPTED into unstable Mar 21
• Processing of ocaml-ogg_0.7.1-1_source.changes Mar 16
• Processing of ocaml-sha_1.15.2-1_source.changes Mar 04
• Processing of js-of-ocaml_4.0.0-1_source.changes Mar 02
• Processing of ocaml-gen_1.0-1_source.changes Mar 04
• Processing of ocaml-dssi_0.1.5-1_source.changes Mar 03
• Processing of mathcomp-bigenough_1.0.1-2_source.changes Mar 23
• Processing of mathcomp-analysis_0.4.0-1_source.changes Mar 08
• Processing of ocaml-mm_0.7.5-1_source.changes Mar 04
• why3_1.4.1-1_source.changes ACCEPTED into unstable Mar 19
• Processing of ssreflect_1.14.0-8_source.changes Mar 23
• ssreflect_1.14.0-7_source.changes REJECTED Mar 23
• Processing of ocaml-mad_0.5.2-1_source.changes Mar 04
• frama-c_20211203-chromium-1_source.changes ACCEPTED into unstable Mar 23
• ocaml-taglib_0.3.9-1_source.changes ACCEPTED into unstable Mar 04
• mathcomp-bigenough_1.0.1-2_source.changes ACCEPTED into unstable Mar 23
• ocaml-extunix_0.4.0-1_source.changes ACCEPTED into unstable Mar 03
• Processing of ocaml-mmap_1.2.0-1_source.changes Mar 04
• ocaml-portaudio_0.2.3-1_source.changes ACCEPTED into unstable Mar 04
• Processing of ocaml-shout_0.2.7-2_source.changes Mar 08
• ocaml-domain-name_0.4.0-1_source.changes ACCEPTED into unstable Mar 04
• Processing of ocaml-bigarray-compat_1.1.0-1_source.changes Mar 02
• Processing of ocaml-integers_0.6.0-1_source.changes Mar 04
• Processing of ppx-import_1.9.1-1_source.changes Mar 25
• Processing of ocaml-pulseaudio_0.1.5-1_source.changes Mar 04
• js-of-ocaml-ocamlbuild_0.0.0+git20220118+852302c8-2_source.changes ACCEPTED into unstable Mar 08
• ocaml-integers_0.6.0-1_source.changes ACCEPTED into unstable Mar 04
• js-of-ocaml-ocamlbuild_0.0.0+git20220118+852302c8-1_amd64.changes ACCEPTED into unstable, unstable Mar 06
• Processing of js-of-ocaml-ocamlbuild_0.0.0+git20220118+852302c8-2_source.changes Mar 08
• Processing of ocaml-batteries_3.5.1-1_source.changes Mar 03
• ssreflect_1.14.0-8_source.changes ACCEPTED into unstable Mar 23
• Processing of eliom_9.4.0-2_source.changes Mar 07
• camlp5_8.00.03-1_source.changes ACCEPTED into unstable Mar 03
• ocaml-magic_0.7.3-6_source.changes ACCEPTED into unstable Mar 08
• lablgtk2_2.18.12-1_source.changes ACCEPTED into unstable Mar 02
• unison-2.52_2.52.0-1_amd64.changes ACCEPTED into unstable, unstable Mar 15
• lambda-term_3.2.0-1_source.changes ACCEPTED into unstable Mar 03
• ocaml-getopt_0.0.20040811-11_source.changes ACCEPTED into unstable Mar 07
• ocaml-ladspa_0.2.2-1_source.changes ACCEPTED into unstable Mar 03
• mathcomp-analysis_0.5.0-2_source.changes ACCEPTED into unstable Mar 25
• Processing of ocaml-getopt_0.0.20040811-11_source.changes Mar 07
• Processing of menhir_20220210+ds-1_source.changes Mar 18
• Processing of mathcomp-analysis_0.5.0-1_source.changes Mar 23
• Processing of ocaml-taglib_0.3.9-1_source.changes Mar 04
• ocamlcreal_0.7-7_source.changes ACCEPTED into unstable Mar 08
• Processing of ocaml-parsexp_0.14.2-1_source.changes Mar 02
• coq-doc_8.15.1-1_amd64.changes ACCEPTED into unstable Mar 30
• ocaml-batteries_3.5.1-1_source.changes ACCEPTED into unstable Mar 03
• Processing of pyml_20211015-2_source.changes Mar 21
• Processing of js-of-ocaml-ocamlbuild_0.0.0+git20220118+852302c8-1_amd64.changes Mar 03
• Processing of coq-doc_8.15.1-1_amd64.changes Mar 30
• ocaml-sha_1.15.2-1_source.changes ACCEPTED into unstable Mar 04
• Processing of mathcomp-finmap_1.5.1-2_source.changes Mar 23
• mathcomp-analysis_0.4.0-1_source.changes ACCEPTED into unstable Mar 08
• janest-base_0.14.3-1_source.changes ACCEPTED into unstable Mar 02
• Processing of lablgtk2_2.18.12-1_source.changes Mar 02
• js-of-ocaml-ocamlbuild_0.0.0+git20220118+852302c8-1_amd64.changes is NEW Mar 03
• coq-hierarchy-builder_1.2.1-3_source.changes ACCEPTED into unstable Mar 23
• Processing of coq_8.15.1+dfsg-1_source.changes Mar 22
• Processing of unison-2.52_2.52.0-1_amd64.changes Mar 13
• Accepted coq 8.15.1+dfsg-1 (source) into unstable Mar 22
• ocaml-dssi_0.1.5-1_source.changes ACCEPTED into unstable Mar 03
• mathcomp-finmap_1.5.1-2_source.changes ACCEPTED into unstable Mar 23
• menhir_20220210+ds-1_source.changes ACCEPTED into experimental Mar 18
• findlib_1.9.3-1_source.changes ACCEPTED into unstable Mar 02
• ocaml-mm_0.7.5-1_source.changes ACCEPTED into unstable Mar 04
• Processing of ocaml-odoc_2.1.0+dfsg-1_source.changes Mar 02
• Processing of elpi_1.14.3-1_source.changes Mar 25
• coq_8.15.1+dfsg-1_source.changes ACCEPTED into unstable Mar 22
• Processing of meta-unison_2.52+1_source.changes Mar 21
• ocaml-parsexp_0.14.2-1_source.changes ACCEPTED into unstable Mar 02
• Processing of coq-elpi_1.13.0-2_source.changes Mar 23
• ppx-import_1.9.1-1_source.changes ACCEPTED into unstable Mar 25
• Processing of lambda-term_3.2.0-1_source.changes Mar 03
• Processing of why3_1.4.1-2_source.changes Mar 19
• Processing of ocaml-cry_0.6.6-1_source.changes Mar 03
• Accepted ocaml-mad 0.5.2-1 (source) into unstable Mar 04
• ocaml-ffmpeg_1.1.2-1_source.changes ACCEPTED into unstable Mar 16
• lablgtk3_3.1.2-1_source.changes ACCEPTED into unstable Mar 02
• ocaml-pulseaudio_0.1.5-1_source.changes ACCEPTED into unstable Mar 04
• Processing of ocaml-extunix_0.4.0-1_source.changes Mar 03
• Processing of ocaml-ladspa_0.2.2-1_source.changes Mar 03
• unison-2.52_2.52.0-1_amd64.changes is NEW Mar 13
• Processing of ocaml-ao_0.2.4-1_source.changes Mar 03
• coq-elpi_1.13.0-2_source.changes ACCEPTED into unstable Mar 23
• Processing of coq-hierarchy-builder_1.2.1-3_source.changes Mar 23
• ocaml-ogg_0.7.1-1_source.changes ACCEPTED into unstable Mar 16
• Processing of ssreflect_1.14.0-7_source.changes Mar 23
• why3_1.4.1-2_source.changes ACCEPTED into unstable Mar 19
• Processing of findlib_1.9.3-1_source.changes Mar 02
• Processing of lablgtk3_3.1.2-1_source.changes Mar 02
• Accepted ocaml-shout 0.2.7-2 (source) into unstable Mar 08
• ocaml-cry_0.6.6-1_source.changes ACCEPTED into unstable Mar 03
• Processing of ocaml-domain-name_0.4.0-1_source.changes Mar 04
• Processing of ocaml-magic_0.7.3-6_source.changes Mar 08
• Processing of why3_1.4.1-1_source.changes Mar 19
• ocaml-sqlite3_5.1.0-1_source.changes ACCEPTED into unstable Mar 04
• Processing of mathcomp-analysis_0.5.0-2_source.changes Mar 25
• ocaml-odoc_2.1.0+dfsg-1_source.changes ACCEPTED into unstable Mar 02
• Processing of ocaml-sqlite3_5.1.0-1_source.changes Mar 04
• elpi_1.14.3-1_source.changes ACCEPTED into unstable Mar 25
• ocaml-mmap_1.2.0-1_source.changes ACCEPTED into unstable Mar 04
• Processing of camlp5_8.00.03-1_source.changes Mar 03
• ocaml-shout_0.2.7-2_source.changes ACCEPTED into unstable Mar 08
• Processing of ocamlcreal_0.7-7_source.changes Mar 08
• Processing of ocaml-ffmpeg_1.1.2-1_source.changes Mar 16

Debian testing watch

• ocaml-shout 0.2.7-2 MIGRATED to testing Mar 13
• ocaml-mad 0.5.2-1 MIGRATED to testing Mar 09

debian-bts-link

• [bts-link] source package src:ocaml-ffmpeg Mar 14

julien . puydt

• Re: Updating menhir Mar 18
• On the coq ecosystem in Debian Mar 24
• Re: On the coq ecosystem in Debian Mar 29
• Re: On the coq ecosystem in Debian Mar 29
• Updating menhir Mar 17
• Re: [why3] dropping coq support ? Mar 18
• Re: Updating menhir Mar 18

Julien Puydt (@jpuydt)

• [Git][ocaml-team/coq] Pushed new tag upstream/8.15.1+dfsg Mar 22
• [Git][ocaml-team/ocaml-atd][upstream] New upstream version 2.3.3 Mar 17
• [Git][ocaml-team/coq-doc][master] 5 commits: New upstream version 8.15.1 Mar 30
• [Git][ocaml-team/coq] Pushed new tag debian/8.15.1+dfsg-1 Mar 22
• [Git][ocaml-team/coq][pristine-tar] pristine-tar data for coq_8.15.1+dfsg.orig.tar.xz Mar 22
• [Git][ocaml-team/menhir][pristine-tar] pristine-tar data for menhir_20220210+ds.orig.tar.xz Mar 17
• [Git][ocaml-team/ssreflect] Pushed new tag debian/1.14.0-8 Mar 23
• [Git][ocaml-team/menhir] Pushed new tag debian/20220210+ds-1 Mar 18
• [Git][ocaml-team/menhir][master] 7 commits: New upstream version 20210929 Mar 17
• [Git][ocaml-team/coq][upstream] New upstream version 8.15.1+dfsg Mar 22
• [Git][ocaml-team/coq-doc] Pushed new tag upstream/8.15.1 Mar 30
• [Git][ocaml-team/ocaml-atd][master] 5 commits: Fix d/watch Mar 17
• [Git][ocaml-team/coq][master] 7 commits: New upstream version 8.15.0+dfsg Mar 22
• [Git][ocaml-team/menhir][master] Prepare for upload (experimental) Mar 18
• [Git][ocaml-team/coq-doc][upstream] New upstream version 8.15.1 Mar 30
• [Git][ocaml-team/menhir][upstream] New upstream version 20220210+ds Mar 17
• [Git][ocaml-team/coq-doc] Pushed new tag debian/8.15.1-1 Mar 30
• [Git][ocaml-team/ssreflect][master] 2 commits: Change b-dep from obsolete lua5.1 to lua5.4 Mar 23
• [Git][ocaml-team/ocaml-atd] Pushed new tag upstream/2.3.3 Mar 17
• [Git][ocaml-team/coq-doc][pristine-tar] pristine-tar data for coq-doc_8.15.1.orig.tar.gz Mar 30
• [Git][ocaml-team/menhir] Pushed new tag upstream/20220210+ds Mar 18
• [Git][ocaml-team/ocaml-atd][pristine-tar] pristine-tar data for ocaml-atd_2.3.3.orig.tar.gz Mar 17
• [Git][ocaml-team/ssreflect] Pushed new tag debian/1.14.0-7 Mar 23

Kyle Robbertze (@paddatrapper)

• [Git][ocaml-team/ocaml-ogg] Pushed new tag debian/0.7.1-1 Mar 16
• [Git][ocaml-team/liquidsoap][ubuntu/libretime] prepare upload to libretime ppa Mar 25
• [Git][ocaml-team/ocaml-ogg] Pushed new tag upstream/0.7.1 Mar 16
• [Git][ocaml-team/ocaml-ogg][pristine-tar] pristine-tar data for ocaml-ogg_0.7.1.orig.tar.gz Mar 16

Lucas Nussbaum

• Bug#1007633: ocaml-magic: please consider upgrading to 3.0 source format Mar 15
• Bug#1007272: ocamlcreal: please consider upgrading to 3.0 source format Mar 15

Ralf Treinen

• Re: Updating menhir Mar 18
• [why3] dropping coq support ? Mar 14
• Re: On the coq ecosystem in Debian Mar 29
• Re: Updating menhir Mar 18

Ralf Treinen (@treinen)

• [Git][ocaml-team/frama-c][upstream] New upstream version 20211203-chromium Mar 23
• [Git][ocaml-team/ocamlagrep][master] 3 commits: team upload Mar 28
• [Git][ocaml-team/ocamlagrep][master] update d/watch to github location Mar 26
• [Git][ocaml-team/frama-c][pristine-tar] pristine-tar data for frama-c_20211203-chromium.orig.tar.gz Mar 23
• [Git][ocaml-team/why3] Pushed new tag upstream/1.4.1 Mar 23
• [Git][ocaml-team/why3] Pushed new tag debian/1.4.1-2 Mar 23
• [Git][ocaml-team/why3][pristine-tar] pristine-tar data for why3_1.4.1.orig.tar.gz Mar 18
• [Git][ocaml-team/frama-c] Pushed new tag debian/20211203-chromium-1 Mar 23
• [Git][ocaml-team/frama-c] Pushed new tag upstream/20211203-chromium Mar 23
• [Git][ocaml-team/why3][master] on bytecode archs, WHY3HYPO_UNITS must be obtained from why3ide.cma Mar 19
• [Git][ocaml-team/why3] Pushed new tag debian/1.4.1-1 Mar 23
• [Git][ocaml-team/frama-c][master] 8 commits: New upstream version 20211203-chromium Mar 23
• [Git][ocaml-team/frama-c] Pushed new tag debian/20201209+titanium-4 Mar 23

Vincent Lefevre

• Bug#1006301: unison-2.51+4.13.1 -addversionno is broken Mar 03

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