debian-ocaml-maint Jun 2022 by author

[previous page]

Page 1 of 1

[next page]

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

---

Andreas Beckmann

• Bug#1012479: libcoq-paramcoq-ocaml: missing Breaks+Replaces: libcoq-paramcoq (<< 1.1.3-5) Jun 08

ASDA Stores Limited

• ASDA- Monthly Purchase Order Jun 24

Debian Bug Tracking System

• Bug#1012060: marked as done (coq breaks coq-bignums autopkgtest: Compiled library Bignums.BigN.BigN makes inconsistent assumptions over library Coq.Init.Ltac) Jun 01
• Processed: limit source to frama-c, tagging 1010867, tagging 1011892 Jun 18
• Bug#605014: marked as done (proofgeneral-coq: PG for coq unusable because hilit19 is missing) Jun 14
• Bug#1012479: marked as done (libcoq-paramcoq-ocaml: missing Breaks+Replaces: libcoq-paramcoq (<< 1.1.3-5)) Jun 08
• Processed: Re: It's actually a sphinx issue Jun 15
• Processed: Get rid of old bugs preventing testing migration Jun 29
• Bug#1009430: marked as done (pyml: FTBFS: Test 'run file with filename' ... fails (?)) Jun 01
• Processed: limit source to pyml, tagging 1009430 Jun 01
• Bug#605024: marked as done (coq: coq.el requires nonexistent hilit19) Jun 14
• Processed: Forwarded upstream Jun 23
• Processed: Fixed by the recent upload with the patch for sphinx 4.5.0 Jun 16
• Bug#1010867: marked as done (why3 breaks frama-c autopkgtest: undefined symbol: camlWhy3__Env__fun_3995") Jun 18
• Bug#1012061: marked as done (coq breaks coquelicot autopkgtest: Compiled library Coquelicot.Rcomplements makes inconsistent assumptions over library Coq.Init.Ltac) Jun 02
• Processed: Let all things Coq go to testing already! Jun 30
• Bug#979756: marked as done (Please compute ABIs for Coq libraries) Jun 13
• Bug#582768: marked as done (proofgeneral: file-error "cannot open load file" "hilit19") Jun 14
• Processed: It's actually a sphinx issue Jun 11

Debian FTP Masters

