Index of /parrot/pool/main/c/cvc4

Icon  Name                           Last modified      Size  Description
[PARENTDIR] Parent Directory - [   ] cvc4_1.8-2.debian.tar.xz 2020-09-18 02:25 16K [   ] cvc4_1.8-2.dsc 2020-09-18 02:25 2.2K [   ] cvc4_1.8-2_amd64.deb 2020-09-18 03:11 80K [   ] cvc4_1.8-2_i386.deb 2020-09-18 03:42 81K [   ] cvc4_1.8.orig.tar.gz 2020-09-14 00:17 7.2M [   ] libcvc4-7_1.8-2_amd64.deb 2020-09-18 03:11 5.4M [   ] libcvc4-7_1.8-2_i386.deb 2020-09-18 03:42 5.9M [   ] libcvc4-dev_1.8-2_amd64.deb 2020-09-18 03:11 128K [   ] libcvc4-dev_1.8-2_i386.deb 2020-09-18 03:42 128K [   ] libcvc4parser7_1.8-2_amd64.deb 2020-09-18 03:11 358K [   ] libcvc4parser7_1.8-2_i386.deb 2020-09-18 03:42 374K
Universidade do Porto | Helpdesk