debian-ocaml-maint Dec 2023 by author

[previous page]

Page 1 of 1

[next page]

[Thread Index] [Date Index] [Subject Index] [Other Debian Lists] [Debian Home]

Stéphane Glondu

Issue with ssreflect... Dec 31

Chris Hofstaedtler

Bug#1059178: approx: install systemd units into /usr Dec 20

Debian Bug Tracking System

Bug#1044267: marked as done (coqprime: Fails to build source after successful build) Dec 23
Processed: tagging 1057197, tagging 1051294, tagging 1055892, notfixed 1058078 in 2.3.0+~0.3.0-4 ... Dec 14
Processed: tags for bullseye Dec 12
Bug#1044951: marked as done (coq-menhirlib: Fails to build source after successful build) Dec 22
Bug#1044276: marked as done (coq-dpdgraph: Fails to build source after successful build) Dec 22
Bug#1044393: marked as done (coq-iris: Fails to build source after successful build) Dec 23
Bug#1046759: marked as done (mathcomp-real-closed: Fails to build source after successful build) Dec 26
Bug#1044914: marked as done (coq-math-classes: Fails to build source after successful build) Dec 23
Bug#1044703: marked as done (coq-mtac2: Fails to build source after successful build) Dec 23
Bug#1045073: marked as done (coq-stdpp: Fails to build source after successful build) Dec 22
Bug#1044296: marked as done (coqeal: Fails to build source after successful build) Dec 27
Bug#1044944: marked as done (coq-gappa: Fails to build source after successful build) Dec 23
Bug#1044466: marked as done (coq-extructures: Fails to build source after successful build) Dec 26
Bug#1048381: marked as done (paramcoq: Fails to build source after successful build) Dec 22
Bug#1044146: marked as done (coq-unimath: Fails to build source after successful build) Dec 22
Bug#1045076: marked as done (coq-interval: Fails to build source after successful build) Dec 26
Bug#1044251: marked as done (coq-elpi: Fails to build source after successful build) Dec 22
Bug#1056062: marked as done (coq: FTBFS in sid (dune update?)) Dec 22
Bug#1044177: marked as done (coq-libhyps: Fails to build source after successful build) Dec 22
Bug#1048599: marked as done (mathcomp-multinomials: Fails to build source after successful build) Dec 26
Bug#1044477: marked as done (coq-bignums: Fails to build source after successful build) Dec 22
Bug#1047108: marked as done (mathcomp-algebra-tactics: Fails to build source after successful build) Dec 26
Bug#1044395: marked as done (coq-reduction-effects: Fails to build source after successful build) Dec 22
Bug#1047255: marked as done (mathcomp-finmap: Fails to build source after successful build) Dec 25
Bug#1044629: marked as done (coq-reglang: Fails to build source after successful build) Dec 25
Bug#1044715: marked as done (coq-ext-lib: Fails to build source after successful build) Dec 22
Bug#1044907: marked as done (coq-relation-algebra: Fails to build source after successful build) Dec 25
Bug#1044961: marked as done (elpi: Fails to build source after successful build) Dec 21
Bug#1044763: marked as done (coq-unicoq: Fails to build source after successful build) Dec 22
Bug#1044511: marked as done (coq-quickchick: Fails to build source after successful build) Dec 25
Processed: No longer trixie or sid Dec 12
Bug#1057058: marked as done (liquidsoap-doc: missing Breaks+Replaces: liquidsoap (<< 2.2.2)) Dec 19
Bug#1049045: marked as done (mathcomp-abel: Fails to build source after successful build) Dec 23
Bug#1044808: marked as done (coq-record-update: Fails to build source after successful build) Dec 22
Bug#1044750: marked as done (coq-hammer: Fails to build source after successful build) Dec 22
Bug#1044397: marked as done (coq-simple-io: Fails to build source after successful build) Dec 23
Bug#1044275: marked as done (coq-hierarchy-builder: Fails to build source after successful build) Dec 23
Processed: Bug#1057058 marked as pending in liquidsoap Dec 19
Bug#1044637: marked as done (coq: Fails to build source after successful build) Dec 21
Bug#1044385: marked as done (coquelicot: Fails to build source after successful build) Dec 25
Bug#1044870: marked as done (coq-deriving: Fails to build source after successful build) Dec 25
Bug#1044361: marked as done (flocq: Fails to build source after successful build) Dec 22
Bug#1049273: marked as done (ott: Fails to build source after successful build) Dec 22

Debian FTP Masters

