Index of /debian/pool/main/c/cvc5/

File Name  ↓ File Size  ↓ Date  ↓ 
Parent directory/--
cvc5_1.0.5.orig.tar.gz 84315032023-Jun-20 17:12
cvc5_1.0.3.orig.tar.gz 83351752022-Dec-20 03:26
libcvc5-1_1.0.5-3_riscv64.deb 61361402023-Sep-07 06:09
libcvc5-1_1.0.5-3_amd64.deb 59089962023-Jun-23 21:29
libcvc5-1_1.0.3-1_amd64.deb 58412602022-Dec-20 05:55
libcvc5-1_1.0.5-3_ppc64el.deb 56452002023-Jun-23 21:29
libcvc5-1_1.0.3-1_ppc64el.deb 55889642022-Dec-20 05:45
libcvc5-1_1.0.5-3_s390x.deb 51536522023-Jun-23 21:29
libcvc5-1_1.0.3-1_s390x.deb 50995642022-Dec-20 12:13
libcvc5-1_1.0.5-3_arm64.deb 49856922023-Jun-23 22:12
libcvc5-1_1.0.3-1_arm64.deb 49445482022-Dec-20 05:29
libcvc5parser1_1.0.5-3_amd64.deb 3674922023-Jun-23 21:29
libcvc5parser1_1.0.5-3_ppc64el.deb 3626602023-Jun-23 21:29
libcvc5parser1_1.0.5-3_riscv64.deb 3569602023-Sep-07 06:09
libcvc5parser1_1.0.5-3_s390x.deb 3200922023-Jun-23 21:29
libcvc5parser1_1.0.5-3_arm64.deb 3197842023-Jun-23 22:12
libcvc5parser1_1.0.3-1_amd64.deb 3068722022-Dec-20 05:55
libcvc5parser1_1.0.3-1_ppc64el.deb 3044362022-Dec-20 05:45
libcvc5parser1_1.0.3-1_arm64.deb 2731482022-Dec-20 05:29
libcvc5parser1_1.0.3-1_s390x.deb 2712122022-Dec-20 12:13
python3-cvc5_1.0.5-3_amd64.deb 2276242023-Jun-23 21:29
python3-cvc5_1.0.5-3_riscv64.deb 2217202023-Sep-07 06:09
python3-cvc5_1.0.5-3_ppc64el.deb 2127482023-Jun-23 21:29
python3-cvc5_1.0.5-3_s390x.deb 2040322023-Jun-23 21:29
python3-cvc5_1.0.5-3_arm64.deb 1994042023-Jun-23 22:12
cvc5_1.0.3-1_amd64.deb 1079002022-Dec-20 05:55
cvc5_1.0.3-1_ppc64el.deb 1050202022-Dec-20 05:45
cvc5_1.0.5-3_amd64.deb 999922023-Jun-23 21:29
cvc5_1.0.3-1_arm64.deb 974882022-Dec-20 05:29
cvc5_1.0.3-1_s390x.deb 973082022-Dec-20 12:13
cvc5_1.0.5-3_ppc64el.deb 950162023-Jun-23 21:29
cvc5_1.0.5-3_riscv64.deb 945322023-Sep-07 06:09
cvc5_1.0.5-3_s390x.deb 917322023-Jun-23 21:29
cvc5_1.0.5-3_arm64.deb 882562023-Jun-23 22:12
libcvc5-dev_1.0.5-3_riscv64.deb 606442023-Sep-07 06:09
libcvc5-dev_1.0.5-3_amd64.deb 606402023-Jun-23 21:29
libcvc5-dev_1.0.5-3_ppc64el.deb 606362023-Jun-23 21:29
libcvc5-dev_1.0.5-3_s390x.deb 606322023-Jun-23 21:29
libcvc5-dev_1.0.5-3_arm64.deb 606322023-Jun-23 22:12
libcvc5-dev_1.0.3-1_ppc64el.deb 586002022-Dec-20 05:45
libcvc5-dev_1.0.3-1_amd64.deb 585842022-Dec-20 05:55
libcvc5-dev_1.0.3-1_s390x.deb 585802022-Dec-20 12:13
libcvc5-dev_1.0.3-1_arm64.deb 585762022-Dec-20 05:29
cvc5_1.0.5-3.debian.tar.xz 70722023-Jun-23 20:03
cvc5_1.0.3-1.debian.tar.xz 59642022-Dec-20 03:26
cvc5_1.0.5-3.dsc 24952023-Jun-23 20:03
cvc5_1.0.3-1.dsc 23052022-Dec-20 03:26