debian-ocaml-maint Jan 2024 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.3-1_source.changes ACCEPTED into unstable [bts-link] source package src:ocaml-duppy [Git][ocaml-team/camlidl] Pushed new tag archive/debian/1.12-1 [Git][ocaml-team/camlidl] Pushed new tag debian/1.12-1 [Git][ocaml-team/camlidl] Pushed new tag upstream/1.12 [Git][ocaml-team/camlidl][pristine-tar] pristine-tar data for camlidl_1.12.orig.tar.gz [Git][ocaml-team/coq-doc] Pushed new tag debian/8.18.0-1 [Git][ocaml-team/coq-doc] Pushed new tag upstream/8.18.0 [Git][ocaml-team/coq-doc][master] 3 commits: New upstream version 8.18.0 [Git][ocaml-team/coq-doc][pristine-tar] pristine-tar data for coq-doc_8.18.0.orig.tar.gz [Git][ocaml-team/coq-doc][upstream] New upstream version 8.18.0 [Git][ocaml-team/liquidsoap] Pushed new tag debian/2.2.3-1 [Git][ocaml-team/liquidsoap] Pushed new tag upstream/2.2.3 [Git][ocaml-team/liquidsoap][master] 3 commits: New upstream version 2.2.3 [Git][ocaml-team/liquidsoap][pristine-tar] pristine-tar data for liquidsoap_2.2.3.orig.tar.gz [Git][ocaml-team/liquidsoap][upstream] New upstream version 2.2.3 [Git][ocaml-team/ocaml-cry] Pushed new tag debian/1.0.2-1 [Git][ocaml-team/ocaml-cry] Pushed new tag upstream/1.0.2 [Git][ocaml-team/ocaml-cry][pristine-tar] pristine-tar data for ocaml-cry_1.0.2.orig.tar.gz [Git][ocaml-team/ocaml-duppy] Pushed new tag debian/0.9.3-2 [Git][ocaml-team/ocaml-obuild] Pushed new tag archive/debian/0.1.11-1 [Git][ocaml-team/ocaml-obuild] Pushed new tag debian/0.1.11-1 [Git][ocaml-team/ocaml-obuild] Pushed new tag upstream/0.1.11 [Git][ocaml-team/ocaml-obuild][pristine-tar] pristine-tar data for ocaml-obuild_0.1.11.orig.tar.gz [Git][ocaml-team/ssreflect] Pushed new tag debian/2.2.0-1 [Git][ocaml-team/ssreflect] Pushed new tag upstream/2.2.0 [Git][ocaml-team/ssreflect][master] 4 commits: New upstream version 2.2.0 [Git][ocaml-team/ssreflect][pristine-tar] pristine-tar data for ssreflect_2.2.0.orig.tar.gz [Git][ocaml-team/ssreflect][upstream] New upstream version 2.2.0 aac-tactics is marked for autoremoval from testing Bug#1042499: marked as done (ocaml-duppy depends on obsolete pcre) Bug#1056062: About Debian bug #1056062 (coq package) Bug#1056948: marked as done (coq-doc-html loads files from a CDN) Bug#1059090: elpi: add build support for loongarch64 Bug#1060847: planets: Typo in package description Bug#1060988: marked as done (mathcomp-analysis: FTBFS: make[3]: *** [Makefile.coq:838: classical/mathcomp_extra.vo] Error 1) Bug#1060988: mathcomp-analysis: FTBFS: make[3]: *** [Makefile.coq:838: classical/mathcomp_extra.vo] Error 1 Bug#1061232: src:coq: fails to migrate to testing for too long: triggers autopkgtest issues camlidl_1.12-1_source.changes ACCEPTED into unstable coq 8.18.0+dfsg-1 MIGRATED to testing coq is marked for autoremoval from testing coq-bignums is marked for autoremoval from testing coq-corn is marked for autoremoval from testing coq-deriving is marked for autoremoval from testing coq-doc is marked for autoremoval from testing coq-doc_8.18.0-1_source.changes ACCEPTED into unstable coq-dpdgraph is marked for autoremoval from testing coq-elpi is marked for autoremoval from testing coq-elpi_1.19.3-2_source.changes ACCEPTED into unstable coq-equations is marked for autoremoval from testing coq-ext-lib is marked for autoremoval from testing coq-extructures is marked for autoremoval from testing coq-gappa is marked for autoremoval from testing coq-hammer is marked for autoremoval from testing coq-hierarchy-builder is marked for autoremoval from testing coq-hott is marked for autoremoval from testing coq-interval is marked for autoremoval from testing coq-iris is marked for autoremoval from testing coq-libhyps is marked for autoremoval from testing coq-math-classes is marked for autoremoval from testing coq-menhirlib is marked for autoremoval from testing coq-menhirlib_20231231+ds-1_source.changes ACCEPTED into unstable coq-mtac2 is marked for autoremoval from testing coq-quickchick is marked for autoremoval from testing coq-quickchick_2.0.2-1_source.changes ACCEPTED into unstable coq-record-update is marked for autoremoval from testing coq-reduction-effects is marked for autoremoval from testing coq-reglang is marked for autoremoval from testing coq-reglang_1.2.1-1_source.changes ACCEPTED into unstable coq-relation-algebra is marked for autoremoval from testing coq-simple-io is marked for autoremoval from testing coq-stdpp is marked for autoremoval from testing coq-unicoq is marked for autoremoval from testing coq-unimath is marked for autoremoval from testing coqeal is marked for autoremoval from testing coqeal_2.0.1-1_source.changes ACCEPTED into unstable coqprime is marked for autoremoval from testing coquelicot is marked for autoremoval from testing coquelicot_3.4.1-1_source.changes ACCEPTED into unstable dh-coq_0.7_source.changes ACCEPTED into unstable dh-coq_0.8_source.changes ACCEPTED into unstable flocq is marked for autoremoval from testing liquidsoap_2.2.3-1_source.changes ACCEPTED into unstable mathcomp-algebra-tactics is marked for autoremoval from testing mathcomp-analysis is marked for autoremoval from testing mathcomp-analysis_1.0.0-1_source.changes ACCEPTED into unstable mathcomp-bigenough is marked for autoremoval from testing mathcomp-finmap is marked for autoremoval from testing mathcomp-finmap_2.0.0-2_source.changes ACCEPTED into unstable mathcomp-multinomials is marked for autoremoval from testing mathcomp-multinomials_2.2.0-1_source.changes ACCEPTED into unstable mathcomp-real-closed is marked for autoremoval from testing mathcomp-zify is marked for autoremoval from testing ocaml-cry_1.0.2-1_source.changes ACCEPTED into unstable ocaml-duppy_0.9.3-2_source.changes ACCEPTED into unstable ocaml-ffmpeg_1.1.10-1_source.changes ACCEPTED into unstable ocaml-obuild_0.1.11-1_source.changes ACCEPTED into unstable ott is marked for autoremoval from testing paramcoq is marked for autoremoval from testing Processed: [bts-link] source package src:ocaml-duppy Processed: Bug#1042499 marked as pending in ocaml-duppy Processed: retitle 810255 to approx: Approx fails to load new versions of DEP-11 icon tarballs Processed: src:coq: fails to migrate to testing for too long: triggers autopkgtest issues Processing of camlidl_1.12-1_source.changes Processing of coq-doc_8.18.0-1_source.changes Processing of coq-elpi_1.19.3-2_source.changes Processing of coq-menhirlib_20231231+ds-1_source.changes Processing of coq-quickchick_2.0.2-1_source.changes Processing of coq-reglang_1.2.1-1_source.changes Processing of coqeal_2.0.1-1_source.changes Processing of coquelicot_3.4.1-1_source.changes Processing of dh-coq_0.7_source.changes Processing of dh-coq_0.8_source.changes Processing of liquidsoap_2.2.3-1_source.changes Processing of mathcomp-algebra-tactics_1.2.3-1_source.changes Processing of mathcomp-analysis_1.0.0-1_source.changes Processing of mathcomp-finmap_2.0.0-2_source.changes Processing of mathcomp-multinomials_2.2.0-1_source.changes Processing of ocaml-cry_1.0.2-1_source.changes Processing of ocaml-duppy_0.9.3-2_source.changes Processing of ocaml-ffmpeg_1.1.10-1_source.changes Processing of ocaml-obuild_0.1.11-1_source.changes ssreflect is marked for autoremoval from testing transition: elpi The last update was on 14:00 GMT Wed Jan 31. There are 130 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