debian-ocaml-maint Jul 2022 by author
|
[previous page]
|
Page 1 of 1 |
[next page]
|
|
[Thread Index]
[Date Index]
[Subject Index]
[Other Debian Lists]
[Debian Home]
Stéphane Glondu
Debian Bug Tracking System
Debian FTP Masters
- ocaml-pprint_20220103-1_amd64.changes ACCEPTED into unstable, unstable Jul 20
- Processing of coqprime_8.15-1_amd64.changes Jul 15
- Processing of coq-hammer_1.3.2+8.15-1_amd64.changes Jul 15
- liquidsoap_2.0.6-1_source.changes ACCEPTED into unstable Jul 12
- coq-interval_4.5.1-2_amd64.changes is NEW Jul 19
- coq-math-classes_8.15.0-2_amd64.changes ACCEPTED into unstable, unstable Jul 08
- Processing of elpi_1.16.5-1_source.changes Jul 17
- Processing of coq-equations_1.3-8.15-2_amd64.changes Jul 14
- mathcomp-algebra-tactics_1.0.0-6_source.changes ACCEPTED into unstable Jul 05
- Processing of ppxlib_0.27.0-1_source.changes Jul 17
- Processing of coq-hott_8.15-2_amd64.changes Jul 07
- Processing of ocaml-ansi-terminal_0.8.5-1_source.changes Jul 25
- mathcomp-finmap_1.5.1-9_source.changes ACCEPTED into unstable Jul 05
- coq-equations_1.3-8.15-2_amd64.changes ACCEPTED into unstable, unstable Jul 18
- ocaml-ffmpeg_1.1.4-1_source.changes ACCEPTED into unstable Jul 12
- coq-hammer_1.3.2+8.15-1_amd64.changes is NEW Jul 15
- ocaml-ansi-terminal_0.8.5-1_source.changes ACCEPTED into unstable Jul 25
- Processing of coq-unicoq_1.6-8.15-2_amd64.changes Jul 19
- Processing of coqeal_1.1.1-1_source.changes Jul 08
- coq-mtac2_1.4+8.15-2_amd64.changes ACCEPTED into unstable, unstable Jul 20
- Processing of coq-mtac2_1.4+8.15-1_amd64.changes Jul 16
- Processing of coq-reglang_1.1.3-1_amd64.changes Jul 15
- coq-reduction-effects_0.1.3-2_amd64.changes ACCEPTED into unstable, unstable Jul 20
- Processing of coq-iris_3.6.0-1_amd64.changes Jul 14
- mathcomp-real-closed_1.1.2-5_source.changes ACCEPTED into unstable Jul 05
- coq-reglang_1.1.3-1_amd64.changes is NEW Jul 15
- Processing of coq-stdpp_1.7.0-2_source.changes Jul 21
- coqeal_1.1.1-1_source.changes ACCEPTED into unstable Jul 08
- mathcomp-analysis_0.5.1-3_source.changes ACCEPTED into unstable Jul 05
- coq-extructures_0.3.1-2_source.changes ACCEPTED into unstable Jul 31
- Processing of mathcomp-analysis_0.5.2-1_source.changes Jul 10
- Processing of ocaml-ogg_0.7.2-1_source.changes Jul 12
- mathcomp-finmap_1.5.1-8_source.changes ACCEPTED into unstable Jul 05
- ott_0.32+ds-2_amd64.changes is NEW Jul 10
- coq-reglang_1.1.3-1_amd64.changes ACCEPTED into unstable, unstable Jul 18
- Processing of coq-interval_4.5.1-1_amd64.changes Jul 15
- Processing of coq-math-classes_8.15.0-3_source.changes Jul 16
- coq-ext-lib_0.11.6-1_amd64.changes ACCEPTED into unstable, unstable Jul 06
- coq-iris_3.6.0-1_amd64.changes ACCEPTED into unstable, unstable Jul 18
- Processing of coq-simple-io_1.7.0-1_amd64.changes Jul 08
- coq-gappa_1.5.2-2_amd64.changes is NEW Jul 19
- Processing of coq-menhirlib_20220210+ds-1_amd64.changes Jul 08
- coq-hammer_1.3.2+8.15-1_amd64.changes ACCEPTED into unstable, unstable Jul 18
- Processing of coq-menhirlib_20220210+ds-2_source.changes Jul 15
- coq-interval_4.5.1-2_amd64.changes ACCEPTED into unstable, unstable Jul 20
- Processing of coq-doc_8.15.2-3_source.changes Jul 14
- Processing of coq-extructures_0.3.1-1_amd64.changes Jul 16
- coq-corn_8.13.0-1_amd64.changes ACCEPTED into unstable, unstable Jul 18
- ocaml-atd_2.9.1-2_amd64.changes ACCEPTED into unstable, unstable Jul 18
- coq-menhirlib_20220210+ds-2_source.changes ACCEPTED into unstable Jul 15
- coq-menhirlib_20220210+ds-1_amd64.changes ACCEPTED into unstable, unstable Jul 08
- Processing of ocaml-opus_0.2.2-1_source.changes Jul 12
- Processing of mathcomp-real-closed_1.1.3-1_source.changes Jul 07
- ocaml-atd_2.9.1-1_source.changes ACCEPTED into unstable Jul 17
- mathcomp-real-closed_1.1.3-1_source.changes ACCEPTED into unstable Jul 07
- ott_0.32+ds-1_amd64.changes is NEW Jul 08
- coq-stdpp_1.7.0-1_amd64.changes ACCEPTED into unstable, unstable Jul 08
- Processing of coq-equations_1.3-8.15-1_amd64.changes Jul 08
- coq-deriving_0.1.0-1_amd64.changes ACCEPTED into unstable, unstable Jul 18
- coq-unimath_20220204-1_amd64.changes is NEW Jul 16
- coq-reduction-effects_0.1.3-2_amd64.changes is NEW Jul 19
- coq-gappa_1.5.2-2_amd64.changes ACCEPTED into unstable, unstable Jul 20
- mathcomp-bigenough_1.0.1-8_source.changes ACCEPTED into unstable Jul 05
- coq-reduction-effects_0.1.3-1_amd64.changes is NEW Jul 16
- Processing of coq-dpdgraph_1.0+8.15-2_source.changes Jul 16
- Processing of ocaml-atd_2.9.1-1_source.changes Jul 17
- coq-simple-io_1.7.0-1_amd64.changes ACCEPTED into unstable, unstable Jul 08
- Processing of coq-deriving_0.1.0-1_amd64.changes Jul 16
- coqprime_8.15-1_amd64.changes ACCEPTED into unstable, unstable Jul 18
- Processing of coq-quickchick_1.6.3-1_amd64.changes Jul 15
- Processing of mathcomp-multinomials_1.5.5-8_source.changes Jul 05
- Processing of coq-record-update_0.3.1-1_amd64.changes Jul 16
- coq-hott_8.15-3_source.changes ACCEPTED into unstable Jul 16
- Processing of coq-gappa_1.5.2-2_amd64.changes Jul 19
- mathcomp-real-closed_1.1.3-1_source.changes REJECTED Jul 07
- coq-ext-lib_0.11.6-2_source.changes ACCEPTED into unstable Jul 16
- coq-hott_8.15-2_amd64.changes is NEW Jul 08
- Processing of coq-extructures_0.3.1-2_source.changes Jul 31
- Processing of alt-ergo_2.4.1-4_source.changes Jul 04
- coq-mtac2_1.4+8.15-2_amd64.changes is NEW Jul 19
- Processing of coq-mtac2_1.4+8.15-2_amd64.changes Jul 19
- elpi_1.16.5-1_source.changes ACCEPTED into unstable Jul 17
- coqeal_1.1.0-1_amd64.changes ACCEPTED into unstable, unstable Jul 06
- coq-equations_1.3-8.15-2_amd64.changes REJECTED Jul 14
- coq-unicoq_1.6-8.15-2_amd64.changes is NEW Jul 19
- ppxlib_0.27.0-1_source.changes ACCEPTED into experimental Jul 17
- Processing of mathcomp-bigenough_1.0.1-8_source.changes Jul 05
- Processing of coq-equations_1.3-8.15-2_amd64.changes Jul 14
- Processing of mathcomp-analysis_0.5.1-3_source.changes Jul 05
- Processing of coq-interval_4.5.1-2_amd64.changes Jul 19
- flocq_4.1.0-2_source.changes ACCEPTED into unstable Jul 16
- coq-math-classes_8.15.0-2_amd64.changes is NEW Jul 08
- coq-mtac2_1.4+8.15-1_amd64.changes is NEW Jul 16
- ssreflect_1.15.0-1_source.changes ACCEPTED into unstable Jul 05
- Processing of wyrd_1.6-1_source.changes Jul 01
- coq-corn_8.13.0-1_amd64.changes is NEW Jul 15
- Processing of ott_0.32+ds-2_amd64.changes Jul 10
- Processing of flocq_4.1.0-2_source.changes Jul 16
- wyrd_1.6-1_source.changes ACCEPTED into unstable Jul 01
- coquelicot_3.2.0-7_source.changes ACCEPTED into unstable Jul 05
- Processing of ssreflect_1.15.0-1_source.changes Jul 05
- Processing of mathcomp-real-closed_1.1.3-1_source.changes Jul 07
- Processing of ocaml-atd_2.9.1-2_amd64.changes Jul 17
- coq-equations_1.3-8.15-1_amd64.changes is NEW Jul 08
- coqprime_8.15-1_amd64.changes is NEW Jul 15
- Processing of ott_0.32+ds-1_amd64.changes Jul 08
- coq-interval_4.5.1-1_amd64.changes is NEW Jul 15
- coq-record-update_0.3.1-1_amd64.changes is NEW Jul 16
- Processing of coq-corn_8.13.0-1_amd64.changes Jul 15
- coq-quickchick_1.6.3-1_amd64.changes is NEW Jul 15
- Processing of liquidsoap_2.0.6-1_source.changes Jul 12
- coq-equations_1.3-8.15-2_amd64.changes is NEW Jul 14
- coq-hierarchy-builder_1.3.0-1_source.changes ACCEPTED into unstable Jul 30
- coq-math-classes_8.15.0-3_source.changes ACCEPTED into unstable Jul 16
- ocaml-atd_2.9.1-2_amd64.changes is NEW Jul 17
- Processing of coquelicot_3.2.0-7_source.changes Jul 05
- coq-quickchick_1.6.3-1_amd64.changes ACCEPTED into unstable, unstable Jul 18
- coq-iris_3.6.0-1_amd64.changes is NEW Jul 14
- Processing of coq-stdpp_1.7.0-1_amd64.changes Jul 08
- Processing of coq-unicoq_1.6-8.15-1_amd64.changes Jul 15
- Processing of mathcomp-zify_1.2.0+1.12+8.13-6_source.changes Jul 05
- coq-unicoq_1.6-8.15-1_amd64.changes is NEW Jul 15
- coq-extructures_0.3.1-1_amd64.changes ACCEPTED into unstable, unstable Jul 18
- Processing of coq-hott_8.15-2_amd64.changes Jul 07
- Processing of coq-hott_8.15-3_source.changes Jul 16
- coq-stdpp_1.7.0-2_source.changes ACCEPTED into unstable Jul 21
- Processing of coq-reduction-effects_0.1.3-2_amd64.changes Jul 19
- Processing of coq-ext-lib_0.11.6-2_source.changes Jul 16
- Processing of mathcomp-algebra-tactics_1.0.0-6_source.changes Jul 05
- coq-record-update_0.3.1-1_amd64.changes ACCEPTED into unstable, unstable Jul 18
- Processing of mathcomp-finmap_1.5.1-8_source.changes Jul 05
- coq-stdpp_1.7.0-1_amd64.changes is NEW Jul 08
- coq-dpdgraph_1.0+8.15-1_amd64.changes ACCEPTED into unstable, unstable Jul 01
- coq-simple-io_1.7.0-1_amd64.changes is NEW Jul 08
- coq-gappa_1.5.2-1_amd64.changes is NEW Jul 15
- mathcomp-analysis_0.5.2-1_source.changes ACCEPTED into unstable Jul 10
- coq-unimath_20220204-1_amd64.changes ACCEPTED into unstable, unstable Jul 23
- Processing of coq-unimath_20220204-1_amd64.changes Jul 16
- ocaml-ogg_0.7.2-1_source.changes ACCEPTED into unstable Jul 12
- coq-doc_8.15.2-3_source.changes ACCEPTED into unstable Jul 14
- alt-ergo_2.4.1-4_source.changes ACCEPTED into unstable Jul 04
- coq-extructures_0.3.1-1_amd64.changes is NEW Jul 16
- Processing of ocaml-ffmpeg_1.1.4-1_source.changes Jul 12
- Processing of coq-math-classes_8.15.0-2_amd64.changes Jul 08
- coq-unicoq_1.6-8.15-2_amd64.changes ACCEPTED into unstable, unstable Jul 20
- Processing of mathcomp-finmap_1.5.1-9_source.changes Jul 05
- coq-hott_8.15-2_amd64.changes ACCEPTED into unstable, unstable Jul 08
- coq-menhirlib_20220210+ds-1_amd64.changes is NEW Jul 08
- coq-dpdgraph_1.0+8.15-2_source.changes ACCEPTED into unstable Jul 16
- ocaml-opus_0.2.2-1_source.changes ACCEPTED into unstable Jul 12
- Processing of coq-hierarchy-builder_1.3.0-1_source.changes Jul 30
- Processing of mathcomp-real-closed_1.1.2-5_source.changes Jul 05
- ott_0.32+ds-2_amd64.changes ACCEPTED into unstable, unstable Jul 10
- Processing of coq-gappa_1.5.2-1_amd64.changes Jul 15
- coq-deriving_0.1.0-1_amd64.changes is NEW Jul 16
- coq-hott_8.15-2_amd64.changes REJECTED Jul 07
- mathcomp-zify_1.2.0+1.12+8.13-6_source.changes ACCEPTED into unstable Jul 05
- mathcomp-multinomials_1.5.5-8_source.changes ACCEPTED into unstable Jul 05
- Processing of coq-reduction-effects_0.1.3-1_amd64.changes Jul 16
Debian testing autoremoval watch
Debian testing watch
Gianfranco Costamagna
julien . puydt
Julien Puydt
Julien Puydt (@jpuydt)
Kyle Robbertze (@paddatrapper)
Lucas Nussbaum
Matthias Klose
Mehdi Dogguy
Paul Gevers
Thorsten Alteholz
The last update was on 12:00 GMT Sun Jul 31. There are 246 messages. Page 1 of 1.
[Thread Index]
[Subject Index]
[Author Index]
[Other Debian Lists]
[Debian Home]
Mail converted by MHonArc