Parent Directory/ | | - | Directory |
cvc4_1.6-2.debian.tar.xz | 2018-Aug-14 04:01:48 | 8.0K | application/x-xz |
cvc4_1.6-2.dsc | 2018-Aug-14 04:01:48 | 2.6K | application/octet-stream |
cvc4_1.6.orig.tar.gz | 2018-Aug-08 03:44:25 | 7.4M | application/gzip |
cvc4_1.8-2.debian.tar.xz | 2020-Sep-18 09:25:27 | 16.0K | application/x-xz |
cvc4_1.8-2.dsc | 2020-Sep-18 09:25:27 | 2.2K | application/octet-stream |
cvc4_1.8-2_armhf.deb | 2020-Sep-30 06:08:07 | 72.6K | application/vnd.debian.binary-package |
cvc4_1.8-3.debian.tar.xz | 2022-Oct-30 03:57:30 | 16.3K | application/x-xz |
cvc4_1.8-3.dsc | 2022-Oct-30 03:57:30 | 2.1K | application/octet-stream |
cvc4_1.8-3_armhf.deb | 2022-Nov-02 00:08:05 | 72.1K | application/vnd.debian.binary-package |
cvc4_1.8.orig.tar.gz | 2020-Sep-14 07:17:21 | 7.2M | application/gzip |
libcvc4-7_1.8-2_armhf.deb | 2020-Sep-30 06:08:07 | 4.6M | application/vnd.debian.binary-package |
libcvc4-7_1.8-3_armhf.deb | 2022-Nov-02 00:08:05 | 4.9M | application/vnd.debian.binary-package |
libcvc4-dev_1.8-2_armhf.deb | 2020-Sep-30 06:08:07 | 128.1K | application/vnd.debian.binary-package |
libcvc4-dev_1.8-3_armhf.deb | 2022-Nov-02 00:08:05 | 128.0K | application/vnd.debian.binary-package |
libcvc4parser7_1.8-2_armhf.deb | 2020-Sep-30 06:08:07 | 317.3K | application/vnd.debian.binary-package |
libcvc4parser7_1.8-3_armhf.deb | 2022-Nov-02 00:08:05 | 310.1K | application/vnd.debian.binary-package |