debian-ocaml-maint Jul 2022 by date
[Thread Index]
[Subject Index]
[Author Index]
[Other Debian Lists]
[Debian Home]
Jul 01
Jul 03
Jul 04
Jul 05
Jul 06
Jul 07
Jul 08
Jul 09
Jul 10
Jul 12
Jul 14
Jul 15
Jul 16
Jul 17
Jul 18
- 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
Jul 19
Jul 20
Jul 21
Jul 22
Jul 23
Jul 25
Jul 28
Jul 29
Jul 30
Jul 31
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