debian-ocaml-maint Jan 2024 by subject
|
[previous page]
|
Page 1 of 1 |
[next 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.
[Thread Index]
[Subject Index]
[Author Index]
[Other Debian Lists]
[Debian Home]
Mail converted by MHonArc