Processing of coq-hammer_1.3.2+8.18-1_source.changes Dec 22
elpi_1.17.4-2_source.changes ACCEPTED into unstable Dec 31
Processing of coq-simple-io_1.8.0-4_source.changes Dec 22
Processing of mathcomp-bigenough_1.0.1-12_source.changes Dec 22
Processing of coq-bignums_9.0.0+coq8.18-1_source.changes Dec 22
Processing of coq-mtac2_1.4+8.18-1_source.changes Dec 22
Processing of coq-libhyps_2.0.8-1_source.changes Dec 22
coq-elpi_1.19.3-1_source.changes ACCEPTED into unstable Dec 22
Processing of coq-hott_8.18-3_source.changes Dec 22
Processing of coq-unicoq_1.6-8.18-1_source.changes Dec 22
coq-unimath_20231010-1_source.changes ACCEPTED into unstable Dec 22
Processing of coq-menhirlib_20230608+ds-2_source.changes Dec 22
Processing of ssreflect_2.1.0-1_source.changes Dec 22
coq-iris_4.1.0-1_source.changes ACCEPTED into unstable Dec 23
paramcoq_1.1.3+coq8.18-1_source.changes ACCEPTED into unstable Dec 22
ssreflect_2.1.0-1_source.changes ACCEPTED into unstable Dec 24
coq-corn_8.18.0-1_source.changes ACCEPTED into unstable Dec 24
Processing of mathcomp-multinomials_2.1.0-1_source.changes Dec 22
coq-menhirlib_20230608+ds-2_source.changes ACCEPTED into unstable Dec 22
coq-math-classes_8.18.0-1_source.changes ACCEPTED into unstable Dec 23
coq-mtac2_1.4+8.18-1_source.changes ACCEPTED into unstable Dec 23
coquelicot_3.4.0-1_source.changes ACCEPTED into unstable Dec 25
Accepted coq 8.18.0+dfsg-1 (source) into unstable Dec 21
Processing of mathcomp-algebra-tactics_1.2.2-1_source.changes Dec 22
elpi_1.17.4-3_source.changes ACCEPTED into unstable Dec 31
Bug#1059229: Removed package(s) from unstable Dec 23
mathcomp-bigenough_1.0.1-12_source.changes ACCEPTED into unstable Dec 25
coqprime_8.18-1_source.changes ACCEPTED into unstable Dec 23
Processing of coq-reglang_1.2.0-1_source.changes Dec 22
Processing of coq-hierarchy-builder_1.6.0-1_source.changes Dec 22
liquidsoap_2.2.2-2_source.changes ACCEPTED into unstable Dec 19
Processing of mathcomp-real-closed_2.0.0-1_source.changes Dec 22
Processing of ocaml-merlin_4.13-414+ds-1_source.changes Dec 05
coq-reglang_1.2.0-1_source.changes ACCEPTED into unstable Dec 25
Processing of mathcomp-finmap_2.0.0-1_source.changes Dec 22
Processing of coq-math-classes_8.18.0-1_source.changes Dec 22
coq-stdpp_1.9.0-1_source.changes ACCEPTED into unstable Dec 22
coq-ext-lib_0.12.0-1_source.changes ACCEPTED into unstable Dec 22
Bug#1059229: Removed package(s) from unstable Dec 23
coq-bignums_9.0.0+coq8.18-1_source.changes ACCEPTED into unstable Dec 22
Processing of elpi_1.17.4-2_source.changes Dec 31
coq-relation-algebra_1.7.9-2_source.changes ACCEPTED into unstable Dec 25
Processing of coq-unimath_20231010-1_source.changes Dec 22
Processing of mathcomp-zify_1.5.0+2.0+8.16-1_source.changes Dec 22
Processing of yojson_2.1.2-1_source.changes Dec 14
coq-quickchick_2.0.1-1_source.changes ACCEPTED into unstable Dec 25
Processing of coq-interval_4.9.0-1_source.changes Dec 22
Processing of coq-dpdgraph_1.0+8.18-1_source.changes Dec 22
coq-simple-io_1.8.0-4_source.changes ACCEPTED into unstable Dec 23
Processing of elpi_1.17.4-3_source.changes Dec 31
Processing of ott_0.33+ds-2_source.changes Dec 22
mathcomp-real-closed_2.0.0-1_source.changes ACCEPTED into unstable Dec 26
coq-dpdgraph_1.0+8.18-1_source.changes ACCEPTED into unstable Dec 22
Processing of aac-tactics_8.18.0-1_source.changes Dec 21
coq-hierarchy-builder_1.6.0-1_source.changes ACCEPTED into unstable Dec 23
Bug#1057663: Removed package(s) from unstable Dec 07
coq-gappa_1.5.4-1_source.changes ACCEPTED into unstable Dec 23
aac-tactics_8.18.0-1_source.changes ACCEPTED into unstable Dec 21
coq-equations_1.3-8.18-1_source.changes ACCEPTED into unstable Dec 23
coq-unicoq_1.6-8.18-1_source.changes ACCEPTED into unstable Dec 22
ocaml-merlin_4.13-414+ds-1_source.changes ACCEPTED into unstable Dec 05
coq-hott_8.18-3_source.changes ACCEPTED into unstable Dec 22
Processing of coq-elpi_1.19.3-1_source.changes Dec 22
elpi_1.17.4-1_source.changes ACCEPTED into unstable Dec 21
mathcomp-multinomials_2.1.0-1_source.changes ACCEPTED into unstable Dec 26
Processing of coq-stdpp_1.9.0-1_source.changes Dec 22
flocq_4.1.3-1_source.changes ACCEPTED into unstable Dec 22
mathcomp-finmap_2.0.0-1_source.changes ACCEPTED into unstable Dec 25
coq-record-update_0.3.3-1_source.changes ACCEPTED into unstable Dec 22
Processing of coq-relation-algebra_1.7.9-2_source.changes Dec 22
Processing of coqprime_8.18-1_source.changes Dec 22
Processing of coq-quickchick_2.0.1-1_source.changes Dec 22
Processing of coq-reduction-effects_0.1.5-1_source.changes Dec 22
Processing of coq-extructures_0.4.0-1_source.changes Dec 22
Processing of liquidsoap_2.2.2-2_source.changes Dec 19
Processing of coq-ext-lib_0.12.0-1_source.changes Dec 22
coq-hammer_1.3.2+8.18-1_source.changes ACCEPTED into unstable Dec 22
coq-interval_4.9.0-1_source.changes ACCEPTED into unstable Dec 26
Processing of coquelicot_3.4.0-1_source.changes Dec 22
coq-extructures_0.4.0-1_source.changes ACCEPTED into unstable Dec 26
coq-libhyps_2.0.8-1_source.changes ACCEPTED into unstable Dec 22
Processing of coq-record-update_0.3.3-1_source.changes Dec 22
mathcomp-zify_1.5.0+2.0+8.16-1_source.changes ACCEPTED into unstable Dec 25
ott_0.33+ds-2_source.changes ACCEPTED into unstable Dec 22
Processing of coq-equations_1.3-8.18-1_source.changes Dec 22
Processing of elpi_1.17.4-1_source.changes Dec 21
Processing of coq-gappa_1.5.4-1_source.changes Dec 22
Processing of coq-corn_8.18.0-1_source.changes Dec 22
Processing of flocq_4.1.3-1_source.changes Dec 22
coq-reduction-effects_0.1.5-1_source.changes ACCEPTED into unstable Dec 22
mathcomp-algebra-tactics_1.2.2-1_source.changes ACCEPTED into unstable Dec 26
Processing of coqeal_2.0.0-1_source.changes Dec 22
coq_8.18.0+dfsg-1_source.changes ACCEPTED into unstable Dec 21
Processing of coq-deriving_0.2.0-1_source.changes Dec 22
yojson_2.1.2-1_source.changes ACCEPTED into unstable Dec 14
Processing of coq-iris_4.1.0-1_source.changes Dec 22
Processing of paramcoq_1.1.3+coq8.18-1_source.changes Dec 22
Processing of coq_8.18.0+dfsg-1_source.changes Dec 21
coq-deriving_0.2.0-1_source.changes ACCEPTED into unstable Dec 25
coqeal_2.0.0-1_source.changes ACCEPTED into unstable Dec 27

