debian-ocaml-maint Jan 2023 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]
[Git][ocaml-team/aac-tactics] Pushed new tag debian/8.17.0-1 [Git][ocaml-team/aac-tactics] Pushed new tag upstream/8.17.0 [Git][ocaml-team/belenios] Pushed new tag archive/debian/2.0+dfsg-1 [Git][ocaml-team/belenios] Pushed new tag debian/2.0+dfsg-1 [Git][ocaml-team/belenios] Pushed new tag upstream/2.0+dfsg [Git][ocaml-team/belenios][master] 4 commits: New upstream version 2.0+dfsg [Git][ocaml-team/belenios][upstream] New upstream version 2.0+dfsg [Git][ocaml-team/biniou] Pushed new tag archive/debian/1.2.2-1 [Git][ocaml-team/biniou] Pushed new tag debian/1.2.2-1 [Git][ocaml-team/biniou] Pushed new tag upstream/1.2.2 [Git][ocaml-team/biniou][upstream] New upstream version 1.2.2 [Git][ocaml-team/camlidl][master] 5 commits: New upstream version 1.10 [Git][ocaml-team/camlidl][upstream] 2 commits: New upstream version 1.10 [Git][ocaml-team/camlp5] Pushed new tag archive/debian/8.00.04-1 [Git][ocaml-team/camlp5] Pushed new tag debian/8.00.04-1 [Git][ocaml-team/camlp5] Pushed new tag upstream/8.00.04 [Git][ocaml-team/camlp5][master] 4 commits: New upstream version 8.00.04 [Git][ocaml-team/camlp5][upstream] New upstream version 8.00.04 [Git][ocaml-team/cppo] Pushed new tag archive/debian/1.6.9-1 [Git][ocaml-team/cppo] Pushed new tag debian/1.6.9-1 [Git][ocaml-team/cppo] Pushed new tag upstream/1.6.9 [Git][ocaml-team/easy-format] Pushed new tag upstream/1.3.3 [Git][ocaml-team/easy-format] Pushed new tag upstream/1.3.4 [Git][ocaml-team/findlib][master] 8 commits: New upstream version 1.9.4 [Git][ocaml-team/findlib][pristine-tar] 3 commits: pristine-tar data for findlib_1.9.4.orig.tar.gz [Git][ocaml-team/findlib][upstream] 3 commits: New upstream version 1.9.4 [Git][ocaml-team/headache] Pushed new tag archive/debian/1.06-1 [Git][ocaml-team/headache] Pushed new tag debian/1.06-1 [Git][ocaml-team/headache] Pushed new tag upstream/1.06 [Git][ocaml-team/hol-light] Pushed new tag archive/debian/20230128-1 [Git][ocaml-team/hol-light] Pushed new tag debian/20230128-1 [Git][ocaml-team/hol-light] Pushed new tag upstream/20230128 [Git][ocaml-team/hol-light][master] 8 commits: Update packaging [Git][ocaml-team/hol-light][pristine-tar] pristine-tar data for hol-light_20230128.orig.tar.gz [Git][ocaml-team/hol-light][upstream] New upstream version 20230128 [Git][ocaml-team/lablgtk2] Deleted branch patch-queue/master [Git][ocaml-team/lablgtk2] Pushed new branch patch-queue/master [Git][ocaml-team/lablgtk2] Pushed new tag archive/debian/2.18.13-1 [Git][ocaml-team/lablgtk2] Pushed new tag debian/2.18.13-1 [Git][ocaml-team/lablgtk2] Pushed new tag upstream/2.18.13 [Git][ocaml-team/labltk][pristine-tar] 2 commits: pristine-tar data for labltk_8.06.12.orig.tar.gz [Git][ocaml-team/ocaml-batteries] Pushed new tag archive/debian/3.6.0-1 [Git][ocaml-team/ocaml-batteries] Pushed new tag debian/3.6.0-1 [Git][ocaml-team/ocaml-batteries] Pushed new tag upstream/3.6.0 [Git][ocaml-team/ocaml-batteries][master] 5 commits: New upstream version 3.6.0 [Git][ocaml-team/ocaml-batteries][upstream] New upstream version 3.6.0 [Git][ocaml-team/ocaml-ctypes] Pushed new tag archive/debian/0.20.1-1 [Git][ocaml-team/ocaml-ctypes] Pushed new tag debian/0.20.1-1 [Git][ocaml-team/ocaml-ctypes] Pushed new tag upstream/0.20.1 [Git][ocaml-team/ocaml-ctypes][pristine-tar] pristine-tar data for ocaml-ctypes_0.20.1.orig.tar.gz [Git][ocaml-team/ocaml-extunix] Pushed new tag archive/debian/0.4.1-1 [Git][ocaml-team/ocaml-extunix] Pushed new tag debian/0.4.1-1 [Git][ocaml-team/ocaml-extunix] Pushed new tag upstream/0.4.1 [Git][ocaml-team/ocaml-extunix][pristine-tar] pristine-tar data for ocaml-extunix_0.4.1.orig.tar.bz2 [Git][ocaml-team/ocaml-fileutils] Pushed new tag archive/debian/0.6.4-1 [Git][ocaml-team/ocaml-fileutils] Pushed new tag debian/0.6.4-1 [Git][ocaml-team/ocaml-fileutils] Pushed new tag upstream/0.6.4 [Git][ocaml-team/ocaml-fileutils][pristine-tar] pristine-tar data for ocaml-fileutils_0.6.4.orig.tar.gz [Git][ocaml-team/ocaml-re] Pushed new tag archive/debian/1.10.4-1 [Git][ocaml-team/ocaml-re] Pushed new tag debian/1.10.4-1 [Git][ocaml-team/ocaml-re] Pushed new tag upstream/1.10.4 [Git][ocaml-team/ocaml-re][master] 3 commits: Set upstream metadata fields: Bug-Database, Bug-Submit, Repository-Browse. [Git][ocaml-team/ocaml-shine] Pushed new tag archive/debian/0.2.3-1 [Git][ocaml-team/ocaml-shine] Pushed new tag debian/0.2.3-1 [Git][ocaml-team/ocaml-shine] Pushed new tag upstream/0.2.3 [Git][ocaml-team/ocaml-taglib] Pushed new tag archive/debian/0.3.10-1 [Git][ocaml-team/ocaml-taglib] Pushed new tag debian/0.3.10-1 [Git][ocaml-team/ocaml-taglib] Pushed new tag upstream/0.3.10 [Git][ocaml-team/ocaml-taglib][pristine-tar] pristine-tar data for ocaml-taglib_0.3.10.orig.tar.gz [Git][ocaml-team/ocaml-topkg][master] 5 commits: New upstream version 1.0.6 [Git][ocaml-team/ocaml-topkg][upstream] 2 commits: New upstream version 1.0.6 [Git][ocaml-team/ocamlbuild][master] 2 commits: Remove constraints unnecessary since buster [Git][ocaml-team/opam-file-format][pristine-tar] 2 commits: pristine-tar data for opam-file-format_2.1.4.orig.tar.gz [Git][ocaml-team/parmap] Pushed new tag archive/debian/1.2.5-1 [Git][ocaml-team/parmap] Pushed new tag debian/1.2.5-1 [Git][ocaml-team/parmap] Pushed new tag upstream/1.2.5 [Git][ocaml-team/uuidm] Pushed new tag archive/debian/0.9.8-1 [Git][ocaml-team/uuidm] Pushed new tag debian/0.9.8-1 [Git][ocaml-team/uuidm] Pushed new tag upstream/0.9.8 [Git][ocaml-team/uuidm][pristine-tar] pristine-tar data for uuidm_0.9.8.orig.tar.bz2 aac-tactics_8.17.0-1_source.changes ACCEPTED into unstable belenios_2.0+dfsg-1_source.changes ACCEPTED into unstable ben_0.10.1_source.changes ACCEPTED into unstable biniou_1.2.2-1_source.changes ACCEPTED into unstable Bug#1002983: marked as done (FTBFS with camlp5 8.00.02) Bug#1028324: Removed package(s) from unstable Bug#1028324: RM: cduce -- RoQA, unmaintained, FTBFS, zero popcon Bug#1028488: src:coccinelle: fails to migrate to testing for too long: FTBFS on armhf Bug#1028869: marked as done (pyml: FTBFS: make[1]: *** [debian/rules:22: override_dh_auto_test] Error 1) Bug#1028869: pyml: FTBFS: make[1]: *** [debian/rules:22: override_dh_auto_test] Error 1 Bug#1029314: Removed package(s) from unstable Bug#1029314: RM: coccinelle [armhf] -- ROM; compilation on armhf crashes "out of memory" Bug#1029398: ben: "tracker --archs" is not honoured Bug#1029398: marked as done (ben: "tracker --archs" is not honoured) Bug#1029538: RM: coq-theories -- NBS; cruft Bug#1029547: RM: libcoq-ocaml-dev -- NBS; cruft Bug#1030074: advi: Replace package texlive-base-bin by texlive-binaries Bug#796418: marked as done (src:cduce: embeds build date, makes package non-reproducible) Bug#878983: marked as done (cduce FTBFS with OCaml 4.05.0) camlidl_1.11-1_source.changes ACCEPTED into unstable camlp-streams_5.0.1-1_source.changes ACCEPTED into unstable camlp5_8.00.04-1_source.changes ACCEPTED into unstable coccinelle is marked for autoremoval from testing coq-bignums_8.17.0-2_source.changes ACCEPTED into unstable coq-corn_8.16.0-2_source.changes ACCEPTED into unstable coq-deriving_0.1.0-2_source.changes ACCEPTED into unstable coq-dpdgraph_1.0+8.16-2_source.changes ACCEPTED into unstable coq-elpi_1.16.0-2_source.changes ACCEPTED into unstable coq-equations_1.3-8.16-2_source.changes ACCEPTED into unstable coq-ext-lib_0.11.7-2_source.changes ACCEPTED into unstable coq-extructures_0.3.1-3_source.changes ACCEPTED into unstable coq-gappa_1.5.2-5_source.changes ACCEPTED into unstable coq-hammer_1.3.2+8.16-2_source.changes ACCEPTED into unstable coq-hott_8.16-2_source.changes ACCEPTED into unstable coq-interval_4.6.1-2_source.changes ACCEPTED into unstable coq-iris_4.0.0-3_source.changes ACCEPTED into unstable coq-libhyps_2.0.6-2_source.changes ACCEPTED into unstable coq-math-classes_8.15.0-4_source.changes ACCEPTED into unstable coq-menhirlib_20220210+ds-4_source.changes ACCEPTED into unstable coq-mtac2_1.4+8.16-2_source.changes ACCEPTED into unstable coq-quickchick_1.6.4-3_source.changes ACCEPTED into unstable coq-record-update_0.3.1-2_source.changes ACCEPTED into unstable coq-reduction-effects_0.1.4-3_source.changes ACCEPTED into unstable coq-reglang_1.1.3-2_source.changes ACCEPTED into unstable coq-relation-algebra_1.7.8-2_source.changes ACCEPTED into unstable coq-simple-io_1.8.0-2_source.changes ACCEPTED into unstable coq-stdpp_1.8.0-3_source.changes ACCEPTED into unstable coq-unicoq_1.6-8.16-2_source.changes ACCEPTED into unstable coq-unimath_20220816-2_source.changes ACCEPTED into unstable coqeal_1.1.1-3_source.changes ACCEPTED into unstable coqprime_8.15-2_source.changes ACCEPTED into unstable coquelicot_3.2.0-8_source.changes ACCEPTED into unstable cppo_1.6.9-1_source.changes ACCEPTED into unstable crowbar is marked for autoremoval from testing findlib_1.9.6-1_source.changes ACCEPTED into unstable flocq_4.1.0-3_source.changes ACCEPTED into unstable headache_1.06-1_source.changes ACCEPTED into unstable hol-light_20230128-1_source.changes ACCEPTED into unstable lablgtk2_2.18.13-1_source.changes ACCEPTED into unstable lablgtk3_3.1.3-1_source.changes ACCEPTED into unstable labltk_8.06.13-1_source.changes ACCEPTED into unstable lwt-log_1.1.2-1_source.changes ACCEPTED into unstable mathcomp-analysis_0.6.0-2_source.changes ACCEPTED into unstable ocaml-afl-persistent is marked for autoremoval from testing ocaml-batteries_3.6.0-1_source.changes ACCEPTED into unstable ocaml-ca-certs_0.2.3-1_source.changes ACCEPTED into unstable ocaml-cairo2_0.6.4+dfsg-1_source.changes ACCEPTED into unstable ocaml-ctypes_0.20.1-1_source.changes ACCEPTED into unstable ocaml-duration_0.2.1-1_source.changes ACCEPTED into unstable ocaml-eqaf_0.9-1_source.changes ACCEPTED into unstable ocaml-extunix_0.4.1-1_source.changes ACCEPTED into unstable ocaml-fileutils_0.6.4-1_source.changes ACCEPTED into unstable ocaml-mirage-crypto_0.10.7-1_source.changes ACCEPTED into unstable ocaml-re_1.10.4-1_source.changes ACCEPTED into unstable ocaml-shine_0.2.3-1_source.changes ACCEPTED into unstable ocaml-stdcompat_19-1_source.changes ACCEPTED into unstable ocaml-taglib_0.3.10-1_source.changes ACCEPTED into unstable ocaml-topkg_1.0.7-1_source.changes ACCEPTED into unstable ocaml-x509_0.16.2-1_source.changes ACCEPTED into unstable opam-file-format_2.1.5-1_source.changes ACCEPTED into unstable ott_0.32+ds-3_source.changes ACCEPTED into unstable paramcoq_1.1.3+coq8.16-3_source.changes ACCEPTED into unstable parmap_1.2.5-1_source.changes ACCEPTED into unstable Processed: Re: Bug#1028324: RM: cduce -- RoQA, unmaintained, FTBFS, zero popcon Processed: severity of 1028324 is serious Processed: src:coccinelle: fails to migrate to testing for too long: FTBFS on armhf Processing of aac-tactics_8.17.0-1_source.changes Processing of belenios_2.0+dfsg-1_source.changes Processing of ben_0.10.1_source.changes Processing of biniou_1.2.2-1_source.changes Processing of camlidl_1.11-1_source.changes Processing of camlp-streams_5.0.1-1_source.changes Processing of camlp5_8.00.04-1_source.changes Processing of coq-bignums_8.17.0-2_source.changes Processing of coq-corn_8.16.0-2_source.changes Processing of coq-deriving_0.1.0-2_source.changes Processing of coq-dpdgraph_1.0+8.16-2_source.changes Processing of coq-elpi_1.16.0-2_source.changes Processing of coq-equations_1.3-8.16-2_source.changes Processing of coq-ext-lib_0.11.7-2_source.changes Processing of coq-extructures_0.3.1-3_source.changes Processing of coq-gappa_1.5.2-5_source.changes Processing of coq-hammer_1.3.2+8.16-2_source.changes Processing of coq-hott_8.16-2_source.changes Processing of coq-interval_4.6.1-2_source.changes Processing of coq-iris_4.0.0-3_source.changes Processing of coq-libhyps_2.0.6-2_source.changes Processing of coq-math-classes_8.15.0-4_source.changes Processing of coq-menhirlib_20220210+ds-4_source.changes Processing of coq-mtac2_1.4+8.16-2_source.changes Processing of coq-quickchick_1.6.4-3_source.changes Processing of coq-record-update_0.3.1-2_source.changes Processing of coq-reduction-effects_0.1.4-3_source.changes Processing of coq-reglang_1.1.3-2_source.changes Processing of coq-relation-algebra_1.7.8-2_source.changes Processing of coq-simple-io_1.8.0-2_source.changes Processing of coq-stdpp_1.8.0-3_source.changes Processing of coq-unicoq_1.6-8.16-2_source.changes Processing of coq-unimath_20220816-2_source.changes Processing of coqeal_1.1.1-3_source.changes Processing of coqprime_8.15-2_source.changes Processing of coquelicot_3.2.0-8_source.changes Processing of cppo_1.6.9-1_source.changes Processing of findlib_1.9.6-1_source.changes Processing of flocq_4.1.0-3_source.changes Processing of headache_1.06-1_source.changes Processing of hol-light_20230128-1_source.changes Processing of lablgtk2_2.18.13-1_source.changes Processing of lablgtk3_3.1.3-1_source.changes Processing of labltk_8.06.13-1_source.changes Processing of lwt-log_1.1.2-1_source.changes Processing of mathcomp-analysis_0.6.0-2_source.changes Processing of ocaml-batteries_3.6.0-1_source.changes Processing of ocaml-ca-certs_0.2.3-1_source.changes Processing of ocaml-cairo2_0.6.4+dfsg-1_source.changes Processing of ocaml-ctypes_0.20.1-1_source.changes Processing of ocaml-duration_0.2.1-1_source.changes Processing of ocaml-eqaf_0.9-1_source.changes Processing of ocaml-extunix_0.4.1-1_source.changes Processing of ocaml-fileutils_0.6.4-1_source.changes Processing of ocaml-mirage-crypto_0.10.7-1_source.changes Processing of ocaml-re_1.10.4-1_source.changes Processing of ocaml-shine_0.2.3-1_source.changes Processing of ocaml-stdcompat_19-1_source.changes Processing of ocaml-taglib_0.3.10-1_source.changes Processing of ocaml-topkg_1.0.7-1_source.changes Processing of ocaml-x509_0.16.2-1_source.changes Processing of opam-file-format_2.1.5-1_source.changes Processing of ott_0.32+ds-3_source.changes Processing of paramcoq_1.1.3+coq8.16-3_source.changes Processing of parmap_1.2.5-1_source.changes Processing of pyml_20220905-1_source.changes Processing of uuidm_0.9.8-1_source.changes pyml is marked for autoremoval from testing pyml_20220905-1_source.changes ACCEPTED into unstable uuidm_0.9.8-1_source.changes ACCEPTED into unstable The last update was on 12:20 GMT Tue Jan 31. There are 245 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