../ | | - | Directory |
cvc5_1.0.3-1_amd64.deb | 2022-Dec-20 06:55:42 | 105.3K | application/vnd.debian.binary-package |
cvc5_1.0.3-1_arm64.deb | 2022-Dec-20 06:29:11 | 95.2K | application/vnd.debian.binary-package |
libcvc5-1_1.0.3-1_amd64.deb | 2022-Dec-20 06:55:42 | 5.5M | application/vnd.debian.binary-package |
libcvc5-1_1.0.3-1_arm64.deb | 2022-Dec-20 06:29:12 | 4.7M | application/vnd.debian.binary-package |
libcvc5-dev_1.0.3-1_amd64.deb | 2022-Dec-20 06:55:42 | 57.2K | application/vnd.debian.binary-package |
libcvc5-dev_1.0.3-1_arm64.deb | 2022-Dec-20 06:29:12 | 57.2K | application/vnd.debian.binary-package |
libcvc5parser1_1.0.3-1_amd64.deb | 2022-Dec-20 06:55:42 | 299.6K | application/vnd.debian.binary-package |
libcvc5parser1_1.0.3-1_arm64.deb | 2022-Dec-20 06:29:12 | 266.7K | application/vnd.debian.binary-package |