debian-ocaml-maint Jul 2022 by thread

[previous month]

[previous page]

Page 1 of 1

[next page]

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

alt-ergo is marked for autoremoval from testing Debian testing autoremoval watch
Processing of wyrd_1.6-1_source.changes Debian FTP Masters
wyrd_1.6-1_source.changes ACCEPTED into unstable Debian FTP Masters
coq-dpdgraph_1.0+8.15-1_amd64.changes ACCEPTED into unstable, unstable Debian FTP Masters
Processed: update bts meta info Debian Bug Tracking System
Processed: Bug#1013362 marked as pending in alt-ergo Debian Bug Tracking System
Bug#1013362: marked as done (src:alt-ergo: fails to migrate to testing for too long: FTBFS on armel, mips64el and mipsel) Debian Bug Tracking System
[Git][ocaml-team/alt-ergo][master] Document the conditional patch for non-native architectures Julien Puydt (@jpuydt)
[Git][ocaml-team/alt-ergo] Pushed new tag debian/2.4.1-4 Julien Puydt (@jpuydt)
Processing of alt-ergo_2.4.1-4_source.changes Debian FTP Masters
alt-ergo_2.4.1-4_source.changes ACCEPTED into unstable Debian FTP Masters
Bug#1014358: src:why3: fails to migrate to testing for too long: blocked by dependency Paul Gevers

Processed: src:why3: fails to migrate to testing for too long: blocked by dependency Debian Bug Tracking System

Bug#741535: marked as done (libssreflect-coq: please Provide: an ABI) Debian Bug Tracking System
Bug#977258: marked as done (libssreflect-coq: ABI break by coq binNMU) Debian Bug Tracking System
[Git][ocaml-team/ssreflect][master] 5 commits: New upstream version 1.15.0 Julien Puydt (@jpuydt)
[Git][ocaml-team/ssreflect][upstream] New upstream version 1.15.0 Julien Puydt (@jpuydt)
[Git][ocaml-team/ssreflect] Pushed new tag upstream/1.15.0 Julien Puydt (@jpuydt)
[Git][ocaml-team/ssreflect] Pushed new tag debian/1.15.0-1 Julien Puydt (@jpuydt)
Processing of ssreflect_1.15.0-1_source.changes Debian FTP Masters
ssreflect_1.15.0-1_source.changes ACCEPTED into unstable Debian FTP Masters
Processing of mathcomp-bigenough_1.0.1-8_source.changes Debian FTP Masters
Processing of mathcomp-finmap_1.5.1-8_source.changes Debian FTP Masters
Processing of coquelicot_3.2.0-7_source.changes Debian FTP Masters
coquelicot_3.2.0-7_source.changes ACCEPTED into unstable Debian FTP Masters
Processing of mathcomp-zify_1.2.0+1.12+8.13-6_source.changes Debian FTP Masters
mathcomp-bigenough_1.0.1-8_source.changes ACCEPTED into unstable Debian FTP Masters
mathcomp-finmap_1.5.1-8_source.changes ACCEPTED into unstable Debian FTP Masters
mathcomp-zify_1.2.0+1.12+8.13-6_source.changes ACCEPTED into unstable Debian FTP Masters
Processing of mathcomp-finmap_1.5.1-9_source.changes Debian FTP Masters
mathcomp-finmap_1.5.1-9_source.changes ACCEPTED into unstable Debian FTP Masters
Processing of mathcomp-algebra-tactics_1.0.0-6_source.changes Debian FTP Masters
Processing of mathcomp-analysis_0.5.1-3_source.changes Debian FTP Masters
Processing of mathcomp-real-closed_1.1.2-5_source.changes Debian FTP Masters
Processing of mathcomp-multinomials_1.5.5-8_source.changes Debian FTP Masters
mathcomp-algebra-tactics_1.0.0-6_source.changes ACCEPTED into unstable Debian FTP Masters
mathcomp-analysis_0.5.1-3_source.changes ACCEPTED into unstable Debian FTP Masters
mathcomp-multinomials_1.5.5-8_source.changes ACCEPTED into unstable Debian FTP Masters
mathcomp-real-closed_1.1.2-5_source.changes ACCEPTED into unstable Debian FTP Masters
Comments regarding coqeal_1.1.0-1_amd64.changes Thorsten Alteholz

