ASNET-AM

MIRRORS.ASNET.AM

Archive at the Academic Scientific Research Computer Network of Armenia
Directory: /raspbian/raspbian/pool/main/c/cvc4/
File Name  ↓ File Size  ↓ Date  ↓ 
Parent directory/--
cvc4_1.6-2.debian.tar.xz 823214-Aug-2018 00:01
cvc4_1.6-2.dsc 265214-Aug-2018 00:01
cvc4_1.6.orig.tar.gz 7M07-Aug-2018 23:44
cvc4_1.8-2.debian.tar.xz 16K18-Sep-2020 05:25
cvc4_1.8-2.dsc 227518-Sep-2020 05:25
cvc4_1.8-2_armhf.deb 73K30-Sep-2020 02:08
cvc4_1.8-3.debian.tar.xz 16K29-Oct-2022 23:57
cvc4_1.8-3.dsc 224429-Oct-2022 23:57
cvc4_1.8-3_armhf.deb 72K01-Nov-2022 20:08
cvc4_1.8.orig.tar.gz 7M14-Sep-2020 03:17
libcvc4-7_1.8-2_armhf.deb 5M30-Sep-2020 02:08
libcvc4-7_1.8-3_armhf.deb 5M01-Nov-2022 20:08
libcvc4-dev_1.8-2_armhf.deb 128K30-Sep-2020 02:08
libcvc4-dev_1.8-3_armhf.deb 128K01-Nov-2022 20:08
libcvc4parser7_1.8-2_armhf.deb 317K30-Sep-2020 02:08
libcvc4parser7_1.8-3_armhf.deb 310K01-Nov-2022 20:08