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