Re: Comments regarding coqeal_1.1.0-1_amd64.changes julien . puydt

Re: Comments regarding coqeal_1.1.0-1_amd64.changes Thorsten Alteholz

coqeal_1.1.0-1_amd64.changes ACCEPTED into unstable, unstable Debian FTP Masters
coq-ext-lib_0.11.6-1_amd64.changes ACCEPTED into unstable, unstable Debian FTP Masters
coq-hott_8.15-1_amd64.changes REJECTED Thorsten Alteholz

Re: coq-hott_8.15-1_amd64.changes REJECTED julien . puydt

coq-math-classes_8.15.0-1_amd64.changes REJECTED Thorsten Alteholz

Re: coq-math-classes_8.15.0-1_amd64.changes REJECTED julien . puydt

Processing of mathcomp-real-closed_1.1.3-1_source.changes Debian FTP Masters

<Possible follow-ups>
Processing of mathcomp-real-closed_1.1.3-1_source.changes Debian FTP Masters

mathcomp-real-closed_1.1.3-1_source.changes ACCEPTED into unstable Debian FTP Masters
mathcomp-real-closed_1.1.3-1_source.changes REJECTED Debian FTP Masters
Processing of coq-hott_8.15-2_amd64.changes Debian FTP Masters

<Possible follow-ups>
Processing of coq-hott_8.15-2_amd64.changes Debian FTP Masters

coq-hott_8.15-2_amd64.changes REJECTED Debian FTP Masters
coq-hott_8.15-2_amd64.changes is NEW Debian FTP Masters
Processing of coq-math-classes_8.15.0-2_amd64.changes Debian FTP Masters
coq-math-classes_8.15.0-2_amd64.changes is NEW Debian FTP Masters
Bug#1014572: ITP: coq-simple-io -- Coq plugin for purely functional IO Julien Puydt
Processing of coq-simple-io_1.7.0-1_amd64.changes Debian FTP Masters
coq-simple-io_1.7.0-1_amd64.changes is NEW Debian FTP Masters
Processing of coqeal_1.1.1-1_source.changes Debian FTP Masters
coqeal_1.1.1-1_source.changes ACCEPTED into unstable Debian FTP Masters
Bug#1014583: ITP: coq-equations -- Coq library to work with functions defined by equations Julien Puydt
Processing of coq-equations_1.3-8.15-1_amd64.changes Debian FTP Masters
Bug#1014585: ITP: coq-stdpp -- Extended standard library for Coq Julien Puydt
coq-equations_1.3-8.15-1_amd64.changes is NEW Debian FTP Masters
Processing of coq-stdpp_1.7.0-1_amd64.changes Debian FTP Masters
coq-stdpp_1.7.0-1_amd64.changes is NEW Debian FTP Masters
Bug#1014602: ITP: coq-menhirlib -- support library for verified Menhir parsers Julien Puydt
Processing of coq-menhirlib_20220210+ds-1_amd64.changes Debian FTP Masters
coq-hott_8.15-2_amd64.changes ACCEPTED into unstable, unstable Debian FTP Masters
coq-menhirlib_20220210+ds-1_amd64.changes is NEW Debian FTP Masters
Bug#1014610: ITP: ott -- Ott tool Julien Puydt
Processing of ott_0.32+ds-1_amd64.changes Debian FTP Masters
ott_0.32+ds-1_amd64.changes is NEW Debian FTP Masters
coq-math-classes_8.15.0-2_amd64.changes ACCEPTED into unstable, unstable Debian FTP Masters
coq-stdpp_1.7.0-1_amd64.changes ACCEPTED into unstable, unstable Debian FTP Masters
coq-simple-io_1.7.0-1_amd64.changes ACCEPTED into unstable, unstable Debian FTP Masters
coq-menhirlib_20220210+ds-1_amd64.changes ACCEPTED into unstable, unstable Debian FTP Masters
coq-equations_1.3-8.15-1_amd64.changes REJECTED Thorsten Alteholz

Re: coq-equations_1.3-8.15-1_amd64.changes REJECTED julien . puydt

Re: coq-equations_1.3-8.15-1_amd64.changes REJECTED Thorsten Alteholz

