debian-ocaml-maint Feb 2022 by author
![[First Page]](/images/first.png) |
[previous page]
|
Page 1 of 1 |
[next page]
|
![[Last Page]](/images/last.png) |
[Thread Index]
[Date Index]
[Subject Index]
[Other Debian Lists]
[Debian Home]
Stéphane Glondu (@glondu)
Stéphane Glondu
Andreas Beckmann
Debian Bug Tracking System
Debian FTP Masters
- ssreflect_1.14.0-4_source.changes REJECTED Feb 06
- coq-hierarchy-builder_1.2.1-2_amd64.changes is NEW Feb 13
- Processing of dose3_7.0.0-1_source.changes Feb 14
- ppx-import_1.9.0-1_source.changes ACCEPTED into unstable Feb 18
- Processing of ssreflect_1.14.0-2_source.changes Feb 05
- coq-doc_8.15.0-1_amd64.changes ACCEPTED into unstable Feb 08
- meta-unison_2.51.5+1_source.changes ACCEPTED into unstable Feb 16
- Processing of mathcomp-bigenough_1.0.1-1_amd64.changes Feb 09
- Processing of ocamlnet_4.1.9-1_source.changes Feb 21
- ocurl_0.9.2-1_source.changes ACCEPTED into unstable Feb 20
- ocaml-mtime_1.4.0-1_source.changes ACCEPTED into unstable Feb 21
- Bug#1006259: Removed package(s) from unstable Feb 22
- coq_8.15.0+dfsg-2_source.changes REJECTED Feb 04
- Processing of eliom_9.4.0-1_source.changes Feb 23
- Processing of ocamlbuild_0.14.1-1_source.changes Feb 21
- ocaml-ptime_1.0.0-1_source.changes ACCEPTED into unstable Feb 21
- Processing of ocaml-stdcompat_18-1_source.changes Feb 21
- Processing of elpi_1.14.1-1_source.changes Feb 08
- Accepted coq 8.15.0+dfsg-2 (source amd64) into unstable, unstable Feb 05
- Bug#1006356: Removed package(s) from unstable Feb 24
- ounit_2.2.6-1_source.changes ACCEPTED into unstable Feb 20
- Accepted ocurl 0.9.2-1 (source) into unstable Feb 20
- Processing of ssreflect_1.14.0-3_source.changes Feb 06
- parmap_1.2.4-1_source.changes ACCEPTED into unstable Feb 20
- ocaml-qcheck_0.18.1-2_source.changes ACCEPTED into unstable Feb 21
- coq-hierarchy-builder_1.2.1-2_source.changes REJECTED Feb 13
- Processing of ssreflect_1.14.0-5_amd64.changes Feb 06
- Bug#1006355: Removed package(s) from unstable Feb 24
- Processing of ocaml-topkg_1.0.5-1_source.changes Feb 21
- Processing of ppx-import_1.9.0-1_source.changes Feb 18
- Processing of uutf_1.0.3-1_source.changes Feb 20
- Processing of react_1.2.2-1_source.changes Feb 20
- Processing of extlib_1.7.8-2_source.changes Feb 24
- Processing of coq-doc_8.15.0-1_amd64.changes Feb 08
- nurpawiki_1.2.4-2_source.changes ACCEPTED into unstable Feb 24
- coq-elpi_1.13.0-1_source.changes ACCEPTED into unstable Feb 10
- Processing of coq_8.15.0+dfsg-2_source.changes Feb 04
- ocaml-stdcompat_18-1_source.changes ACCEPTED into unstable Feb 21
- mathcomp-finmap_1.5.1-1_amd64.changes ACCEPTED into unstable, unstable Feb 12
- coq-doc_8.15.0-2_amd64.changes ACCEPTED into unstable Feb 17
- Processing of ssreflect_1.14.0-4_source.changes Feb 06
- Bug#1006259: Removed package(s) from unstable Feb 22
- Processing of wyrd_1.5.1-1_source.changes Feb 08
- Processing of ssreflect_1.14.0-6_source.changes Feb 10
- aac-tactics_8.15.0-1_source.changes ACCEPTED into unstable Feb 06
- extlib_1.7.8-2_source.changes ACCEPTED into unstable Feb 24
- Processing of ounit_2.2.6-1_source.changes Feb 20
- coq-hierarchy-builder_1.2.1-2_source.changes REJECTED Feb 09
- coq_8.15.0+dfsg-2_source.changes REJECTED Feb 04
- Processing of nurpawiki_1.2.4-2_source.changes Feb 24
- ppx-import_1.8.0-1_amd64.changes ACCEPTED into unstable, unstable Feb 12
- Processing of ocaml-x509_0.16.0-1_source.changes Feb 22
- camlp-streams_5.0-1_amd64.changes is NEW Feb 22
- Processing of xmlm_1.4.0-1_source.changes Feb 20
- coq_8.15.0+dfsg-2_amd64.changes is NEW Feb 04
- Processing of mathcomp-analysis_0.3.13-1_amd64.changes Feb 09
- Processing of ssreflect_1.14.0-7_source.changes Feb 16
- wyrd_1.5.3-1_source.changes ACCEPTED into unstable Feb 10
- ssreflect_1.14.0-5_amd64.changes is NEW Feb 06
- eliom_9.4.0-1_source.changes ACCEPTED into unstable Feb 23
- Processing of coq-hierarchy-builder_1.2.1-2_source.changes Feb 09
- Processing of meta-unison_2.51.5+1_source.changes Feb 16
- ssreflect_1.14.0-3_source.changes ACCEPTED into unstable Feb 06
- Processing of ocurl_0.9.2-1_source.changes Feb 20
- ssreflect_1.14.0-2_source.changes ACCEPTED into unstable Feb 05
- ocsipersist_1.0.5-1_amd64.changes ACCEPTED into unstable, unstable Feb 14
- camlp-streams_5.0-1_amd64.changes ACCEPTED into unstable, unstable Feb 24
- coq-hierarchy-builder_1.2.1-2_amd64.changes ACCEPTED into unstable, unstable Feb 13
- ssreflect_1.14.0-6_source.changes ACCEPTED into unstable Feb 10
- elpi_1.14.1-1_source.changes ACCEPTED into unstable Feb 08
- Processing of ocaml-qcheck_0.18.1-1_source.changes Feb 21
- ocaml-qcheck_0.18.1-1_source.changes ACCEPTED into unstable Feb 21
- pcre-ocaml_7.5.0-1_source.changes ACCEPTED into unstable Feb 20
- mathcomp-bigenough_1.0.1-1_amd64.changes is NEW Feb 09
- Processing of ocsipersist_1.1.0-1_source.changes Feb 23
- coq-doc_8.15.0-3_amd64.changes ACCEPTED into unstable Feb 22
- Processing of coq-elpi_1.13.0-1_source.changes Feb 10
- ocaml-mtime_1.4.0-2_source.changes ACCEPTED into unstable Feb 21
- Bug#1006356: Removed package(s) from unstable Feb 24
- Processing of ocaml-mtime_1.4.0-2_source.changes Feb 21
- uutf_1.0.3-1_source.changes ACCEPTED into unstable Feb 20
- Processing of ocaml-qcheck_0.18.1-2_source.changes Feb 21
- Processing of pcre-ocaml_7.5.0-1_source.changes Feb 20
- Processing of opam_2.1.2-1_source.changes Feb 14
- wyrd_1.5.1-1_source.changes ACCEPTED into unstable Feb 08
- react_1.2.2-1_source.changes ACCEPTED into unstable Feb 20
- Processing of coq-hierarchy-builder_1.2.1-2_source.changes Feb 13
- Bug#1006355: Removed package(s) from unstable Feb 24
- mathcomp-bigenough_1.0.1-1_amd64.changes ACCEPTED into unstable, unstable Feb 12
- Processing of camlp-streams_5.0-1_amd64.changes Feb 22
- ocaml-x509_0.16.0-1_source.changes ACCEPTED into unstable Feb 22
- dose3_7.0.0-1_source.changes ACCEPTED into unstable Feb 14
- Processing of parmap_1.2.4-1_source.changes Feb 20
- coq_8.15.0+dfsg-2_amd64.changes ACCEPTED into unstable, unstable Feb 05
- unison-2.51+4.13.1_2.51.5-1_amd64.changes ACCEPTED into unstable, unstable Feb 14
- ocamlbuild_0.14.1-1_source.changes ACCEPTED into unstable Feb 21
- Processing of coq-doc_8.15.0-2_amd64.changes Feb 17
- mathcomp-analysis_0.3.13-1_amd64.changes ACCEPTED into unstable, unstable Feb 12
- ocaml-topkg_1.0.5-1_source.changes ACCEPTED into unstable Feb 21
- Processing of ocaml-ptime_1.0.0-1_source.changes Feb 21
- Processing of coq-doc_8.15.0-3_amd64.changes Feb 22
- mathcomp-analysis_0.3.13-1_amd64.changes is NEW Feb 09
- xmlm_1.4.0-1_source.changes ACCEPTED into unstable Feb 20
- ssreflect_1.14.0-7_source.changes ACCEPTED into unstable Feb 16
- coq-elpi_1.12.1-2_source.changes ACCEPTED into unstable Feb 06
- Processing of coq-elpi_1.12.1-2_source.changes Feb 06
- Processing of ocaml-mtime_1.4.0-1_source.changes Feb 21
- Processing of coq-hierarchy-builder_1.2.1-2_amd64.changes Feb 13
- Processing of aac-tactics_8.15.0-1_source.changes Feb 06
- ocsipersist_1.1.0-1_source.changes ACCEPTED into unstable Feb 23
- Processing of mathcomp-finmap_1.5.1-1_amd64.changes Feb 09
- mathcomp-finmap_1.5.1-1_amd64.changes is NEW Feb 09
- Processing of coq_8.15.0+dfsg-2_amd64.changes Feb 04
- ssreflect_1.14.0-5_amd64.changes ACCEPTED into unstable, unstable Feb 09
- ocamlnet_4.1.9-1_source.changes ACCEPTED into unstable Feb 21
- Processing of wyrd_1.5.3-1_source.changes Feb 10
- opam_2.1.2-1_source.changes ACCEPTED into unstable Feb 14
- Processing of coq_8.15.0+dfsg-2_source.changes Feb 04
Debian testing autoremoval watch
Debian testing watch
debian-bts-link
Julien Puydt
Julien Puydt (@jpuydt)
Lesinfos.ma
Lucas Nussbaum
Matthias Klose
Sebastian Andrzej Siewior
Vincent Lefevre
The last update was on 16:20 GMT Sat Feb 26. There are 255 messages. Page 1 of 1.
[Thread Index]
[Subject Index]
[Author Index]
[Other Debian Lists]
[Debian Home]
Mail converted by MHonArc