Folder Path
/
pool
/
ubuntu
/
c
/
cvc5
/
0
directories
5
files
5.3 MiB
total
List
Grid
Name
Size
Modified
Up
cvc5_1.0.5-3_amd64.deb
88 KiB
07/24/2024 09:33:33 PM +00:00
libcvc5-1_1.0.5-3_amd64.deb
4.6 MiB
07/24/2024 09:33:36 PM +00:00
libcvc5-dev_1.0.5-3_amd64.deb
53 KiB
07/24/2024 09:33:36 PM +00:00
libcvc5parser1_1.0.5-3_amd64.deb
344 KiB
07/24/2024 09:33:36 PM +00:00
python3-cvc5_1.0.5-3_amd64.deb
240 KiB
07/24/2024 09:33:44 PM +00:00