Re: coq-equations_1.3-8.15-1_amd64.changes REJECTED julien . puydt

ott_0.32+ds-1_amd64.changes REJECTED Thorsten Alteholz

Re: ott_0.32+ds-1_amd64.changes REJECTED julien . puydt

Re: ott_0.32+ds-1_amd64.changes REJECTED Thorsten Alteholz

coq 8.15.2+dfsg-2 MIGRATED to testing Debian testing watch
Processing of mathcomp-analysis_0.5.2-1_source.changes Debian FTP Masters
mathcomp-analysis_0.5.2-1_source.changes ACCEPTED into unstable Debian FTP Masters
Processing of ott_0.32+ds-2_amd64.changes Debian FTP Masters
ott_0.32+ds-2_amd64.changes is NEW Debian FTP Masters
ott_0.32+ds-2_amd64.changes ACCEPTED into unstable, unstable Debian FTP Masters
[Git][ocaml-team/ocaml-atd][pristine-tar] pristine-tar data for ocaml-atd_2.9.1.orig.tar.gz Julien Puydt (@jpuydt)
[Git][ocaml-team/ocaml-atd][master] 3 commits: New upstream version 2.9.1 Julien Puydt (@jpuydt)
[Git][ocaml-team/ocaml-atd] Pushed new tag upstream/2.9.1 Julien Puydt (@jpuydt)
[Git][ocaml-team/ocaml-atd][upstream] New upstream version 2.9.1 Julien Puydt (@jpuydt)
Bug#1014726: Please package new upstream julien . puydt
Processed: Put an explicit block on the wishlist bug reports Debian Bug Tracking System
[Git][ocaml-team/ocaml-flac][master] 2 commits: Remove constraints unnecessary since buster Kyle Robbertze (@paddatrapper)
[Git][ocaml-team/ocaml-ogg] Pushed new tag debian/0.7.2-1 Kyle Robbertze (@paddatrapper)
[Git][ocaml-team/ocaml-ogg] Pushed new tag upstream/0.7.2 Kyle Robbertze (@paddatrapper)
[Git][ocaml-team/ocaml-ogg][master] 4 commits: New upstream version 0.7.2 Kyle Robbertze (@paddatrapper)
[Git][ocaml-team/ocaml-ogg][upstream] New upstream version 0.7.2 Kyle Robbertze (@paddatrapper)
[Git][ocaml-team/ocaml-ogg][pristine-tar] pristine-tar data for ocaml-ogg_0.7.2.orig.tar.gz Kyle Robbertze (@paddatrapper)
Processing of ocaml-ffmpeg_1.1.4-1_source.changes Debian FTP Masters
[Git][ocaml-team/ocaml-opus] Pushed new tag debian/0.2.2-1 Kyle Robbertze (@paddatrapper)
[Git][ocaml-team/ocaml-opus] Pushed new tag upstream/0.2.2 Kyle Robbertze (@paddatrapper)
Processing of ocaml-ogg_0.7.2-1_source.changes Debian FTP Masters
Processing of ocaml-opus_0.2.2-1_source.changes Debian FTP Masters
ocaml-ffmpeg_1.1.4-1_source.changes ACCEPTED into unstable Debian FTP Masters
ocaml-ogg_0.7.2-1_source.changes ACCEPTED into unstable Debian FTP Masters
ocaml-opus_0.2.2-1_source.changes ACCEPTED into unstable Debian FTP Masters
[Git][ocaml-team/liquidsoap] Pushed new tag debian/2.0.6-1 Kyle Robbertze (@paddatrapper)
[Git][ocaml-team/liquidsoap] Pushed new tag upstream/2.0.6 Kyle Robbertze (@paddatrapper)
[Git][ocaml-team/liquidsoap][master] 4 commits: New upstream version 2.0.6 Kyle Robbertze (@paddatrapper)
[Git][ocaml-team/liquidsoap][upstream] New upstream version 2.0.6 Kyle Robbertze (@paddatrapper)
Processing of liquidsoap_2.0.6-1_source.changes Debian FTP Masters
liquidsoap_2.0.6-1_source.changes ACCEPTED into unstable Debian FTP Masters
[Git][ocaml-team/coq-doc] Pushed new tag debian/8.15.2-3 Julien Puydt (@jpuydt)
Processing of coq-doc_8.15.2-3_source.changes Debian FTP Masters
coq-doc_8.15.2-3_source.changes ACCEPTED into unstable Debian FTP Masters
Processed: Wrong bug number - sorry Debian Bug Tracking System
Processing of coq-equations_1.3-8.15-2_amd64.changes Debian FTP Masters

