debian-ocaml-maint Nov 2021 by thread
[Date Index]
[Subject Index]
[Author Index]
[Other Debian Lists]
[Debian Home]
- Processing of ocaml-luv_0.5.10-1_amd64.changes Debian FTP Masters
- ocaml-luv_0.5.10-1_amd64.changes is NEW Debian FTP Masters
- frama-c is marked for autoremoval from testing Debian testing autoremoval watch
- why3 is marked for autoremoval from testing Debian testing autoremoval watch
- liquidsoap is marked for autoremoval from testing Debian testing autoremoval watch
- ocaml-taglib is marked for autoremoval from testing Debian testing autoremoval watch
- Bug#997251: marked as done (ocaml-taglib: FTBFS: ld: cannot find -lz) Debian Bug Tracking System
- Processing of ocaml-taglib_0.3.6-2_source.changes Debian FTP Masters
- ocaml-taglib_0.3.6-2_source.changes ACCEPTED into unstable Debian FTP Masters
- Bug#998291: ITP: ocaml-ansi-terminal -- colors and cursor movements for OCaml applications Julien Puydt
- Processing of ocaml-ansi-terminal_0.8.2-1_amd64.changes Debian FTP Masters
- ocaml-ansi-terminal_0.8.2-1_amd64.changes is NEW Debian FTP Masters
- Processed: Bug#995543 marked as pending in coq Debian Bug Tracking System
- Updating coq Julien Puydt
- Processing of wyrd_1.4.6-7_source.changes Debian FTP Masters
- wyrd_1.4.6-7_source.changes ACCEPTED into unstable Debian FTP Masters
- Bug#998533: nurpawiki: FTBFS: build-dependency not installable: libocamlnet-ocaml-dev-2d6s9 Lucas Nussbaum
- Bug#998582: liquidsoap: FTBFS: build-dependency not installable: libocamlnet-ocaml-dev-2d6s9 Lucas Nussbaum
- Processed (with 1 error): 998582 reassign Debian Bug Tracking System
- Processing of wyrd_1.4.6-8_source.changes Debian FTP Masters
- wyrd_1.4.6-8_source.changes ACCEPTED into unstable Debian FTP Masters
- [Git][ocaml-team/coq][master] 5 commits: Rework things to simplify updating Julien Puydt (@jpuydt)
- [Git][ocaml-team/coq][upstream] New upstream version 8.14.0+dfsg Julien Puydt (@jpuydt)
- [Git][ocaml-team/coq] Pushed new tag debian/8.14.0+dfsg-1 Julien Puydt (@jpuydt)
- [Git][ocaml-team/coq] Pushed new tag upstream/8.14.0+dfsg Julien Puydt (@jpuydt)
- Bug#995543: marked as done (Updating the coq Uploaders list) Debian Bug Tracking System
- Processing of coq_8.14.0+dfsg-1_amd64.changes Debian FTP Masters
- coq_8.14.0+dfsg-1_amd64.changes ACCEPTED into experimental Debian FTP Masters
- Accepted coq 8.14.0+dfsg-1 (source amd64) into experimental Debian FTP Masters
- failed armel build of coq 8.14.0+dfsg-1 Debian buildds
- failed mips64el build of coq 8.14.0+dfsg-1 Debian buildds
- failed mipsel build of coq 8.14.0+dfsg-1 Debian buildds
- Bug#999163: pagodacf: missing required debian/rules targets build-arch and/or build-indep Lucas Nussbaum
- Lintian warnings with the coq package Julien Puydt
- Processing of ocaml-ansi-terminal_0.8.2-2_source.changes Debian FTP Masters
- ocaml-ansi-terminal_0.8.2-2_source.changes REJECTED Debian FTP Masters
- Processing of ocaml-ansi-terminal_0.8.2-2_amd64.changes Debian FTP Masters
- ocaml-ansi-terminal_0.8.2-2_amd64.changes is NEW Debian FTP Masters
- Processing of elpi_1.13.7-2_amd64.changes Debian FTP Masters
- elpi_1.13.7-2_amd64.changes is NEW Debian FTP Masters
- [Git][ocaml-team/coq] Pushed new tag debian/8.14.0+dfsg-2 Julien Puydt (@jpuydt)
- Bug#999483: ITP: coq-elpi -- Coq plugin embedding Elpi Julien Puydt
- Processing of coq_8.14.0+dfsg-2_amd64.changes Debian FTP Masters
- On packaging coq plugins Julien Puydt
- coq_8.14.0+dfsg-2_amd64.changes ACCEPTED into experimental Debian FTP Masters
- Accepted coq 8.14.0+dfsg-2 (source amd64) into experimental Debian FTP Masters
- failed s390x build of coq 8.14.0+dfsg-2 Debian buildds
- failed arm64 build of coq 8.14.0+dfsg-2 Debian buildds
- failed armhf build of coq 8.14.0+dfsg-2 Debian buildds
- failed ppc64el build of coq 8.14.0+dfsg-2 Debian buildds
- failed armel build of coq 8.14.0+dfsg-2 Debian buildds
- failed i386 build of coq 8.14.0+dfsg-2 Debian buildds
- failed mipsel build of coq 8.14.0+dfsg-2 Debian buildds
- failed mips64el build of coq 8.14.0+dfsg-2 Debian buildds
- Bug#999601: [false positive] ocaml-dangling-cmi hint needs refinement Julien Puydt
- Bug#999602: [false positive] shared-library-lacks-prerequisites Julien Puydt
- [Git][ocaml-team/coq] Pushed new tag debian/8.14.0+dfsg-3 Julien Puydt (@jpuydt)
- Processing of coq_8.14.0+dfsg-3_source.changes Debian FTP Masters
- coq_8.14.0+dfsg-3_source.changes ACCEPTED into unstable Debian FTP Masters
- Accepted coq 8.14.0+dfsg-3 (source) into unstable Debian FTP Masters
- failed mipsel build of coq 8.14.0+dfsg-3 Debian buildds
- failed mips64el build of coq 8.14.0+dfsg-3 Debian buildds
- failed armel build of coq 8.14.0+dfsg-3 Debian buildds
- Bug#999651: coq FTBFS on bytecode architectures Adrian Bunk
- [Git][ocaml-team/coq] Pushed new tag debian/8.14.0+dfsg-4 Julien Puydt (@jpuydt)
- Processing of coq_8.14.0+dfsg-4_source.changes Debian FTP Masters
- coq_8.14.0+dfsg-4_source.changes ACCEPTED into unstable Debian FTP Masters
- Accepted coq 8.14.0+dfsg-4 (source) into unstable Debian FTP Masters
- failed mipsel build of coq 8.14.0+dfsg-4 Debian buildds
- failed mips64el build of coq 8.14.0+dfsg-4 Debian buildds
- [Git][ocaml-team/coq] Pushed new tag debian/8.14.0+dfsg-5 Julien Puydt (@jpuydt)
- Processing of coq_8.14.0+dfsg-5_source.changes Debian FTP Masters
- coq_8.14.0+dfsg-5_source.changes ACCEPTED into unstable Debian FTP Masters
- Accepted coq 8.14.0+dfsg-5 (source) into unstable Debian FTP Masters
- failed mips64el build of coq 8.14.0+dfsg-5 Debian buildds
- failed mipsel build of coq 8.14.0+dfsg-5 Debian buildds
- [Git][ocaml-team/coq] Pushed new tag debian/8.14.0+dfsg-6 Julien Puydt (@jpuydt)
- Processing of coq_8.14.0+dfsg-6_source.changes Debian FTP Masters
- coq_8.14.0+dfsg-6_source.changes ACCEPTED into unstable Debian FTP Masters
- Accepted coq 8.14.0+dfsg-6 (source) into unstable Debian FTP Masters
- [Git][ocaml-team/camlp5][master] 6 commits: Update debian/watch Stéphane Glondu (@glondu)
- [Git][ocaml-team/camlp5][pristine-tar] pristine-tar data for camlp5_7.14.orig.tar.gz Stéphane Glondu (@glondu)
- [Git][ocaml-team/camlp5][upstream] New upstream version 7.14 Stéphane Glondu (@glondu)
- [Git][ocaml-team/camlp5] Pushed new tag archive/debian/7.14-1 Stéphane Glondu (@glondu)
- [Git][ocaml-team/camlp5] Pushed new tag upstream/7.14 Stéphane Glondu (@glondu)
- [Git][ocaml-team/camlp5] Pushed new tag debian/7.14-1 Stéphane Glondu (@glondu)
- [Git][ocaml-team/ocaml-base64][pristine-tar] pristine-tar data for ocaml-base64_3.5.0.orig.tar.gz Stéphane Glondu (@glondu)
- [Git][ocaml-team/ocaml-base64] Pushed new tag archive/debian/3.5.0-1 Stéphane Glondu (@glondu)
- [Git][ocaml-team/ocaml-base64] Pushed new tag debian/3.5.0-1 Stéphane Glondu (@glondu)
- [Git][ocaml-team/ocaml-base64] Pushed new tag upstream/3.5.0 Stéphane Glondu (@glondu)
- Processing of camlp5_7.14-1_source.changes Debian FTP Masters
- Processing of ocaml-base64_3.5.0-1_source.changes Debian FTP Masters
- camlp5_7.14-1_source.changes ACCEPTED into unstable Debian FTP Masters
- ocaml-base64_3.5.0-1_source.changes ACCEPTED into unstable Debian FTP Masters
- Bug#1000004: pcre-ocaml: depends on obsolete pcre3 library Matthew Vernon
- [Git][ocaml-team/ocaml-config-file][master] 8 commits: Update debian/watch Stéphane Glondu (@glondu)
- [Git][ocaml-team/ocaml-config-file][pristine-tar] pristine-tar data for ocaml-config-file_1.2.1.orig.tar.gz Stéphane Glondu (@glondu)
- [Git][ocaml-team/ocaml-config-file] Pushed new tag debian/1.2.1-1 Stéphane Glondu (@glondu)
- [Git][ocaml-team/ocaml-config-file][upstream] New upstream version 1.2.1 Stéphane Glondu (@glondu)
- [Git][ocaml-team/ocaml-config-file] Pushed new tag archive/debian/1.2.1-1 Stéphane Glondu (@glondu)
- [Git][ocaml-team/ocaml-config-file] Pushed new tag upstream/1.2.1 Stéphane Glondu (@glondu)
- Processing of ocaml-config-file_1.2.1-1_source.changes Debian FTP Masters
- ocaml-config-file_1.2.1-1_source.changes ACCEPTED into unstable Debian FTP Masters
- Processed: bug 1000004 is forwarded to https://github.com/mmottl/pcre-ocaml/issues/25 Debian Bug Tracking System
- Processing of ocaml-graphics_5.1.2-1_source.changes Debian FTP Masters
- [Git][ocaml-team/ocaml-frei0r][master] 6 commits: Update debian/watch Stéphane Glondu (@glondu)
- [Git][ocaml-team/ocaml-frei0r][pristine-tar] pristine-tar data for ocaml-frei0r_0.1.2.orig.tar.gz Stéphane Glondu (@glondu)
- [Git][ocaml-team/ocaml-frei0r][upstream] New upstream version 0.1.2 Stéphane Glondu (@glondu)
- [Git][ocaml-team/ocaml-frei0r] Pushed new tag archive/debian/0.1.2-1 Stéphane Glondu (@glondu)
- [Git][ocaml-team/ocaml-frei0r] Pushed new tag debian/0.1.2-1 Stéphane Glondu (@glondu)
- [Git][ocaml-team/ocaml-frei0r] Pushed new tag upstream/0.1.2 Stéphane Glondu (@glondu)
- Processing of ocaml-frei0r_0.1.2-1_source.changes Debian FTP Masters
- ocaml-frei0r_0.1.2-1_source.changes ACCEPTED into unstable Debian FTP Masters
- ocaml-graphics_5.1.2-1_source.changes ACCEPTED into unstable Debian FTP Masters
- Building clean packages for coq theories Julien Puydt
- Processing of ocaml-topkg_1.0.4-1_source.changes Debian FTP Masters
- Processing of ocaml-zarith_1.12-1_source.changes Debian FTP Masters
- ocaml-topkg_1.0.4-1_source.changes ACCEPTED into unstable Debian FTP Masters
- ocaml-zarith_1.12-1_source.changes ACCEPTED into unstable Debian FTP Masters
- Processing of ocaml-stdcompat_17-1_source.changes Debian FTP Masters
- ocaml-stdcompat_17-1_source.changes ACCEPTED into unstable Debian FTP Masters
- [Git][ocaml-team/ocaml-shine][master] 5 commits: New upstream version 0.2.2 Stéphane Glondu (@glondu)
- [Git][ocaml-team/ocaml-shine][pristine-tar] pristine-tar data for ocaml-shine_0.2.2.orig.tar.gz Stéphane Glondu (@glondu)
- [Git][ocaml-team/ocaml-shine] Pushed new tag debian/0.2.2-1 Stéphane Glondu (@glondu)
- Processing of ocaml-shine_0.2.2-1_source.changes Debian FTP Masters
- ocaml-shine_0.2.2-1_source.changes ACCEPTED into unstable Debian FTP Masters
- Processed: Bug#644750 marked as pending in ocaml-soundtouch Debian Bug Tracking System
- Bug#644750: marked as done (libsoundtouch-ocaml-dev: Mistake in the synopsis) Debian Bug Tracking System
- [Git][ocaml-team/ocaml-soundtouch][master] 7 commits: Update debian/watch Stéphane Glondu (@glondu)
- [Git][ocaml-team/ocaml-soundtouch] Pushed new tag archive/debian/0.1.9-1 Stéphane Glondu (@glondu)
- [Git][ocaml-team/ocaml-soundtouch] Pushed new tag debian/0.1.9-1 Stéphane Glondu (@glondu)
- [Git][ocaml-team/ocaml-soundtouch] Pushed new tag upstream/0.1.9 Stéphane Glondu (@glondu)
- Processing of ocaml-soundtouch_0.1.9-1_source.changes Debian FTP Masters
- ocaml-soundtouch_0.1.9-1_source.changes ACCEPTED into unstable Debian FTP Masters
- [Git][ocaml-team/ppx-tools] Pushed new tag debian/6.4-1 Stéphane Glondu (@glondu)
- Processing of ppx-tools_6.4-1_source.changes Debian FTP Masters
- ppx-tools_6.4-1_source.changes ACCEPTED into unstable Debian FTP Masters
- [Git][ocaml-team/ppx-deriving][upstream] 2 commits: New upstream version 5.0 Stéphane Glondu (@glondu)
- Processing of ppx-deriving_5.1-1_source.changes Debian FTP Masters
- [Git][ocaml-team/ocaml-samplerate][pristine-tar] 2 commits: pristine-tar data for ocaml-samplerate_0.1.5.orig.tar.gz Stéphane Glondu (@glondu)
- [Git][ocaml-team/ocaml-samplerate][upstream] 2 commits: New upstream version 0.1.5 Stéphane Glondu (@glondu)
- ppx-deriving_5.1-1_source.changes ACCEPTED into unstable Debian FTP Masters
- Processing of ocaml-samplerate_0.1.6-1_source.changes Debian FTP Masters
- ocaml-samplerate_0.1.6-1_source.changes ACCEPTED into unstable Debian FTP Masters
- [Git][ocaml-team/extlib][pristine-tar] pristine-tar data for extlib_1.7.8.orig.tar.gz Andy Li (@andyli)
- [Git][ocaml-team/extlib] Pushed new tag upstream/1.7.8 Andy Li (@andyli)
- Updating extlib to 1.7.8 Andy Li
- [Git][ocaml-team/ppx-deriving-yojson][pristine-tar] 2 commits: pristine-tar data for ppx-deriving-yojson_3.6.0.orig.tar.bz2 Stéphane Glondu (@glondu)
- Processing of ppx-deriving-yojson_3.6.1-1_source.changes Debian FTP Masters
- ppx-deriving-yojson_3.6.1-1_source.changes ACCEPTED into unstable Debian FTP Masters
- [Git][ocaml-team/ocaml-portaudio][upstream] New upstream version 0.2.2 Stéphane Glondu (@glondu)
- [Git][ocaml-team/ocaml-portaudio] Pushed new tag archive/debian/0.2.2-1 Stéphane Glondu (@glondu)
- [Git][ocaml-team/ocaml-portaudio] Pushed new tag debian/0.2.2-1 Stéphane Glondu (@glondu)
- Processing of ocaml-portaudio_0.2.2-1_source.changes Debian FTP Masters
- [Git][ocaml-team/extlib] Pushed new tag debian/1.7.8-1 Stéphane Glondu (@glondu)
- [Git][ocaml-team/extlib] Pushed new tag archive/debian/1.7.8-1 Stéphane Glondu (@glondu)
- ocaml-portaudio_0.2.2-1_source.changes ACCEPTED into unstable Debian FTP Masters
- Processing of extlib_1.7.8-1_source.changes Debian FTP Masters
- [Git][ocaml-team/ocaml-pulseaudio][pristine-tar] pristine-tar data for ocaml-pulseaudio_0.1.4.orig.tar.gz Stéphane Glondu (@glondu)
- [Git][ocaml-team/ocaml-pulseaudio] Pushed new tag upstream/0.1.4 Stéphane Glondu (@glondu)
- Processing of ocaml-pulseaudio_0.1.4-1_source.changes Debian FTP Masters
- extlib_1.7.8-1_source.changes ACCEPTED into unstable Debian FTP Masters
- ocaml-pulseaudio_0.1.4-1_source.changes ACCEPTED into unstable Debian FTP Masters
- Bug#1000369: ITP: ocaml-stringext -- extra string functions for OCaml Stéphane Glondu
- Bug#1000370: FTBFS (static assertion failed) Stéphane Glondu
- Bug#1000371: ITP: ocaml-bigstringaf -- bigstring intrinsics and fast blits for OCaml Stéphane Glondu
- Processed: Bug#995558 marked as pending in ssreflect Debian Bug Tracking System
- Bug#1000372: ITP: ocaml-magic-mime -- OCaml library to map filenames to common MIME types Stéphane Glondu
- Processed: merging 984261 1000370 Debian Bug Tracking System
- [Git][ocaml-team/ocaml-flac] Pushed new tag upstream/0.2.0.2 Kyle Robbertze (@paddatrapper)
- Processing of ocaml-flac_0.2.0.2-1_source.changes Debian FTP Masters
- ocaml-flac_0.2.0.2-1_source.changes ACCEPTED into experimental Debian FTP Masters
- Trouble packaging coq-elpi Julien Puydt
- Processing of ocaml-stringext_1.6.0-1_amd64.changes Debian FTP Masters
- Processing of ocaml-mm_0.6.0.2-1_source.changes Debian FTP Masters
- ocaml-mm_0.6.0.2-1_source.changes ACCEPTED into experimental Debian FTP Masters
- ocaml-stringext_1.6.0-1_amd64.changes is NEW Debian FTP Masters
- Processing of ocaml-magic-mime_1.2.0-1_amd64.changes Debian FTP Masters
- Processing of ocaml-bigstringaf_0.8.0-1_amd64.changes Debian FTP Masters
- ocaml-bigstringaf_0.8.0-1_amd64.changes is NEW Debian FTP Masters
- ocaml-magic-mime_1.2.0-1_amd64.changes is NEW Debian FTP Masters
- Bug#1000391: ITP: ocaml-eqaf -- constant-time equal function on string for OCaml Stéphane Glondu
- Bug#1000392: ITP: ocaml-hmap -- heterogeneous value maps for OCaml Stéphane Glondu
- Bug#1000393: ITP: ocaml-gmap -- heterogenous maps over a GADT for OCaml Stéphane Glondu
- Bug#1000394: ITP: ocaml-mtime -- monotonic wall-clock time for OCaml Stéphane Glondu
- Bug#1000395: ITP: ocaml-ptime -- POSIX time for OCaml Stéphane Glondu
- Processing of ocaml-hmap_0.8.1-1_amd64.changes Debian FTP Masters
- Processing of ocaml-gmap_0.3.0-1_amd64.changes Debian FTP Masters
- Processing of ocaml-eqaf_0.8-1_amd64.changes Debian FTP Masters
- ocaml-gmap_0.3.0-1_amd64.changes is NEW Debian FTP Masters
- ocaml-hmap_0.8.1-1_amd64.changes is NEW Debian FTP Masters
- Processing of ocaml-mccs_1.1+13-1_source.changes Debian FTP Masters
- ocaml-eqaf_0.8-1_amd64.changes is NEW Debian FTP Masters
- Bug#984261: marked as done (ocaml-mccs: ftbfs with GCC-11) Debian Bug Tracking System
- ocaml-mccs_1.1+13-1_source.changes ACCEPTED into unstable Debian FTP Masters
- [bts-link] source package src:pcre-ocaml debian-bts-link
- Bug#995558: marked as done (Updating the ssreflect Uploaders list) Debian Bug Tracking System
- Processing of ssreflect_1.13.0-1_source.changes Debian FTP Masters
- ssreflect_1.13.0-1_source.changes ACCEPTED into unstable Debian FTP Masters
- [Git][ocaml-team/ocaml-visitors][pristine-tar] pristine-tar data for ocaml-visitors_20210127.orig.tar.xz Stéphane Glondu (@glondu)
- [Git][ocaml-team/ocaml-visitors] Pushed new tag archive/debian/20210127-1 Stéphane Glondu (@glondu)
- [Git][ocaml-team/ocaml-visitors] Pushed new tag upstream/20210127 Stéphane Glondu (@glondu)
- Processing of ocaml-visitors_20210127-1_source.changes Debian FTP Masters
- ocaml-visitors_20210127-1_source.changes ACCEPTED into unstable Debian FTP Masters
- [Git][ocaml-team/ocaml-mm] Pushed new tag upstream/0.6.0.2 Kyle Robbertze (@paddatrapper)
- [Git][ocaml-team/ocaml-mm][upstream] New upstream version 0.6.0.2 Kyle Robbertze (@paddatrapper)
- [Git][ocaml-team/ocaml-mm][master] 5 commits: New upstream version 0.6.0.2 Kyle Robbertze (@paddatrapper)
- [Git][ocaml-team/ocaml-mm][pristine-tar] pristine-tar data for ocaml-mm_0.6.0.2.orig.tar.gz Kyle Robbertze (@paddatrapper)
- Processing of why3_1.4.0-1_source.changes Debian FTP Masters
- [Git][ocaml-team/ocaml-ao][master] 6 commits: Update debian/watch Stéphane Glondu (@glondu)
- [Git][ocaml-team/ocaml-ao][pristine-tar] pristine-tar data for ocaml-ao_0.2.2.orig.tar.gz Stéphane Glondu (@glondu)
- [Git][ocaml-team/ocaml-ao] Pushed new tag debian/0.2.2-1 Stéphane Glondu (@glondu)
- why3_1.4.0-1_source.changes ACCEPTED into unstable Debian FTP Masters
- [Git][ocaml-team/ocaml-bjack][master] 6 commits: Update debian/watch Stéphane Glondu (@glondu)
- [Git][ocaml-team/ocaml-bjack][upstream] New upstream version 0.1.6 Stéphane Glondu (@glondu)
- [Git][ocaml-team/ocaml-bjack] Pushed new tag debian/0.1.6-1 Stéphane Glondu (@glondu)
- [Git][ocaml-team/ocaml-bjack] Pushed new tag upstream/0.1.6 Stéphane Glondu (@glondu)
- Processing of ocaml-ao_0.2.2-1_source.changes Debian FTP Masters
- ocaml-ao_0.2.2-1_source.changes ACCEPTED into unstable Debian FTP Masters
- Processing of ocaml-bjack_0.1.6-1_source.changes Debian FTP Masters
- ocaml-bjack_0.1.6-1_source.changes ACCEPTED into unstable Debian FTP Masters
- [Git][ocaml-team/ocaml-dssi][master] 6 commits: Update debian/watch Stéphane Glondu (@glondu)
- [Git][ocaml-team/ocaml-dssi] Pushed new tag upstream/0.1.3 Stéphane Glondu (@glondu)
- [Git][ocaml-team/ocaml-dssi] Pushed new tag archive/debian/0.1.3-1 Stéphane Glondu (@glondu)
- [Git][ocaml-team/ocaml-dssi] Pushed new tag debian/0.1.3-1 Stéphane Glondu (@glondu)
- Processing of ocaml-dssi_0.1.3-1_source.changes Debian FTP Masters
- ocaml-dssi_0.1.3-1_source.changes ACCEPTED into unstable Debian FTP Masters
- Bug#1000491: FTBFS with Why3 1.4.0 Stéphane Glondu
- Architectures supported by the coq package Stéphane Glondu
- [Git][ocaml-team/ocaml-ao][pristine-tar] pristine-tar data for ocaml-ao_0.2.3.orig.tar.gz Stéphane Glondu (@glondu)
- [Git][ocaml-team/ocaml-ao] Pushed new tag archive/debian/0.2.3-1 Stéphane Glondu (@glondu)
- [Git][ocaml-team/ocaml-ao] Pushed new tag debian/0.2.3-1 Stéphane Glondu (@glondu)
- Processing of ocaml-ptime_0.8.5-1_amd64.changes Debian FTP Masters
- Processing of ocaml-ao_0.2.3-1_source.changes Debian FTP Masters
- Processing of ocaml-mtime_1.3.0-1_amd64.changes Debian FTP Masters
- ocaml-ao_0.2.3-1_source.changes ACCEPTED into unstable Debian FTP Masters
- ocaml-mtime_1.3.0-1_amd64.changes is NEW Debian FTP Masters
- ocaml-ptime_0.8.5-1_amd64.changes is NEW Debian FTP Masters
- [Git][ocaml-team/why3][master] 10 commits: Update debian/watch Stéphane Glondu (@glondu)
- [Git][ocaml-team/why3][upstream] New upstream version 1.4.0 Stéphane Glondu (@glondu)
- Processing of why3_1.4.0-2_source.changes Debian FTP Masters
- why3_1.4.0-2_source.changes ACCEPTED into unstable Debian FTP Masters
- [Git][ocaml-team/ppx-deriving] Pushed new tag archive/debian/5.1-2 Stéphane Glondu (@glondu)
- Processing of ppx-deriving_5.1-2_source.changes Debian FTP Masters
- ppx-deriving_5.1-2_source.changes ACCEPTED into unstable Debian FTP Masters
- Bug#1000505: ocaml-dssi FTBFS on most architectures: Error: No rule found for src/dssi.a Adrian Bunk
- [Git][ocaml-team/ocaml-dssi] Pushed new tag debian/0.1.3-2 Stéphane Glondu (@glondu)
- [Git][ocaml-team/ocaml-dssi] Pushed new tag archive/debian/0.1.3-2 Stéphane Glondu (@glondu)
- Processing of ocaml-dssi_0.1.3-2_source.changes Debian FTP Masters
- ocaml-dssi_0.1.3-2_source.changes ACCEPTED into unstable Debian FTP Masters
- Bug#1000520: RM: unison-2.48 -- ROM; obsolete Stéphane Glondu
- Bug#1000569: RM: mingw-ocaml -- RoQA; obsolete, unmaintained, FTBFS Stéphane Glondu
- Bug#1000570: RM: galax -- RoQA; unmaintained, FTBFS, not in stable Stéphane Glondu
- Bug#1000573: Bytecode architectures blocking bug Julien Puydt
- Processed: Bug#978875 marked as pending in ocaml Debian Bug Tracking System
- [Git][ocaml-team/ocaml] Pushed new tag archive/debian/4.11.1-5 Stéphane Glondu (@glondu)
- [Git][ocaml-team/ocaml] Pushed new tag debian/4.11.1-5 Stéphane Glondu (@glondu)
- Bug#978875: marked as done (ocaml: ftbfs with autoconf 2.70) Debian Bug Tracking System
- Processing of ocaml_4.11.1-5_source.changes Debian FTP Masters
- ocaml_4.11.1-5_source.changes ACCEPTED into unstable Debian FTP Masters
- Processed: tagging 1000560, tagging 1000559, tagging 1000558, tagging 1000422, tagging 1000491, tagging 998706 Debian Bug Tracking System
- [Git][ocaml-team/ocaml-inifiles] Pushed new tag debian/1.2-5 Stéphane Glondu (@glondu)
- Processing of ocaml-inifiles_1.2-5_source.changes Debian FTP Masters
- ocaml-inifiles_1.2-5_source.changes ACCEPTED into unstable Debian FTP Masters
- Bug#1000632: RM: coq/8.12.0-3+b3 and others Stéphane Glondu
- ocaml-eqaf_0.8-1_amd64.changes REJECTED Thorsten Alteholz
- ocaml-bigstringaf_0.8.0-1_amd64.changes ACCEPTED into unstable, unstable Debian FTP Masters
- ocaml-ansi-terminal_0.8.2-1_amd64.changes ACCEPTED into unstable, unstable Debian FTP Masters
- ocaml-ansi-terminal_0.8.2-2_amd64.changes ACCEPTED into unstable, unstable Debian FTP Masters
- ocaml-ptime_0.8.5-1_amd64.changes ACCEPTED into unstable, unstable Debian FTP Masters
- ocaml-gmap_0.3.0-1_amd64.changes ACCEPTED into unstable, unstable Debian FTP Masters
- ocaml-hmap_0.8.1-1_amd64.changes ACCEPTED into unstable, unstable Debian FTP Masters
- ocaml-luv_0.5.10-1_amd64.changes ACCEPTED into unstable, unstable Debian FTP Masters
- ocaml-magic-mime_1.2.0-1_amd64.changes ACCEPTED into unstable, unstable Debian FTP Masters
- ocaml-stringext_1.6.0-1_amd64.changes ACCEPTED into unstable, unstable Debian FTP Masters
- ocaml-mtime_1.3.0-1_amd64.changes ACCEPTED into unstable, unstable Debian FTP Masters
- coq REMOVED from testing Debian testing watch
- Processing of ocaml-bigstringaf_0.8.0-2_source.changes Debian FTP Masters
- ocaml-bigstringaf_0.8.0-2_source.changes ACCEPTED into unstable Debian FTP Masters
- Processing of ocaml-ansi-terminal_0.8.3-1_source.changes Debian FTP Masters
- ocaml-ansi-terminal_0.8.3-1_source.changes ACCEPTED into unstable Debian FTP Masters
- Bug#1000713: ocaml-ansi-terminal FTBFS on bytecode architectures Adrian Bunk
- Processing of ocaml-ansi-terminal_0.8.3-2_source.changes Debian FTP Masters
- ocaml-ansi-terminal_0.8.3-2_source.changes ACCEPTED into unstable Debian FTP Masters
- Processing of ocaml-cstruct_6.0.1-1_source.changes Debian FTP Masters
- ocaml-cstruct_6.0.1-1_source.changes ACCEPTED into unstable Debian FTP Masters
- [Git][ocaml-team/ocaml-curses][master] 9 commits: Update debian/watch Stéphane Glondu (@glondu)
- [Git][ocaml-team/ocaml-curses][pristine-tar] 4 commits: pristine-tar data for ocaml-curses_1.0.7.orig.tar.gz Stéphane Glondu (@glondu)
- [Git][ocaml-team/ocaml-curses][upstream] 4 commits: New upstream version 1.0.7 Stéphane Glondu (@glondu)
- Processing of ocaml-curses_1.0.10-1_source.changes Debian FTP Masters
- ocaml-curses_1.0.10-1_source.changes ACCEPTED into unstable Debian FTP Masters
- Processing of ocaml-fmt_0.9.0-1_source.changes Debian FTP Masters
- ocaml-fmt_0.9.0-1_source.changes ACCEPTED into unstable Debian FTP Masters
- Processing of ocaml-domain-name_0.3.1-1_source.changes Debian FTP Masters
- [Git][ocaml-team/ocaml-batteries][master] 8 commits: Update debian/watch Stéphane Glondu (@glondu)
- [Git][ocaml-team/ocaml-batteries][upstream] 2 commits: New upstream version 3.2.0 Stéphane Glondu (@glondu)
- ocaml-domain-name_0.3.1-1_source.changes ACCEPTED into unstable Debian FTP Masters
- Processing of ocaml-batteries_3.3.0-1_source.changes Debian FTP Masters
- [Git][ocaml-team/labltk][pristine-tar] 2 commits: pristine-tar data for labltk_8.06.10.orig.tar.gz Stéphane Glondu (@glondu)
- ocaml-batteries_3.3.0-1_source.changes ACCEPTED into unstable Debian FTP Masters
- [Git][ocaml-team/headache][pristine-tar] pristine-tar data for headache_1.05.orig.tar.gz Stéphane Glondu (@glondu)
- [Git][ocaml-team/headache] Pushed new tag archive/debian/1.05-1 Stéphane Glondu (@glondu)
- Processing of labltk_8.06.11-1_source.changes Debian FTP Masters
- [Git][ocaml-team/cppo][pristine-tar] 2 commits: pristine-tar data for cppo_1.6.7.orig.tar.gz Stéphane Glondu (@glondu)
- Processing of headache_1.05-1_source.changes Debian FTP Masters
- headache_1.05-1_source.changes ACCEPTED into unstable Debian FTP Masters
- labltk_8.06.11-1_source.changes ACCEPTED into unstable Debian FTP Masters
- Processing of cppo_1.6.8-1_source.changes Debian FTP Masters
- [Git][ocaml-team/camlpdf][upstream] New upstream version 2.4 Stéphane Glondu (@glondu)
- [Git][ocaml-team/camlpdf] Pushed new tag upstream/2.4 Stéphane Glondu (@glondu)
- Processing of camlpdf_2.4-1_source.changes Debian FTP Masters
- camlpdf_2.4-1_source.changes ACCEPTED into unstable Debian FTP Masters
- cppo_1.6.8-1_source.changes ACCEPTED into unstable Debian FTP Masters
- Processing of janest-base_0.14.2-1_source.changes Debian FTP Masters
- janest-base_0.14.2-1_source.changes ACCEPTED into unstable Debian FTP Masters
- Processing of janest-ocaml-compiler-libs_0.12.4-1_source.changes Debian FTP Masters
- janest-ocaml-compiler-libs_0.12.4-1_source.changes ACCEPTED into unstable Debian FTP Masters
- Bug#1000747: ITP: ocaml-asn1-combinators -- embed typed ASN.1 grammars in OCaml Stéphane Glondu
- Bug#1000748: ITP: ocaml-angstrom -- speed and memory-efficient parser combinators for OCaml Stéphane Glondu
- Bug#1000749: ITP: ocaml-logs -- logging infrastructure for OCaml Stéphane Glondu
- Bug#1000750: ITP: ocaml-duration -- conversions to various time units for OCaml Stéphane Glondu
- Processing of ocaml-eqaf_0.8-2_amd64.changes Debian FTP Masters
- ocaml-eqaf_0.8-2_amd64.changes is NEW Debian FTP Masters
- Processing of ocaml-angstrom_0.15.0-1_amd64.changes Debian FTP Masters
- Processing of ocaml-asn1-combinators_0.2.6-1_amd64.changes Debian FTP Masters
- Processing of ocaml-duration_0.2.0-1_amd64.changes Debian FTP Masters
- Processing of ocaml-logs_0.7.0-1_amd64.changes Debian FTP Masters
- ocaml-angstrom_0.15.0-1_amd64.changes is NEW Debian FTP Masters
- ocaml-asn1-combinators_0.2.6-1_amd64.changes is NEW Debian FTP Masters
- ocaml-duration_0.2.0-1_amd64.changes is NEW Debian FTP Masters
- ocaml-logs_0.7.0-1_amd64.changes is NEW Debian FTP Masters
- Processing of ocaml-csexp_1.5.1-1_source.changes Debian FTP Masters
- [Git][ocaml-team/ocaml-ctypes][master] 9 commits: Apply patch from #981784 Stéphane Glondu (@glondu)
- [Git][ocaml-team/ocaml-ctypes][pristine-tar] 3 commits: pristine-tar data for ocaml-ctypes_0.18.0.orig.tar.gz Stéphane Glondu (@glondu)
- Processing of ocaml-ctypes_0.19.1-1_source.changes Debian FTP Masters
- Bug#981784: marked as done (ocaml-ctypes: annotate test dependencies <!nocheck>) Debian Bug Tracking System
- [Git][ocaml-team/ocaml-duppy][master] 8 commits: Update debian/watch Stéphane Glondu (@glondu)
- ocaml-csexp_1.5.1-1_source.changes ACCEPTED into unstable Debian FTP Masters
- ocaml-ctypes_0.19.1-1_source.changes ACCEPTED into unstable Debian FTP Masters
- Processing of ocaml-duppy_0.9.2-1_source.changes Debian FTP Masters
- [Git][ocaml-team/ocaml-faad][pristine-tar] pristine-tar data for ocaml-faad_0.5.0.orig.tar.gz Stéphane Glondu (@glondu)
- [Git][ocaml-team/ocaml-faad] Pushed new tag debian/0.5.0-1 Stéphane Glondu (@glondu)
- [Git][ocaml-team/ocaml-faad][upstream] New upstream version 0.5.0 Stéphane Glondu (@glondu)
- [Git][ocaml-team/ocaml-faad] Pushed new tag archive/debian/0.5.0-1 Stéphane Glondu (@glondu)
- elpi_1.13.7-1_amd64.changes ACCEPTED into unstable, unstable Debian FTP Masters
- ocaml-angstrom_0.15.0-1_amd64.changes ACCEPTED into unstable, unstable Debian FTP Masters
- ocaml-eqaf_0.8-2_amd64.changes ACCEPTED into unstable, unstable Debian FTP Masters
- ocaml-asn1-combinators_0.2.6-1_amd64.changes ACCEPTED into unstable, unstable Debian FTP Masters
- elpi_1.13.7-2_amd64.changes ACCEPTED into unstable, unstable Debian FTP Masters
- ocaml-duration_0.2.0-1_amd64.changes ACCEPTED into unstable, unstable Debian FTP Masters
- ocaml-logs_0.7.0-1_amd64.changes ACCEPTED into unstable, unstable Debian FTP Masters
- ocaml-duppy_0.9.2-1_source.changes ACCEPTED into unstable Debian FTP Masters
- [Git][ocaml-team/ocaml-gstreamer] Pushed new tag archive/debian/0.3.1-1 Stéphane Glondu (@glondu)
- [Git][ocaml-team/ocaml-gstreamer][master] 6 commits: Update debian/watch Stéphane Glondu (@glondu)
- [Git][ocaml-team/ocaml-gstreamer][upstream] New upstream version 0.3.1 Stéphane Glondu (@glondu)
- Processing of ocaml-faad_0.5.0-1_source.changes Debian FTP Masters
- Processing of ocaml-gstreamer_0.3.1-1_source.changes Debian FTP Masters
- ocaml-faad_0.5.0-1_source.changes ACCEPTED into unstable Debian FTP Masters
- ocaml-gstreamer_0.3.1-1_source.changes ACCEPTED into unstable Debian FTP Masters
- [Git][ocaml-team/ocaml-ladspa] Pushed new tag debian/0.2.0-1 Stéphane Glondu (@glondu)
- Processing of ocaml-ladspa_0.2.0-1_source.changes Debian FTP Masters
- [Git][ocaml-team/ocaml-lo][master] 6 commits: Update debian/watch Stéphane Glondu (@glondu)
- [Git][ocaml-team/ocaml-lo][upstream] New upstream version 0.2.0 Stéphane Glondu (@glondu)
- [Git][ocaml-team/ocaml-lo] Pushed new tag archive/debian/0.2.0-1 Stéphane Glondu (@glondu)
- ocaml-ladspa_0.2.0-1_source.changes ACCEPTED into unstable Debian FTP Masters
- [Git][ocaml-team/ocaml-mad] Pushed new tag upstream/0.5.0 Stéphane Glondu (@glondu)
- Processing of ocaml-lo_0.2.0-1_source.changes Debian FTP Masters
- Accepted ocaml-mad 0.5.0-1 (source) into unstable Debian FTP Masters
- Processing of ocaml-mad_0.5.0-1_source.changes Debian FTP Masters
- ocaml-lo_0.2.0-1_source.changes ACCEPTED into unstable Debian FTP Masters
- [Git][ocaml-team/ocaml-ogg][master] 8 commits: Update debian/watch Stéphane Glondu (@glondu)
- [Git][ocaml-team/ocaml-ogg][pristine-tar] 3 commits: pristine-tar data for ocaml-ogg_0.6.0.orig.tar.gz Stéphane Glondu (@glondu)
- [Git][ocaml-team/ocaml-ogg][upstream] 3 commits: New upstream version 0.6.0 Stéphane Glondu (@glondu)
- ocaml-mad_0.5.0-1_source.changes ACCEPTED into unstable Debian FTP Masters
- Processing of ocaml-ogg_0.7.0-1_source.changes Debian FTP Masters
- ocaml-ogg_0.7.0-1_source.changes ACCEPTED into unstable Debian FTP Masters
- Liquidsoap and Ocaml Audio Libraries Kyle Robbertze
- [Git][ocaml-team/ocaml-taglib][pristine-tar] pristine-tar data for ocaml-taglib_0.3.7.orig.tar.gz Stéphane Glondu (@glondu)
- [Git][ocaml-team/ocaml-taglib][upstream] New upstream version 0.3.7 Stéphane Glondu (@glondu)
- [Git][ocaml-team/ocaml-taglib] Pushed new tag upstream/0.3.7 Stéphane Glondu (@glondu)
- Processing of ocaml-taglib_0.3.7-1_source.changes Debian FTP Masters
- Bug#647449: marked as done (libtaglib-ocaml-dev: Package should ship cmxs plugin) Debian Bug Tracking System
- ocaml-taglib_0.3.7-1_source.changes ACCEPTED into unstable Debian FTP Masters
- Bug#1000520: Removed package(s) from unstable Debian FTP Masters
- Bug#1000569: Removed package(s) from unstable Debian FTP Masters
- <Possible follow-ups>
- Bug#1000569: Removed package(s) from unstable Debian FTP Masters
- Message not available
- Message not available
- Message not available
- Message not available
- Message not available
- Message not available
- Message not available
- Message not available
- Message not available
- Bug#1000570: Removed package(s) from unstable Debian FTP Masters
- [Git][ocaml-team/ocaml-opus][pristine-tar] pristine-tar data for ocaml-opus_0.2.0.orig.tar.gz Stéphane Glondu (@glondu)
- [Git][ocaml-team/ocaml-opus] Pushed new tag archive/debian/0.2.0-1 Stéphane Glondu (@glondu)
- [Git][ocaml-team/ocaml-opus] Pushed new tag debian/0.2.0-1 Stéphane Glondu (@glondu)
- [Git][ocaml-team/ocaml-speex][pristine-tar] 3 commits: pristine-tar data for ocaml-speex_0.2.2.orig.tar.gz Stéphane Glondu (@glondu)
- [Git][ocaml-team/ocaml-theora][master] 6 commits: Update debian/watch Stéphane Glondu (@glondu)
- [Git][ocaml-team/ocaml-theora] Pushed new tag archive/debian/0.4.0-1 Stéphane Glondu (@glondu)
- [Git][ocaml-team/ocaml-theora][pristine-tar] pristine-tar data for ocaml-theora_0.4.0.orig.tar.gz Stéphane Glondu (@glondu)
- [Git][ocaml-team/ocaml-theora] Pushed new tag upstream/0.4.0 Stéphane Glondu (@glondu)
- [Git][ocaml-team/ocaml-vorbis][upstream] New upstream version 0.8.0 Stéphane Glondu (@glondu)
- [Git][ocaml-team/ocaml-vorbis] Pushed new tag upstream/0.8.0 Stéphane Glondu (@glondu)
- Processing of ocaml-opus_0.2.0-1_source.changes Debian FTP Masters
- Processing of ocaml-speex_0.4.0-1_source.changes Debian FTP Masters
- Processing of ocaml-theora_0.4.0-1_source.changes Debian FTP Masters
- Processing of ocaml-vorbis_0.8.0-1_source.changes Debian FTP Masters
- Accepted ocaml-vorbis 0.8.0-1 (source) into unstable Debian FTP Masters
- ocaml-opus_0.2.0-1_source.changes ACCEPTED into unstable Debian FTP Masters
- ocaml-speex_0.4.0-1_source.changes ACCEPTED into unstable Debian FTP Masters
- ocaml-theora_0.4.0-1_source.changes ACCEPTED into unstable Debian FTP Masters
- ocaml-vorbis_0.8.0-1_source.changes ACCEPTED into unstable Debian FTP Masters
- Bug#1000806: FTBFS on big endian architectures Stéphane Glondu
- Processed: bug 1000806 is forwarded to https://github.com/savonet/ocaml-opus/issues/5 Debian Bug Tracking System
- [Git][ocaml-team/ocaml-ipaddr][pristine-tar] 2 commits: pristine-tar data for ocaml-ipaddr_5.1.0.orig.tar.bz2 Stéphane Glondu (@glondu)
- Processing of ocaml-ipaddr_5.2.0-1_source.changes Debian FTP Masters
- ocaml-ipaddr_5.2.0-1_source.changes ACCEPTED into unstable Debian FTP Masters
- Bug#1000808: ITP: ocaml-mirage-crypto -- cryptography in OCaml for the modern age Stéphane Glondu
- Processing of ocaml-rresult_0.7.0-1_source.changes Debian FTP Masters
- ocaml-rresult_0.7.0-1_source.changes ACCEPTED into unstable Debian FTP Masters
- Processing of ocaml-sha_1.15.1-1_source.changes Debian FTP Masters
- Processing of ocaml-re_1.10.3-1_source.changes Debian FTP Masters
- ocaml-re_1.10.3-1_source.changes ACCEPTED into unstable Debian FTP Masters
- ocaml-sha_1.15.1-1_source.changes ACCEPTED into unstable Debian FTP Masters
- [Git][ocaml-team/facile][master] 8 commits: Update debian/watch Stéphane Glondu (@glondu)
- [Git][ocaml-team/facile] Pushed new tag archive/debian/1.1.4-1 Stéphane Glondu (@glondu)
- Processing of facile_1.1.4-1_source.changes Debian FTP Masters
- facile_1.1.4-1_source.changes ACCEPTED into unstable Debian FTP Masters
- Processing of pyml_20211015-1_source.changes Debian FTP Masters
- [Git][ocaml-team/opam-file-format] Pushed new tag archive/debian/2.1.3-1 Stéphane Glondu (@glondu)
- Processing of opam-file-format_2.1.3-1_source.changes Debian FTP Masters
- [Git][ocaml-team/ounit] Pushed new tag upstream/2.2.4 Stéphane Glondu (@glondu)
- opam-file-format_2.1.3-1_source.changes ACCEPTED into unstable Debian FTP Masters
- pyml_20211015-1_source.changes ACCEPTED into unstable Debian FTP Masters
- Processing of ounit_2.2.4-1_source.changes Debian FTP Masters
- ounit_2.2.4-1_source.changes ACCEPTED into unstable Debian FTP Masters
- [Git][ocaml-team/pgocaml][master] 13 commits: Update debian/watch Stéphane Glondu (@glondu)
- Processing of pgocaml_4.3.0-1_source.changes Debian FTP Masters
- pgocaml_4.3.0-1_source.changes ACCEPTED into unstable Debian FTP Masters
- Processing of elpi_1.13.8-1_source.changes Debian FTP Masters
- elpi_1.13.8-1_source.changes ACCEPTED into unstable Debian FTP Masters
- [Git][ocaml-team/utop] Pushed new tag upstream/2.8.0 Stéphane Glondu (@glondu)
- [Git][ocaml-team/syslog-ocaml][pristine-tar] pristine-tar data for syslog-ocaml_2.0.2.orig.tar.gz Stéphane Glondu (@glondu)
- [Git][ocaml-team/syslog-ocaml] Pushed new tag archive/debian/2.0.2-1 Stéphane Glondu (@glondu)
- Processing of utop_2.8.0-1_source.changes Debian FTP Masters
- utop_2.8.0-1_source.changes ACCEPTED into unstable Debian FTP Masters
- Processing of syslog-ocaml_2.0.2-1_source.changes Debian FTP Masters
- syslog-ocaml_2.0.2-1_source.changes ACCEPTED into unstable Debian FTP Masters
- Processing of ocaml-qcheck_0.18-1_source.changes Debian FTP Masters
- Processing of ocaml-qtest_2.11.2-1_source.changes Debian FTP Masters
- Processing of ocaml-fmt_0.9.0-2_source.changes Debian FTP Masters
- Bug#1000849: ITP: ocaml-alcotest -- lightweight and colourful test framework for OCaml Stéphane Glondu
- ocaml-fmt_0.9.0-2_source.changes ACCEPTED into unstable Debian FTP Masters
- ocaml-qcheck_0.18-1_source.changes ACCEPTED into unstable Debian FTP Masters
- ocaml-qtest_2.11.2-1_source.changes ACCEPTED into unstable Debian FTP Masters
- [Git][ocaml-team/ocaml-opus] Pushed new tag debian/0.2.0-2 Stéphane Glondu (@glondu)
- Processing of ocaml-opus_0.2.0-2_source.changes Debian FTP Masters
- ocaml-opus_0.2.0-2_source.changes ACCEPTED into unstable Debian FTP Masters
- [Git][ocaml-team/ocamlmod] Pushed new tag archive/debian/0.0.9-3 Stéphane Glondu (@glondu)
- [Git][ocaml-team/ocamlmod] Pushed new tag debian/0.0.9-3 Stéphane Glondu (@glondu)
The last update was on 12:20 GMT Tue Nov 30. There are 502 messages. Page 1 of 2.
[Date Index]
[Subject Index]
[Author Index]
[Other Debian Lists]
[Debian Home]
Mail converted by MHonArc