../ | | - | Directory |
cvc5_1.0.3-1_amd64.deb | 2022-Dec-20 00:55:42 | 105.3K | application/vnd.debian.binary-package |
cvc5_1.0.3-1_arm64.deb | 2022-Dec-20 00:29:11 | 95.2K | application/vnd.debian.binary-package |
cvc5_1.1.2-2_amd64.deb | 2024-Mar-19 21:42:52 | 108.2K | application/vnd.debian.binary-package |
cvc5_1.1.2-2_arm64.deb | 2024-Mar-19 22:29:25 | 96.3K | application/vnd.debian.binary-package |
cvc5_1.1.2-2_armhf.deb | 2024-Mar-19 19:28:59 | 100.3K | application/vnd.debian.binary-package |
cvc5_1.1.2-2_i386.deb | 2024-Mar-19 19:08:31 | 110.8K | application/vnd.debian.binary-package |
libcvc5-1_1.0.3-1_amd64.deb | 2022-Dec-20 00:55:42 | 5.5M | application/vnd.debian.binary-package |
libcvc5-1_1.0.3-1_arm64.deb | 2022-Dec-20 00:29:12 | 4.7M | application/vnd.debian.binary-package |
libcvc5-1_1.1.2-2_amd64.deb | 2024-Mar-19 21:42:53 | 6.1M | application/vnd.debian.binary-package |
libcvc5-1_1.1.2-2_arm64.deb | 2024-Mar-19 22:29:25 | 5.2M | application/vnd.debian.binary-package |
libcvc5-1_1.1.2-2_armhf.deb | 2024-Mar-19 19:29:00 | 5.2M | application/vnd.debian.binary-package |
libcvc5-1_1.1.2-2_i386.deb | 2024-Mar-19 19:08:31 | 6.7M | application/vnd.debian.binary-package |
libcvc5-dev_1.0.3-1_amd64.deb | 2022-Dec-20 00:55:42 | 57.2K | application/vnd.debian.binary-package |
libcvc5-dev_1.0.3-1_arm64.deb | 2022-Dec-20 00:29:12 | 57.2K | application/vnd.debian.binary-package |
libcvc5-dev_1.1.2-2_amd64.deb | 2024-Mar-19 21:42:53 | 90.7K | application/vnd.debian.binary-package |
libcvc5-dev_1.1.2-2_arm64.deb | 2024-Mar-19 22:29:25 | 90.8K | application/vnd.debian.binary-package |
libcvc5-dev_1.1.2-2_armhf.deb | 2024-Mar-19 19:29:00 | 90.8K | application/vnd.debian.binary-package |
libcvc5-dev_1.1.2-2_i386.deb | 2024-Mar-19 19:08:31 | 90.7K | application/vnd.debian.binary-package |
libcvc5parser1_1.0.3-1_amd64.deb | 2022-Dec-20 00:55:42 | 299.6K | application/vnd.debian.binary-package |
libcvc5parser1_1.0.3-1_arm64.deb | 2022-Dec-20 00:29:12 | 266.7K | application/vnd.debian.binary-package |
libcvc5parser1_1.1.2-2_amd64.deb | 2024-Mar-19 21:42:53 | 228.6K | application/vnd.debian.binary-package |
libcvc5parser1_1.1.2-2_arm64.deb | 2024-Mar-19 22:29:25 | 201.1K | application/vnd.debian.binary-package |
libcvc5parser1_1.1.2-2_armhf.deb | 2024-Mar-19 19:29:00 | 199.7K | application/vnd.debian.binary-package |
libcvc5parser1_1.1.2-2_i386.deb | 2024-Mar-19 19:08:31 | 247.7K | application/vnd.debian.binary-package |
python3-cvc5_1.1.2-2_amd64.deb | 2024-Mar-19 21:42:53 | 320.9K | application/vnd.debian.binary-package |
python3-cvc5_1.1.2-2_arm64.deb | 2024-Mar-19 22:29:25 | 291.0K | application/vnd.debian.binary-package |
python3-cvc5_1.1.2-2_armhf.deb | 2024-Mar-19 19:29:00 | 299.6K | application/vnd.debian.binary-package |
python3-cvc5_1.1.2-2_i386.deb | 2024-Mar-19 19:08:31 | 307.6K | application/vnd.debian.binary-package |