<Possible follow-ups>
Processing of coq-equations_1.3-8.15-2_amd64.changes Debian FTP Masters

coq-equations_1.3-8.15-2_amd64.changes REJECTED Debian FTP Masters
Bug#1014921: ITP: coq-iris -- high-order concurrent separation logic framework for Coq Julien Puydt
coq-equations_1.3-8.15-2_amd64.changes is NEW Debian FTP Masters
Processing of coq-iris_3.6.0-1_amd64.changes Debian FTP Masters
coq-iris_3.6.0-1_amd64.changes is NEW Debian FTP Masters
Bug#1014940: ITP: coqprime -- Primality certification for Coq Julien Puydt
Processing of coqprime_8.15-1_amd64.changes Debian FTP Masters
coqprime_8.15-1_amd64.changes is NEW Debian FTP Masters
Bug#1014955: ITP: coq-corn -- Coq Constructive Repository at Nijmegen Julien Puydt
Processing of coq-corn_8.13.0-1_amd64.changes Debian FTP Masters
coq-corn_8.13.0-1_amd64.changes is NEW Debian FTP Masters
Bug#1014965: ITP: coq-libhyps -- Tactics on hypotheses in Coq Julien Puydt
Bug#1014969: ITP: coq-gappa -- Coq tactic to use Gappa for floating-point goals Julien Puydt
Processing of coq-gappa_1.5.2-1_amd64.changes Debian FTP Masters
coq-gappa_1.5.2-1_amd64.changes is NEW Debian FTP Masters
Bug#1014973: ITP: coq-hammer -- automated reasoning tool for Coq Julien Puydt
Processing of coq-hammer_1.3.2+8.15-1_amd64.changes Debian FTP Masters
coq-hammer_1.3.2+8.15-1_amd64.changes is NEW Debian FTP Masters
Bug#1014975: ITP: coq-interval -- interval arithmetic for Coq Julien Puydt
Processing of coq-interval_4.5.1-1_amd64.changes Debian FTP Masters
coq-interval_4.5.1-1_amd64.changes is NEW Debian FTP Masters
Processing of coq-menhirlib_20220210+ds-2_source.changes Debian FTP Masters
coq-menhirlib_20220210+ds-2_source.changes ACCEPTED into unstable Debian FTP Masters
Bug#1014989: ITP: coq-unicoq -- enhanced unification algorithm for Coq Julien Puydt
Processing of coq-unicoq_1.6-8.15-1_amd64.changes Debian FTP Masters
Bug#1014991: ITP: coq-relation-algebra -- relation algebra for Coq Julien Puydt
coq-unicoq_1.6-8.15-1_amd64.changes is NEW Debian FTP Masters
Bug#1014993: ITP: coq-reglang -- representation of regular languages in Coq Julien Puydt
Processing of coq-reglang_1.1.3-1_amd64.changes Debian FTP Masters
coq-reglang_1.1.3-1_amd64.changes is NEW Debian FTP Masters
Bug#1014997: ITP: coq-unimath -- univalent formalization of mathematics for Coq Julien Puydt
Bug#1015000: ITP: coq-quickchick -- randomized testing framework for Coq Julien Puydt
Processing of coq-quickchick_1.6.3-1_amd64.changes Debian FTP Masters
coq-quickchick_1.6.3-1_amd64.changes is NEW Debian FTP Masters
Bug#1015010: ITP: coq-deriving -- deriving MathComp classes from inductive types Julien Puydt
Processing of coq-deriving_0.1.0-1_amd64.changes Debian FTP Masters
coq-deriving_0.1.0-1_amd64.changes is NEW Debian FTP Masters
Processing of coq-unimath_20220204-1_amd64.changes Debian FTP Masters
coq-unimath_20220204-1_amd64.changes is NEW Debian FTP Masters
Processing of coq-dpdgraph_1.0+8.15-2_source.changes Debian FTP Masters
coq-dpdgraph_1.0+8.15-2_source.changes ACCEPTED into unstable Debian FTP Masters
Processing of coq-math-classes_8.15.0-3_source.changes Debian FTP Masters
Processing of coq-hott_8.15-3_source.changes Debian FTP Masters
coq-hott_8.15-3_source.changes ACCEPTED into unstable Debian FTP Masters
coq-math-classes_8.15.0-3_source.changes ACCEPTED into unstable Debian FTP Masters
Bug#1015018: ITP: coq-reduction-effects -- reduction effects for Coq Julien Puydt
Processing of flocq_4.1.0-2_source.changes Debian FTP Masters
flocq_4.1.0-2_source.changes ACCEPTED into unstable Debian FTP Masters
Processing of coq-ext-lib_0.11.6-2_source.changes Debian FTP Masters
coq-ext-lib_0.11.6-2_source.changes ACCEPTED into unstable Debian FTP Masters
Processing of coq-reduction-effects_0.1.3-1_amd64.changes Debian FTP Masters
coq-reduction-effects_0.1.3-1_amd64.changes is NEW Debian FTP Masters
Bug#1015020: ITP: coq-mtac2 -- Mtac2 tactic language for Coq Julien Puydt
Bug#1015021: ITP: coq-extructures -- data structures with extensional reasoning for Coq Julien Puydt
Processing of coq-mtac2_1.4+8.15-1_amd64.changes Debian FTP Masters
coq-mtac2_1.4+8.15-1_amd64.changes is NEW Debian FTP Masters
Processing of coq-extructures_0.3.1-1_amd64.changes Debian FTP Masters
coq-extructures_0.3.1-1_amd64.changes is NEW Debian FTP Masters
Bug#1015165: ITP: coq-record-update -- automatic record fields updaters for Coq Julien Puydt
Processing of coq-record-update_0.3.1-1_amd64.changes Debian FTP Masters
coq-record-update_0.3.1-1_amd64.changes is NEW Debian FTP Masters
Bug#1015179: Please update ppxlib to latest upstream julien . puydt
Processing of ppxlib_0.27.0-1_source.changes Debian FTP Masters
ppxlib_0.27.0-1_source.changes ACCEPTED into experimental Debian FTP Masters
[Git][ocaml-team/ocaml-atd] Pushed new tag debian/2.9.1-1 Julien Puydt (@jpuydt)
Processing of ocaml-atd_2.9.1-1_source.changes Debian FTP Masters
ocaml-atd_2.9.1-1_source.changes ACCEPTED into unstable Debian FTP Masters
[Git][ocaml-team/ocaml-atd] Pushed new tag debian/2.9.1-2 Julien Puydt (@jpuydt)
Processing of ocaml-atd_2.9.1-2_amd64.changes Debian FTP Masters
ocaml-atd_2.9.1-2_amd64.changes is NEW Debian FTP Masters
Processing of elpi_1.16.5-1_source.changes Debian FTP Masters
elpi_1.16.5-1_source.changes ACCEPTED into unstable Debian FTP Masters
coq-equations_1.3-8.15-2_amd64.changes ACCEPTED into unstable, unstable Debian FTP Masters
coq-iris_3.6.0-1_amd64.changes ACCEPTED into unstable, unstable Debian FTP Masters
coq-corn_8.13.0-1_amd64.changes ACCEPTED into unstable, unstable Debian FTP Masters
coqprime_8.15-1_amd64.changes ACCEPTED into unstable, unstable Debian FTP Masters
ocaml-atd_2.9.1-2_amd64.changes ACCEPTED into unstable, unstable Debian FTP Masters
coq-extructures_0.3.1-1_amd64.changes ACCEPTED into unstable, unstable Debian FTP Masters
coq-reduction-effects_0.1.3-1_amd64.changes REJECTED Thorsten Alteholz
coq-gappa_1.5.2-1_amd64.changes REJECTED Thorsten Alteholz
coq-deriving_0.1.0-1_amd64.changes ACCEPTED into unstable, unstable Debian FTP Masters
coq-hammer_1.3.2+8.15-1_amd64.changes ACCEPTED into unstable, unstable Debian FTP Masters
coq-reglang_1.1.3-1_amd64.changes ACCEPTED into unstable, unstable Debian FTP Masters
coq-quickchick_1.6.3-1_amd64.changes ACCEPTED into unstable, unstable Debian FTP Masters
coq-record-update_0.3.1-1_amd64.changes ACCEPTED into unstable, unstable Debian FTP Masters
coq-interval_4.5.1-1_amd64.changes REJECTED Thorsten Alteholz
coq-unicoq_1.6-8.15-1_amd64.changes REJECTED Thorsten Alteholz
coq-mtac2_1.4+8.15-1_amd64.changes REJECTED Thorsten Alteholz
Processing of coq-gappa_1.5.2-2_amd64.changes Debian FTP Masters
coq-gappa_1.5.2-2_amd64.changes is NEW Debian FTP Masters
Processing of coq-reduction-effects_0.1.3-2_amd64.changes Debian FTP Masters
coq-reduction-effects_0.1.3-2_amd64.changes is NEW Debian FTP Masters
Processing of coq-unicoq_1.6-8.15-2_amd64.changes Debian FTP Masters
Processing of coq-interval_4.5.1-2_amd64.changes Debian FTP Masters
coq-interval_4.5.1-2_amd64.changes is NEW Debian FTP Masters
coq-unicoq_1.6-8.15-2_amd64.changes is NEW Debian FTP Masters
Processing of coq-mtac2_1.4+8.15-2_amd64.changes Debian FTP Masters
coq-mtac2_1.4+8.15-2_amd64.changes is NEW Debian FTP Masters
Bug#1015560: ocaml: ftbfs with LTO (link time optimization) enabled Matthias Klose
Bug#1015758: ocaml-odoc: autopkgtests failures Gianfranco Costamagna
coq-interval_4.5.1-2_amd64.changes ACCEPTED into unstable, unstable Debian FTP Masters
coq-mtac2_1.4+8.15-2_amd64.changes ACCEPTED into unstable, unstable Debian FTP Masters
coq-gappa_1.5.2-2_amd64.changes ACCEPTED into unstable, unstable Debian FTP Masters
coq-reduction-effects_0.1.3-2_amd64.changes ACCEPTED into unstable, unstable Debian FTP Masters
coq-unicoq_1.6-8.15-2_amd64.changes ACCEPTED into unstable, unstable Debian FTP Masters
ocaml-pprint_20220103-1_amd64.changes ACCEPTED into unstable, unstable Debian FTP Masters
Processing of coq-stdpp_1.7.0-2_source.changes Debian FTP Masters
coq-stdpp_1.7.0-2_source.changes ACCEPTED into unstable Debian FTP Masters
On frama-c's debian/watch julien . puydt

