Index of /raspbian/pool/main/c/cvc4
Name
Last modified
Size
Description
Metadata
Parent Directory
-
cvc4_1.6.orig.tar.gz
07-Aug-2018 19:44
7.5M
Details
cvc4_1.6-2.debian.tar.xz
13-Aug-2018 20:01
8.0K
Details
cvc4_1.6-2.dsc
13-Aug-2018 20:01
2.6K
Details
cvc4_1.8.orig.tar.gz
13-Sep-2020 23:17
7.2M
Details
cvc4_1.8-2.debian.tar.xz
18-Sep-2020 01:25
16K
Details
cvc4_1.8-2.dsc
18-Sep-2020 01:25
2.2K
Details
cvc4_1.8-2_armhf.deb
29-Sep-2020 22:08
73K
Details
libcvc4-7_1.8-2_armhf.deb
29-Sep-2020 22:08
4.7M
Details
libcvc4-dev_1.8-2_armhf.deb
29-Sep-2020 22:08
128K
Details
libcvc4parser7_1.8-2_armhf.deb
29-Sep-2020 22:08
317K
Details
cvc4_1.8-3.debian.tar.xz
29-Oct-2022 19:57
16K
Details
cvc4_1.8-3.dsc
29-Oct-2022 19:57
2.2K
Details
cvc4_1.8-3_armhf.deb
01-Nov-2022 16:08
72K
Details
libcvc4-7_1.8-3_armhf.deb
01-Nov-2022 16:08
5.0M
Details
libcvc4-dev_1.8-3_armhf.deb
01-Nov-2022 16:08
128K
Details
libcvc4parser7_1.8-3_armhf.deb
01-Nov-2022 16:08
310K
Details
cvc4_1.8-3+b1_armhf.deb
08-Jun-2024 10:08
74K
Details
libcvc4-7_1.8-3+b1_armhf.deb
08-Jun-2024 10:08
5.0M
Details
libcvc4-dev_1.8-3+b1_armhf.deb
08-Jun-2024 10:08
128K
Details
libcvc4parser7_1.8-3+b1_armhf.deb
08-Jun-2024 10:08
313K
Details
Apache/2.4.62 (Debian) Server at mirrordirectortest.raspbian.org Port 80
MirrorBrain
powered by
Apache