Index of /nova/pool/extendido/c/coq/

../
coq-theories_8.11.0-1_amd64.deb                    22-Jun-2020 07:12            33079952
coq-theories_8.6-5build1_amd64.deb                 11-Jun-2020 03:42            33181580
coq-theories_8.6-5build1_i386.deb                  11-Jun-2020 01:00            32170552
coq_8.11.0-1.debian.tar.xz                         22-Jun-2020 08:05               31672
coq_8.11.0-1.dsc                                   22-Jun-2020 08:05                2496
coq_8.11.0-1_amd64.deb                             21-Jun-2020 16:39            76583920
coq_8.11.0.orig.tar.gz                             22-Jun-2020 08:05             5825620
coq_8.15.0+dfsg-2.debian.tar.xz                    01-May-2022 05:37               39672
coq_8.15.0+dfsg-2.dsc                              01-May-2022 05:37                2599
coq_8.15.0+dfsg-2_amd64.deb                        30-Apr-2022 09:09            95393552
coq_8.15.0+dfsg.orig.tar.xz                        01-May-2022 05:37             4669948
coq_8.6-5build1.debian.tar.xz                      10-Jun-2020 17:22               21864
coq_8.6-5build1.dsc                                10-Jun-2020 17:22                2403
coq_8.6-5build1_amd64.deb                          11-Jun-2020 04:03            17673808
coq_8.6-5build1_i386.deb                           11-Jun-2020 05:56            16948548
coq_8.6.orig.tar.gz                                10-Jun-2020 17:22             5008604
coqide_8.11.0-1_amd64.deb                          22-Jun-2020 12:24             1758824
coqide_8.15.0+dfsg-2_amd64.deb                     30-Apr-2022 07:37             2387786
coqide_8.6-5build1_amd64.deb                       11-Jun-2020 02:48             1544828
coqide_8.6-5build1_i386.deb                        11-Jun-2020 02:17             1388920
libcoq-core-ocaml-dev_8.15.0+dfsg-2_amd64.deb      30-Apr-2022 09:01            45035496
libcoq-core-ocaml_8.15.0+dfsg-2_amd64.deb          30-Apr-2022 02:52            27070410
libcoq-ocaml-dev_8.11.0-1_amd64.deb                22-Jun-2020 06:54            16068892
libcoq-ocaml-dev_8.6-5build1_amd64.deb             11-Jun-2020 03:35            13815188
libcoq-ocaml-dev_8.6-5build1_i386.deb              11-Jun-2020 03:26            13796020
libcoq-ocaml_8.11.0-1_amd64.deb                    22-Jun-2020 11:39             6324304
libcoq-ocaml_8.6-5build1_amd64.deb                 11-Jun-2020 04:48             3564612
libcoq-ocaml_8.6-5build1_i386.deb                  11-Jun-2020 05:11             3394144
libcoq-stdlib_8.15.0+dfsg-2_amd64.deb              30-Apr-2022 03:47            24695142