Index of /pool/main/c/cvc5/

File Name  ↓ File Size  ↓ Date  ↓ 
Parent directory/--
cvc5_1.3.2.orig.tar.gz 92509702025-Dec-24 01:13
cvc5_1.1.2.orig.tar.gz 85819682024-Mar-03 02:53
cvc5_1.0.3.orig.tar.gz 83351752022-Dec-20 03:26
libcvc5-1_1.3.2-1_armhf.deb 66608642026-Jan-14 10:08
libcvc5-1_1.1.2-2+b2_armhf.deb 57756202025-Jan-29 10:08
python3-cvc5_1.3.2-1_armhf.deb 3406842026-Jan-14 10:08
python3-cvc5_1.1.2-2+b2_armhf.deb 3126682025-Jan-29 10:08
libcvc5parser1_1.3.2-1_armhf.deb 2308002026-Jan-14 10:08
libcvc5parser1_1.1.2-2+b2_armhf.deb 2010122025-Jan-29 10:08
cvc5_1.3.2-1_armhf.deb 1281122026-Jan-14 10:08
libcvc5-dev_1.3.2-1_armhf.deb 1240122026-Jan-14 10:08
cvc5_1.1.2-2+b2_armhf.deb 983122025-Jan-29 10:08
libcvc5-dev_1.1.2-2+b2_armhf.deb 932562025-Jan-29 10:08
cvc5_1.3.2-1.debian.tar.xz 85322025-Dec-24 01:13
cvc5_1.1.2-2.debian.tar.xz 73962024-Mar-19 22:22
cvc5_1.0.3-1.debian.tar.xz 59642022-Dec-20 03:26
cvc5_1.1.2-2.dsc 24702024-Mar-19 22:22
cvc5_1.3.2-1.dsc 24682025-Dec-24 01:13
cvc5_1.0.3-1.dsc 23052022-Dec-20 03:26