Debian testing autoremoval watch

coq-relation-algebra is marked for autoremoval from testing Dec 16
coq-extructures is marked for autoremoval from testing Dec 16
coq-menhirlib is marked for autoremoval from testing Dec 16
coq-equations is marked for autoremoval from testing Dec 16
coq-reduction-effects is marked for autoremoval from testing Dec 16
coq-reglang is marked for autoremoval from testing Dec 16
mathcomp-finmap is marked for autoremoval from testing Dec 16
mathcomp-algebra-tactics is marked for autoremoval from testing Dec 16
mathcomp-bigenough is marked for autoremoval from testing Dec 16
coq-iris is marked for autoremoval from testing Dec 16
coq-unicoq is marked for autoremoval from testing Dec 16
coq-hierarchy-builder is marked for autoremoval from testing Dec 16
aac-tactics is marked for autoremoval from testing Dec 16
ott is marked for autoremoval from testing Dec 16
coqeal is marked for autoremoval from testing Dec 16
coq-hott is marked for autoremoval from testing Dec 16
coq-hammer is marked for autoremoval from testing Dec 16
mathcomp-abel is marked for autoremoval from testing Dec 16
coq-deriving is marked for autoremoval from testing Dec 16
flocq is marked for autoremoval from testing Dec 16
coq-mtac2 is marked for autoremoval from testing Dec 16
ocaml-mm is marked for autoremoval from testing Dec 02
coqprime is marked for autoremoval from testing Dec 16
coq-record-update is marked for autoremoval from testing Dec 16
mathcomp-zify is marked for autoremoval from testing Dec 16
coq-doc is marked for autoremoval from testing Dec 21
coq-quickchick is marked for autoremoval from testing Dec 16
ssreflect is marked for autoremoval from testing Dec 16
mathcomp-analysis is marked for autoremoval from testing Dec 16
coq-gappa is marked for autoremoval from testing Dec 16
coq-unimath is marked for autoremoval from testing Dec 16
coq-ext-lib is marked for autoremoval from testing Dec 16
ocamlsdl is marked for autoremoval from testing Dec 22
ocamlsdl is marked for autoremoval from testing Dec 02
coq-interval is marked for autoremoval from testing Dec 16
coq-simple-io is marked for autoremoval from testing Dec 16
coquelicot is marked for autoremoval from testing Dec 16
coq-dpdgraph is marked for autoremoval from testing Dec 16
mathcomp-real-closed is marked for autoremoval from testing Dec 16
coq-libhyps is marked for autoremoval from testing Dec 16
paramcoq is marked for autoremoval from testing Dec 16
coq-corn is marked for autoremoval from testing Dec 16
coq-bignums is marked for autoremoval from testing Dec 16
coq-stdpp is marked for autoremoval from testing Dec 16
ocaml-mm is marked for autoremoval from testing Dec 22
coq-elpi is marked for autoremoval from testing Dec 16
coq-math-classes is marked for autoremoval from testing Dec 16
coq is marked for autoremoval from testing Dec 16
mathcomp-multinomials is marked for autoremoval from testing Dec 16

