Name Last modified Size Description
Parent Directory - cvc5_1.0.3-1.debian.tar.xz 2022-12-20 06:29 5.8K Debian/Ubuntu Packages cvc5_1.0.3-1.dsc 2022-12-20 06:29 2.3K cvc5_1.0.3-1_amd64.deb 2022-12-20 06:49 96K Debian/Ubuntu Packages cvc5_1.0.3.orig.tar.gz 2022-12-20 06:29 7.9M Raw or other Packages cvc5_1.0.5-3.debian.tar.xz 2023-06-24 07:45 6.9K Debian/Ubuntu Packages cvc5_1.0.5-3.dsc 2023-06-24 07:45 2.4K cvc5_1.0.5-3_amd64.deb 2023-06-25 04:04 88K Debian/Ubuntu Packages cvc5_1.0.5.orig.tar.gz 2023-06-20 19:39 8.0M Raw or other Packages cvc5_1.1.2-1build1.debian.tar.xz 2024-03-31 14:36 6.4K Debian/Ubuntu Packages cvc5_1.1.2-1build1.dsc 2024-03-31 14:36 2.5K cvc5_1.1.2-1build1_amd64.deb 2024-03-31 23:46 93K Debian/Ubuntu Packages cvc5_1.1.2-2.debian.tar.xz 2024-05-02 21:55 7.2K Debian/Ubuntu Packages cvc5_1.1.2-2.dsc 2024-05-02 21:55 2.4K cvc5_1.1.2-2_amd64.deb 2024-05-02 22:39 93K Debian/Ubuntu Packages cvc5_1.1.2.orig.tar.gz 2024-03-03 06:23 8.2M Raw or other Packages libcvc5-1_1.0.3-1_amd64.deb 2022-12-20 06:49 4.6M Debian/Ubuntu Packages libcvc5-1_1.0.5-3_amd64.deb 2023-06-25 04:04 4.6M Debian/Ubuntu Packages libcvc5-1_1.1.2-1build1_amd64.deb 2024-03-31 23:46 4.8M Debian/Ubuntu Packages libcvc5-1_1.1.2-2_amd64.deb 2024-05-02 22:39 4.9M Debian/Ubuntu Packages libcvc5-dev_1.0.3-1_amd64.deb 2022-12-20 06:49 52K Debian/Ubuntu Packages libcvc5-dev_1.0.5-3_amd64.deb 2023-06-25 04:04 53K Debian/Ubuntu Packages libcvc5-dev_1.1.2-1build1_amd64.deb 2024-03-31 23:46 82K Debian/Ubuntu Packages libcvc5-dev_1.1.2-2_amd64.deb 2024-05-02 22:39 82K Debian/Ubuntu Packages libcvc5parser1_1.0.3-1_amd64.deb 2022-12-20 06:49 297K Debian/Ubuntu Packages libcvc5parser1_1.0.5-3_amd64.deb 2023-06-25 04:04 344K Debian/Ubuntu Packages libcvc5parser1_1.1.2-1build1_amd64.deb 2024-03-31 23:46 205K Debian/Ubuntu Packages libcvc5parser1_1.1.2-2_amd64.deb 2024-05-02 22:39 205K Debian/Ubuntu Packages python3-cvc5_1.0.5-3_amd64.deb 2023-06-25 04:04 239K Debian/Ubuntu Packages python3-cvc5_1.1.2-1build1_amd64.deb 2024-03-31 23:46 339K Debian/Ubuntu Packages python3-cvc5_1.1.2-2_amd64.deb 2024-05-02 22:39 341K Debian/Ubuntu Packages