• mathcomp-algebra-tactics_1.0.0-5_source.changes ACCEPTED into unstable Jun 13
• paramcoq_1.1.3-5_amd64.changes is NEW Jun 03
• coquelicot_3.2.0-6_source.changes ACCEPTED into unstable Jun 19
• Processing of coq-ext-lib_0.11.6-1_amd64.changes Jun 28
• coq-elpi_1.14.0-3_source.changes ACCEPTED into unstable Jun 01
• coq-ext-lib_0.11.6-1_amd64.changes is NEW Jun 28
• frama-c_20220511-manganese-1_source.changes ACCEPTED into unstable Jun 18
• Processing of aac-tactics_8.15.1-6_source.changes Jun 12
• mathcomp-finmap_1.5.1-6_source.changes ACCEPTED into unstable Jun 02
• frama-c_20220511-manganese-1.3_source.changes ACCEPTED into unstable Jun 27
• Processing of paramcoq_1.1.3-6_source.changes Jun 08
• Processing of coq-hierarchy-builder_1.2.1-11_source.changes Jun 13
• mathcomp-multinomials_1.5.5-7_source.changes ACCEPTED into unstable Jun 28
• Processing of paramcoq_1.1.3-7_source.changes Jun 12
• Processing of coq-hierarchy-builder_1.2.1-10_source.changes Jun 02
• coquelicot_3.2.0-5_source.changes ACCEPTED into unstable Jun 12
• paramcoq_1.1.3-7_source.changes ACCEPTED into unstable Jun 12
• Processing of coq-doc_8.15.2-1_amd64.changes Jun 16
• Processing of frama-c_20220511-manganese-1_source.changes Jun 18
• wyrd_1.5.4-1_source.changes ACCEPTED into unstable Jun 06
• coq-hierarchy-builder_1.2.1-10_source.changes ACCEPTED into unstable Jun 02
• flocq_4.1.0-1_amd64.changes is NEW Jun 29
• coq-elpi_1.14.0-4_source.changes ACCEPTED into unstable Jun 12
• Processing of coq-doc_8.15.2-1_source.changes Jun 15
• pyml_20220325-1_source.changes ACCEPTED into unstable Jun 01
• paramcoq_1.1.3-4_source.changes ACCEPTED into unstable Jun 01
• Processing of ssreflect_1.14.0-11_source.changes Jun 01
• mathcomp-zify_1.2.0+1.12+8.13-4_source.changes ACCEPTED into unstable Jun 02
• aac-tactics_8.15.1-6_source.changes ACCEPTED into unstable Jun 12
• flocq_4.1.0-1_amd64.changes ACCEPTED into unstable, unstable Jun 29
• Processing of coq-bignums_8.15.0-3_source.changes Jun 01
• ocaml-pprint_20220103-1_amd64.changes is NEW Jun 30
• Processing of mathcomp-bigenough_1.0.1-7_source.changes Jun 12
• Processing of coq-bignums_8.15.0-7_source.changes Jun 15
• coq-hierarchy-builder_1.2.1-11_source.changes ACCEPTED into unstable Jun 13
• coq-elpi_1.14.0-5_source.changes ACCEPTED into unstable Jun 12
• paramcoq_1.1.3-6_source.changes ACCEPTED into unstable Jun 08
• wyrd_1.5.5-1_source.changes ACCEPTED into unstable Jun 10
• coq-hott_8.15-1_amd64.changes is NEW Jun 27
• Bug#1011347: Removed package(s) from unstable Jun 05
• Processing of coquelicot_3.2.0-5_source.changes Jun 12
• mathcomp-zify_1.2.0+1.12+8.13-5_source.changes ACCEPTED into unstable Jun 12
• cmdliner_1.1.1-1_source.changes ACCEPTED into unstable Jun 29
• Processing of mathcomp-zify_1.2.0+1.12+8.13-4_source.changes Jun 02
• Processing of mathcomp-bigenough_1.0.1-6_source.changes Jun 02
• Processing of mathcomp-real-closed_1.1.2-3_source.changes Jun 02
• coq-doc_8.15.2-2_amd64.changes ACCEPTED into unstable Jun 16
• Processing of coquelicot_3.2.0-4_source.changes Jun 02
• Processing of coq-hott_8.15-1_amd64.changes Jun 27
• mathcomp-bigenough_1.0.1-6_source.changes ACCEPTED into unstable Jun 02
• Processing of coq_8.15.2+dfsg-2_source.changes Jun 11
• Processing of frama-c_20220511-manganese-1.3_source.changes Jun 27
• mathcomp-finmap_1.5.1-7_source.changes ACCEPTED into unstable Jun 12
• Processing of mathcomp-algebra-tactics_1.0.0-3_source.changes Jun 02
• Processing of mathcomp-real-closed_1.1.2-4_source.changes Jun 28
• coq-bignums_8.15.0-6_source.changes ACCEPTED into unstable Jun 14
• Processing of dh-coq_0.3_source.changes Jun 15
• paramcoq_1.1.3-5_source.changes REJECTED Jun 03
• Accepted coq 8.15.2+dfsg-2 (source) into unstable Jun 11
• Processing of coq-math-classes_8.15.0-1_amd64.changes Jun 29
• mathcomp-bigenough_1.0.1-7_source.changes ACCEPTED into unstable Jun 12
• Processing of coq-elpi_1.14.0-3_source.changes Jun 01
• coq-bignums_8.15.0-3_source.changes ACCEPTED into unstable Jun 01
• mathcomp-analysis_0.5.1-1_source.changes ACCEPTED into unstable Jun 07
• Processing of mathcomp-zify_1.2.0+1.12+8.13-5_source.changes Jun 12
• aac-tactics_8.15.1-5_source.changes ACCEPTED into unstable Jun 01
• coquelicot_3.2.0-4_source.changes ACCEPTED into unstable Jun 02
• mathcomp-analysis_0.5.1-2_source.changes ACCEPTED into unstable Jun 13
• Processing of wyrd_1.5.4-1_source.changes Jun 06
• dh-coq_0.2_source.changes ACCEPTED into unstable Jun 11
• Processing of paramcoq_1.1.3-5_source.changes Jun 03
• Processing of ocaml-pprint_20220103-1_amd64.changes Jun 30
• Processing of coquelicot_3.2.0-6_source.changes Jun 19
• coq-bignums_8.15.0-7_source.changes ACCEPTED into unstable Jun 15
• Processing of frama-c_20220511-manganese-1.2_source.changes Jun 27
• Processing of mathcomp-analysis_0.5.1-2_source.changes Jun 13
• Processing of alt-ergo_2.4.1-3_source.changes Jun 29
• Processing of frama-c_20220511-manganese-1.1_source.changes Jun 23
• Processing of js-of-ocaml_4.0.0-2_source.changes Jun 29
• Processing of mathcomp-finmap_1.5.1-7_source.changes Jun 12
• Processing of mathcomp-multinomials_1.5.5-7_source.changes Jun 28
• mathcomp-algebra-tactics_1.0.0-4_source.changes ACCEPTED into unstable Jun 13
• Processing of mathcomp-analysis_0.5.0-5_source.changes Jun 02
• coq-dpdgraph_1.0+8.15-1_amd64.changes is NEW Jun 23
• Processing of mathcomp-algebra-tactics_1.0.0-4_source.changes Jun 13
• frama-c_20220511-manganese-1.2_source.changes ACCEPTED into unstable Jun 27
• frama-c_20220511-manganese-1.1_source.changes ACCEPTED into unstable Jun 23
• Bug#1011347: Removed package(s) from unstable Jun 05
• Processing of paramcoq_1.1.3-5_amd64.changes Jun 03
• mathcomp-real-closed_1.1.2-4_source.changes ACCEPTED into unstable Jun 28
• Processing of wyrd_1.5.5-1_source.changes Jun 10
• alt-ergo_2.4.1-3_source.changes ACCEPTED into unstable Jun 29
• coq-doc_8.15.2-1_amd64.changes REJECTED Jun 16
• Processing of coq-dpdgraph_1.0+8.15-1_amd64.changes Jun 23
• coq_8.15.2+dfsg-2_source.changes ACCEPTED into unstable Jun 11
• coq-doc_8.15.2-1_source.changes ACCEPTED into unstable Jun 15
• Processing of ocaml-alcotest_1.6.0-1_source.changes Jun 29
• Processing of mathcomp-multinomials_1.5.5-5_source.changes Jun 02
• Processing of dh-coq_0.2_source.changes Jun 11
• Processing of mathcomp-analysis_0.5.1-1_source.changes Jun 07
• Processing of aac-tactics_8.15.1-5_source.changes Jun 01
• Processing of ssreflect_1.14.0-12_source.changes Jun 12
• Processing of mathcomp-algebra-tactics_1.0.0-5_source.changes Jun 13
• Processing of coq-bignums_8.15.0-5_source.changes Jun 12
• Processing of mathcomp-finmap_1.5.1-6_source.changes Jun 02
• mathcomp-algebra-tactics_1.0.0-3_source.changes ACCEPTED into unstable Jun 02
• Processing of coq-doc_8.15.2-2_amd64.changes Jun 16
• coq-bignums_8.15.0-5_source.changes ACCEPTED into unstable Jun 12
• ssreflect_1.14.0-11_source.changes ACCEPTED into unstable Jun 01
• Processing of cmdliner_1.1.1-1_source.changes Jun 29
• Processing of flocq_4.1.0-1_amd64.changes Jun 29
• ssreflect_1.14.0-12_source.changes ACCEPTED into unstable Jun 12
• Processing of paramcoq_1.1.3-4_source.changes Jun 01
• Processing of coq-elpi_1.14.0-5_source.changes Jun 12
• mathcomp-multinomials_1.5.5-5_source.changes ACCEPTED into unstable Jun 02
• js-of-ocaml_4.0.0-2_source.changes ACCEPTED into unstable Jun 29
• paramcoq_1.1.3-5_amd64.changes ACCEPTED into unstable, unstable Jun 03
• Processing of coq-bignums_8.15.0-6_source.changes Jun 14
• dh-coq_0.3_source.changes ACCEPTED into unstable Jun 15
• mathcomp-analysis_0.5.0-5_source.changes ACCEPTED into unstable Jun 02
• mathcomp-real-closed_1.1.2-3_source.changes ACCEPTED into unstable Jun 02
• ocaml-alcotest_1.6.0-1_source.changes ACCEPTED into unstable Jun 29
• Processing of coq-elpi_1.14.0-4_source.changes Jun 12
• coqeal_1.1.0-1_amd64.changes is NEW Jun 28
• Processing of coqeal_1.1.0-1_amd64.changes Jun 28
• Processing of pyml_20220325-1_source.changes Jun 01
• coq-math-classes_8.15.0-1_amd64.changes is NEW Jun 29

