debian-ocaml-maint Jun 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]
[bts-link] source package src:alt-ergo [bts-link] source package src:coq-doc [Git][ocaml-team/aac-tactics] Pushed new tag debian/8.15.1-5 [Git][ocaml-team/aac-tactics] Pushed new tag debian/8.15.1-6 [Git][ocaml-team/alt-ergo] Pushed new tag debian/2.4.1-3 [Git][ocaml-team/cmdliner] Pushed new tag debian/1.1.1-1 [Git][ocaml-team/cmdliner] Pushed new tag upstream/1.1.1 [Git][ocaml-team/cmdliner][master] 5 commits: New upstream version 1.1.1 [Git][ocaml-team/cmdliner][pristine-tar] pristine-tar data for cmdliner_1.1.1.orig.tar.bz2 [Git][ocaml-team/cmdliner][upstream] New upstream version 1.1.1 [Git][ocaml-team/coq-doc] Pushed new tag debian/8.15.2-1 [Git][ocaml-team/coq-doc] Pushed new tag debian/8.15.2-2 [Git][ocaml-team/coq-doc] Pushed new tag upstream/8.15.2 [Git][ocaml-team/coq] Pushed new tag debian/8.15.2+dfsg-2 [Git][ocaml-team/frama-c] Pushed new branch experimental/master [Git][ocaml-team/frama-c] Pushed new branch experimental/upstream [Git][ocaml-team/frama-c] Pushed new tag debian/20220511-manganese-1 [Git][ocaml-team/frama-c] Pushed new tag debian/20220511-manganese-1.1 [Git][ocaml-team/frama-c] Pushed new tag debian/20220511-manganese-1.2 [Git][ocaml-team/frama-c] Pushed new tag debian/20220511-manganese-1.3 [Git][ocaml-team/frama-c] Pushed new tag upstream/20220511-manganese [Git][ocaml-team/frama-c][experimental/master] 2 commits: remove mention of plugins ergo, coqwp from debian/copyright [Git][ocaml-team/frama-c][experimental/master] add build-dep libppx-deriving-ocaml-dev [Git][ocaml-team/frama-c][master] 2 commits: Also tighten the why3 dep for autopkgtest [Git][ocaml-team/frama-c][master] 3 commits: Add crude depend on libppx-import-ocaml (why does dh-ocaml fail to detect it?) [Git][ocaml-team/frama-c][master] 7 commits: New upstream version 20220511-manganese [Git][ocaml-team/frama-c][upstream] New upstream version 20220511-manganese [Git][ocaml-team/js-of-ocaml] Pushed new tag debian/4.0.0-2 [Git][ocaml-team/ssreflect] Pushed new tag debian/1.14.0-11 [Git][ocaml-team/ssreflect] Pushed new tag debian/1.14.0-12 aac-tactics is marked for autoremoval from testing aac-tactics_8.15.1-5_source.changes ACCEPTED into unstable aac-tactics_8.15.1-6_source.changes ACCEPTED into unstable Accepted coq 8.15.2+dfsg-2 (source) into unstable alt-ergo_2.4.1-3_source.changes ACCEPTED into unstable ASDA- Monthly Purchase Order Bug#1009430: marked as done (pyml: FTBFS: Test 'run file with filename' ... fails (?)) Bug#1010867: marked as done (why3 breaks frama-c autopkgtest: undefined symbol: camlWhy3__Env__fun_3995") Bug#1011347: Removed package(s) from unstable Bug#1012060: marked as done (coq breaks coq-bignums autopkgtest: Compiled library Bignums.BigN.BigN makes inconsistent assumptions over library Coq.Init.Ltac) Bug#1012061: marked as done (coq breaks coquelicot autopkgtest: Compiled library Coquelicot.Rcomplements makes inconsistent assumptions over library Coq.Init.Ltac) Bug#1012479: libcoq-paramcoq-ocaml: missing Breaks+Replaces: libcoq-paramcoq (<< 1.1.3-5) Bug#1012479: marked as done (libcoq-paramcoq-ocaml: missing Breaks+Replaces: libcoq-paramcoq (<< 1.1.3-5)) Bug#1013362: src:alt-ergo: fails to migrate to testing for too long: FTBFS on armel, mips64el and mipsel Bug#1013372: ITP: coq-dpdgraph -- Coq plugin to extract dependencies between Coq objects Bug#1013949: ITP: coq-hott -- Coq library for homotopy type theory Bug#1013963: ITP: coq-ext-lib -- Collection of theories and plugins for Coq Bug#1013965: ITP: coqeal -- algebra and data structure algorithms for Coq Bug#1014048: ITP: flocq -- Floating-point arithmetic for Coq Bug#1014059: ITP: coq-math-classes -- Abstract interfaces for mathematical structures for Coq Bug#1014118: ITP: ocaml-pprint -- Pretty printing toolbox for OCaml Bug#582768: marked as done (proofgeneral: file-error "cannot open load file" "hilit19") Bug#605014: marked as done (proofgeneral-coq: PG for coq unusable because hilit19 is missing) Bug#605024: marked as done (coq: coq.el requires nonexistent hilit19) Bug#979756: marked as done (Please compute ABIs for Coq libraries) cmdliner_1.1.1-1_source.changes ACCEPTED into unstable coccinelle is marked for autoremoval from testing coq is marked for autoremoval from testing coq-bignums is marked for autoremoval from testing coq-bignums_8.15.0-3_source.changes ACCEPTED into unstable coq-bignums_8.15.0-5_source.changes ACCEPTED into unstable coq-bignums_8.15.0-6_source.changes ACCEPTED into unstable coq-bignums_8.15.0-7_source.changes ACCEPTED into unstable coq-doc is marked for autoremoval from testing coq-doc_8.15.2-1_amd64.changes REJECTED coq-doc_8.15.2-1_source.changes ACCEPTED into unstable coq-doc_8.15.2-2_amd64.changes ACCEPTED into unstable coq-dpdgraph_1.0+8.15-1_amd64.changes is NEW coq-elpi is marked for autoremoval from testing coq-elpi_1.14.0-3_source.changes ACCEPTED into unstable coq-elpi_1.14.0-4_source.changes ACCEPTED into unstable coq-elpi_1.14.0-5_source.changes ACCEPTED into unstable coq-ext-lib_0.11.6-1_amd64.changes is NEW coq-hierarchy-builder is marked for autoremoval from testing coq-hierarchy-builder_1.2.1-10_source.changes ACCEPTED into unstable coq-hierarchy-builder_1.2.1-11_source.changes ACCEPTED into unstable coq-hott_8.15-1_amd64.changes is NEW coq-math-classes_8.15.0-1_amd64.changes is NEW coq_8.15.2+dfsg-2_source.changes ACCEPTED into unstable coqeal_1.1.0-1_amd64.changes is NEW coquelicot is marked for autoremoval from testing coquelicot_3.2.0-4_source.changes ACCEPTED into unstable coquelicot_3.2.0-5_source.changes ACCEPTED into unstable coquelicot_3.2.0-6_source.changes ACCEPTED into unstable dh-coq_0.2_source.changes ACCEPTED into unstable dh-coq_0.3_source.changes ACCEPTED into unstable First draft of dh-coq flocq_4.1.0-1_amd64.changes ACCEPTED into unstable, unstable flocq_4.1.0-1_amd64.changes is NEW frama-c autopkgtest failing frama-c is marked for autoremoval from testing frama-c_20220511-manganese-1.1_source.changes ACCEPTED into unstable frama-c_20220511-manganese-1.2_source.changes ACCEPTED into unstable frama-c_20220511-manganese-1.3_source.changes ACCEPTED into unstable frama-c_20220511-manganese-1_source.changes ACCEPTED into unstable js-of-ocaml_4.0.0-2_source.changes ACCEPTED into unstable mathcomp-algebra-tactics is marked for autoremoval from testing mathcomp-algebra-tactics_1.0.0-3_source.changes ACCEPTED into unstable mathcomp-algebra-tactics_1.0.0-4_source.changes ACCEPTED into unstable mathcomp-algebra-tactics_1.0.0-5_source.changes ACCEPTED into unstable mathcomp-analysis is marked for autoremoval from testing mathcomp-analysis_0.5.0-5_source.changes ACCEPTED into unstable mathcomp-analysis_0.5.1-1_source.changes ACCEPTED into unstable mathcomp-analysis_0.5.1-2_source.changes ACCEPTED into unstable mathcomp-bigenough is marked for autoremoval from testing mathcomp-bigenough_1.0.1-6_source.changes ACCEPTED into unstable mathcomp-bigenough_1.0.1-7_source.changes ACCEPTED into unstable mathcomp-finmap is marked for autoremoval from testing mathcomp-finmap_1.5.1-6_source.changes ACCEPTED into unstable mathcomp-finmap_1.5.1-7_source.changes ACCEPTED into unstable mathcomp-multinomials is marked for autoremoval from testing mathcomp-multinomials_1.5.5-5_source.changes ACCEPTED into unstable mathcomp-multinomials_1.5.5-7_source.changes ACCEPTED into unstable mathcomp-real-closed is marked for autoremoval from testing mathcomp-real-closed_1.1.2-3_source.changes ACCEPTED into unstable mathcomp-real-closed_1.1.2-4_source.changes ACCEPTED into unstable mathcomp-zify is marked for autoremoval from testing mathcomp-zify_1.2.0+1.12+8.13-4_source.changes ACCEPTED into unstable mathcomp-zify_1.2.0+1.12+8.13-5_source.changes ACCEPTED into unstable ocaml-alcotest_1.6.0-1_source.changes ACCEPTED into unstable ocaml-pprint_20220103-1_amd64.changes is NEW paramcoq is marked for autoremoval from testing paramcoq_1.1.3-4_source.changes ACCEPTED into unstable paramcoq_1.1.3-5_amd64.changes ACCEPTED into unstable, unstable paramcoq_1.1.3-5_amd64.changes is NEW paramcoq_1.1.3-5_source.changes REJECTED paramcoq_1.1.3-6_source.changes ACCEPTED into unstable paramcoq_1.1.3-7_source.changes ACCEPTED into unstable Processed: Fixed by the recent upload with the patch for sphinx 4.5.0 Processed: Forwarded upstream Processed: Get rid of old bugs preventing testing migration Processed: It's actually a sphinx issue Processed: Let all things Coq go to testing already! Processed: limit source to frama-c, tagging 1010867, tagging 1011892 Processed: limit source to pyml, tagging 1009430 Processed: Re: It's actually a sphinx issue Processing of aac-tactics_8.15.1-5_source.changes Processing of aac-tactics_8.15.1-6_source.changes Processing of alt-ergo_2.4.1-3_source.changes Processing of cmdliner_1.1.1-1_source.changes Processing of coq-bignums_8.15.0-3_source.changes Processing of coq-bignums_8.15.0-5_source.changes Processing of coq-bignums_8.15.0-6_source.changes Processing of coq-bignums_8.15.0-7_source.changes Processing of coq-doc_8.15.2-1_amd64.changes Processing of coq-doc_8.15.2-1_source.changes Processing of coq-doc_8.15.2-2_amd64.changes Processing of coq-dpdgraph_1.0+8.15-1_amd64.changes Processing of coq-elpi_1.14.0-3_source.changes Processing of coq-elpi_1.14.0-4_source.changes Processing of coq-elpi_1.14.0-5_source.changes Processing of coq-ext-lib_0.11.6-1_amd64.changes Processing of coq-hierarchy-builder_1.2.1-10_source.changes Processing of coq-hierarchy-builder_1.2.1-11_source.changes Processing of coq-hott_8.15-1_amd64.changes Processing of coq-math-classes_8.15.0-1_amd64.changes Processing of coq_8.15.2+dfsg-2_source.changes Processing of coqeal_1.1.0-1_amd64.changes Processing of coquelicot_3.2.0-4_source.changes Processing of coquelicot_3.2.0-5_source.changes Processing of coquelicot_3.2.0-6_source.changes Processing of dh-coq_0.2_source.changes Processing of dh-coq_0.3_source.changes Processing of flocq_4.1.0-1_amd64.changes Processing of frama-c_20220511-manganese-1.1_source.changes Processing of frama-c_20220511-manganese-1.2_source.changes Processing of frama-c_20220511-manganese-1.3_source.changes Processing of frama-c_20220511-manganese-1_source.changes Processing of js-of-ocaml_4.0.0-2_source.changes Processing of mathcomp-algebra-tactics_1.0.0-3_source.changes Processing of mathcomp-algebra-tactics_1.0.0-4_source.changes Processing of mathcomp-algebra-tactics_1.0.0-5_source.changes Processing of mathcomp-analysis_0.5.0-5_source.changes Processing of mathcomp-analysis_0.5.1-1_source.changes Processing of mathcomp-analysis_0.5.1-2_source.changes Processing of mathcomp-bigenough_1.0.1-6_source.changes Processing of mathcomp-bigenough_1.0.1-7_source.changes Processing of mathcomp-finmap_1.5.1-6_source.changes Processing of mathcomp-finmap_1.5.1-7_source.changes Processing of mathcomp-multinomials_1.5.5-5_source.changes Processing of mathcomp-multinomials_1.5.5-7_source.changes Processing of mathcomp-real-closed_1.1.2-3_source.changes Processing of mathcomp-real-closed_1.1.2-4_source.changes Processing of mathcomp-zify_1.2.0+1.12+8.13-4_source.changes Processing of mathcomp-zify_1.2.0+1.12+8.13-5_source.changes Processing of ocaml-alcotest_1.6.0-1_source.changes Processing of ocaml-pprint_20220103-1_amd64.changes Processing of paramcoq_1.1.3-4_source.changes Processing of paramcoq_1.1.3-5_amd64.changes Processing of paramcoq_1.1.3-5_source.changes Processing of paramcoq_1.1.3-6_source.changes Processing of paramcoq_1.1.3-7_source.changes Processing of pyml_20220325-1_source.changes Processing of ssreflect_1.14.0-11_source.changes Processing of ssreflect_1.14.0-12_source.changes Processing of wyrd_1.5.4-1_source.changes Processing of wyrd_1.5.5-1_source.changes prooftree is marked for autoremoval from testing pyml is marked for autoremoval from testing pyml_20220325-1_source.changes ACCEPTED into unstable Request: autobuild src:coq-doc ssreflect is marked for autoremoval from testing ssreflect_1.14.0-11_source.changes ACCEPTED into unstable ssreflect_1.14.0-12_source.changes ACCEPTED into unstable Strange problem with frama-c -- dh-ocaml's fault? why3 is marked for autoremoval from testing wyrd_1.5.4-1_source.changes ACCEPTED into unstable wyrd_1.5.5-1_source.changes ACCEPTED into unstable The last update was on 17:00 GMT Thu Jun 30. There are 223 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