debian-ocaml-maint Nov 2021 by subject

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

[Thread Index] [Date Index] [Author Index] [Other Debian Lists] [Debian Home]
[bts-link] source package src:pcre-ocaml [Git][ocaml-team/camlp5] Pushed new tag archive/debian/7.14-1 [Git][ocaml-team/camlp5] Pushed new tag debian/7.14-1 [Git][ocaml-team/camlp5] Pushed new tag upstream/7.14 [Git][ocaml-team/camlp5][master] 6 commits: Update debian/watch [Git][ocaml-team/camlp5][pristine-tar] pristine-tar data for camlp5_7.14.orig.tar.gz [Git][ocaml-team/camlp5][upstream] New upstream version 7.14 [Git][ocaml-team/camlpdf] Pushed new tag upstream/2.4 [Git][ocaml-team/camlpdf][upstream] New upstream version 2.4 [Git][ocaml-team/coq] Pushed new tag debian/8.14.0+dfsg-1 [Git][ocaml-team/coq] Pushed new tag debian/8.14.0+dfsg-2 [Git][ocaml-team/coq] Pushed new tag debian/8.14.0+dfsg-3 [Git][ocaml-team/coq] Pushed new tag debian/8.14.0+dfsg-4 [Git][ocaml-team/coq] Pushed new tag debian/8.14.0+dfsg-5 [Git][ocaml-team/coq] Pushed new tag debian/8.14.0+dfsg-6 [Git][ocaml-team/coq] Pushed new tag upstream/8.14.0+dfsg [Git][ocaml-team/coq][master] 5 commits: Rework things to simplify updating [Git][ocaml-team/coq][upstream] New upstream version 8.14.0+dfsg [Git][ocaml-team/cppo][pristine-tar] 2 commits: pristine-tar data for cppo_1.6.7.orig.tar.gz [Git][ocaml-team/extlib] Pushed new tag archive/debian/1.7.8-1 [Git][ocaml-team/extlib] Pushed new tag debian/1.7.8-1 [Git][ocaml-team/extlib] Pushed new tag upstream/1.7.8 [Git][ocaml-team/extlib][pristine-tar] pristine-tar data for extlib_1.7.8.orig.tar.gz [Git][ocaml-team/facile] Pushed new tag archive/debian/1.1.4-1 [Git][ocaml-team/facile][master] 8 commits: Update debian/watch [Git][ocaml-team/headache] Pushed new tag archive/debian/1.05-1 [Git][ocaml-team/headache][pristine-tar] pristine-tar data for headache_1.05.orig.tar.gz [Git][ocaml-team/labltk][pristine-tar] 2 commits: pristine-tar data for labltk_8.06.10.orig.tar.gz [Git][ocaml-team/ocaml-ao] Pushed new tag archive/debian/0.2.3-1 [Git][ocaml-team/ocaml-ao] Pushed new tag debian/0.2.2-1 [Git][ocaml-team/ocaml-ao] Pushed new tag debian/0.2.3-1 [Git][ocaml-team/ocaml-ao][master] 6 commits: Update debian/watch [Git][ocaml-team/ocaml-ao][pristine-tar] pristine-tar data for ocaml-ao_0.2.2.orig.tar.gz [Git][ocaml-team/ocaml-ao][pristine-tar] pristine-tar data for ocaml-ao_0.2.3.orig.tar.gz [Git][ocaml-team/ocaml-base64] Pushed new tag archive/debian/3.5.0-1 [Git][ocaml-team/ocaml-base64] Pushed new tag debian/3.5.0-1 [Git][ocaml-team/ocaml-base64] Pushed new tag upstream/3.5.0 [Git][ocaml-team/ocaml-base64][pristine-tar] pristine-tar data for ocaml-base64_3.5.0.orig.tar.gz [Git][ocaml-team/ocaml-batteries][master] 8 commits: Update debian/watch [Git][ocaml-team/ocaml-batteries][upstream] 2 commits: New upstream version 3.2.0 [Git][ocaml-team/ocaml-bjack] Pushed new tag debian/0.1.6-1 [Git][ocaml-team/ocaml-bjack] Pushed new tag upstream/0.1.6 [Git][ocaml-team/ocaml-bjack][master] 6 commits: Update debian/watch [Git][ocaml-team/ocaml-bjack][upstream] New upstream version 0.1.6 [Git][ocaml-team/ocaml-config-file] Pushed new tag archive/debian/1.2.1-1 [Git][ocaml-team/ocaml-config-file] Pushed new tag debian/1.2.1-1 [Git][ocaml-team/ocaml-config-file] Pushed new tag upstream/1.2.1 [Git][ocaml-team/ocaml-config-file][master] 8 commits: Update debian/watch [Git][ocaml-team/ocaml-config-file][pristine-tar] pristine-tar data for ocaml-config-file_1.2.1.orig.tar.gz [Git][ocaml-team/ocaml-config-file][upstream] New upstream version 1.2.1 [Git][ocaml-team/ocaml-ctypes][master] 9 commits: Apply patch from #981784 [Git][ocaml-team/ocaml-ctypes][pristine-tar] 3 commits: pristine-tar data for ocaml-ctypes_0.18.0.orig.tar.gz [Git][ocaml-team/ocaml-curses][master] 9 commits: Update debian/watch [Git][ocaml-team/ocaml-curses][pristine-tar] 4 commits: pristine-tar data for ocaml-curses_1.0.7.orig.tar.gz [Git][ocaml-team/ocaml-curses][upstream] 4 commits: New upstream version 1.0.7 [Git][ocaml-team/ocaml-dssi] Pushed new tag archive/debian/0.1.3-1 [Git][ocaml-team/ocaml-dssi] Pushed new tag archive/debian/0.1.3-2 [Git][ocaml-team/ocaml-dssi] Pushed new tag debian/0.1.3-1 [Git][ocaml-team/ocaml-dssi] Pushed new tag debian/0.1.3-2 [Git][ocaml-team/ocaml-dssi] Pushed new tag upstream/0.1.3 [Git][ocaml-team/ocaml-dssi][master] 6 commits: Update debian/watch [Git][ocaml-team/ocaml-dune] Pushed new tag upstream/2.9.1 [Git][ocaml-team/ocaml-dune][pristine-tar] pristine-tar data for ocaml-dune_2.9.1.orig.tar.bz2 [Git][ocaml-team/ocaml-duppy][master] 8 commits: Update debian/watch [Git][ocaml-team/ocaml-faad] Pushed new tag archive/debian/0.5.0-1 [Git][ocaml-team/ocaml-faad] Pushed new tag debian/0.5.0-1 [Git][ocaml-team/ocaml-faad][pristine-tar] pristine-tar data for ocaml-faad_0.5.0.orig.tar.gz [Git][ocaml-team/ocaml-faad][upstream] New upstream version 0.5.0 [Git][ocaml-team/ocaml-flac] Pushed new tag upstream/0.2.0.2 [Git][ocaml-team/ocaml-frei0r] Pushed new tag archive/debian/0.1.2-1 [Git][ocaml-team/ocaml-frei0r] Pushed new tag debian/0.1.2-1 [Git][ocaml-team/ocaml-frei0r] Pushed new tag upstream/0.1.2 [Git][ocaml-team/ocaml-frei0r][master] 6 commits: Update debian/watch [Git][ocaml-team/ocaml-frei0r][pristine-tar] pristine-tar data for ocaml-frei0r_0.1.2.orig.tar.gz [Git][ocaml-team/ocaml-frei0r][upstream] New upstream version 0.1.2 [Git][ocaml-team/ocaml-gstreamer] Pushed new tag archive/debian/0.3.1-1 [Git][ocaml-team/ocaml-gstreamer][master] 6 commits: Update debian/watch [Git][ocaml-team/ocaml-gstreamer][upstream] New upstream version 0.3.1 [Git][ocaml-team/ocaml-inifiles] Pushed new tag debian/1.2-5 [Git][ocaml-team/ocaml-ipaddr][pristine-tar] 2 commits: pristine-tar data for ocaml-ipaddr_5.1.0.orig.tar.bz2 [Git][ocaml-team/ocaml-ladspa] Pushed new tag debian/0.2.0-1 [Git][ocaml-team/ocaml-lo] Pushed new tag archive/debian/0.2.0-1 [Git][ocaml-team/ocaml-lo][master] 6 commits: Update debian/watch [Git][ocaml-team/ocaml-lo][upstream] New upstream version 0.2.0 [Git][ocaml-team/ocaml-mad] Pushed new tag upstream/0.5.0 [Git][ocaml-team/ocaml-mm] Pushed new tag upstream/0.6.0.2 [Git][ocaml-team/ocaml-mm][master] 5 commits: New upstream version 0.6.0.2 [Git][ocaml-team/ocaml-mm][pristine-tar] pristine-tar data for ocaml-mm_0.6.0.2.orig.tar.gz [Git][ocaml-team/ocaml-mm][upstream] New upstream version 0.6.0.2 [Git][ocaml-team/ocaml-ogg][master] 8 commits: Update debian/watch [Git][ocaml-team/ocaml-ogg][pristine-tar] 3 commits: pristine-tar data for ocaml-ogg_0.6.0.orig.tar.gz [Git][ocaml-team/ocaml-ogg][upstream] 3 commits: New upstream version 0.6.0 [Git][ocaml-team/ocaml-opus] Pushed new tag archive/debian/0.2.0-1 [Git][ocaml-team/ocaml-opus] Pushed new tag debian/0.2.0-1 [Git][ocaml-team/ocaml-opus] Pushed new tag debian/0.2.0-2 [Git][ocaml-team/ocaml-opus][pristine-tar] pristine-tar data for ocaml-opus_0.2.0.orig.tar.gz [Git][ocaml-team/ocaml-portaudio] Pushed new tag archive/debian/0.2.2-1 [Git][ocaml-team/ocaml-portaudio] Pushed new tag debian/0.2.2-1 [Git][ocaml-team/ocaml-portaudio][upstream] New upstream version 0.2.2 [Git][ocaml-team/ocaml-pulseaudio] Pushed new tag upstream/0.1.4 [Git][ocaml-team/ocaml-pulseaudio][pristine-tar] pristine-tar data for ocaml-pulseaudio_0.1.4.orig.tar.gz [Git][ocaml-team/ocaml-samplerate][pristine-tar] 2 commits: pristine-tar data for ocaml-samplerate_0.1.5.orig.tar.gz [Git][ocaml-team/ocaml-samplerate][upstream] 2 commits: New upstream version 0.1.5 [Git][ocaml-team/ocaml-shine] Pushed new tag debian/0.2.2-1 [Git][ocaml-team/ocaml-shine][master] 5 commits: New upstream version 0.2.2 [Git][ocaml-team/ocaml-shine][pristine-tar] pristine-tar data for ocaml-shine_0.2.2.orig.tar.gz [Git][ocaml-team/ocaml-soundtouch] Pushed new tag archive/debian/0.1.9-1 [Git][ocaml-team/ocaml-soundtouch] Pushed new tag debian/0.1.9-1 [Git][ocaml-team/ocaml-soundtouch] Pushed new tag upstream/0.1.9 [Git][ocaml-team/ocaml-soundtouch][master] 7 commits: Update debian/watch [Git][ocaml-team/ocaml-speex][pristine-tar] 3 commits: pristine-tar data for ocaml-speex_0.2.2.orig.tar.gz [Git][ocaml-team/ocaml-taglib] Pushed new tag upstream/0.3.7 [Git][ocaml-team/ocaml-taglib][pristine-tar] pristine-tar data for ocaml-taglib_0.3.7.orig.tar.gz [Git][ocaml-team/ocaml-taglib][upstream] New upstream version 0.3.7 [Git][ocaml-team/ocaml-theora] Pushed new tag archive/debian/0.4.0-1 [Git][ocaml-team/ocaml-theora] Pushed new tag upstream/0.4.0 [Git][ocaml-team/ocaml-theora][master] 6 commits: Update debian/watch [Git][ocaml-team/ocaml-theora][pristine-tar] pristine-tar data for ocaml-theora_0.4.0.orig.tar.gz [Git][ocaml-team/ocaml-visitors] Pushed new tag archive/debian/20210127-1 [Git][ocaml-team/ocaml-visitors] Pushed new tag upstream/20210127 [Git][ocaml-team/ocaml-visitors][pristine-tar] pristine-tar data for ocaml-visitors_20210127.orig.tar.xz [Git][ocaml-team/ocaml-vorbis] Pushed new tag upstream/0.8.0 [Git][ocaml-team/ocaml-vorbis][upstream] New upstream version 0.8.0 [Git][ocaml-team/ocaml] Pushed new tag archive/debian/4.11.1-5 [Git][ocaml-team/ocaml] Pushed new tag debian/4.11.1-5 [Git][ocaml-team/ocamlmod] Pushed new tag archive/debian/0.0.9-3 [Git][ocaml-team/ocamlmod] Pushed new tag debian/0.0.9-3 [Git][ocaml-team/opam-file-format] Pushed new tag archive/debian/2.1.3-1 [Git][ocaml-team/ounit] Pushed new tag upstream/2.2.4 [Git][ocaml-team/pgocaml][master] 13 commits: Update debian/watch [Git][ocaml-team/ppx-deriving-yojson][pristine-tar] 2 commits: pristine-tar data for ppx-deriving-yojson_3.6.0.orig.tar.bz2 [Git][ocaml-team/ppx-deriving] Pushed new tag archive/debian/5.1-2 [Git][ocaml-team/ppx-deriving][upstream] 2 commits: New upstream version 5.0 [Git][ocaml-team/ppx-tools] Pushed new tag debian/6.4-1 [Git][ocaml-team/syslog-ocaml] Pushed new tag archive/debian/2.0.2-1 [Git][ocaml-team/syslog-ocaml][pristine-tar] pristine-tar data for syslog-ocaml_2.0.2.orig.tar.gz [Git][ocaml-team/utop] Pushed new tag upstream/2.8.0 [Git][ocaml-team/why3][master] 10 commits: Update debian/watch [Git][ocaml-team/why3][upstream] New upstream version 1.4.0 Accepted coq 8.14.0+dfsg-1 (source amd64) into experimental Accepted coq 8.14.0+dfsg-2 (source amd64) into experimental Accepted coq 8.14.0+dfsg-3 (source) into unstable Accepted coq 8.14.0+dfsg-4 (source) into unstable Accepted coq 8.14.0+dfsg-5 (source) into unstable Accepted coq 8.14.0+dfsg-6 (source) into unstable Accepted ocaml-mad 0.5.0-1 (source) into unstable Accepted ocaml-vorbis 0.8.0-1 (source) into unstable Architectures supported by the coq package Bug#1000004: pcre-ocaml: depends on obsolete pcre3 library Bug#1000369: ITP: ocaml-stringext -- extra string functions for OCaml Bug#1000370: FTBFS (static assertion failed) Bug#1000370: marked as done (FTBFS (static assertion failed)) Bug#1000371: ITP: ocaml-bigstringaf -- bigstring intrinsics and fast blits for OCaml Bug#1000372: ITP: ocaml-magic-mime -- OCaml library to map filenames to common MIME types Bug#1000391: ITP: ocaml-eqaf -- constant-time equal function on string for OCaml Bug#1000392: ITP: ocaml-hmap -- heterogeneous value maps for OCaml Bug#1000393: ITP: ocaml-gmap -- heterogenous maps over a GADT for OCaml Bug#1000394: ITP: ocaml-mtime -- monotonic wall-clock time for OCaml Bug#1000395: ITP: ocaml-ptime -- POSIX time for OCaml Bug#1000491: FTBFS with Why3 1.4.0 Bug#1000505: marked as done (ocaml-dssi FTBFS on most architectures: Error: No rule found for src/dssi.a) Bug#1000505: ocaml-dssi FTBFS on most architectures: Error: No rule found for src/dssi.a Bug#1000520: Removed package(s) from unstable Bug#1000520: RM: unison-2.48 -- ROM; obsolete Bug#1000569: Removed package(s) from unstable Bug#1000569: RM: mingw-ocaml -- RoQA; obsolete, unmaintained, FTBFS Bug#1000570: Removed package(s) from unstable Bug#1000570: RM: galax -- RoQA; unmaintained, FTBFS, not in stable Bug#1000573: Bytecode architectures blocking bug Bug#1000632: RM: coq/8.12.0-3+b3 and others Bug#1000713: marked as done (ocaml-ansi-terminal FTBFS on bytecode architectures) Bug#1000713: ocaml-ansi-terminal FTBFS on bytecode architectures Bug#1000747: ITP: ocaml-asn1-combinators -- embed typed ASN.1 grammars in OCaml Bug#1000748: ITP: ocaml-angstrom -- speed and memory-efficient parser combinators for OCaml Bug#1000749: ITP: ocaml-logs -- logging infrastructure for OCaml Bug#1000750: ITP: ocaml-duration -- conversions to various time units for OCaml Bug#1000806: FTBFS on big endian architectures Bug#1000806: marked as done (FTBFS on big endian architectures) Bug#1000808: ITP: ocaml-mirage-crypto -- cryptography in OCaml for the modern age Bug#1000849: ITP: ocaml-alcotest -- lightweight and colourful test framework for OCaml Bug#574717: marked as done (mingw32-ocaml: Supported arches) Bug#574718: marked as done (mingw32-ocaml: embedded code of other packages.) Bug#576549: marked as done (utf-8 encoded context items are not resolved properly) Bug#576553: marked as done (galax: Segfaults on very large context items) Bug#604419: marked as done (mingw32-ocaml: toplevellib.cma and stdlib.cma make inconsistent assumptions over interface Pervasives) Bug#644750: marked as done (libsoundtouch-ocaml-dev: Mistake in the synopsis) Bug#647449: marked as done (libtaglib-ocaml-dev: Package should ship cmxs plugin) Bug#686141: marked as done (galax-run claims it can read from stdin, but apparently it can't) Bug#858515: marked as done (galax-doc: broken symlink: /usr/share/doc/galax-doc/api -> ../libgalax-ocaml-dev/html/api) Bug#865883: marked as done (ocaml-mingw-w64: missing link flags while creating custom bytecode binaries) Bug#878415: marked as done (Please remove the obsolete transitional package mingw-ocaml) Bug#878692: marked as done (please drop transitional package mingw-ocaml) Bug#882602: marked as done (ocaml-mingw-w64: create bytecode shared objects that makes C programs using it to segfault) Bug#924764: marked as done (mingw-ocaml: FTBFS (cp: cannot stat 'objinfo_helper': No such file or directory)) Bug#924816: marked as done (mingw-ocaml: FTBFS: hasgot.c:(.text+0x13): undefined reference to `tgetent') Bug#972259: marked as done (FTBFS with OCaml 4.11.1 (-unsafe-string is not available)) Bug#973124: marked as done (unison-2.48: FTBFS: ocamlc: OCaml has been configured with -force-safe-string: -unsafe-string is not available.) Bug#978875: marked as done (ocaml: ftbfs with autoconf 2.70) Bug#981784: marked as done (ocaml-ctypes: annotate test dependencies <!nocheck>) Bug#984261: marked as done (ocaml-mccs: ftbfs with GCC-11) Bug#995543: marked as done (Updating the coq Uploaders list) Bug#995558: marked as done (Updating the ssreflect Uploaders list) Bug#997251: marked as done (ocaml-taglib: FTBFS: ld: cannot find -lz) Bug#998291: ITP: ocaml-ansi-terminal -- colors and cursor movements for OCaml applications Bug#998533: marked as done (nurpawiki: FTBFS: build-dependency not installable: libocamlnet-ocaml-dev-2d6s9) Bug#998533: nurpawiki: FTBFS: build-dependency not installable: libocamlnet-ocaml-dev-2d6s9 Bug#998582: liquidsoap: FTBFS: build-dependency not installable: libocamlnet-ocaml-dev-2d6s9 Bug#998582: marked as done (ocaml-ffmpeg: FTBFS: build-dependency not installable:) Bug#999163: pagodacf: missing required debian/rules targets build-arch and/or build-indep Bug#999483: ITP: coq-elpi -- Coq plugin embedding Elpi Bug#999601: [false positive] ocaml-dangling-cmi hint needs refinement Bug#999602: [false positive] shared-library-lacks-prerequisites Bug#999651: coq FTBFS on bytecode architectures Bug#999651: marked as done (coq FTBFS on bytecode architectures) Bug#999651: marked as pending in coq Building clean packages for coq theories camlp5_7.14-1_source.changes ACCEPTED into unstable camlpdf_2.4-1_source.changes ACCEPTED into unstable coq REMOVED from testing coq_8.14.0+dfsg-1_amd64.changes ACCEPTED into experimental coq_8.14.0+dfsg-2_amd64.changes ACCEPTED into experimental coq_8.14.0+dfsg-3_source.changes ACCEPTED into unstable coq_8.14.0+dfsg-4_source.changes ACCEPTED into unstable coq_8.14.0+dfsg-5_source.changes ACCEPTED into unstable coq_8.14.0+dfsg-6_source.changes ACCEPTED into unstable cppo_1.6.8-1_source.changes ACCEPTED into unstable elpi_1.13.7-1_amd64.changes ACCEPTED into unstable, unstable elpi_1.13.7-2_amd64.changes ACCEPTED into unstable, unstable elpi_1.13.7-2_amd64.changes is NEW elpi_1.13.8-1_source.changes ACCEPTED into unstable extlib_1.7.8-1_source.changes ACCEPTED into unstable facile_1.1.4-1_source.changes ACCEPTED into unstable failed arm64 build of coq 8.14.0+dfsg-2 failed armel build of coq 8.14.0+dfsg-1 failed armel build of coq 8.14.0+dfsg-2 failed armel build of coq 8.14.0+dfsg-3 failed armhf build of coq 8.14.0+dfsg-2 failed i386 build of coq 8.14.0+dfsg-2 failed mips64el build of coq 8.14.0+dfsg-1 failed mips64el build of coq 8.14.0+dfsg-2 failed mips64el build of coq 8.14.0+dfsg-3 failed mips64el build of coq 8.14.0+dfsg-4 failed mips64el build of coq 8.14.0+dfsg-5 failed mipsel build of coq 8.14.0+dfsg-1 failed mipsel build of coq 8.14.0+dfsg-2 failed mipsel build of coq 8.14.0+dfsg-3 failed mipsel build of coq 8.14.0+dfsg-4 failed mipsel build of coq 8.14.0+dfsg-5 failed ppc64el build of coq 8.14.0+dfsg-2 failed s390x build of coq 8.14.0+dfsg-2 frama-c is marked for autoremoval from testing headache_1.05-1_source.changes ACCEPTED into unstable janest-base_0.14.2-1_source.changes ACCEPTED into unstable janest-ocaml-compiler-libs_0.12.4-1_source.changes ACCEPTED into unstable labltk_8.06.11-1_source.changes ACCEPTED into unstable Lintian warnings with the coq package Liquidsoap and Ocaml Audio Libraries liquidsoap is marked for autoremoval from testing oasis_0.4.11-2_source.changes ACCEPTED into unstable ocaml-angstrom_0.15.0-1_amd64.changes ACCEPTED into unstable, unstable ocaml-angstrom_0.15.0-1_amd64.changes is NEW ocaml-ansi-terminal_0.8.2-1_amd64.changes ACCEPTED into unstable, unstable ocaml-ansi-terminal_0.8.2-1_amd64.changes is NEW ocaml-ansi-terminal_0.8.2-2_amd64.changes ACCEPTED into unstable, unstable ocaml-ansi-terminal_0.8.2-2_amd64.changes is NEW ocaml-ansi-terminal_0.8.2-2_source.changes REJECTED ocaml-ansi-terminal_0.8.3-1_source.changes ACCEPTED into unstable ocaml-ansi-terminal_0.8.3-2_source.changes ACCEPTED into unstable ocaml-ao_0.2.2-1_source.changes ACCEPTED into unstable ocaml-ao_0.2.3-1_source.changes ACCEPTED into unstable ocaml-asn1-combinators_0.2.6-1_amd64.changes ACCEPTED into unstable, unstable ocaml-asn1-combinators_0.2.6-1_amd64.changes is NEW ocaml-base64_3.5.0-1_source.changes ACCEPTED into unstable ocaml-batteries_3.3.0-1_source.changes ACCEPTED into unstable ocaml-bigstringaf_0.8.0-1_amd64.changes ACCEPTED into unstable, unstable ocaml-bigstringaf_0.8.0-1_amd64.changes is NEW ocaml-bigstringaf_0.8.0-2_source.changes ACCEPTED into unstable ocaml-bjack_0.1.6-1_source.changes ACCEPTED into unstable ocaml-config-file_1.2.1-1_source.changes ACCEPTED into unstable ocaml-csexp_1.5.1-1_source.changes ACCEPTED into unstable ocaml-cstruct_6.0.1-1_source.changes ACCEPTED into unstable ocaml-ctypes_0.19.1-1_source.changes ACCEPTED into unstable ocaml-curses_1.0.10-1_source.changes ACCEPTED into unstable ocaml-domain-name_0.3.1-1_source.changes ACCEPTED into unstable ocaml-dssi_0.1.3-1_source.changes ACCEPTED into unstable ocaml-dssi_0.1.3-2_source.changes ACCEPTED into unstable ocaml-dune_2.9.1-1_source.changes ACCEPTED into unstable ocaml-duppy_0.9.2-1_source.changes ACCEPTED into unstable ocaml-duration_0.2.0-1_amd64.changes ACCEPTED into unstable, unstable ocaml-duration_0.2.0-1_amd64.changes is NEW ocaml-eqaf_0.8-1_amd64.changes is NEW ocaml-eqaf_0.8-1_amd64.changes REJECTED ocaml-eqaf_0.8-2_amd64.changes ACCEPTED into unstable, unstable ocaml-eqaf_0.8-2_amd64.changes is NEW ocaml-faad_0.5.0-1_source.changes ACCEPTED into unstable ocaml-flac_0.2.0.2-1_source.changes ACCEPTED into experimental ocaml-fmt_0.9.0-1_source.changes ACCEPTED into unstable ocaml-fmt_0.9.0-2_source.changes ACCEPTED into unstable ocaml-frei0r_0.1.2-1_source.changes ACCEPTED into unstable ocaml-gmap_0.3.0-1_amd64.changes ACCEPTED into unstable, unstable ocaml-gmap_0.3.0-1_amd64.changes is NEW ocaml-graphics_5.1.2-1_source.changes ACCEPTED into unstable ocaml-gstreamer_0.3.1-1_source.changes ACCEPTED into unstable ocaml-hmap_0.8.1-1_amd64.changes ACCEPTED into unstable, unstable ocaml-hmap_0.8.1-1_amd64.changes is NEW ocaml-inifiles_1.2-5_source.changes ACCEPTED into unstable ocaml-ipaddr_5.2.0-1_source.changes ACCEPTED into unstable ocaml-ladspa_0.2.0-1_source.changes ACCEPTED into unstable ocaml-lo_0.2.0-1_source.changes ACCEPTED into unstable ocaml-logs_0.7.0-1_amd64.changes ACCEPTED into unstable, unstable ocaml-logs_0.7.0-1_amd64.changes is NEW ocaml-luv_0.5.10-1_amd64.changes ACCEPTED into unstable, unstable ocaml-luv_0.5.10-1_amd64.changes is NEW ocaml-mad_0.5.0-1_source.changes ACCEPTED into unstable ocaml-magic-mime_1.2.0-1_amd64.changes ACCEPTED into unstable, unstable ocaml-magic-mime_1.2.0-1_amd64.changes is NEW ocaml-mccs_1.1+13-1_source.changes ACCEPTED into unstable ocaml-mm_0.6.0.2-1_source.changes ACCEPTED into experimental ocaml-mtime_1.3.0-1_amd64.changes ACCEPTED into unstable, unstable ocaml-mtime_1.3.0-1_amd64.changes is NEW ocaml-ogg_0.7.0-1_source.changes ACCEPTED into unstable ocaml-opus_0.2.0-1_source.changes ACCEPTED into unstable ocaml-opus_0.2.0-2_source.changes ACCEPTED into unstable ocaml-portaudio_0.2.2-1_source.changes ACCEPTED into unstable ocaml-ptime_0.8.5-1_amd64.changes ACCEPTED into unstable, unstable ocaml-ptime_0.8.5-1_amd64.changes is NEW ocaml-pulseaudio_0.1.4-1_source.changes ACCEPTED into unstable ocaml-qcheck_0.18-1_source.changes ACCEPTED into unstable ocaml-qtest_2.11.2-1_source.changes ACCEPTED into unstable ocaml-re_1.10.3-1_source.changes ACCEPTED into unstable ocaml-rresult_0.7.0-1_source.changes ACCEPTED into unstable ocaml-samplerate_0.1.6-1_source.changes ACCEPTED into unstable ocaml-sha_1.15.1-1_source.changes ACCEPTED into unstable ocaml-shine_0.2.2-1_source.changes ACCEPTED into unstable ocaml-soundtouch_0.1.9-1_source.changes ACCEPTED into unstable ocaml-speex_0.4.0-1_source.changes ACCEPTED into unstable ocaml-stdcompat_17-1_source.changes ACCEPTED into unstable ocaml-stringext_1.6.0-1_amd64.changes ACCEPTED into unstable, unstable ocaml-stringext_1.6.0-1_amd64.changes is NEW ocaml-taglib is marked for autoremoval from testing ocaml-taglib_0.3.6-2_source.changes ACCEPTED into unstable ocaml-taglib_0.3.7-1_source.changes ACCEPTED into unstable ocaml-theora_0.4.0-1_source.changes ACCEPTED into unstable ocaml-topkg_1.0.4-1_source.changes ACCEPTED into unstable ocaml-visitors_20210127-1_source.changes ACCEPTED into unstable ocaml-vorbis_0.8.0-1_source.changes ACCEPTED into unstable ocaml-zarith_1.12-1_source.changes ACCEPTED into unstable ocaml_4.11.1-5_source.changes ACCEPTED into unstable ocamlmod_0.0.9-3_source.changes ACCEPTED into unstable On packaging coq plugins opam-file-format_2.1.3-1_source.changes ACCEPTED into unstable ounit_2.2.4-1_source.changes ACCEPTED into unstable pgocaml_4.3.0-1_source.changes ACCEPTED into unstable ppx-deriving-yojson_3.6.1-1_source.changes ACCEPTED into unstable ppx-deriving_5.1-1_source.changes ACCEPTED into unstable ppx-deriving_5.1-2_source.changes ACCEPTED into unstable ppx-tools_6.4-1_source.changes ACCEPTED into unstable Processed (with 1 error): 998582 reassign Processed: bug 1000004 is forwarded to https://github.com/mmottl/pcre-ocaml/issues/25 Processed: bug 1000806 is forwarded to https://github.com/savonet/ocaml-opus/issues/5 Processed: Bug#1000505 marked as pending in ocaml-dssi Processed: Bug#1000806 marked as pending in ocaml-opus Processed: Bug#644750 marked as pending in ocaml-soundtouch Processed: Bug#978875 marked as pending in ocaml Processed: Bug#995543 marked as pending in coq Processed: Bug#995558 marked as pending in ssreflect Processed: Bug#999651 marked as pending in coq Processed: merging 984261 1000370 Processed: Re: Bug#1000004: pcre-ocaml: depends on obsolete pcre3 library Processed: tagging 1000560, tagging 1000559, tagging 1000558, tagging 1000422, tagging 1000491, tagging 998706 Processing of camlp5_7.14-1_source.changes Processing of camlpdf_2.4-1_source.changes Processing of coq_8.14.0+dfsg-1_amd64.changes Processing of coq_8.14.0+dfsg-2_amd64.changes Processing of coq_8.14.0+dfsg-3_source.changes Processing of coq_8.14.0+dfsg-4_source.changes Processing of coq_8.14.0+dfsg-5_source.changes Processing of coq_8.14.0+dfsg-6_source.changes Processing of cppo_1.6.8-1_source.changes Processing of elpi_1.13.7-2_amd64.changes Processing of elpi_1.13.8-1_source.changes Processing of extlib_1.7.8-1_source.changes Processing of facile_1.1.4-1_source.changes Processing of headache_1.05-1_source.changes Processing of janest-base_0.14.2-1_source.changes Processing of janest-ocaml-compiler-libs_0.12.4-1_source.changes Processing of labltk_8.06.11-1_source.changes Processing of oasis_0.4.11-2_source.changes Processing of ocaml-angstrom_0.15.0-1_amd64.changes Processing of ocaml-ansi-terminal_0.8.2-1_amd64.changes Processing of ocaml-ansi-terminal_0.8.2-2_amd64.changes Processing of ocaml-ansi-terminal_0.8.2-2_source.changes Processing of ocaml-ansi-terminal_0.8.3-1_source.changes Processing of ocaml-ansi-terminal_0.8.3-2_source.changes Processing of ocaml-ao_0.2.2-1_source.changes Processing of ocaml-ao_0.2.3-1_source.changes Processing of ocaml-asn1-combinators_0.2.6-1_amd64.changes Processing of ocaml-base64_3.5.0-1_source.changes Processing of ocaml-batteries_3.3.0-1_source.changes Processing of ocaml-bigstringaf_0.8.0-1_amd64.changes Processing of ocaml-bigstringaf_0.8.0-2_source.changes Processing of ocaml-bjack_0.1.6-1_source.changes Processing of ocaml-config-file_1.2.1-1_source.changes Processing of ocaml-csexp_1.5.1-1_source.changes Processing of ocaml-cstruct_6.0.1-1_source.changes Processing of ocaml-ctypes_0.19.1-1_source.changes Processing of ocaml-curses_1.0.10-1_source.changes Processing of ocaml-domain-name_0.3.1-1_source.changes Processing of ocaml-dssi_0.1.3-1_source.changes Processing of ocaml-dssi_0.1.3-2_source.changes Processing of ocaml-dune_2.9.1-1_source.changes Processing of ocaml-duppy_0.9.2-1_source.changes Processing of ocaml-duration_0.2.0-1_amd64.changes Processing of ocaml-eqaf_0.8-1_amd64.changes Processing of ocaml-eqaf_0.8-2_amd64.changes Processing of ocaml-faad_0.5.0-1_source.changes Processing of ocaml-flac_0.2.0.2-1_source.changes Processing of ocaml-fmt_0.9.0-1_source.changes Processing of ocaml-fmt_0.9.0-2_source.changes Processing of ocaml-frei0r_0.1.2-1_source.changes Processing of ocaml-gmap_0.3.0-1_amd64.changes Processing of ocaml-graphics_5.1.2-1_source.changes Processing of ocaml-gstreamer_0.3.1-1_source.changes Processing of ocaml-hmap_0.8.1-1_amd64.changes Processing of ocaml-inifiles_1.2-5_source.changes Processing of ocaml-ipaddr_5.2.0-1_source.changes Processing of ocaml-ladspa_0.2.0-1_source.changes Processing of ocaml-lo_0.2.0-1_source.changes Processing of ocaml-logs_0.7.0-1_amd64.changes Processing of ocaml-luv_0.5.10-1_amd64.changes Processing of ocaml-mad_0.5.0-1_source.changes Processing of ocaml-magic-mime_1.2.0-1_amd64.changes Processing of ocaml-mccs_1.1+13-1_source.changes Processing of ocaml-mm_0.6.0.2-1_source.changes Processing of ocaml-mtime_1.3.0-1_amd64.changes Processing of ocaml-ogg_0.7.0-1_source.changes Processing of ocaml-opus_0.2.0-1_source.changes Processing of ocaml-opus_0.2.0-2_source.changes Processing of ocaml-portaudio_0.2.2-1_source.changes Processing of ocaml-ptime_0.8.5-1_amd64.changes Processing of ocaml-pulseaudio_0.1.4-1_source.changes Processing of ocaml-qcheck_0.18-1_source.changes Processing of ocaml-qtest_2.11.2-1_source.changes Processing of ocaml-re_1.10.3-1_source.changes Processing of ocaml-rresult_0.7.0-1_source.changes Processing of ocaml-samplerate_0.1.6-1_source.changes Processing of ocaml-sha_1.15.1-1_source.changes Processing of ocaml-shine_0.2.2-1_source.changes Processing of ocaml-soundtouch_0.1.9-1_source.changes Processing of ocaml-speex_0.4.0-1_source.changes Processing of ocaml-stdcompat_17-1_source.changes Processing of ocaml-stringext_1.6.0-1_amd64.changes Processing of ocaml-taglib_0.3.6-2_source.changes Processing of ocaml-taglib_0.3.7-1_source.changes Processing of ocaml-theora_0.4.0-1_source.changes Processing of ocaml-topkg_1.0.4-1_source.changes Processing of ocaml-visitors_20210127-1_source.changes Processing of ocaml-vorbis_0.8.0-1_source.changes Processing of ocaml-zarith_1.12-1_source.changes Processing of ocaml_4.11.1-5_source.changes Processing of ocamlmod_0.0.9-3_source.changes Processing of opam-file-format_2.1.3-1_source.changes Processing of ounit_2.2.4-1_source.changes Processing of pgocaml_4.3.0-1_source.changes Processing of ppx-deriving-yojson_3.6.1-1_source.changes Processing of ppx-deriving_5.1-1_source.changes Processing of ppx-deriving_5.1-2_source.changes Processing of ppx-tools_6.4-1_source.changes Processing of pyml_20211015-1_source.changes Processing of ssreflect_1.13.0-1_source.changes Processing of syslog-ocaml_2.0.2-1_source.changes Processing of utop_2.8.0-1_source.changes Processing of why3_1.4.0-1_source.changes Processing of why3_1.4.0-2_source.changes Processing of wyrd_1.4.6-7_source.changes Processing of wyrd_1.4.6-8_source.changes pyml_20211015-1_source.changes ACCEPTED into unstable ssreflect_1.13.0-1_source.changes ACCEPTED into unstable syslog-ocaml_2.0.2-1_source.changes ACCEPTED into unstable Trouble packaging coq-elpi Updating coq The last update was on 17:00 GMT Tue Nov 30. There are 508 messages. Page 1 of 2.
<<
[previous month] 		|<
[first page] 		<
[previous page] 		Page 1 of 2
 >
[next page] 		>|
[last page] 		>>
[next month]

[Thread Index] [Subject Index] [Author Index] [Other Debian Lists] [Debian Home]
Mail converted by MHonArc