Index of /pureos/pool/main/c/cvc4/


../
cvc4_1.6-2+b1_amd64.deb                            17-Nov-2018 22:01    133K
cvc4_1.6-2.debian.tar.xz                           16-Aug-2018 02:56    8232
cvc4_1.6-2.dsc                                     16-Aug-2018 02:56    2652
cvc4_1.6.orig.tar.gz                               16-Aug-2018 02:56      7M
cvc4_1.8-2.debian.tar.xz                           29-Sep-2020 14:45     16K
cvc4_1.8-2.dsc                                     29-Sep-2020 14:45    2275
cvc4_1.8-2_amd64.deb                               29-Sep-2020 14:46     80K
cvc4_1.8-2_arm64.deb                               29-Sep-2020 14:46     74K
cvc4_1.8-3.debian.tar.xz                           14-Jun-2023 15:15     16K
cvc4_1.8-3.dsc                                     14-Jun-2023 15:15    2244
cvc4_1.8-3_amd64.deb                               14-Jun-2023 23:51     79K
cvc4_1.8-3_arm64.deb                               14-Jun-2023 23:51     74K
cvc4_1.8.orig.tar.gz                               29-Sep-2020 14:45      7M
libcvc4-5_1.6-2+b1_amd64.deb                       17-Nov-2018 22:01      4M
libcvc4-7_1.8-2_amd64.deb                          29-Sep-2020 14:46      5M
libcvc4-7_1.8-2_arm64.deb                          29-Sep-2020 14:46      5M
libcvc4-7_1.8-3_amd64.deb                          14-Jun-2023 23:51      6M
libcvc4-7_1.8-3_arm64.deb                          14-Jun-2023 23:51      5M
libcvc4-dev_1.6-2+b1_amd64.deb                     17-Nov-2018 22:01      6M
libcvc4-dev_1.8-2_amd64.deb                        29-Sep-2020 14:46    128K
libcvc4-dev_1.8-2_arm64.deb                        29-Sep-2020 14:46    128K
libcvc4-dev_1.8-3_amd64.deb                        14-Jun-2023 23:51    128K
libcvc4-dev_1.8-3_arm64.deb                        14-Jun-2023 23:51    128K
libcvc4parser5_1.6-2+b1_amd64.deb                  17-Nov-2018 22:01    354K
libcvc4parser7_1.8-2_amd64.deb                     29-Sep-2020 14:46    358K
libcvc4parser7_1.8-2_arm64.deb                     29-Sep-2020 14:46    321K
libcvc4parser7_1.8-3_amd64.deb                     14-Jun-2023 23:51    354K
libcvc4parser7_1.8-3_arm64.deb                     14-Jun-2023 23:51    315K