debian-ocaml-maint Jul 2022 by subject

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

[Thread Index] [Date Index] [Author Index] [Other Debian Lists] [Debian Home]
[Git][ocaml-team/alt-ergo] Pushed new tag debian/2.4.1-4 [Git][ocaml-team/alt-ergo][master] Document the conditional patch for non-native architectures [Git][ocaml-team/coq-doc] Pushed new tag debian/8.15.2-3 [Git][ocaml-team/liquidsoap] Pushed new tag debian/2.0.6-1 [Git][ocaml-team/liquidsoap] Pushed new tag upstream/2.0.6 [Git][ocaml-team/liquidsoap][master] 4 commits: New upstream version 2.0.6 [Git][ocaml-team/liquidsoap][upstream] New upstream version 2.0.6 [Git][ocaml-team/ocaml-atd] Pushed new tag debian/2.9.1-1 [Git][ocaml-team/ocaml-atd] Pushed new tag debian/2.9.1-2 [Git][ocaml-team/ocaml-atd] Pushed new tag upstream/2.9.1 [Git][ocaml-team/ocaml-atd][master] 3 commits: New upstream version 2.9.1 [Git][ocaml-team/ocaml-atd][pristine-tar] pristine-tar data for ocaml-atd_2.9.1.orig.tar.gz [Git][ocaml-team/ocaml-atd][upstream] New upstream version 2.9.1 [Git][ocaml-team/ocaml-flac][master] 2 commits: Remove constraints unnecessary since buster [Git][ocaml-team/ocaml-ogg] Pushed new tag debian/0.7.2-1 [Git][ocaml-team/ocaml-ogg] Pushed new tag upstream/0.7.2 [Git][ocaml-team/ocaml-ogg][master] 4 commits: New upstream version 0.7.2 [Git][ocaml-team/ocaml-ogg][pristine-tar] pristine-tar data for ocaml-ogg_0.7.2.orig.tar.gz [Git][ocaml-team/ocaml-ogg][upstream] New upstream version 0.7.2 [Git][ocaml-team/ocaml-opus] Pushed new tag debian/0.2.2-1 [Git][ocaml-team/ocaml-opus] Pushed new tag upstream/0.2.2 [Git][ocaml-team/ssreflect] Pushed new tag debian/1.15.0-1 [Git][ocaml-team/ssreflect] Pushed new tag upstream/1.15.0 [Git][ocaml-team/ssreflect][master] 5 commits: New upstream version 1.15.0 [Git][ocaml-team/ssreflect][upstream] New upstream version 1.15.0 alt-ergo is marked for autoremoval from testing alt-ergo_2.4.1-4_source.changes ACCEPTED into unstable Bug#1013362: marked as done (src:alt-ergo: fails to migrate to testing for too long: FTBFS on armel, mips64el and mipsel) Bug#1014358: src:why3: fails to migrate to testing for too long: blocked by dependency Bug#1014572: ITP: coq-simple-io -- Coq plugin for purely functional IO Bug#1014583: ITP: coq-equations -- Coq library to work with functions defined by equations Bug#1014585: ITP: coq-stdpp -- Extended standard library for Coq Bug#1014602: ITP: coq-menhirlib -- support library for verified Menhir parsers Bug#1014610: ITP: ott -- Ott tool Bug#1014726: Please package new upstream Bug#1014921: ITP: coq-iris -- high-order concurrent separation logic framework for Coq Bug#1014940: ITP: coqprime -- Primality certification for Coq Bug#1014955: ITP: coq-corn -- Coq Constructive Repository at Nijmegen Bug#1014965: ITP: coq-libhyps -- Tactics on hypotheses in Coq Bug#1014969: ITP: coq-gappa -- Coq tactic to use Gappa for floating-point goals Bug#1014973: ITP: coq-hammer -- automated reasoning tool for Coq Bug#1014975: ITP: coq-interval -- interval arithmetic for Coq Bug#1014989: ITP: coq-unicoq -- enhanced unification algorithm for Coq Bug#1014991: ITP: coq-relation-algebra -- relation algebra for Coq Bug#1014993: ITP: coq-reglang -- representation of regular languages in Coq Bug#1014997: ITP: coq-unimath -- univalent formalization of mathematics for Coq Bug#1015000: ITP: coq-quickchick -- randomized testing framework for Coq Bug#1015010: ITP: coq-deriving -- deriving MathComp classes from inductive types Bug#1015018: ITP: coq-reduction-effects -- reduction effects for Coq Bug#1015020: ITP: coq-mtac2 -- Mtac2 tactic language for Coq Bug#1015021: ITP: coq-extructures -- data structures with extensional reasoning for Coq Bug#1015165: ITP: coq-record-update -- automatic record fields updaters for Coq Bug#1015179: Please update ppxlib to latest upstream Bug#1015560: ocaml: ftbfs with LTO (link time optimization) enabled Bug#1015758: ocaml-odoc: autopkgtests failures Bug#1016259: mathcomp-analysis: FTBFS: build-dependency not installable: libcoq-elpi-b71f8 Bug#1016303: coq-hierarchy-builder: FTBFS: make[4]: *** [Makefile.test-suite.coq.local:22: post-all] Error 1 Bug#1016303: marked as done (coq-hierarchy-builder: FTBFS: make[4]: *** [Makefile.test-suite.coq.local:22: post-all] Error 1) Bug#741535: marked as done (libssreflect-coq: please Provide: an ABI) Bug#977258: marked as done (libssreflect-coq: ABI break by coq binNMU) Comments regarding coqeal_1.1.0-1_amd64.changes coq 8.15.2+dfsg-2 MIGRATED to testing coq-corn_8.13.0-1_amd64.changes ACCEPTED into unstable, unstable coq-corn_8.13.0-1_amd64.changes is NEW coq-deriving_0.1.0-1_amd64.changes ACCEPTED into unstable, unstable coq-deriving_0.1.0-1_amd64.changes is NEW coq-doc_8.15.2-3_source.changes ACCEPTED into unstable coq-dpdgraph_1.0+8.15-1_amd64.changes ACCEPTED into unstable, unstable coq-dpdgraph_1.0+8.15-2_source.changes ACCEPTED into unstable coq-equations_1.3-8.15-1_amd64.changes is NEW coq-equations_1.3-8.15-1_amd64.changes REJECTED coq-equations_1.3-8.15-2_amd64.changes ACCEPTED into unstable, unstable coq-equations_1.3-8.15-2_amd64.changes is NEW coq-equations_1.3-8.15-2_amd64.changes REJECTED coq-ext-lib_0.11.6-1_amd64.changes ACCEPTED into unstable, unstable coq-ext-lib_0.11.6-2_source.changes ACCEPTED into unstable coq-extructures_0.3.1-1_amd64.changes ACCEPTED into unstable, unstable coq-extructures_0.3.1-1_amd64.changes is NEW coq-extructures_0.3.1-2_source.changes ACCEPTED into unstable coq-gappa_1.5.2-1_amd64.changes is NEW coq-gappa_1.5.2-1_amd64.changes REJECTED coq-gappa_1.5.2-2_amd64.changes ACCEPTED into unstable, unstable coq-gappa_1.5.2-2_amd64.changes is NEW coq-hammer_1.3.2+8.15-1_amd64.changes ACCEPTED into unstable, unstable coq-hammer_1.3.2+8.15-1_amd64.changes is NEW coq-hierarchy-builder_1.3.0-1_source.changes ACCEPTED into unstable coq-hott_8.15-1_amd64.changes REJECTED coq-hott_8.15-2_amd64.changes ACCEPTED into unstable, unstable coq-hott_8.15-2_amd64.changes is NEW coq-hott_8.15-2_amd64.changes REJECTED coq-hott_8.15-3_source.changes ACCEPTED into unstable coq-interval_4.5.1-1_amd64.changes is NEW coq-interval_4.5.1-1_amd64.changes REJECTED coq-interval_4.5.1-2_amd64.changes ACCEPTED into unstable, unstable coq-interval_4.5.1-2_amd64.changes is NEW coq-iris_3.6.0-1_amd64.changes ACCEPTED into unstable, unstable coq-iris_3.6.0-1_amd64.changes is NEW coq-math-classes_8.15.0-1_amd64.changes REJECTED coq-math-classes_8.15.0-2_amd64.changes ACCEPTED into unstable, unstable coq-math-classes_8.15.0-2_amd64.changes is NEW coq-math-classes_8.15.0-3_source.changes ACCEPTED into unstable coq-menhirlib_20220210+ds-1_amd64.changes ACCEPTED into unstable, unstable coq-menhirlib_20220210+ds-1_amd64.changes is NEW coq-menhirlib_20220210+ds-2_source.changes ACCEPTED into unstable coq-mtac2_1.4+8.15-1_amd64.changes is NEW coq-mtac2_1.4+8.15-1_amd64.changes REJECTED coq-mtac2_1.4+8.15-2_amd64.changes ACCEPTED into unstable, unstable coq-mtac2_1.4+8.15-2_amd64.changes is NEW coq-quickchick_1.6.3-1_amd64.changes ACCEPTED into unstable, unstable coq-quickchick_1.6.3-1_amd64.changes is NEW coq-record-update_0.3.1-1_amd64.changes ACCEPTED into unstable, unstable coq-record-update_0.3.1-1_amd64.changes is NEW coq-reduction-effects_0.1.3-1_amd64.changes is NEW coq-reduction-effects_0.1.3-1_amd64.changes REJECTED coq-reduction-effects_0.1.3-2_amd64.changes ACCEPTED into unstable, unstable coq-reduction-effects_0.1.3-2_amd64.changes is NEW coq-reglang_1.1.3-1_amd64.changes ACCEPTED into unstable, unstable coq-reglang_1.1.3-1_amd64.changes is NEW coq-simple-io_1.7.0-1_amd64.changes ACCEPTED into unstable, unstable coq-simple-io_1.7.0-1_amd64.changes is NEW coq-stdpp_1.7.0-1_amd64.changes ACCEPTED into unstable, unstable coq-stdpp_1.7.0-1_amd64.changes is NEW coq-stdpp_1.7.0-2_source.changes ACCEPTED into unstable coq-unicoq_1.6-8.15-1_amd64.changes is NEW coq-unicoq_1.6-8.15-1_amd64.changes REJECTED coq-unicoq_1.6-8.15-2_amd64.changes ACCEPTED into unstable, unstable coq-unicoq_1.6-8.15-2_amd64.changes is NEW coq-unimath_20220204-1_amd64.changes ACCEPTED into unstable, unstable coq-unimath_20220204-1_amd64.changes is NEW coqeal_1.1.0-1_amd64.changes ACCEPTED into unstable, unstable coqeal_1.1.1-1_source.changes ACCEPTED into unstable coqprime_8.15-1_amd64.changes ACCEPTED into unstable, unstable coqprime_8.15-1_amd64.changes is NEW coquelicot_3.2.0-7_source.changes ACCEPTED into unstable elpi_1.16.5-1_source.changes ACCEPTED into unstable flocq_4.1.0-2_source.changes ACCEPTED into unstable liquidsoap_2.0.6-1_source.changes ACCEPTED into unstable mathcomp-algebra-tactics_1.0.0-6_source.changes ACCEPTED into unstable mathcomp-analysis_0.5.1-3_source.changes ACCEPTED into unstable mathcomp-analysis_0.5.2-1_source.changes ACCEPTED into unstable mathcomp-bigenough_1.0.1-8_source.changes ACCEPTED into unstable mathcomp-finmap_1.5.1-8_source.changes ACCEPTED into unstable mathcomp-finmap_1.5.1-9_source.changes ACCEPTED into unstable mathcomp-multinomials_1.5.5-8_source.changes ACCEPTED into unstable mathcomp-real-closed_1.1.2-5_source.changes ACCEPTED into unstable mathcomp-real-closed_1.1.3-1_source.changes ACCEPTED into unstable mathcomp-real-closed_1.1.3-1_source.changes REJECTED mathcomp-zify_1.2.0+1.12+8.13-6_source.changes ACCEPTED into unstable ocaml-ansi-terminal_0.8.5-1_source.changes ACCEPTED into unstable ocaml-atd_2.9.1-1_source.changes ACCEPTED into unstable ocaml-atd_2.9.1-2_amd64.changes ACCEPTED into unstable, unstable ocaml-atd_2.9.1-2_amd64.changes is NEW ocaml-ffmpeg_1.1.4-1_source.changes ACCEPTED into unstable ocaml-ogg_0.7.2-1_source.changes ACCEPTED into unstable ocaml-opus_0.2.2-1_source.changes ACCEPTED into unstable ocaml-pprint_20220103-1_amd64.changes ACCEPTED into unstable, unstable On frama-c's debian/watch ott_0.32+ds-1_amd64.changes is NEW ott_0.32+ds-1_amd64.changes REJECTED ott_0.32+ds-2_amd64.changes ACCEPTED into unstable, unstable ott_0.32+ds-2_amd64.changes is NEW ppxlib_0.27.0-1_source.changes ACCEPTED into experimental Processed: Bug#1013362 marked as pending in alt-ergo Processed: Put an explicit block on the wishlist bug reports Processed: src:why3: fails to migrate to testing for too long: blocked by dependency Processed: update bts meta info Processed: Wrong bug number - sorry Processing of alt-ergo_2.4.1-4_source.changes Processing of coq-corn_8.13.0-1_amd64.changes Processing of coq-deriving_0.1.0-1_amd64.changes Processing of coq-doc_8.15.2-3_source.changes Processing of coq-dpdgraph_1.0+8.15-2_source.changes Processing of coq-equations_1.3-8.15-1_amd64.changes Processing of coq-equations_1.3-8.15-2_amd64.changes Processing of coq-ext-lib_0.11.6-2_source.changes Processing of coq-extructures_0.3.1-1_amd64.changes Processing of coq-extructures_0.3.1-2_source.changes Processing of coq-gappa_1.5.2-1_amd64.changes Processing of coq-gappa_1.5.2-2_amd64.changes Processing of coq-hammer_1.3.2+8.15-1_amd64.changes Processing of coq-hierarchy-builder_1.3.0-1_source.changes Processing of coq-hott_8.15-2_amd64.changes Processing of coq-hott_8.15-3_source.changes Processing of coq-interval_4.5.1-1_amd64.changes Processing of coq-interval_4.5.1-2_amd64.changes Processing of coq-iris_3.6.0-1_amd64.changes Processing of coq-math-classes_8.15.0-2_amd64.changes Processing of coq-math-classes_8.15.0-3_source.changes Processing of coq-menhirlib_20220210+ds-1_amd64.changes Processing of coq-menhirlib_20220210+ds-2_source.changes Processing of coq-mtac2_1.4+8.15-1_amd64.changes Processing of coq-mtac2_1.4+8.15-2_amd64.changes Processing of coq-quickchick_1.6.3-1_amd64.changes Processing of coq-record-update_0.3.1-1_amd64.changes Processing of coq-reduction-effects_0.1.3-1_amd64.changes Processing of coq-reduction-effects_0.1.3-2_amd64.changes Processing of coq-reglang_1.1.3-1_amd64.changes Processing of coq-simple-io_1.7.0-1_amd64.changes Processing of coq-stdpp_1.7.0-1_amd64.changes Processing of coq-stdpp_1.7.0-2_source.changes Processing of coq-unicoq_1.6-8.15-1_amd64.changes Processing of coq-unicoq_1.6-8.15-2_amd64.changes Processing of coq-unimath_20220204-1_amd64.changes Processing of coqeal_1.1.1-1_source.changes Processing of coqprime_8.15-1_amd64.changes Processing of coquelicot_3.2.0-7_source.changes Processing of elpi_1.16.5-1_source.changes Processing of flocq_4.1.0-2_source.changes Processing of liquidsoap_2.0.6-1_source.changes Processing of mathcomp-algebra-tactics_1.0.0-6_source.changes Processing of mathcomp-analysis_0.5.1-3_source.changes Processing of mathcomp-analysis_0.5.2-1_source.changes Processing of mathcomp-bigenough_1.0.1-8_source.changes Processing of mathcomp-finmap_1.5.1-8_source.changes Processing of mathcomp-finmap_1.5.1-9_source.changes Processing of mathcomp-multinomials_1.5.5-8_source.changes Processing of mathcomp-real-closed_1.1.2-5_source.changes Processing of mathcomp-real-closed_1.1.3-1_source.changes Processing of mathcomp-zify_1.2.0+1.12+8.13-6_source.changes Processing of ocaml-ansi-terminal_0.8.5-1_source.changes Processing of ocaml-atd_2.9.1-1_source.changes Processing of ocaml-atd_2.9.1-2_amd64.changes Processing of ocaml-ffmpeg_1.1.4-1_source.changes Processing of ocaml-ogg_0.7.2-1_source.changes Processing of ocaml-opus_0.2.2-1_source.changes Processing of ott_0.32+ds-1_amd64.changes Processing of ott_0.32+ds-2_amd64.changes Processing of ppxlib_0.27.0-1_source.changes Processing of ssreflect_1.15.0-1_source.changes Processing of wyrd_1.6-1_source.changes ssreflect_1.15.0-1_source.changes ACCEPTED into unstable wyrd_1.6-1_source.changes ACCEPTED into unstable The last update was on 12:00 GMT Sun Jul 31. There are 246 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