Triple - Together we Inspire
/raspbian/pool/main/c/cvc5/
File Name  ↓ File Size  ↓ Date  ↓ 
Parent directory/--
cvc5_1.0.3-1.dsc 23052022-Dec-20 03:26
cvc5_1.3.2-1.dsc 24682025-Dec-24 01:13
cvc5_1.1.2-2.dsc 24702024-Mar-19 22:22
cvc5_1.0.3-1.debian.tar.xz 59642022-Dec-20 03:26
cvc5_1.1.2-2.debian.tar.xz 73962024-Mar-19 22:22
cvc5_1.3.2-1.debian.tar.xz 85322025-Dec-24 01:13
libcvc5-dev_1.1.2-2+b2_armhf.deb 932562025-Jan-29 10:08
cvc5_1.1.2-2+b2_armhf.deb 983122025-Jan-29 10:08
libcvc5-dev_1.3.2-1+b1_armhf.deb 1242722026-Jul-14 22:08
cvc5_1.3.2-1+b1_armhf.deb 1296162026-Jul-14 22:08
libcvc5parser1_1.1.2-2+b2_armhf.deb 2010122025-Jan-29 10:08
libcvc5parser1_1.3.2-1+b1_armhf.deb 2310962026-Jul-14 22:08
python3-cvc5_1.1.2-2+b2_armhf.deb 3126682025-Jan-29 10:08
python3-cvc5_1.3.2-1+b1_armhf.deb 3426722026-Jul-14 22:08
libcvc5-1_1.1.2-2+b2_armhf.deb 57756202025-Jan-29 10:08
libcvc5-1_1.3.2-1+b1_armhf.deb 66995402026-Jul-14 22:08
cvc5_1.0.3.orig.tar.gz 83351752022-Dec-20 03:26
cvc5_1.1.2.orig.tar.gz 85819682024-Mar-03 02:53
cvc5_1.3.2.orig.tar.gz 92509702025-Dec-24 01:13