Debian testing autoremoval watch

• mathcomp-finmap is marked for autoremoval from testing Jun 07
• mathcomp-bigenough is marked for autoremoval from testing Jun 27
• mathcomp-zify is marked for autoremoval from testing Jun 07
• prooftree is marked for autoremoval from testing Jun 15
• coq-hierarchy-builder is marked for autoremoval from testing Jun 27
• ssreflect is marked for autoremoval from testing Jun 15
• coq-bignums is marked for autoremoval from testing Jun 15
• mathcomp-real-closed is marked for autoremoval from testing Jun 27
• mathcomp-analysis is marked for autoremoval from testing Jun 09
• mathcomp-analysis is marked for autoremoval from testing Jun 07
• mathcomp-finmap is marked for autoremoval from testing Jun 27
• mathcomp-analysis is marked for autoremoval from testing Jun 14
• why3 is marked for autoremoval from testing Jun 29
• mathcomp-multinomials is marked for autoremoval from testing Jun 07
• paramcoq is marked for autoremoval from testing Jun 21
• aac-tactics is marked for autoremoval from testing Jun 27
• aac-tactics is marked for autoremoval from testing Jun 07
• coccinelle is marked for autoremoval from testing Jun 01
• coq-hierarchy-builder is marked for autoremoval from testing Jun 07
• coquelicot is marked for autoremoval from testing Jun 15
• mathcomp-zify is marked for autoremoval from testing Jun 21
• mathcomp-algebra-tactics is marked for autoremoval from testing Jun 07
• coq-elpi is marked for autoremoval from testing Jun 15
• mathcomp-multinomials is marked for autoremoval from testing Jun 27
• mathcomp-real-closed is marked for autoremoval from testing Jun 07
• frama-c is marked for autoremoval from testing Jun 29
• pyml is marked for autoremoval from testing Jun 01
• mathcomp-algebra-tactics is marked for autoremoval from testing Jun 27
• frama-c is marked for autoremoval from testing Jun 09
• coq is marked for autoremoval from testing Jun 15
• why3 is marked for autoremoval from testing Jun 09
• paramcoq is marked for autoremoval from testing Jun 07
• coq-doc is marked for autoremoval from testing Jun 17
• mathcomp-bigenough is marked for autoremoval from testing Jun 07

