debian-ocaml-maint Mar 2022 by subject

[First Page] <
[previous page] 		Page 1 of 1 >
[next page] 		[Last Page]

[Thread Index] [Date Index] [Author Index] [Other Debian Lists] [Debian Home]
[bts-link] source package src:ocaml-ffmpeg [Git][ocaml-team/camlp5] Pushed new tag archive/debian/8.00.03-1 [Git][ocaml-team/camlp5] Pushed new tag debian/8.00.03-1 [Git][ocaml-team/camlp5] Pushed new tag upstream/8.00.03 [Git][ocaml-team/camlp5][master] 2 commits: Remove constraints unnecessary since buster [Git][ocaml-team/camlp5][master] 5 commits: New upstream version 8.00.03 [Git][ocaml-team/camlp5][pristine-tar] pristine-tar data for camlp5_8.00.03.orig.tar.gz [Git][ocaml-team/camlp5][upstream] New upstream version 8.00.03 [Git][ocaml-team/coq-doc] Pushed new tag debian/8.15.1-1 [Git][ocaml-team/coq-doc] Pushed new tag upstream/8.15.1 [Git][ocaml-team/coq-doc][master] 5 commits: New upstream version 8.15.1 [Git][ocaml-team/coq-doc][pristine-tar] pristine-tar data for coq-doc_8.15.1.orig.tar.gz [Git][ocaml-team/coq-doc][upstream] New upstream version 8.15.1 [Git][ocaml-team/coq] Pushed new tag debian/8.15.1+dfsg-1 [Git][ocaml-team/coq] Pushed new tag upstream/8.15.1+dfsg [Git][ocaml-team/coq][master] 7 commits: New upstream version 8.15.0+dfsg [Git][ocaml-team/coq][pristine-tar] pristine-tar data for coq_8.15.1+dfsg.orig.tar.xz [Git][ocaml-team/coq][upstream] New upstream version 8.15.1+dfsg [Git][ocaml-team/eliom] Pushed new tag archive/debian/9.4.0-2 [Git][ocaml-team/eliom] Pushed new tag debian/9.4.0-2 [Git][ocaml-team/eliom][master] 2 commits: Update packaging [Git][ocaml-team/findlib][pristine-tar] 2 commits: pristine-tar data for findlib_1.9.2.orig.tar.gz [Git][ocaml-team/frama-c] Pushed new tag debian/20201209+titanium-4 [Git][ocaml-team/frama-c] Pushed new tag debian/20211203-chromium-1 [Git][ocaml-team/frama-c] Pushed new tag upstream/20211203-chromium [Git][ocaml-team/frama-c][master] 8 commits: New upstream version 20211203-chromium [Git][ocaml-team/frama-c][pristine-tar] pristine-tar data for frama-c_20211203-chromium.orig.tar.gz [Git][ocaml-team/frama-c][upstream] New upstream version 20211203-chromium [Git][ocaml-team/js-of-ocaml] Pushed new tag archive/debian/4.0.0-1 [Git][ocaml-team/js-of-ocaml] Pushed new tag debian/4.0.0-1 [Git][ocaml-team/js-of-ocaml] Pushed new tag upstream/4.0.0 [Git][ocaml-team/js-of-ocaml][master] 6 commits: New upstream version 4.0.0 [Git][ocaml-team/js-of-ocaml][pristine-tar] pristine-tar data for js-of-ocaml_4.0.0.orig.tar.bz2 [Git][ocaml-team/js-of-ocaml][upstream] New upstream version 4.0.0 [Git][ocaml-team/lablgtk2] Pushed new tag archive/debian/2.18.12-1 [Git][ocaml-team/lablgtk2] Pushed new tag debian/2.18.12-1 [Git][ocaml-team/lablgtk2] Pushed new tag upstream/2.18.12 [Git][ocaml-team/lablgtk2][master] 7 commits: Update debian/watch [Git][ocaml-team/lablgtk2][pristine-tar] pristine-tar data for lablgtk2_2.18.12.orig.tar.gz [Git][ocaml-team/lablgtk2][upstream] New upstream version 2.18.12 [Git][ocaml-team/lambda-term] Pushed new tag archive/debian/3.2.0-1 [Git][ocaml-team/lambda-term] Pushed new tag debian/3.2.0-1 [Git][ocaml-team/lambda-term] Pushed new tag upstream/3.2.0 [Git][ocaml-team/lambda-term][pristine-tar] pristine-tar data for lambda-term_3.2.0.orig.tar.gz [Git][ocaml-team/liquidsoap][ubuntu/libretime] prepare upload to libretime ppa [Git][ocaml-team/menhir] Pushed new tag debian/20220210+ds-1 [Git][ocaml-team/menhir] Pushed new tag upstream/20220210+ds [Git][ocaml-team/menhir][master] 7 commits: New upstream version 20210929 [Git][ocaml-team/menhir][master] Prepare for upload (experimental) [Git][ocaml-team/menhir][pristine-tar] pristine-tar data for menhir_20220210+ds.orig.tar.xz [Git][ocaml-team/menhir][upstream] New upstream version 20220210+ds [Git][ocaml-team/meta-unison] Pushed new tag archive/debian/2.52+1 [Git][ocaml-team/meta-unison] Pushed new tag debian/2.52+1 [Git][ocaml-team/meta-unison][master] 2 commits: Point to unison-2.52 binaries [Git][ocaml-team/ocaml-ao] Pushed new tag archive/debian/0.2.4-1 [Git][ocaml-team/ocaml-ao] Pushed new tag debian/0.2.4-1 [Git][ocaml-team/ocaml-ao] Pushed new tag upstream/0.2.4 [Git][ocaml-team/ocaml-ao][pristine-tar] pristine-tar data for ocaml-ao_0.2.4.orig.tar.gz [Git][ocaml-team/ocaml-atd] Pushed new tag upstream/2.3.3 [Git][ocaml-team/ocaml-atd][master] 5 commits: Fix d/watch [Git][ocaml-team/ocaml-atd][pristine-tar] pristine-tar data for ocaml-atd_2.3.3.orig.tar.gz [Git][ocaml-team/ocaml-atd][upstream] New upstream version 2.3.3 [Git][ocaml-team/ocaml-batteries][pristine-tar] 2 commits: pristine-tar data for ocaml-batteries_3.5.0.orig.tar.gz [Git][ocaml-team/ocaml-cry] Pushed new tag archive/debian/0.6.6-1 [Git][ocaml-team/ocaml-cry] Pushed new tag debian/0.6.6-1 [Git][ocaml-team/ocaml-cry] Pushed new tag upstream/0.6.6 [Git][ocaml-team/ocaml-cry][pristine-tar] pristine-tar data for ocaml-cry_0.6.6.orig.tar.gz [Git][ocaml-team/ocaml-dssi][master] 2 commits: Remove constraints unnecessary since buster [Git][ocaml-team/ocaml-dssi][pristine-tar] 2 commits: pristine-tar data for ocaml-dssi_0.1.4.orig.tar.gz [Git][ocaml-team/ocaml-extunix] Pushed new tag archive/debian/0.4.0-1 [Git][ocaml-team/ocaml-extunix] Pushed new tag debian/0.4.0-1 [Git][ocaml-team/ocaml-extunix] Pushed new tag upstream/0.4.0 [Git][ocaml-team/ocaml-extunix][master] 6 commits: Update debian/watch [Git][ocaml-team/ocaml-extunix][pristine-tar] pristine-tar data for ocaml-extunix_0.4.0.orig.tar.bz2 [Git][ocaml-team/ocaml-extunix][upstream] New upstream version 0.4.0 [Git][ocaml-team/ocaml-gen] Pushed new tag archive/debian/1.0-1 [Git][ocaml-team/ocaml-gen] Pushed new tag debian/1.0-1 [Git][ocaml-team/ocaml-gen] Pushed new tag upstream/1.0 [Git][ocaml-team/ocaml-gen][pristine-tar] pristine-tar data for ocaml-gen_1.0.orig.tar.gz [Git][ocaml-team/ocaml-getopt] Pushed new tag archive/debian/0.0.20040811-11 [Git][ocaml-team/ocaml-getopt] Pushed new tag debian/0.0.20040811-11 [Git][ocaml-team/ocaml-getopt][master] 2 commits: Remove MIA uploaders [Git][ocaml-team/ocaml-getopt][master] 2 commits: Update packaging [Git][ocaml-team/ocaml-ladspa][pristine-tar] 2 commits: pristine-tar data for ocaml-ladspa_0.2.1.orig.tar.gz [Git][ocaml-team/ocaml-mad][pristine-tar] 2 commits: pristine-tar data for ocaml-mad_0.5.1.orig.tar.gz [Git][ocaml-team/ocaml-magic] Pushed new tag archive/debian/0.7.3-6 [Git][ocaml-team/ocaml-magic] Pushed new tag debian/0.7.3-6 [Git][ocaml-team/ocaml-mm][pristine-tar] 2 commits: pristine-tar data for ocaml-mm_0.7.4.orig.tar.gz [Git][ocaml-team/ocaml-ogg] Pushed new tag debian/0.7.1-1 [Git][ocaml-team/ocaml-ogg] Pushed new tag upstream/0.7.1 [Git][ocaml-team/ocaml-ogg][pristine-tar] pristine-tar data for ocaml-ogg_0.7.1.orig.tar.gz [Git][ocaml-team/ocaml-portaudio] Pushed new tag archive/debian/0.2.3-1 [Git][ocaml-team/ocaml-portaudio] Pushed new tag debian/0.2.3-1 [Git][ocaml-team/ocaml-portaudio] Pushed new tag upstream/0.2.3 [Git][ocaml-team/ocaml-portaudio][pristine-tar] pristine-tar data for ocaml-portaudio_0.2.3.orig.tar.gz [Git][ocaml-team/ocaml-pulseaudio] Pushed new tag archive/debian/0.1.5-1 [Git][ocaml-team/ocaml-pulseaudio] Pushed new tag debian/0.1.5-1 [Git][ocaml-team/ocaml-pulseaudio] Pushed new tag upstream/0.1.5 [Git][ocaml-team/ocaml-pulseaudio][pristine-tar] pristine-tar data for ocaml-pulseaudio_0.1.5.orig.tar.gz [Git][ocaml-team/ocaml-sha] Pushed new tag archive/debian/1.15.2-1 [Git][ocaml-team/ocaml-sha] Pushed new tag debian/1.15.2-1 [Git][ocaml-team/ocaml-sha] Pushed new tag upstream/1.15.2 [Git][ocaml-team/ocaml-sha][pristine-tar] pristine-tar data for ocaml-sha_1.15.2.orig.tar.bz2 [Git][ocaml-team/ocaml-sha][upstream] New upstream version 1.15.2 [Git][ocaml-team/ocaml-shout] Pushed new tag archive/debian/0.2.7-2 [Git][ocaml-team/ocaml-shout] Pushed new tag debian/0.2.7-2 [Git][ocaml-team/ocaml-shout][master] 2 commits: Update packaging [Git][ocaml-team/ocaml-sqlite3][master] 4 commits: Update watch file format version to 4. [Git][ocaml-team/ocaml-sqlite3][pristine-tar] 2 commits: pristine-tar data for ocaml-sqlite3_5.0.3.orig.tar.bz2 [Git][ocaml-team/ocaml-taglib][pristine-tar] 2 commits: pristine-tar data for ocaml-taglib_0.3.8.orig.tar.gz [Git][ocaml-team/ocamlagrep][master] 3 commits: team upload [Git][ocaml-team/ocamlagrep][master] update d/watch to github location [Git][ocaml-team/ocamlcreal] Pushed new tag archive/debian/0.7-7 [Git][ocaml-team/ocamlcreal] Pushed new tag debian/0.7-7 [Git][ocaml-team/ocamlcreal][master] 2 commits: Remove MIA uploaders [Git][ocaml-team/ocamlcreal][master] 2 commits: Update packaging [Git][ocaml-team/ssreflect] Pushed new tag debian/1.14.0-7 [Git][ocaml-team/ssreflect] Pushed new tag debian/1.14.0-8 [Git][ocaml-team/ssreflect][master] 2 commits: Change b-dep from obsolete lua5.1 to lua5.4 [Git][ocaml-team/unison] Pushed new branch 2.52/debian [Git][ocaml-team/unison] Pushed new branch 2.52/upstream [Git][ocaml-team/unison] Pushed new tag debian/2.52.0-1 [Git][ocaml-team/unison] Pushed new tag upstream/2.52.0 [Git][ocaml-team/unison][pristine-tar] pristine-tar data for unison-2.52_2.52.0.orig.tar.gz [Git][ocaml-team/why3] Pushed new tag debian/1.4.1-1 [Git][ocaml-team/why3] Pushed new tag debian/1.4.1-2 [Git][ocaml-team/why3] Pushed new tag upstream/1.4.1 [Git][ocaml-team/why3][master] on bytecode archs, WHY3HYPO_UNITS must be obtained from why3ide.cma [Git][ocaml-team/why3][pristine-tar] pristine-tar data for why3_1.4.1.orig.tar.gz [why3] dropping coq support ? Accepted coq 8.15.1+dfsg-1 (source) into unstable Accepted ocaml-mad 0.5.2-1 (source) into unstable Accepted ocaml-shout 0.2.7-2 (source) into unstable Bug#1000491: marked as done (FTBFS with Why3 1.4.0) Bug#1003801: marked as done (why3 FTBFS: Error: File graph.cmo not found) Bug#1004573: marked as done (ocaml-ffmpeg: FTBFS with ffmpeg 5.0) Bug#1005621: marked as done (coq-hierarchy-builder: FTBFS: dh_install: error: missing files, aborting) Bug#1006301: unison-2.51+4.13.1 -addversionno is broken Bug#1006711: ITP: js-of-ocaml-ocamlbuild -- compiler from OCaml bytecode to JavaScript (ocamlbuild plugin) Bug#1006878: libjs-of-ocaml-ocamlbuild-ocaml-dev: missing Breaks+Replaces: libjs-of-ocaml (<< 4), libjs-of-ocaml-dev (<< 4) Bug#1006878: marked as done (libjs-of-ocaml-ocamlbuild-ocaml-dev: missing Breaks+Replaces: libjs-of-ocaml (<< 4), libjs-of-ocaml-dev (<< 4)) Bug#1007272: marked as done (ocamlcreal: please consider upgrading to 3.0 source format) Bug#1007272: ocamlcreal: please consider upgrading to 3.0 source format Bug#1007633: marked as done (ocaml-magic: please consider upgrading to 3.0 source format) Bug#1007633: ocaml-magic: please consider upgrading to 3.0 source format Bug#1008482: imagen use convert without Depends/Recommends on it Bug#663180: marked as done (Provides no zero value) Bug#873236: marked as done (Updating the ocamlcreal Uploaders list) Bug#873238: marked as done (Updating the ocaml-getopt Uploaders list) Bug#923215: marked as done (split into several binary packages) camlp5_8.00.03-1_source.changes ACCEPTED into unstable coq-doc_8.15.1-1_amd64.changes ACCEPTED into unstable coq-elpi_1.13.0-2_source.changes ACCEPTED into unstable coq-hierarchy-builder_1.2.1-3_source.changes ACCEPTED into unstable coq_8.15.1+dfsg-1_source.changes ACCEPTED into unstable eliom_9.4.0-2_source.changes ACCEPTED into unstable elpi_1.14.3-1_source.changes ACCEPTED into unstable findlib_1.9.3-1_source.changes ACCEPTED into unstable frama-c_20211203-chromium-1_source.changes ACCEPTED into unstable janest-base_0.14.3-1_source.changes ACCEPTED into unstable js-of-ocaml-ocamlbuild_0.0.0+git20220118+852302c8-1_amd64.changes ACCEPTED into unstable, unstable js-of-ocaml-ocamlbuild_0.0.0+git20220118+852302c8-1_amd64.changes is NEW js-of-ocaml-ocamlbuild_0.0.0+git20220118+852302c8-2_source.changes ACCEPTED into unstable js-of-ocaml_4.0.0-1_source.changes ACCEPTED into unstable lablgtk2_2.18.12-1_source.changes ACCEPTED into unstable lablgtk3_3.1.2-1_source.changes ACCEPTED into unstable lambda-term_3.2.0-1_source.changes ACCEPTED into unstable mathcomp-analysis_0.4.0-1_source.changes ACCEPTED into unstable mathcomp-analysis_0.5.0-1_source.changes ACCEPTED into unstable mathcomp-analysis_0.5.0-2_source.changes ACCEPTED into unstable mathcomp-bigenough_1.0.1-2_source.changes ACCEPTED into unstable mathcomp-finmap_1.5.1-2_source.changes ACCEPTED into unstable menhir_20220210+ds-1_source.changes ACCEPTED into experimental meta-unison_2.52+1_source.changes ACCEPTED into unstable ocaml-ao_0.2.4-1_source.changes ACCEPTED into unstable ocaml-batteries_3.5.1-1_source.changes ACCEPTED into unstable ocaml-bigarray-compat_1.1.0-1_source.changes ACCEPTED into unstable ocaml-cry_0.6.6-1_source.changes ACCEPTED into unstable ocaml-domain-name_0.4.0-1_source.changes ACCEPTED into unstable ocaml-dssi_0.1.5-1_source.changes ACCEPTED into unstable ocaml-extunix_0.4.0-1_source.changes ACCEPTED into unstable ocaml-ffmpeg_1.1.2-1_source.changes ACCEPTED into unstable ocaml-gen_1.0-1_source.changes ACCEPTED into unstable ocaml-getopt_0.0.20040811-11_source.changes ACCEPTED into unstable ocaml-integers_0.6.0-1_source.changes ACCEPTED into unstable ocaml-ladspa_0.2.2-1_source.changes ACCEPTED into unstable ocaml-mad 0.5.2-1 MIGRATED to testing ocaml-mad_0.5.2-1_source.changes ACCEPTED into unstable ocaml-magic_0.7.3-6_source.changes ACCEPTED into unstable ocaml-mm_0.7.5-1_source.changes ACCEPTED into unstable ocaml-mmap_1.2.0-1_source.changes ACCEPTED into unstable ocaml-odoc_2.1.0+dfsg-1_source.changes ACCEPTED into unstable ocaml-ogg_0.7.1-1_source.changes ACCEPTED into unstable ocaml-parsexp_0.14.2-1_source.changes ACCEPTED into unstable ocaml-portaudio_0.2.3-1_source.changes ACCEPTED into unstable ocaml-pulseaudio_0.1.5-1_source.changes ACCEPTED into unstable ocaml-sha_1.15.2-1_source.changes ACCEPTED into unstable ocaml-shout 0.2.7-2 MIGRATED to testing ocaml-shout_0.2.7-2_source.changes ACCEPTED into unstable ocaml-sqlite3_5.1.0-1_source.changes ACCEPTED into unstable ocaml-taglib_0.3.9-1_source.changes ACCEPTED into unstable ocamlcreal_0.7-7_source.changes ACCEPTED into unstable On the coq ecosystem in Debian ppx-import_1.9.1-1_source.changes ACCEPTED into unstable Processed: [bts-link] source package src:ocaml-ffmpeg Processed: limit source to frama-c, tagging 1000491 Processed: tagging 663180 Processing of camlp5_8.00.03-1_source.changes Processing of coq-doc_8.15.1-1_amd64.changes Processing of coq-elpi_1.13.0-2_source.changes Processing of coq-hierarchy-builder_1.2.1-3_source.changes Processing of coq_8.15.1+dfsg-1_source.changes Processing of eliom_9.4.0-2_source.changes Processing of elpi_1.14.3-1_source.changes Processing of findlib_1.9.3-1_source.changes Processing of frama-c_20211203-chromium-1_source.changes Processing of janest-base_0.14.3-1_source.changes Processing of js-of-ocaml-ocamlbuild_0.0.0+git20220118+852302c8-1_amd64.changes Processing of js-of-ocaml-ocamlbuild_0.0.0+git20220118+852302c8-2_source.changes Processing of js-of-ocaml_4.0.0-1_source.changes Processing of lablgtk2_2.18.12-1_source.changes Processing of lablgtk3_3.1.2-1_source.changes Processing of lambda-term_3.2.0-1_source.changes Processing of mathcomp-analysis_0.4.0-1_source.changes Processing of mathcomp-analysis_0.5.0-1_source.changes Processing of mathcomp-analysis_0.5.0-2_source.changes Processing of mathcomp-bigenough_1.0.1-2_source.changes Processing of mathcomp-finmap_1.5.1-2_source.changes Processing of menhir_20220210+ds-1_source.changes Processing of meta-unison_2.52+1_source.changes Processing of ocaml-ao_0.2.4-1_source.changes Processing of ocaml-batteries_3.5.1-1_source.changes Processing of ocaml-bigarray-compat_1.1.0-1_source.changes Processing of ocaml-cry_0.6.6-1_source.changes Processing of ocaml-domain-name_0.4.0-1_source.changes Processing of ocaml-dssi_0.1.5-1_source.changes Processing of ocaml-extunix_0.4.0-1_source.changes Processing of ocaml-ffmpeg_1.1.2-1_source.changes Processing of ocaml-gen_1.0-1_source.changes Processing of ocaml-getopt_0.0.20040811-11_source.changes Processing of ocaml-integers_0.6.0-1_source.changes Processing of ocaml-ladspa_0.2.2-1_source.changes Processing of ocaml-mad_0.5.2-1_source.changes Processing of ocaml-magic_0.7.3-6_source.changes Processing of ocaml-mm_0.7.5-1_source.changes Processing of ocaml-mmap_1.2.0-1_source.changes Processing of ocaml-odoc_2.1.0+dfsg-1_source.changes Processing of ocaml-ogg_0.7.1-1_source.changes Processing of ocaml-parsexp_0.14.2-1_source.changes Processing of ocaml-portaudio_0.2.3-1_source.changes Processing of ocaml-pulseaudio_0.1.5-1_source.changes Processing of ocaml-sha_1.15.2-1_source.changes Processing of ocaml-shout_0.2.7-2_source.changes Processing of ocaml-sqlite3_5.1.0-1_source.changes Processing of ocaml-taglib_0.3.9-1_source.changes Processing of ocamlcreal_0.7-7_source.changes Processing of ppx-import_1.9.1-1_source.changes Processing of pyml_20211015-2_source.changes Processing of ssreflect_1.14.0-7_source.changes Processing of ssreflect_1.14.0-8_source.changes Processing of unison-2.52_2.52.0-1_amd64.changes Processing of why3_1.4.1-1_source.changes Processing of why3_1.4.1-2_source.changes pyml_20211015-2_source.changes ACCEPTED into unstable ssreflect_1.14.0-7_source.changes REJECTED ssreflect_1.14.0-8_source.changes ACCEPTED into unstable unison-2.52_2.52.0-1_amd64.changes ACCEPTED into unstable, unstable unison-2.52_2.52.0-1_amd64.changes is NEW Updating menhir why3_1.4.1-1_source.changes ACCEPTED into unstable why3_1.4.1-2_source.changes ACCEPTED into unstable The last update was on 09:40 GMT Wed Mar 30. There are 282 messages. Page 1 of 1.
<<
[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]
Mail converted by MHonArc