Index of /raspbian/pool/main/c/coq-hott/

../
coq-hott_8.15-2.debian.tar.xz                      07-Jul-2022 23:38                2484
coq-hott_8.15-2.dsc                                07-Jul-2022 23:38                2024
coq-hott_8.15-3.debian.tar.xz                      16-Jul-2022 10:47                2472
coq-hott_8.15-3.dsc                                16-Jul-2022 10:47                2024
coq-hott_8.15-4.debian.tar.xz                      22-Aug-2022 08:37                2780
coq-hott_8.15-4.dsc                                22-Aug-2022 08:37                2024
coq-hott_8.15.orig.tar.gz                          07-Jul-2022 23:38              839986
coq-hott_8.16-1.debian.tar.xz                      06-Sep-2022 09:09                2524
coq-hott_8.16-1.dsc                                06-Sep-2022 09:09                2024
coq-hott_8.16-2.debian.tar.xz                      25-Jan-2023 07:12                2568
coq-hott_8.16-2.dsc                                25-Jan-2023 07:12                2029
coq-hott_8.16.orig.tar.gz                          06-Sep-2022 09:09              868101
coq-hott_8.18-1.debian.tar.xz                      01-Sep-2023 12:20                2844
coq-hott_8.18-1.dsc                                01-Sep-2023 12:20                2029
coq-hott_8.18-3.debian.tar.xz                      22-Dec-2023 10:16                2888
coq-hott_8.18-3.dsc                                22-Dec-2023 10:16                2029
coq-hott_8.18.orig.tar.gz                          01-Sep-2023 12:20              909335
coq-hott_8.19-1.debian.tar.xz                      26-Apr-2024 13:51                2908
coq-hott_8.19-1.dsc                                26-Apr-2024 13:51                2029
coq-hott_8.19-2.debian.tar.xz                      03-Aug-2024 15:44                2980
coq-hott_8.19-2.dsc                                03-Aug-2024 15:44                1796
coq-hott_8.19.orig.tar.gz                          26-Apr-2024 13:51              983985
coq-hott_8.20-1.debian.tar.xz                      20-Nov-2024 09:57                2988
coq-hott_8.20-1.dsc                                20-Nov-2024 09:57                2032
coq-hott_8.20.orig.tar.gz                          20-Nov-2024 09:57             1075968
libcoq-hott_8.15-2_armhf.deb                       11-Jul-2022 10:08            13792320
libcoq-hott_8.15-3_armhf.deb                       18-Jul-2022 10:08            13806744
libcoq-hott_8.15-4_armhf.deb                       31-Aug-2022 12:47            13798788
libcoq-hott_8.16-1+b1_armhf.deb                    17-Sep-2022 22:08            14079548
libcoq-hott_8.16-1+b2_armhf.deb                    02-Dec-2022 16:08            14063908
libcoq-hott_8.16-1_armhf.deb                       17-Sep-2022 10:08            14846008
libcoq-hott_8.16-2+b1_armhf.deb                    03-Feb-2023 16:08            14083636
libcoq-hott_8.16-2+b2_armhf.deb                    21-May-2023 01:16            14071632
libcoq-hott_8.16-2_armhf.deb                       31-Jan-2023 22:08            14079988
libcoq-hott_8.18-1+b1_armhf.deb                    20-Oct-2023 16:08            14353212
libcoq-hott_8.18-1_armhf.deb                       14-Sep-2023 19:36            14362732
libcoq-hott_8.18-3+b1_armhf.deb                    24-Jan-2024 04:08            12623860
libcoq-hott_8.18-3+b2_armhf.deb                    18-Jun-2024 10:56            12621920
libcoq-hott_8.19-1+b1_armhf.deb                    24-Jun-2024 22:08            14221820
libcoq-hott_8.19-1_armhf.deb                       24-Jun-2024 10:08            13708624
libcoq-hott_8.19-2_armhf.deb                       04-Sep-2024 22:08            14222780