../ | | - | Directory |
cvc4_1.8-3_amd64.deb | 2022-Oct-29 23:29:01 | 78.8K | application/vnd.debian.binary-package |
cvc4_1.8-3_arm64.deb | 2022-Oct-29 23:47:13 | 73.8K | application/vnd.debian.binary-package |
cvc4_1.8-3_armhf.deb | 2022-Oct-29 23:47:19 | 73.3K | application/vnd.debian.binary-package |
libcvc4-7_1.8-3_amd64.deb | 2022-Oct-29 23:29:01 | 5.6M | application/vnd.debian.binary-package |
libcvc4-7_1.8-3_arm64.deb | 2022-Oct-29 23:47:13 | 4.7M | application/vnd.debian.binary-package |
libcvc4-7_1.8-3_armhf.deb | 2022-Oct-29 23:47:19 | 5.0M | application/vnd.debian.binary-package |
libcvc4-dev_1.8-3_amd64.deb | 2022-Oct-29 23:29:01 | 128.0K | application/vnd.debian.binary-package |
libcvc4-dev_1.8-3_arm64.deb | 2022-Oct-29 23:47:13 | 128.0K | application/vnd.debian.binary-package |
libcvc4-dev_1.8-3_armhf.deb | 2022-Oct-29 23:47:19 | 128.0K | application/vnd.debian.binary-package |
libcvc4parser7_1.8-3_amd64.deb | 2022-Oct-29 23:29:01 | 353.8K | application/vnd.debian.binary-package |
libcvc4parser7_1.8-3_arm64.deb | 2022-Oct-29 23:47:13 | 315.1K | application/vnd.debian.binary-package |
libcvc4parser7_1.8-3_armhf.deb | 2022-Oct-29 23:47:19 | 321.9K | application/vnd.debian.binary-package |