|
Go up
|
— |
— |
|
|
cvc5_1.1.2-2+b1_amd64.deb
|
108 KiB |
|
|
|
cvc5_1.1.2-2+b1_arm64.deb
|
97 KiB |
|
|
|
libcvc5-1_1.1.2-2+b1_amd64.deb
|
6.1 MiB |
|
|
|
libcvc5-1_1.1.2-2+b1_arm64.deb
|
5.2 MiB |
|
|
|
libcvc5-dev_1.1.2-2+b1_amd64.deb
|
91 KiB |
|
|
|
libcvc5-dev_1.1.2-2+b1_arm64.deb
|
91 KiB |
|
|
|
libcvc5parser1_1.1.2-2+b1_amd64.deb
|
230 KiB |
|
|
|
libcvc5parser1_1.1.2-2+b1_arm64.deb
|
201 KiB |
|
|
|
python3-cvc5_1.1.2-2+b1_amd64.deb
|
328 KiB |
|
|
|
python3-cvc5_1.1.2-2+b1_arm64.deb
|
289 KiB |
|
|