64.4 MiB
31 files
0 directories
Index of /ubuntu/pool/universe/c/cvc4/
Filename Modified Size Type
[Parent Directory]---
cvc4_1.5-1.debian.tar.xz01/11/17 13:5701/11/175.9 KiB[Save][Download]
cvc4_1.5-1.dsc01/11/17 13:5701/11/172.2 KiB[Save][Download]
cvc4_1.5-1_amd64.deb03/11/17 06:5703/11/17135 KiB[Save][Download]
cvc4_1.5-1_i386.deb03/11/17 06:5903/11/17139 KiB[Save][Download]
cvc4_1.5.orig.tar.gz01/11/17 13:5701/11/177.6 MiB[Save][Download]
cvc4_1.6-2build2.debian.tar.xz03/02/20 22:2403/02/208.2 KiB[Save][Download]
cvc4_1.6-2build2.dsc03/02/20 22:2403/02/202.7 KiB[Save][Download]
cvc4_1.6-2build2_amd64.deb03/02/20 23:4503/02/20135 KiB[Save][Download]
cvc4_1.6.orig.tar.gz12/08/18 05:1312/08/187.5 MiB[Save][Download]
cvc4_1.8-2.debian.tar.xz30/09/20 15:4330/09/2016.1 KiB[Save][Download]
cvc4_1.8-2.dsc30/09/20 15:4330/09/202.2 KiB[Save][Download]
cvc4_1.8-2_amd64.deb30/09/20 16:2830/09/2071.6 KiB[Save][Download]
cvc4_1.8.orig.tar.gz30/09/20 15:4330/09/207.2 MiB[Save][Download]
libcvc4-4_1.5-1_amd64.deb03/11/17 06:5703/11/173.2 MiB[Save][Download]
libcvc4-4_1.5-1_i386.deb03/11/17 06:5903/11/173.5 MiB[Save][Download]
libcvc4-5_1.6-2build2_amd64.deb03/02/20 23:4503/02/204.3 MiB[Save][Download]
libcvc4-7_1.8-2_amd64.deb30/09/20 16:2830/09/205.4 MiB[Save][Download]
libcvc4-dev_1.5-1_amd64.deb03/11/17 06:5703/11/175.7 MiB[Save][Download]
libcvc4-dev_1.5-1_i386.deb03/11/17 06:5903/11/176.1 MiB[Save][Download]
libcvc4-dev_1.6-2build2_amd64.deb03/02/20 23:4503/02/207 MiB[Save][Download]
libcvc4-dev_1.8-2_amd64.deb30/09/20 16:2830/09/20120 KiB[Save][Download]
libcvc4parser4_1.5-1_amd64.deb03/11/17 06:5703/11/17355 KiB[Save][Download]
libcvc4parser4_1.5-1_i386.deb03/11/17 06:5903/11/17381 KiB[Save][Download]
libcvc4parser5_1.6-2build2_amd64.deb03/02/20 23:4503/02/20356 KiB[Save][Download]
libcvc4parser7_1.8-2_amd64.deb30/09/20 16:2830/09/20349 KiB[Save][Download]
cvc4_1.8-3build2.debian.tar.xz31/03/24 18:3631/03/2416.5 KiB[Save][Download]
cvc4_1.8-3build2.dsc31/03/24 18:3631/03/242.3 KiB[Save][Download]
cvc4_1.8-3build2_amd64.deb31/03/24 20:3631/03/2473.6 KiB[Save][Download]
libcvc4-7_1.8-3build2_amd64.deb31/03/24 20:3631/03/244.5 MiB[Save][Download]
libcvc4-dev_1.8-3build2_amd64.deb31/03/24 20:3631/03/24122 KiB[Save][Download]
libcvc4parser7_1.8-3build2_amd64.deb31/03/24 20:3631/03/24365 KiB[Save][Download]
Page generated in 0.104273 seconds
Browsing /ubuntu/pool/universe/c/cvc4/ @ mirror.ihost.md