Julien Puydt

Bug#1059090: elpi: add build support for loongarch64 Dec 20
Bug#1059229: RM: mathcomp-abel -- ROM; abandoned upstream Dec 21

Julien Puydt (@jpuydt)

[Git][ocaml-team/yojson] Pushed new tag upstream/2.1.2 Dec 14
[Git][ocaml-team/aac-tactics] Pushed new tag debian/8.18.0-1 Dec 21
[Git][ocaml-team/coq] Pushed new tag debian/8.18.0+dfsg-1 Dec 21
[Git][ocaml-team/yojson][pristine-tar] pristine-tar data for yojson_2.1.2.orig.tar.gz Dec 14
[Git][ocaml-team/ssreflect][master] Prepare for upload Dec 21
[Git][ocaml-team/ssreflect] Pushed new tag debian/2.1.0-1 Dec 21
[Git][ocaml-team/coq][master] Prepare for upload Dec 21
[Git][ocaml-team/yojson] Pushed new tag debian/2.1.2-1 Dec 14
[Git][ocaml-team/yojson][master] 3 commits: New upstream version 2.1.2 Dec 14
[Git][ocaml-team/aac-tactics][master] Prepare for upload Dec 21

Kyle Robbertze (@paddatrapper)

[Git][ocaml-team/liquidsoap][master] 2 commits: Add missing Breaks+Replaces Dec 19
[Git][ocaml-team/liquidsoap] Pushed new tag debian/2.2.2-2 Dec 19

Sebastian Ramacher

Bug#1057663: RM: liquidsoap [mips64el] -- RoQA; blocks decrufting of ffmpeg Dec 06

zhangdandan

Bug#1059090: elpi: add build support for loongarch64 Dec 20

The last update was on 19:00 GMT Sun Dec 31. There are 210 messages. Page 1 of 1.

[previous month]

[previous page]

Page 1 of 1

[next page]

[Thread Index] [Subject Index] [Author Index] [Other Debian Lists] [Debian Home]

Mail converted by MHonArc