debian-ocaml-maint Dec 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.2.2-1_source.changes ACCEPTED into unstable [Git][ocaml-team/aac-tactics] Pushed new tag debian/8.18.0-1 [Git][ocaml-team/aac-tactics][master] Prepare for upload [Git][ocaml-team/coq] Pushed new tag debian/8.18.0+dfsg-1 [Git][ocaml-team/coq][master] Prepare for upload [Git][ocaml-team/liquidsoap] Pushed new tag debian/2.2.2-2 [Git][ocaml-team/liquidsoap][master] 2 commits: Add missing Breaks+Replaces [Git][ocaml-team/ssreflect] Pushed new tag debian/2.1.0-1 [Git][ocaml-team/ssreflect][master] Prepare for upload [Git][ocaml-team/yojson] Pushed new tag debian/2.1.2-1 [Git][ocaml-team/yojson] Pushed new tag upstream/2.1.2 [Git][ocaml-team/yojson][master] 3 commits: New upstream version 2.1.2 [Git][ocaml-team/yojson][pristine-tar] pristine-tar data for yojson_2.1.2.orig.tar.gz aac-tactics is marked for autoremoval from testing aac-tactics_8.18.0-1_source.changes ACCEPTED into unstable Accepted coq 8.18.0+dfsg-1 (source) into unstable Bug#1044146: marked as done (coq-unimath: Fails to build source after successful build) Bug#1044177: marked as done (coq-libhyps: Fails to build source after successful build) Bug#1044251: marked as done (coq-elpi: Fails to build source after successful build) Bug#1044267: marked as done (coqprime: Fails to build source after successful build) Bug#1044275: marked as done (coq-hierarchy-builder: Fails to build source after successful build) Bug#1044276: marked as done (coq-dpdgraph: Fails to build source after successful build) Bug#1044296: marked as done (coqeal: Fails to build source after successful build) Bug#1044361: marked as done (flocq: Fails to build source after successful build) Bug#1044385: marked as done (coquelicot: Fails to build source after successful build) Bug#1044393: marked as done (coq-iris: Fails to build source after successful build) Bug#1044395: marked as done (coq-reduction-effects: Fails to build source after successful build) Bug#1044397: marked as done (coq-simple-io: Fails to build source after successful build) Bug#1044466: marked as done (coq-extructures: Fails to build source after successful build) Bug#1044477: marked as done (coq-bignums: Fails to build source after successful build) Bug#1044511: marked as done (coq-quickchick: Fails to build source after successful build) Bug#1044629: marked as done (coq-reglang: Fails to build source after successful build) Bug#1044637: marked as done (coq: Fails to build source after successful build) Bug#1044703: marked as done (coq-mtac2: Fails to build source after successful build) Bug#1044715: marked as done (coq-ext-lib: Fails to build source after successful build) Bug#1044750: marked as done (coq-hammer: Fails to build source after successful build) Bug#1044763: marked as done (coq-unicoq: Fails to build source after successful build) Bug#1044808: marked as done (coq-record-update: Fails to build source after successful build) Bug#1044870: marked as done (coq-deriving: Fails to build source after successful build) Bug#1044907: marked as done (coq-relation-algebra: Fails to build source after successful build) Bug#1044914: marked as done (coq-math-classes: Fails to build source after successful build) Bug#1044944: marked as done (coq-gappa: Fails to build source after successful build) Bug#1044951: marked as done (coq-menhirlib: Fails to build source after successful build) Bug#1044961: marked as done (elpi: Fails to build source after successful build) Bug#1045073: marked as done (coq-stdpp: Fails to build source after successful build) Bug#1045076: marked as done (coq-interval: Fails to build source after successful build) Bug#1046759: marked as done (mathcomp-real-closed: Fails to build source after successful build) Bug#1047108: marked as done (mathcomp-algebra-tactics: Fails to build source after successful build) Bug#1047255: marked as done (mathcomp-finmap: Fails to build source after successful build) Bug#1048381: marked as done (paramcoq: Fails to build source after successful build) Bug#1048599: marked as done (mathcomp-multinomials: Fails to build source after successful build) Bug#1049045: marked as done (mathcomp-abel: Fails to build source after successful build) Bug#1049273: marked as done (ott: Fails to build source after successful build) Bug#1056062: marked as done (coq: FTBFS in sid (dune update?)) Bug#1057058: marked as done (liquidsoap-doc: missing Breaks+Replaces: liquidsoap (<< 2.2.2)) Bug#1057663: Removed package(s) from unstable Bug#1057663: RM: liquidsoap [mips64el] -- RoQA; blocks decrufting of ffmpeg Bug#1059090: elpi: add build support for loongarch64 Bug#1059178: approx: install systemd units into /usr Bug#1059229: Removed package(s) from unstable Bug#1059229: RM: mathcomp-abel -- ROM; abandoned upstream coq is marked for autoremoval from testing coq-bignums is marked for autoremoval from testing coq-bignums_9.0.0+coq8.18-1_source.changes ACCEPTED into unstable coq-corn is marked for autoremoval from testing coq-corn_8.18.0-1_source.changes ACCEPTED into unstable coq-deriving is marked for autoremoval from testing coq-deriving_0.2.0-1_source.changes ACCEPTED into unstable coq-doc is marked for autoremoval from testing coq-dpdgraph is marked for autoremoval from testing coq-dpdgraph_1.0+8.18-1_source.changes ACCEPTED into unstable coq-elpi is marked for autoremoval from testing coq-elpi_1.19.3-1_source.changes ACCEPTED into unstable coq-equations is marked for autoremoval from testing coq-equations_1.3-8.18-1_source.changes ACCEPTED into unstable coq-ext-lib is marked for autoremoval from testing coq-ext-lib_0.12.0-1_source.changes ACCEPTED into unstable coq-extructures is marked for autoremoval from testing coq-extructures_0.4.0-1_source.changes ACCEPTED into unstable coq-gappa is marked for autoremoval from testing coq-gappa_1.5.4-1_source.changes ACCEPTED into unstable coq-hammer is marked for autoremoval from testing coq-hammer_1.3.2+8.18-1_source.changes ACCEPTED into unstable coq-hierarchy-builder is marked for autoremoval from testing coq-hierarchy-builder_1.6.0-1_source.changes ACCEPTED into unstable coq-hott is marked for autoremoval from testing coq-hott_8.18-3_source.changes ACCEPTED into unstable coq-interval is marked for autoremoval from testing coq-interval_4.9.0-1_source.changes ACCEPTED into unstable coq-iris is marked for autoremoval from testing coq-iris_4.1.0-1_source.changes ACCEPTED into unstable coq-libhyps is marked for autoremoval from testing coq-libhyps_2.0.8-1_source.changes ACCEPTED into unstable coq-math-classes is marked for autoremoval from testing coq-math-classes_8.18.0-1_source.changes ACCEPTED into unstable coq-menhirlib is marked for autoremoval from testing coq-menhirlib_20230608+ds-2_source.changes ACCEPTED into unstable coq-mtac2 is marked for autoremoval from testing coq-mtac2_1.4+8.18-1_source.changes ACCEPTED into unstable coq-quickchick is marked for autoremoval from testing coq-quickchick_2.0.1-1_source.changes ACCEPTED into unstable coq-record-update is marked for autoremoval from testing coq-record-update_0.3.3-1_source.changes ACCEPTED into unstable coq-reduction-effects is marked for autoremoval from testing coq-reduction-effects_0.1.5-1_source.changes ACCEPTED into unstable coq-reglang is marked for autoremoval from testing coq-reglang_1.2.0-1_source.changes ACCEPTED into unstable coq-relation-algebra is marked for autoremoval from testing coq-relation-algebra_1.7.9-2_source.changes ACCEPTED into unstable coq-simple-io is marked for autoremoval from testing coq-simple-io_1.8.0-4_source.changes ACCEPTED into unstable coq-stdpp is marked for autoremoval from testing coq-stdpp_1.9.0-1_source.changes ACCEPTED into unstable coq-unicoq is marked for autoremoval from testing coq-unicoq_1.6-8.18-1_source.changes ACCEPTED into unstable coq-unimath is marked for autoremoval from testing coq-unimath_20231010-1_source.changes ACCEPTED into unstable coq_8.18.0+dfsg-1_source.changes ACCEPTED into unstable coqeal is marked for autoremoval from testing coqeal_2.0.0-1_source.changes ACCEPTED into unstable coqprime is marked for autoremoval from testing coqprime_8.18-1_source.changes ACCEPTED into unstable coquelicot is marked for autoremoval from testing coquelicot_3.4.0-1_source.changes ACCEPTED into unstable elpi_1.17.4-1_source.changes ACCEPTED into unstable elpi_1.17.4-2_source.changes ACCEPTED into unstable elpi_1.17.4-3_source.changes ACCEPTED into unstable flocq is marked for autoremoval from testing flocq_4.1.3-1_source.changes ACCEPTED into unstable Issue with ssreflect... liquidsoap_2.2.2-2_source.changes ACCEPTED into unstable mathcomp-abel is marked for autoremoval from testing mathcomp-algebra-tactics is marked for autoremoval from testing mathcomp-analysis is marked for autoremoval from testing mathcomp-bigenough is marked for autoremoval from testing mathcomp-bigenough_1.0.1-12_source.changes ACCEPTED into unstable mathcomp-finmap is marked for autoremoval from testing mathcomp-finmap_2.0.0-1_source.changes ACCEPTED into unstable mathcomp-multinomials is marked for autoremoval from testing mathcomp-multinomials_2.1.0-1_source.changes ACCEPTED into unstable mathcomp-real-closed is marked for autoremoval from testing mathcomp-real-closed_2.0.0-1_source.changes ACCEPTED into unstable mathcomp-zify is marked for autoremoval from testing mathcomp-zify_1.5.0+2.0+8.16-1_source.changes ACCEPTED into unstable ocaml-merlin_4.13-414+ds-1_source.changes ACCEPTED into unstable ocaml-mm is marked for autoremoval from testing ocamlsdl is marked for autoremoval from testing ott is marked for autoremoval from testing ott_0.33+ds-2_source.changes ACCEPTED into unstable paramcoq is marked for autoremoval from testing paramcoq_1.1.3+coq8.18-1_source.changes ACCEPTED into unstable Processed: Bug#1057058 marked as pending in liquidsoap Processed: No longer trixie or sid Processed: tagging 1057197, tagging 1051294, tagging 1055892, notfixed 1058078 in 2.3.0+~0.3.0-4 ... Processed: tags for bullseye Processing of aac-tactics_8.18.0-1_source.changes Processing of coq-bignums_9.0.0+coq8.18-1_source.changes Processing of coq-corn_8.18.0-1_source.changes Processing of coq-deriving_0.2.0-1_source.changes Processing of coq-dpdgraph_1.0+8.18-1_source.changes Processing of coq-elpi_1.19.3-1_source.changes Processing of coq-equations_1.3-8.18-1_source.changes Processing of coq-ext-lib_0.12.0-1_source.changes Processing of coq-extructures_0.4.0-1_source.changes Processing of coq-gappa_1.5.4-1_source.changes Processing of coq-hammer_1.3.2+8.18-1_source.changes Processing of coq-hierarchy-builder_1.6.0-1_source.changes Processing of coq-hott_8.18-3_source.changes Processing of coq-interval_4.9.0-1_source.changes Processing of coq-iris_4.1.0-1_source.changes Processing of coq-libhyps_2.0.8-1_source.changes Processing of coq-math-classes_8.18.0-1_source.changes Processing of coq-menhirlib_20230608+ds-2_source.changes Processing of coq-mtac2_1.4+8.18-1_source.changes Processing of coq-quickchick_2.0.1-1_source.changes Processing of coq-record-update_0.3.3-1_source.changes Processing of coq-reduction-effects_0.1.5-1_source.changes Processing of coq-reglang_1.2.0-1_source.changes Processing of coq-relation-algebra_1.7.9-2_source.changes Processing of coq-simple-io_1.8.0-4_source.changes Processing of coq-stdpp_1.9.0-1_source.changes Processing of coq-unicoq_1.6-8.18-1_source.changes Processing of coq-unimath_20231010-1_source.changes Processing of coq_8.18.0+dfsg-1_source.changes Processing of coqeal_2.0.0-1_source.changes Processing of coqprime_8.18-1_source.changes Processing of coquelicot_3.4.0-1_source.changes Processing of elpi_1.17.4-1_source.changes Processing of elpi_1.17.4-2_source.changes Processing of elpi_1.17.4-3_source.changes Processing of flocq_4.1.3-1_source.changes Processing of liquidsoap_2.2.2-2_source.changes Processing of mathcomp-algebra-tactics_1.2.2-1_source.changes Processing of mathcomp-bigenough_1.0.1-12_source.changes Processing of mathcomp-finmap_2.0.0-1_source.changes Processing of mathcomp-multinomials_2.1.0-1_source.changes Processing of mathcomp-real-closed_2.0.0-1_source.changes Processing of mathcomp-zify_1.5.0+2.0+8.16-1_source.changes Processing of ocaml-merlin_4.13-414+ds-1_source.changes Processing of ott_0.33+ds-2_source.changes Processing of paramcoq_1.1.3+coq8.18-1_source.changes Processing of ssreflect_2.1.0-1_source.changes Processing of yojson_2.1.2-1_source.changes ssreflect is marked for autoremoval from testing ssreflect_2.1.0-1_source.changes ACCEPTED into unstable yojson_2.1.2-1_source.changes ACCEPTED into unstable The last update was on 19:00 GMT Sun Dec 31. There are 210 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