Index of /raspbian/pool/main/c/coqprime/

../
coqprime-tools_8.15-1+b1_armhf.deb                 03-Dec-2022 04:08              131736
coqprime-tools_8.15-1+b2_armhf.deb                 30-Dec-2022 16:08              131640
coqprime-tools_8.15-1_armhf.deb                    18-Sep-2022 22:08              131460
coqprime-tools_8.15-2+b1_armhf.deb                 03-Feb-2023 10:08              131748
coqprime-tools_8.15-2+b3_armhf.deb                 22-May-2023 04:08              131752
coqprime-tools_8.15-2_armhf.deb                    30-Jan-2023 22:08              131476
coqprime-tools_8.17-1+b1_armhf.deb                 21-Oct-2023 04:08              133688
coqprime-tools_8.17-1_armhf.deb                    14-Sep-2023 19:36              131532
coqprime-tools_8.18-1+b1_armhf.deb                 21-Feb-2024 22:08              133880
coqprime-tools_8.18-1+b2_armhf.deb                 18-Jun-2024 16:08              133768
coqprime-tools_8.18-1_armhf.deb                    23-Jan-2024 10:08              133524
coqprime-tools_8.19-1+b1_armhf.deb                 26-Jun-2024 02:52              133748
coqprime-tools_8.19-1+b2_armhf.deb                 27-Jun-2024 12:01              133784
coqprime-tools_8.19-1_armhf.deb                    24-Jun-2024 10:08              133488
coqprime-tools_8.19-2_armhf.deb                    05-Sep-2024 03:56              133552
coqprime_8.15-1.debian.tar.xz                      15-Jul-2022 08:46                3512
coqprime_8.15-1.dsc                                15-Jul-2022 08:46                2144
coqprime_8.15-2.debian.tar.xz                      26-Jan-2023 12:44                3576
coqprime_8.15-2.dsc                                26-Jan-2023 12:44                2149
coqprime_8.15.orig.tar.gz                          15-Jul-2022 08:46              987167
coqprime_8.17-1.debian.tar.xz                      13-Jun-2023 05:20                3144
coqprime_8.17-1.dsc                                13-Jun-2023 05:20                2149
coqprime_8.17.orig.tar.gz                          13-Jun-2023 05:20              996033
coqprime_8.18-1.debian.tar.xz                      22-Dec-2023 11:07                3288
coqprime_8.18-1.dsc                                22-Dec-2023 11:07                2149
coqprime_8.18.orig.tar.gz                          22-Dec-2023 11:07              996567
coqprime_8.19-1.debian.tar.xz                      26-Apr-2024 14:06                3304
coqprime_8.19-1.dsc                                26-Apr-2024 14:06                2149
coqprime_8.19-2.debian.tar.xz                      04-Aug-2024 05:30                3412
coqprime_8.19-2.dsc                                04-Aug-2024 05:30                1916
coqprime_8.19.orig.tar.gz                          26-Apr-2024 14:06              996563
coqprime_8.20-1.debian.tar.xz                      26-Dec-2024 10:32                3704
coqprime_8.20-1.dsc                                26-Dec-2024 10:32                2164
coqprime_8.20.orig.tar.gz                          26-Dec-2024 10:32              996522
libcoq-coqprime_8.15-1+b1_armhf.deb                03-Dec-2022 04:08             1652316
libcoq-coqprime_8.15-1+b2_armhf.deb                30-Dec-2022 16:08             1652268
libcoq-coqprime_8.15-1_armhf.deb                   18-Sep-2022 22:08             1652120
libcoq-coqprime_8.15-2+b1_armhf.deb                03-Feb-2023 10:08             1652352
libcoq-coqprime_8.15-2+b3_armhf.deb                22-May-2023 04:08             1652476
libcoq-coqprime_8.15-2_armhf.deb                   30-Jan-2023 22:08             1652112
libcoq-coqprime_8.17-1+b1_armhf.deb                21-Oct-2023 04:08             1755252
libcoq-coqprime_8.17-1_armhf.deb                   14-Sep-2023 19:36             1759664
libcoq-coqprime_8.18-1+b1_armhf.deb                21-Feb-2024 22:08             1752832
libcoq-coqprime_8.18-1+b2_armhf.deb                18-Jun-2024 16:08             1752872
libcoq-coqprime_8.18-1_armhf.deb                   23-Jan-2024 10:08             1758212
libcoq-coqprime_8.19-1+b1_armhf.deb                26-Jun-2024 02:52             1797140
libcoq-coqprime_8.19-1+b2_armhf.deb                27-Jun-2024 12:01             1796816
libcoq-coqprime_8.19-1_armhf.deb                   24-Jun-2024 10:08             1752532
libcoq-coqprime_8.19-2_armhf.deb                   05-Sep-2024 03:56             1796808