debian-ocaml-maint Jan 2024 by thread
[
previous month
]
[
first page
]
[previous page]
Page 1 of 1
[next page]
[
last page
]
[
next month
]
[
Date Index
] [
Subject Index
] [
Author Index
] [
Other Debian Lists
] [
Debian Home
]
Processing of coq-elpi_1.19.3-2_source.changes
Debian FTP Masters
coq-elpi_1.19.3-2_source.changes ACCEPTED into unstable
Debian FTP Masters
[bts-link] source package src:ocaml-duppy
debian-bts-link
Processed: [bts-link] source package src:ocaml-duppy
Debian Bug Tracking System
coq-interval is marked for autoremoval from testing
Debian testing autoremoval watch
coq-mtac2 is marked for autoremoval from testing
Debian testing autoremoval watch
coq-iris is marked for autoremoval from testing
Debian testing autoremoval watch
coq-reglang is marked for autoremoval from testing
Debian testing autoremoval watch
coq-record-update is marked for autoremoval from testing
Debian testing autoremoval watch
coq-reduction-effects is marked for autoremoval from testing
Debian testing autoremoval watch
flocq is marked for autoremoval from testing
Debian testing autoremoval watch
coq-unimath is marked for autoremoval from testing
Debian testing autoremoval watch
coq-corn is marked for autoremoval from testing
Debian testing autoremoval watch
coqeal is marked for autoremoval from testing
Debian testing autoremoval watch
coqprime is marked for autoremoval from testing
Debian testing autoremoval watch
coq-bignums is marked for autoremoval from testing
Debian testing autoremoval watch
coq-stdpp is marked for autoremoval from testing
Debian testing autoremoval watch
paramcoq is marked for autoremoval from testing
Debian testing autoremoval watch
ott is marked for autoremoval from testing
Debian testing autoremoval watch
coq-relation-algebra is marked for autoremoval from testing
Debian testing autoremoval watch
coq-quickchick is marked for autoremoval from testing
Debian testing autoremoval watch
coq-dpdgraph is marked for autoremoval from testing
Debian testing autoremoval watch
ssreflect is marked for autoremoval from testing
Debian testing autoremoval watch
coq is marked for autoremoval from testing
Debian testing autoremoval watch
coq-ext-lib is marked for autoremoval from testing
Debian testing autoremoval watch
coq-unicoq is marked for autoremoval from testing
Debian testing autoremoval watch
coq-elpi is marked for autoremoval from testing
Debian testing autoremoval watch
coq-equations is marked for autoremoval from testing
Debian testing autoremoval watch
coq-math-classes is marked for autoremoval from testing
Debian testing autoremoval watch
coq-extructures is marked for autoremoval from testing
Debian testing autoremoval watch
mathcomp-zify is marked for autoremoval from testing
Debian testing autoremoval watch
mathcomp-real-closed is marked for autoremoval from testing
Debian testing autoremoval watch
coq-deriving is marked for autoremoval from testing
Debian testing autoremoval watch
coq-menhirlib is marked for autoremoval from testing
Debian testing autoremoval watch
mathcomp-finmap is marked for autoremoval from testing
Debian testing autoremoval watch
mathcomp-multinomials is marked for autoremoval from testing
Debian testing autoremoval watch
mathcomp-algebra-tactics is marked for autoremoval from testing
Debian testing autoremoval watch
mathcomp-bigenough is marked for autoremoval from testing
Debian testing autoremoval watch
mathcomp-analysis is marked for autoremoval from testing
Debian testing autoremoval watch
coq-hierarchy-builder is marked for autoremoval from testing
Debian testing autoremoval watch
coq-hott is marked for autoremoval from testing
Debian testing autoremoval watch
coq-hammer is marked for autoremoval from testing
Debian testing autoremoval watch
aac-tactics is marked for autoremoval from testing
Debian testing autoremoval watch
coquelicot is marked for autoremoval from testing
Debian testing autoremoval watch
coq-gappa is marked for autoremoval from testing
Debian testing autoremoval watch
coq-libhyps is marked for autoremoval from testing
Debian testing autoremoval watch
coq-simple-io is marked for autoremoval from testing
Debian testing autoremoval watch
Bug#1059090: elpi: add build support for loongarch64
zhangdandan
coq-doc is marked for autoremoval from testing
Debian testing autoremoval watch
<Possible follow-ups>
coq-doc is marked for autoremoval from testing
Debian testing autoremoval watch
Processed: retitle 810255 to approx: Approx fails to load new versions of DEP-11 icon tarballs
Debian Bug Tracking System
Bug#1060847: planets: Typo in package description
Sam Lee
Bug#1060988: mathcomp-analysis: FTBFS: make[3]: *** [Makefile.coq:838: classical/mathcomp_extra.vo] Error 1
Lucas Nussbaum
Bug#1060988: marked as done (mathcomp-analysis: FTBFS: make[3]: *** [Makefile.coq:838: classical/mathcomp_extra.vo] Error 1)
Debian Bug Tracking System
Bug#1060988: marked as done (mathcomp-analysis: FTBFS: make[3]: *** [Makefile.coq:838: classical/mathcomp_extra.vo] Error 1)
julien . puydt
[Git][ocaml-team/ocaml-cry] Pushed new tag debian/1.0.2-1
Kyle Robbertze (@paddatrapper)
[Git][ocaml-team/ocaml-cry] Pushed new tag upstream/1.0.2
Kyle Robbertze (@paddatrapper)
[Git][ocaml-team/ocaml-cry][pristine-tar] pristine-tar data for ocaml-cry_1.0.2.orig.tar.gz
Kyle Robbertze (@paddatrapper)
Processing of ocaml-ffmpeg_1.1.10-1_source.changes
Debian FTP Masters
Processing of ocaml-cry_1.0.2-1_source.changes
Debian FTP Masters
ocaml-ffmpeg_1.1.10-1_source.changes ACCEPTED into unstable
Debian FTP Masters
[Git][ocaml-team/liquidsoap] Pushed new tag debian/2.2.3-1
Kyle Robbertze (@paddatrapper)
[Git][ocaml-team/liquidsoap] Pushed new tag upstream/2.2.3
Kyle Robbertze (@paddatrapper)
[Git][ocaml-team/liquidsoap][master] 3 commits: New upstream version 2.2.3
Kyle Robbertze (@paddatrapper)
[Git][ocaml-team/liquidsoap][pristine-tar] pristine-tar data for liquidsoap_2.2.3.orig.tar.gz
Kyle Robbertze (@paddatrapper)
[Git][ocaml-team/liquidsoap][upstream] New upstream version 2.2.3
Kyle Robbertze (@paddatrapper)
Processing of liquidsoap_2.2.3-1_source.changes
Debian FTP Masters
liquidsoap_2.2.3-1_source.changes ACCEPTED into unstable
Debian FTP Masters
ocaml-cry_1.0.2-1_source.changes ACCEPTED into unstable
Debian FTP Masters
Processed: Bug#1042499 marked as pending in ocaml-duppy
Debian Bug Tracking System
[Git][ocaml-team/ocaml-duppy] Pushed new tag debian/0.9.3-2
Kyle Robbertze (@paddatrapper)
Bug#1042499: marked as done (ocaml-duppy depends on obsolete pcre)
Debian Bug Tracking System
Processing of ocaml-duppy_0.9.3-2_source.changes
Debian FTP Masters
ocaml-duppy_0.9.3-2_source.changes ACCEPTED into unstable
Debian FTP Masters
Bug#1056062: About Debian bug #1056062 (coq package)
julien . puydt
Message not available
Bug#1056062: About Debian bug #1056062 (coq package)
Jeremy Bícha
Processing of coquelicot_3.4.1-1_source.changes
Debian FTP Masters
coquelicot_3.4.1-1_source.changes ACCEPTED into unstable
Debian FTP Masters
Processing of coq-quickchick_2.0.2-1_source.changes
Debian FTP Masters
Processing of mathcomp-multinomials_2.2.0-1_source.changes
Debian FTP Masters
coq-quickchick_2.0.2-1_source.changes ACCEPTED into unstable
Debian FTP Masters
Processing of coqeal_2.0.1-1_source.changes
Debian FTP Masters
Processing of coq-menhirlib_20231231+ds-1_source.changes
Debian FTP Masters
mathcomp-multinomials_2.2.0-1_source.changes ACCEPTED into unstable
Debian FTP Masters
Processing of mathcomp-algebra-tactics_1.2.3-1_source.changes
Debian FTP Masters
Processing of coq-reglang_1.2.1-1_source.changes
Debian FTP Masters
coq-menhirlib_20231231+ds-1_source.changes ACCEPTED into unstable
Debian FTP Masters
coq-reglang_1.2.1-1_source.changes ACCEPTED into unstable
Debian FTP Masters
coqeal_2.0.1-1_source.changes ACCEPTED into unstable
Debian FTP Masters
mathcomp-algebra-tactics_1.2.3-1_source.changes ACCEPTED into unstable
Debian FTP Masters
Bug#1061232: src:coq: fails to migrate to testing for too long: triggers autopkgtest issues
Paul Gevers
Processed: src:coq: fails to migrate to testing for too long: triggers autopkgtest issues
Debian Bug Tracking System
Bug#1061232: src:coq: fails to migrate to testing for too long: triggers autopkgtest issues
julien . puydt
Bug#1061232: src:coq: fails to migrate to testing for too long: triggers autopkgtest issues
Paul Gevers
Bug#1061232: src:coq: fails to migrate to testing for too long: triggers autopkgtest issues
julien . puydt
Processing of mathcomp-finmap_2.0.0-2_source.changes
Debian FTP Masters
mathcomp-finmap_2.0.0-2_source.changes ACCEPTED into unstable
Debian FTP Masters
coq 8.18.0+dfsg-1 MIGRATED to testing
Debian testing watch
[Git][ocaml-team/camlidl][pristine-tar] pristine-tar data for camlidl_1.12.orig.tar.gz
Stéphane Glondu (@glondu)
[Git][ocaml-team/camlidl] Pushed new tag debian/1.12-1
Stéphane Glondu (@glondu)
[Git][ocaml-team/camlidl] Pushed new tag archive/debian/1.12-1
Stéphane Glondu (@glondu)
[Git][ocaml-team/camlidl] Pushed new tag upstream/1.12
Stéphane Glondu (@glondu)
Processing of camlidl_1.12-1_source.changes
Debian FTP Masters
[Git][ocaml-team/ocaml-obuild][pristine-tar] pristine-tar data for ocaml-obuild_0.1.11.orig.tar.gz
Stéphane Glondu (@glondu)
[Git][ocaml-team/ocaml-obuild] Pushed new tag archive/debian/0.1.11-1
Stéphane Glondu (@glondu)
[Git][ocaml-team/ocaml-obuild] Pushed new tag debian/0.1.11-1
Stéphane Glondu (@glondu)
[Git][ocaml-team/ocaml-obuild] Pushed new tag upstream/0.1.11
Stéphane Glondu (@glondu)
Processing of ocaml-obuild_0.1.11-1_source.changes
Debian FTP Masters
camlidl_1.12-1_source.changes ACCEPTED into unstable
Debian FTP Masters
ocaml-obuild_0.1.11-1_source.changes ACCEPTED into unstable
Debian FTP Masters
transition: elpi
julien . puydt
[Git][ocaml-team/ssreflect][master] 4 commits: New upstream version 2.2.0
Julien Puydt (@jpuydt)
[Git][ocaml-team/ssreflect][pristine-tar] pristine-tar data for ssreflect_2.2.0.orig.tar.gz
Julien Puydt (@jpuydt)
[Git][ocaml-team/ssreflect][upstream] New upstream version 2.2.0
Julien Puydt (@jpuydt)
[Git][ocaml-team/ssreflect] Pushed new tag debian/2.2.0-1
Julien Puydt (@jpuydt)
[Git][ocaml-team/ssreflect] Pushed new tag upstream/2.2.0
Julien Puydt (@jpuydt)
Processing of dh-coq_0.7_source.changes
Debian FTP Masters
dh-coq_0.7_source.changes ACCEPTED into unstable
Debian FTP Masters
[Git][ocaml-team/coq-doc][master] 3 commits: New upstream version 8.18.0
Julien Puydt (@jpuydt)
[Git][ocaml-team/coq-doc][pristine-tar] pristine-tar data for coq-doc_8.18.0.orig.tar.gz
Julien Puydt (@jpuydt)
[Git][ocaml-team/coq-doc][upstream] New upstream version 8.18.0
Julien Puydt (@jpuydt)
[Git][ocaml-team/coq-doc] Pushed new tag debian/8.18.0-1
Julien Puydt (@jpuydt)
[Git][ocaml-team/coq-doc] Pushed new tag upstream/8.18.0
Julien Puydt (@jpuydt)
Processing of coq-doc_8.18.0-1_source.changes
Debian FTP Masters
Bug#1056948: marked as done (coq-doc-html loads files from a CDN)
Debian Bug Tracking System
coq-doc_8.18.0-1_source.changes ACCEPTED into unstable
Debian FTP Masters
Processing of mathcomp-analysis_1.0.0-1_source.changes
Debian FTP Masters
mathcomp-analysis_1.0.0-1_source.changes ACCEPTED into unstable
Debian FTP Masters
Processing of dh-coq_0.8_source.changes
Debian FTP Masters
dh-coq_0.8_source.changes ACCEPTED into unstable
Debian FTP Masters
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
]
[
Date Index
] [
Subject Index
] [
Author Index
] [
Other Debian Lists
] [
Debian Home
]
Mail converted by
MHonArc