Index of /raspbian/pool/main/c/cvc5/
../
cvc5_1.0.3-1.debian.tar.xz 20-Dec-2022 03:26 5964
cvc5_1.0.3-1.dsc 20-Dec-2022 03:26 2305
cvc5_1.0.3.orig.tar.gz 20-Dec-2022 03:26 8335175
cvc5_1.0.5-3.debian.tar.xz 23-Jun-2023 20:03 7072
cvc5_1.0.5-3.dsc 23-Jun-2023 20:03 2495
cvc5_1.0.5.orig.tar.gz 20-Jun-2023 17:12 8431503
cvc5_1.0.8-1.debian.tar.xz 21-Jan-2024 02:49 6364
cvc5_1.0.8-1.dsc 21-Jan-2024 02:49 2473
cvc5_1.0.8.orig.tar.gz 21-Jan-2024 02:49 8393754
cvc5_1.1.1-1.debian.tar.xz 12-Feb-2024 03:02 6944
cvc5_1.1.1-1.dsc 12-Feb-2024 03:02 2470
cvc5_1.1.1.orig.tar.gz 12-Feb-2024 03:02 8509343
cvc5_1.1.2-2+b1_armhf.deb 08-Jul-2024 16:08 99672
cvc5_1.1.2-2.debian.tar.xz 19-Mar-2024 22:22 7396
cvc5_1.1.2-2.dsc 19-Mar-2024 22:22 2470
cvc5_1.1.2-2_armhf.deb 21-May-2024 22:08 99360
cvc5_1.1.2.orig.tar.gz 03-Mar-2024 02:53 8581968
libcvc5-1_1.1.2-2+b1_armhf.deb 08-Jul-2024 16:08 5579660
libcvc5-1_1.1.2-2_armhf.deb 21-May-2024 22:08 5582332
libcvc5-dev_1.1.2-2+b1_armhf.deb 08-Jul-2024 16:08 93208
libcvc5-dev_1.1.2-2_armhf.deb 21-May-2024 22:08 92960
libcvc5parser1_1.1.2-2+b1_armhf.deb 08-Jul-2024 16:08 196816
libcvc5parser1_1.1.2-2_armhf.deb 21-May-2024 22:08 197508
python3-cvc5_1.1.2-2+b1_armhf.deb 08-Jul-2024 16:08 309988
python3-cvc5_1.1.2-2_armhf.deb 21-May-2024 22:08 304532