Re: On frama-c's debian/watch Stéphane Glondu

Re: On frama-c's debian/watch Mehdi Dogguy

coq-unimath_20220204-1_amd64.changes ACCEPTED into unstable, unstable Debian FTP Masters
Processing of ocaml-ansi-terminal_0.8.5-1_source.changes Debian FTP Masters
ocaml-ansi-terminal_0.8.5-1_source.changes ACCEPTED into unstable Debian FTP Masters
Bug#1016259: mathcomp-analysis: FTBFS: build-dependency not installable: libcoq-elpi-b71f8 Lucas Nussbaum
Bug#1016303: coq-hierarchy-builder: FTBFS: make[4]: *** [Makefile.test-suite.coq.local:22: post-all] Error 1 Lucas Nussbaum

Bug#1016303: marked as done (coq-hierarchy-builder: FTBFS: make[4]: *** [Makefile.test-suite.coq.local:22: post-all] Error 1) Debian Bug Tracking System

Processing of coq-hierarchy-builder_1.3.0-1_source.changes Debian FTP Masters
coq-hierarchy-builder_1.3.0-1_source.changes ACCEPTED into unstable Debian FTP Masters
Processing of coq-extructures_0.3.1-2_source.changes Debian FTP Masters
coq-extructures_0.3.1-2_source.changes ACCEPTED into unstable Debian FTP Masters

The last update was on 12:00 GMT Sun Jul 31. There are 246 messages. Page 1 of 1.

[previous month]

[previous page]

Page 1 of 1

[next page]

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

Mail converted by MHonArc