Index of /kali/pool/main/c/coq-interval/

../
coq-interval_4.7.0-1.debian.tar.xz                 15-Jun-2023 14:50    8828
coq-interval_4.7.0-1.dsc                           15-Jun-2023 14:50    2187
coq-interval_4.7.0.orig.tar.bz2                    15-Jun-2023 14:50    255K
coq-interval_4.8.0-1.debian.tar.xz                 03-Aug-2023 14:52    8848
coq-interval_4.8.0-1.dsc                           03-Aug-2023 14:52    2187
coq-interval_4.8.0.orig.tar.bz2                    03-Aug-2023 14:52    275K
libcoq-interval_4.5.1-2+b1_amd64.deb               27-Jul-2022 09:59      4M
libcoq-interval_4.5.2-2+b1_amd64.deb               09-Sep-2022 21:41      4M
libcoq-interval_4.5.2-2+b1_arm64.deb               09-Sep-2022 21:41      4M
libcoq-interval_4.5.2-2+b1_armhf.deb               09-Sep-2022 21:41      4M
libcoq-interval_4.5.2-2+b1_i386.deb                09-Sep-2022 21:41      4M
libcoq-interval_4.6.0-1+b1_amd64.deb               30-Nov-2022 13:58      4M
libcoq-interval_4.6.0-1+b1_arm64.deb               30-Nov-2022 14:28      4M
libcoq-interval_4.6.0-1+b1_armhf.deb               30-Nov-2022 13:58      4M
libcoq-interval_4.6.0-1+b1_i386.deb                30-Nov-2022 11:36      4M
libcoq-interval_4.6.1-1+b1_amd64.deb               29-Dec-2022 02:14      4M
libcoq-interval_4.6.1-1+b1_arm64.deb               29-Dec-2022 02:14      4M
libcoq-interval_4.6.1-1+b1_armhf.deb               29-Dec-2022 02:14      4M
libcoq-interval_4.6.1-1+b1_i386.deb                29-Dec-2022 01:59      4M
libcoq-interval_4.6.1-2+b1_amd64.deb               14-Feb-2023 15:11      4M
libcoq-interval_4.6.1-2+b1_arm64.deb               14-Feb-2023 15:26      4M
libcoq-interval_4.6.1-2+b1_armhf.deb               14-Feb-2023 15:26      4M
libcoq-interval_4.6.1-2+b1_i386.deb                14-Feb-2023 15:26      4M
libcoq-interval_4.7.0-1_amd64.deb                  15-Jun-2023 16:56      4M
libcoq-interval_4.7.0-1_arm64.deb                  17-Jun-2023 01:57      4M
libcoq-interval_4.7.0-1_armhf.deb                  15-Jun-2023 22:42      4M
libcoq-interval_4.7.0-1_i386.deb                   15-Jun-2023 15:45      4M
libcoq-interval_4.8.0-1+b1_amd64.deb               22-Sep-2023 22:28      5M
libcoq-interval_4.8.0-1+b1_arm64.deb               22-Sep-2023 22:59      5M
libcoq-interval_4.8.0-1+b1_armhf.deb               22-Sep-2023 22:28      5M
libcoq-interval_4.8.0-1+b1_i386.deb                22-Sep-2023 22:28      5M
libcoq-interval_4.8.0-1_amd64.deb                  03-Aug-2023 15:57      5M
libcoq-interval_4.8.0-1_arm64.deb                  03-Aug-2023 16:13      5M
libcoq-interval_4.8.0-1_armhf.deb                  03-Aug-2023 15:57      5M
libcoq-interval_4.8.0-1_i386.deb                   03-Aug-2023 15:42      5M