debian-ocaml-maint Jun 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]
mathcomp-algebra-tactics_1.1.1-1_source.changes ACCEPTED into unstable [Git][ocaml-team/aac-tactics] Pushed new tag debian/8.17.0-2 [Git][ocaml-team/aac-tactics][master] 3 commits: Added lintian overrides for false issues [Git][ocaml-team/coq] Pushed new tag debian/8.17.0+dfsg-1 [Git][ocaml-team/coq] Pushed new tag upstream/8.17.0+dfsg [Git][ocaml-team/coq][master] 9 commits: New upstream version 8.17.0+dfsg [Git][ocaml-team/coq][upstream] New upstream version 8.17.0+dfsg [Git][ocaml-team/js-of-ocaml] Pushed new tag upstream/5.3.0 [Git][ocaml-team/js-of-ocaml][master] 6 commits: Really fix d/watch [Git][ocaml-team/js-of-ocaml][upstream] New upstream version 5.3.0 [Git][ocaml-team/ocaml-dune][master] 8 commits: Fix d/watch [Git][ocaml-team/ocaml-dune][upstream] New upstream version 3.8.2 [Git][ocaml-team/ocamlbuild] Pushed new tag upstream/0.14.2 [Git][ocaml-team/ocamlbuild][master] Version 0.14.2 wants OCaml >= 5.1 [Git][ocaml-team/sexplib310] Pushed new tag upstream/0.16.0 [Git][ocaml-team/ssreflect] Pushed new tag debian/1.17.0-1 [Git][ocaml-team/ssreflect] Pushed new tag upstream/1.17.0 [Git][ocaml-team/ssreflect][master] 6 commits: Bump standards-version to 4.6.2 [Git][ocaml-team/ssreflect][upstream] New upstream version 1.17.0 aac-tactics_8.17.0-2_source.changes ACCEPTED into unstable Accepted coq 8.17.0+dfsg-1 (source) into unstable Bug#1011323: lablgtk2: Please remove the obsolete gtkgl/glarea component Bug#1011323: marked as done (lablgtk2: Please remove the obsolete gtkgl/glarea component) Bug#1037277: advi: reproducible-builds: Embedded build path and usrmerge paths in example Makefile Bug#1037318: ben: Quiet mode does not suppress read_global_config output Bug#1037512: why3: did not remove the /usr/share/emacs25/site-lisp/why3.el symlink on package removal Bug#1038076: ocamlsdl: Is a language binding for an obsolete version of SDL Bug#1038077: freetennis: Depends on SDL 1.2 Bug#1038078: liquidsoap: Indirectly depends on SDL 1.2 Bug#1038228: marked as done (please drop transitional package ocaml-mode from src:caml-mode) Bug#1038228: please drop transitional package ocaml-mode from src:caml-mode Bug#1038290: please drop transitional package dune from src:ocaml-dune Bug#1038321: please drop transitional package tuareg-mode from src:tuareg-mode Bug#1038382: coq: FTBFS: /bin/sh: Argument list too long Bug#1038382: marked as done (coq: FTBFS: /bin/sh: Argument list too long) Bug#1038450: coq-unimath FTBFS on 32bit Bug#1038450: marked as done (coq-unimath FTBFS on 32bit) Bug#1038450: patch probably available Bug#1038672: marked as done (mathcomp-abel FTBFS: Error: The reference fact_smonotone was not found in the current environment.) Bug#1038672: mathcomp-abel FTBFS: Error: The reference fact_smonotone was not found in the current environment. Bug#1038675: coqeal FTBFS: Error: Cannot find a physical path bound to logical path mpoly with prefix SsrMultinomials. Bug#1038675: marked as done (coqeal FTBFS: Error: Cannot find a physical path bound to logical path mpoly with prefix SsrMultinomials.) Bug#1038692: ITP: ppx-cold -- Provide the @cold annotation for OCaml Bug#1038695: marked as done (mathcomp-multinomials: autopkgtest regression with coq 8.17.0) Bug#1038695: mathcomp-multinomials: autopkgtest regression with coq 8.17.0 Bug#1038819: coq-unimath: Please re-enable support for riscv64 Bug#1038819: marked as done (coq-unimath: Please re-enable support for riscv64) Bug#1038869: jane-street-headers FTBFS on ocaml bytecode architectures Bug#1038869: marked as done (jane-street-headers FTBFS on ocaml bytecode architectures) Bug#1039031: marked as done (ppx-enumerate FTBFS on bytecode architectures) Bug#1039031: ppx-enumerate FTBFS on bytecode architectures Bug#1039032: marked as done (ppx-globalize FTBFS on bytecode architectures) Bug#1039032: ppx-globalize FTBFS on bytecode architectures Bug#1039036: marked as done (ppx-cold FTBFS on bytecode architectures) Bug#1039036: ppx-cold FTBFS on bytecode architectures Bug#1039115: marked as done (ppx-assert FTBFS on bytecode architectures) Bug#1039115: ppx-assert FTBFS on bytecode architectures Bug#1039269: mldonkey: ships sysv-init script without systemd unit Bug#1039293: ocsigenserver: ships sysv-init script without systemd unit Bug#1039406: marked as done (ppx-base FTBFS on bytecode architectures) Bug#1039406: ppx-base FTBFS on bytecode architectures Bug#1039739: ppx-expect: FTBFS: Error: Unbound module Sexplib0.Sexp_conv_record Bug#654405: marked as done (/usr/bin/ocamlbuild.native: ocamlbuild has undocumented preconditions using .itarget-files) Bug#913549: marked as done (ocamlbuild: new upstream release (0.13.1)) caml-mode_4.9-1_source.changes ACCEPTED into experimental caml-mode_4.9-2_source.changes ACCEPTED into unstable coq 8.17.0+dfsg-1 MIGRATED to testing coq-bignums_8.17.0-3_source.changes ACCEPTED into unstable coq-corn_8.16.0-3_source.changes ACCEPTED into unstable coq-deriving_0.1.1-1_source.changes ACCEPTED into unstable coq-dpdgraph_1.0+8.17-1_source.changes ACCEPTED into unstable coq-elpi_1.17.1-1_source.changes ACCEPTED into unstable coq-equations_1.3-8.17-1_source.changes ACCEPTED into unstable coq-ext-lib_0.11.8-1_source.changes ACCEPTED into unstable coq-extructures_0.3.1-4_source.changes ACCEPTED into unstable coq-gappa_1.5.3-1_source.changes ACCEPTED into unstable coq-hammer_1.3.2+8.17-1_source.changes ACCEPTED into unstable coq-hierarchy-builder_1.4.0-3_source.changes ACCEPTED into unstable coq-hott_8.17-1_source.changes ACCEPTED into unstable coq-interval_4.7.0-1_source.changes ACCEPTED into unstable coq-iris_4.0.0-4_source.changes ACCEPTED into unstable coq-libhyps_2.0.6-3_source.changes ACCEPTED into unstable coq-math-classes_8.17.0-1_source.changes ACCEPTED into unstable coq-menhirlib_20220210+ds-5_source.changes ACCEPTED into unstable coq-menhirlib_20230608+ds-1_source.changes ACCEPTED into unstable coq-mtac2_1.4+8.17-1_source.changes ACCEPTED into unstable coq-quickchick_2.0-1_source.changes ACCEPTED into unstable coq-record-update_0.3.2-1_source.changes ACCEPTED into unstable coq-reduction-effects_0.1.4-4_source.changes ACCEPTED into unstable coq-reglang_1.1.3-3_source.changes ACCEPTED into unstable coq-relation-algebra_1.7.9-1_source.changes ACCEPTED into unstable coq-simple-io_1.8.0-3_source.changes ACCEPTED into unstable coq-stdpp_1.8.0-4_source.changes ACCEPTED into unstable coq-unicoq_1.6-8.17-1_source.changes ACCEPTED into unstable coq-unimath_20230420-1_source.changes ACCEPTED into unstable coq-unimath_20230420-2_source.changes ACCEPTED into unstable coq-unimath_20230420-3_source.changes ACCEPTED into unstable coq-unimath_20230420-4_source.changes ACCEPTED into unstable coq_8.17.0+dfsg-1_source.changes ACCEPTED into unstable coqeal_1.1.3-1_source.changes ACCEPTED into unstable coqprime_8.17-1_source.changes ACCEPTED into unstable coquelicot_3.3.1-1_source.changes ACCEPTED into unstable dh-coq_0.6_source.changes ACCEPTED into unstable elpi_1.16.10-1_source.changes ACCEPTED into unstable flocq_4.1.1-1_source.changes ACCEPTED into unstable jane-street-headers_0.16.0-1_amd64.changes ACCEPTED into unstable jane-street-headers_0.16.0-1_amd64.changes is NEW jane-street-headers_0.16.0-2_source.changes ACCEPTED into unstable jst-config_0.16.0-1_amd64.changes ACCEPTED into unstable jst-config_0.16.0-1_amd64.changes is NEW lablgtk2_2.18.13-1.1_source.changes ACCEPTED into unstable lists Brand & Advertising List mathcomp-abel_1.2.1-2_source.changes ACCEPTED into unstable mathcomp-analysis_0.6.2-1_source.changes ACCEPTED into unstable mathcomp-analysis_0.6.3-1_source.changes ACCEPTED into unstable mathcomp-bigenough_1.0.1-9_source.changes ACCEPTED into unstable mathcomp-finmap_1.5.2-2_source.changes ACCEPTED into unstable mathcomp-multinomials_1.6.0-1_source.changes ACCEPTED into unstable mathcomp-multinomials_1.6.0-2_source.changes ACCEPTED into unstable mathcomp-real-closed_1.1.4-1_source.changes ACCEPTED into unstable mathcomp-zify_1.3.0+1.12+8.13-1_source.changes ACCEPTED into unstable ocaml-merlin_4.7-413-1_amd64.changes is NEW ocaml-pp_1.1.2-1_amd64.changes ACCEPTED into unstable ocaml-pp_1.1.2-1_amd64.changes is NEW ocaml-time-now_0.16.0-1_amd64.changes ACCEPTED into unstable ocaml-time-now_0.16.0-1_amd64.changes is NEW ott_0.33+ds-1_source.changes ACCEPTED into unstable paramcoq_1.1.3+coq8.17-1_source.changes ACCEPTED into unstable ppx-assert_0.16.0-1_amd64.changes ACCEPTED into unstable ppx-assert_0.16.0-1_amd64.changes is NEW ppx-assert_0.16.0-2_source.changes ACCEPTED into unstable ppx-assert_0.16.0-3_source.changes ACCEPTED into unstable ppx-base_0.16.0-1_amd64.changes ACCEPTED into unstable ppx-base_0.16.0-1_amd64.changes is NEW ppx-base_0.16.0-2_source.changes ACCEPTED into unstable ppx-cold_0.16.0-1_amd64.changes ACCEPTED into unstable ppx-cold_0.16.0-1_amd64.changes is NEW ppx-cold_0.16.0-1_source.changes REJECTED ppx-cold_0.16.0-2_source.changes ACCEPTED into unstable ppx-enumerate_0.16.0-1_amd64.changes ACCEPTED into unstable ppx-enumerate_0.16.0-1_amd64.changes is NEW ppx-enumerate_0.16.0-2_source.changes ACCEPTED into unstable ppx-enumerate_0.16.0-3_source.changes ACCEPTED into unstable ppx-expect_0.16.0-1_amd64.changes ACCEPTED into unstable ppx-expect_0.16.0-1_amd64.changes is NEW ppx-globalize_0.16.0-1_amd64.changes ACCEPTED into unstable ppx-globalize_0.16.0-1_amd64.changes is NEW ppx-globalize_0.16.0-2_source.changes ACCEPTED into unstable ppx-hash_0.16.0-1_source.changes ACCEPTED into unstable ppx-inline-test_0.16.0-1_amd64.changes ACCEPTED into unstable ppx-inline-test_0.16.0-1_amd64.changes is NEW Processed: block 1038036 with 1038193 1038196 1038197 1038071 1038342 1038347 1038349 1038350 1038354 1038357 1038359 1038358 1038364 1038368 1038370 1038372 1038454 1038456 1038457 1038458 1038469 1038472 1038346 1038091 1038376 1038505 1038095 1038076 1038083 1038064 1038592 1037429 1038476 1038078 1038481 1038498 1038499 1038500 1038501 1038507 1038508 Processed: block 1038037 with 1038012 1038013 1038020 1038021 1038023 1038740 1038029 1038043 1038048 1038049 1038050 1038051 1038053 1038054 1038055 1038057 1038059 1038062 1038742 1038170 1038173 1038174 1038175 1038176 1038178 1038180 1038181 1038182 1038183 1038184 1038186 1038193 1038194 1038195 1038196 1038197 1038198 1038342 1038347 1038348 1038349 1038350 1038077 1038354 1038087 1038361 1038362 1038368 1038370 1038377 1038454 1038455 1038456 1038458 1038459 1038460 1038461 1038465 1038470 1038473 1038474 1038346 1038092 1038505 1038095 1038076 1038083 1038592 1037429 1038475 1038476 1038478 1038480 1038481 1038498 1038499 1038500 1038502 1038503 1038508 1038514 1038510 Processed: block 1038070 with 1038023 1038051 1038054 1038057 1038059 1038175 1038034 1038193 1038194 1038195 1038197 1038071 1038342 1038353 1038354 1038359 1038358 1038364 1038370 1038372 1038454 1038093 1038457 1038458 1038505 1038076 1038083 1038095 1037429 1038476 1038078 1038481 1038507 Processed: block 1038076 with 1038077 Processed: block 1038076 with 1038078 1038078 Processed: block 1038080 with 1038054 1038350 1038353 1038094 1038505 1038076 1038083 1037429 1038476 1038481 1038510 1038524 1038497 1038495 Processed: found 1000003 in 2.1.2-1, tagging 1000003, found 999965 in 3.3.5+ds-10, tagging 999965 ... Processed: Marking PCRE3 use as RC for trixie Processed: tagging 1038695 Processing of aac-tactics_8.17.0-2_source.changes Processing of caml-mode_4.9-1_source.changes Processing of caml-mode_4.9-2_source.changes Processing of coq-bignums_8.17.0-3_source.changes Processing of coq-corn_8.16.0-3_source.changes Processing of coq-deriving_0.1.1-1_source.changes Processing of coq-dpdgraph_1.0+8.17-1_source.changes Processing of coq-elpi_1.17.1-1_source.changes Processing of coq-equations_1.3-8.17-1_source.changes Processing of coq-ext-lib_0.11.8-1_source.changes Processing of coq-extructures_0.3.1-4_source.changes Processing of coq-gappa_1.5.3-1_source.changes Processing of coq-hammer_1.3.2+8.17-1_source.changes Processing of coq-hierarchy-builder_1.4.0-3_source.changes Processing of coq-hott_8.17-1_source.changes Processing of coq-interval_4.7.0-1_source.changes Processing of coq-iris_4.0.0-4_source.changes Processing of coq-libhyps_2.0.6-3_source.changes Processing of coq-math-classes_8.17.0-1_source.changes Processing of coq-menhirlib_20220210+ds-5_source.changes Processing of coq-menhirlib_20230608+ds-1_source.changes Processing of coq-mtac2_1.4+8.17-1_source.changes Processing of coq-quickchick_2.0-1_source.changes Processing of coq-record-update_0.3.2-1_source.changes Processing of coq-reduction-effects_0.1.4-4_source.changes Processing of coq-reglang_1.1.3-3_source.changes Processing of coq-relation-algebra_1.7.9-1_source.changes Processing of coq-simple-io_1.8.0-3_source.changes Processing of coq-stdpp_1.8.0-4_source.changes Processing of coq-unicoq_1.6-8.17-1_source.changes Processing of coq-unimath_20230420-1_source.changes Processing of coq-unimath_20230420-2_source.changes Processing of coq-unimath_20230420-3_source.changes Processing of coq-unimath_20230420-4_source.changes Processing of coq_8.17.0+dfsg-1_source.changes Processing of coqeal_1.1.3-1_source.changes Processing of coqprime_8.17-1_source.changes Processing of coquelicot_3.3.1-1_source.changes Processing of dh-coq_0.6_source.changes Processing of elpi_1.16.10-1_source.changes Processing of flocq_4.1.1-1_source.changes Processing of jane-street-headers_0.16.0-1_amd64.changes Processing of jane-street-headers_0.16.0-2_source.changes Processing of jst-config_0.16.0-1_amd64.changes Processing of lablgtk2_2.18.13-1.1_source.changes Processing of mathcomp-abel_1.2.1-2_source.changes Processing of mathcomp-algebra-tactics_1.1.1-1_source.changes Processing of mathcomp-analysis_0.6.2-1_source.changes Processing of mathcomp-analysis_0.6.3-1_source.changes Processing of mathcomp-bigenough_1.0.1-9_source.changes Processing of mathcomp-finmap_1.5.2-2_source.changes Processing of mathcomp-multinomials_1.6.0-1_source.changes Processing of mathcomp-multinomials_1.6.0-2_source.changes Processing of mathcomp-real-closed_1.1.4-1_source.changes Processing of mathcomp-zify_1.3.0+1.12+8.13-1_source.changes Processing of ocaml-merlin_4.7-413-1_amd64.changes Processing of ocaml-pp_1.1.2-1_amd64.changes Processing of ocaml-time-now_0.16.0-1_amd64.changes Processing of ott_0.33+ds-1_source.changes Processing of paramcoq_1.1.3+coq8.17-1_source.changes Processing of ppx-assert_0.16.0-1_amd64.changes Processing of ppx-assert_0.16.0-2_source.changes Processing of ppx-assert_0.16.0-3_source.changes Processing of ppx-base_0.16.0-1_amd64.changes Processing of ppx-base_0.16.0-2_source.changes Processing of ppx-cold_0.16.0-1_amd64.changes Processing of ppx-cold_0.16.0-1_source.changes Processing of ppx-cold_0.16.0-2_source.changes Processing of ppx-enumerate_0.16.0-1_amd64.changes Processing of ppx-enumerate_0.16.0-2_source.changes Processing of ppx-enumerate_0.16.0-3_source.changes Processing of ppx-expect_0.16.0-1_amd64.changes Processing of ppx-globalize_0.16.0-1_amd64.changes Processing of ppx-globalize_0.16.0-2_source.changes Processing of ppx-hash_0.16.0-1_source.changes Processing of ppx-inline-test_0.16.0-1_amd64.changes Processing of ssreflect_1.17.0-1_source.changes ssreflect_1.17.0-1_source.changes ACCEPTED into unstable Support for packaging an OCaml-based tool for Debian Working on the ounit package - and finding a slew of new packages are needed... The last update was on 20:00 GMT Fri Jun 30. There are 250 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