NameLast modifiedSizeDescription
[ ]cvc5_1.0.3-1.debian.tar.xz2022-12-20 06:29 5.8KTAR compressed archive
[ ]cvc5_1.0.3-1.dsc2022-12-20 06:29 2.3K 
[ ]cvc5_1.0.3-1_amd64.deb2022-12-20 06:49 96KDebian Software Package
[ ]cvc5_1.0.3.orig.tar.gz2022-12-20 06:29 7.9MGZIP compressed TAR archive
[ ]cvc5_1.0.5-3.debian.tar.xz2023-06-24 07:45 6.9KTAR compressed archive
[ ]cvc5_1.0.5-3.dsc2023-06-24 07:45 2.4K 
[ ]cvc5_1.0.5-3_amd64.deb2023-06-25 04:04 88KDebian Software Package
[ ]cvc5_1.0.5.orig.tar.gz2023-06-20 19:39 8.0MGZIP compressed TAR archive
[ ]cvc5_1.1.2-1build1.debian.tar.xz2024-03-31 14:36 6.4KTAR compressed archive
[ ]cvc5_1.1.2-1build1.dsc2024-03-31 14:36 2.5K 
[ ]cvc5_1.1.2-1build1_amd64.deb2024-03-31 23:46 93KDebian Software Package
[ ]cvc5_1.1.2-2.debian.tar.xz2024-05-02 21:55 7.2KTAR compressed archive
[ ]cvc5_1.1.2-2.dsc2024-05-02 21:55 2.4K 
[ ]cvc5_1.1.2-2_amd64.deb2024-05-02 22:39 93KDebian Software Package
[ ]cvc5_1.1.2.orig.tar.gz2024-03-03 06:23 8.2MGZIP compressed TAR archive
[ ]libcvc5-1_1.0.3-1_amd64.deb2022-12-20 06:49 4.6MDebian Software Package
[ ]libcvc5-1_1.0.5-3_amd64.deb2023-06-25 04:04 4.6MDebian Software Package
[ ]libcvc5-1_1.1.2-1build1_amd64.deb2024-03-31 23:46 4.8MDebian Software Package
[ ]libcvc5-1_1.1.2-2_amd64.deb2024-05-02 22:39 4.9MDebian Software Package
[ ]libcvc5-dev_1.0.3-1_amd64.deb2022-12-20 06:49 52KDebian Software Package
[ ]libcvc5-dev_1.0.5-3_amd64.deb2023-06-25 04:04 53KDebian Software Package
[ ]libcvc5-dev_1.1.2-1build1_amd64.deb2024-03-31 23:46 82KDebian Software Package
[ ]libcvc5-dev_1.1.2-2_amd64.deb2024-05-02 22:39 82KDebian Software Package
[ ]libcvc5parser1_1.0.3-1_amd64.deb2022-12-20 06:49 297KDebian Software Package
[ ]libcvc5parser1_1.0.5-3_amd64.deb2023-06-25 04:04 344KDebian Software Package
[ ]libcvc5parser1_1.1.2-1build1_amd64.deb2024-03-31 23:46 205KDebian Software Package
[ ]libcvc5parser1_1.1.2-2_amd64.deb2024-05-02 22:39 205KDebian Software Package
[ ]python3-cvc5_1.0.5-3_amd64.deb2023-06-25 04:04 239KDebian Software Package
[ ]python3-cvc5_1.1.2-1build1_amd64.deb2024-03-31 23:46 339KDebian Software Package
[ ]python3-cvc5_1.1.2-2_amd64.deb2024-05-02 22:39 341KDebian Software Package