| ../ | | - | 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+b1_amd64.deb | 2024-Jun-26 05:01:55 | 108.4K | application/vnd.debian.binary-package |
| cvc5_1.1.2-2+b1_arm64.deb | 2024-Jun-26 05:37:48 | 96.5K | application/vnd.debian.binary-package |
| cvc5_1.1.2-2+b1_armhf.deb | 2024-Jun-26 05:07:09 | 100.1K | application/vnd.debian.binary-package |
| cvc5_1.1.2-2+b1_i386.deb | 2024-Jun-26 05:01:44 | 111.0K | 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+b1_amd64.deb | 2024-Jun-26 05:01:56 | 6.1M | application/vnd.debian.binary-package |
| libcvc5-1_1.1.2-2+b1_arm64.deb | 2024-Jun-26 05:37:48 | 5.2M | application/vnd.debian.binary-package |
| libcvc5-1_1.1.2-2+b1_armhf.deb | 2024-Jun-26 05:07:09 | 5.2M | application/vnd.debian.binary-package |
| libcvc5-1_1.1.2-2+b1_i386.deb | 2024-Jun-26 05:01:45 | 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+b1_amd64.deb | 2024-Jun-26 05:01:56 | 91.0K | application/vnd.debian.binary-package |
| libcvc5-dev_1.1.2-2+b1_arm64.deb | 2024-Jun-26 05:37:48 | 91.0K | application/vnd.debian.binary-package |
| libcvc5-dev_1.1.2-2+b1_armhf.deb | 2024-Jun-26 05:07:09 | 91.0K | application/vnd.debian.binary-package |
| libcvc5-dev_1.1.2-2+b1_i386.deb | 2024-Jun-26 05:01:45 | 91.0K | 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+b1_amd64.deb | 2024-Jun-26 05:01:56 | 229.5K | application/vnd.debian.binary-package |
| libcvc5parser1_1.1.2-2+b1_arm64.deb | 2024-Jun-26 05:37:48 | 201.3K | application/vnd.debian.binary-package |
| libcvc5parser1_1.1.2-2+b1_armhf.deb | 2024-Jun-26 05:07:09 | 200.0K | application/vnd.debian.binary-package |
| libcvc5parser1_1.1.2-2+b1_i386.deb | 2024-Jun-26 05:01:45 | 248.3K | application/vnd.debian.binary-package |
| python3-cvc5_1.1.2-2+b1_amd64.deb | 2024-Jun-26 05:01:56 | 327.6K | application/vnd.debian.binary-package |
| python3-cvc5_1.1.2-2+b1_arm64.deb | 2024-Jun-26 05:37:48 | 289.2K | application/vnd.debian.binary-package |
| python3-cvc5_1.1.2-2+b1_armhf.deb | 2024-Jun-26 05:07:09 | 304.1K | application/vnd.debian.binary-package |
| python3-cvc5_1.1.2-2+b1_i386.deb | 2024-Jun-26 05:01:45 | 310.2K | application/vnd.debian.binary-package |