Triple - Together we Inspire
/raspbian/pool/main/c/cvc4/
File Name  ↓ File Size  ↓ Date  ↓ 
Parent directory/--
cvc4_1.6.orig.tar.gz 78158932018-Aug-07 19:44
cvc4_1.6-2.debian.tar.xz 82322018-Aug-13 20:01
cvc4_1.6-2.dsc 26522018-Aug-13 20:01
cvc4_1.8.orig.tar.gz 75471872020-Sep-13 23:17
cvc4_1.8-2.dsc 22752020-Sep-18 01:25
cvc4_1.8-2.debian.tar.xz 164562020-Sep-18 01:25
libcvc4-7_1.8-2_armhf.deb 48902362020-Sep-29 22:08
libcvc4-dev_1.8-2_armhf.deb 1312562020-Sep-29 22:08
libcvc4parser7_1.8-2_armhf.deb 3249522020-Sep-29 22:08
cvc4_1.8-2_armhf.deb 743282020-Sep-29 22:08
cvc4_1.8-3.debian.tar.xz 167282022-Oct-29 19:57
cvc4_1.8-3.dsc 22442022-Oct-29 19:57
libcvc4parser7_1.8-3_armhf.deb 3175562022-Nov-01 16:08
cvc4_1.8-3_armhf.deb 738762022-Nov-01 16:08
libcvc4-7_1.8-3_armhf.deb 52287682022-Nov-01 16:08
libcvc4-dev_1.8-3_armhf.deb 1311162022-Nov-01 16:08
libcvc4parser7_1.8-3+b1_armhf.deb 3209202024-Jun-08 10:08
cvc4_1.8-3+b1_armhf.deb 753842024-Jun-08 10:08
libcvc4-7_1.8-3+b1_armhf.deb 52786722024-Jun-08 10:08
libcvc4-dev_1.8-3+b1_armhf.deb 1314602024-Jun-08 10:08