debian-bts-link

• [bts-link] source package src:coq-doc Jun 16
• [bts-link] source package src:alt-ergo Jun 27

julien . puydt

• Request: autobuild src:coq-doc Jun 16
• Strange problem with frama-c -- dh-ocaml's fault? Jun 23
• First draft of dh-coq Jun 03
• frama-c autopkgtest failing Jun 24

Julien Puydt

• Bug#1014048: ITP: flocq -- Floating-point arithmetic for Coq Jun 29
• Bug#1014118: ITP: ocaml-pprint -- Pretty printing toolbox for OCaml Jun 30
• Bug#1013372: ITP: coq-dpdgraph -- Coq plugin to extract dependencies between Coq objects Jun 23
• Bug#1013965: ITP: coqeal -- algebra and data structure algorithms for Coq Jun 28
• Bug#1013949: ITP: coq-hott -- Coq library for homotopy type theory Jun 27
• Bug#1013963: ITP: coq-ext-lib -- Collection of theories and plugins for Coq Jun 28
• Bug#1014059: ITP: coq-math-classes -- Abstract interfaces for mathematical structures for Coq Jun 29

Julien Puydt (@jpuydt)

• [Git][ocaml-team/cmdliner][master] 5 commits: New upstream version 1.1.1 Jun 29
• [Git][ocaml-team/frama-c] Pushed new tag debian/20220511-manganese-1.1 Jun 23
• [Git][ocaml-team/cmdliner][pristine-tar] pristine-tar data for cmdliner_1.1.1.orig.tar.bz2 Jun 29
• [Git][ocaml-team/frama-c][master] 2 commits: Also tighten the why3 dep for autopkgtest Jun 27
• [Git][ocaml-team/cmdliner] Pushed new tag upstream/1.1.1 Jun 29
• [Git][ocaml-team/frama-c][master] 3 commits: Add crude depend on libppx-import-ocaml (why does dh-ocaml fail to detect it?) Jun 23
• [Git][ocaml-team/ssreflect] Pushed new tag debian/1.14.0-12 Jun 12
• [Git][ocaml-team/frama-c] Pushed new tag debian/20220511-manganese-1.2 Jun 27
• [Git][ocaml-team/aac-tactics] Pushed new tag debian/8.15.1-5 Jun 01
• [Git][ocaml-team/frama-c] Pushed new tag debian/20220511-manganese-1.3 Jun 27
• [Git][ocaml-team/cmdliner][upstream] New upstream version 1.1.1 Jun 29
• [Git][ocaml-team/coq-doc] Pushed new tag debian/8.15.2-2 Jun 16
• [Git][ocaml-team/aac-tactics] Pushed new tag debian/8.15.1-6 Jun 12
• [Git][ocaml-team/cmdliner] Pushed new tag debian/1.1.1-1 Jun 29
• [Git][ocaml-team/coq-doc] Pushed new tag debian/8.15.2-1 Jun 15
• [Git][ocaml-team/ssreflect] Pushed new tag debian/1.14.0-11 Jun 01
• [Git][ocaml-team/coq-doc] Pushed new tag upstream/8.15.2 Jun 15
• [Git][ocaml-team/alt-ergo] Pushed new tag debian/2.4.1-3 Jun 29
• [Git][ocaml-team/coq] Pushed new tag debian/8.15.2+dfsg-2 Jun 11
• [Git][ocaml-team/js-of-ocaml] Pushed new tag debian/4.0.0-2 Jun 29

Paul Gevers

• Bug#1013362: src:alt-ergo: fails to migrate to testing for too long: FTBFS on armel, mips64el and mipsel Jun 22

Philipp Kern

• Re: Request: autobuild src:coq-doc Jun 24

Ralf Treinen (@treinen)

• [Git][ocaml-team/frama-c][experimental/master] 2 commits: remove mention of plugins ergo, coqwp from debian/copyright Jun 18
• [Git][ocaml-team/frama-c][master] 7 commits: New upstream version 20220511-manganese Jun 18
• [Git][ocaml-team/frama-c] Pushed new branch experimental/upstream Jun 18
• [Git][ocaml-team/frama-c] Pushed new tag debian/20220511-manganese-1 Jun 18
• [Git][ocaml-team/frama-c][upstream] New upstream version 20220511-manganese Jun 18
• [Git][ocaml-team/frama-c][experimental/master] add build-dep libppx-deriving-ocaml-dev Jun 18
• [Git][ocaml-team/frama-c] Pushed new branch experimental/master Jun 18
• [Git][ocaml-team/frama-c] Pushed new tag upstream/20220511-manganese Jun 18

[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]