Index of /debian/pool/non-free/c/coq/

../
coq-theories_8.12.0-3+b3_amd64.deb                 08-Jan-2023 11:46            36501836
coq-theories_8.12.0-3+b3_i386.deb                  08-Jan-2023 12:11            35237680
coq-theories_8.6-4_amd64.deb                       08-Jan-2023 17:39            31441296
coq-theories_8.6-4_i386.deb                        08-Jan-2023 18:07            30400702
coq-theories_8.9.0-1_amd64.deb                     08-Jan-2023 14:01            29737672
coq-theories_8.9.0-1_i386.deb                      08-Jan-2023 13:37            28414968
coq_8.12.0-3+b3_amd64.deb                          08-Jan-2023 12:22            90453192
coq_8.12.0-3+b3_i386.deb                           08-Jan-2023 11:29            87886220
coq_8.16.1+dfsg-1+b2_amd64.deb                     01-Aug-2023 14:25            93212572
coq_8.16.1+dfsg-1+b2_i386.deb                      01-Aug-2023 14:44            87517396
coq_8.6-4_amd64.deb                                08-Jan-2023 17:50            13953402
coq_8.6-4_i386.deb                                 08-Jan-2023 18:04            13593774
coq_8.9.0-1_amd64.deb                              08-Jan-2023 14:22            58990560
coq_8.9.0-1_i386.deb                               08-Jan-2023 14:26            56195896
coqide_8.12.0-3+b3_amd64.deb                       08-Jan-2023 11:47             1879212
coqide_8.12.0-3+b3_i386.deb                        08-Jan-2023 11:57             1723020
coqide_8.16.1+dfsg-1+b2_amd64.deb                  01-Aug-2023 14:27             1993412
coqide_8.16.1+dfsg-1+b2_i386.deb                   01-Aug-2023 12:55             1806236
coqide_8.6-4_amd64.deb                             08-Jan-2023 17:42             1406016
coqide_8.6-4_i386.deb                              08-Jan-2023 18:05             1313916
libcoq-core-ocaml-dev_8.16.1+dfsg-1+b2_amd64.deb   01-Aug-2023 15:03            42725424
libcoq-core-ocaml-dev_8.16.1+dfsg-1+b2_i386.deb    01-Aug-2023 14:09            42449528
libcoq-core-ocaml_8.16.1+dfsg-1+b2_amd64.deb       01-Aug-2023 12:53            22556068
libcoq-core-ocaml_8.16.1+dfsg-1+b2_i386.deb        01-Aug-2023 14:47            21747176
libcoq-ocaml-dev_8.12.0-3+b3_amd64.deb             08-Jan-2023 12:04            18727404
libcoq-ocaml-dev_8.12.0-3+b3_i386.deb              08-Jan-2023 11:18            18658564
libcoq-ocaml-dev_8.6-4_amd64.deb                   08-Jan-2023 17:48            13289600
libcoq-ocaml-dev_8.6-4_i386.deb                    08-Jan-2023 17:40            13323506
libcoq-ocaml-dev_8.9.0-1_amd64.deb                 08-Jan-2023 13:44            13703936
libcoq-ocaml-dev_8.9.0-1_i386.deb                  08-Jan-2023 13:38            13728788
libcoq-ocaml_8.12.0-3+b3_amd64.deb                 08-Jan-2023 11:26             7758156
libcoq-ocaml_8.12.0-3+b3_i386.deb                  08-Jan-2023 11:45             7575772
libcoq-ocaml_8.6-4_amd64.deb                       08-Jan-2023 18:01             3502166
libcoq-ocaml_8.6-4_i386.deb                        08-Jan-2023 17:41             3401658
libcoq-ocaml_8.9.0-1_amd64.deb                     08-Jan-2023 13:33             5463112
libcoq-ocaml_8.9.0-1_i386.deb                      08-Jan-2023 13:58             5186088
libcoq-stdlib_8.16.1+dfsg-1+b2_amd64.deb           01-Aug-2023 14:29            21526056
libcoq-stdlib_8.16.1+dfsg-1+b2_i386.deb            01-Aug-2023 12:17            21528432