ASNET-AM

MIRRORS.ASNET.AM

Archive at the Academic Scientific Research Computer Network of Armenia
Directory: /ubuntu/pool/universe/c/cvc5/
File Name  ↓ File Size  ↓ Date  ↓ 
Parent directory/--
python3-cvc5_1.1.2-2_amd64.deb 341K03-May-2024 06:39
python3-cvc5_1.1.2-1build1_amd64.deb 339K01-Apr-2024 07:46
libcvc5parser1_1.1.2-2_amd64.deb 205K03-May-2024 06:39
libcvc5parser1_1.1.2-1build1_amd64.deb 205K01-Apr-2024 07:46
libcvc5-dev_1.1.2-2_amd64.deb 82K03-May-2024 06:39
libcvc5-dev_1.1.2-1build1_amd64.deb 82K01-Apr-2024 07:46
libcvc5-1_1.1.2-2_amd64.deb 5M03-May-2024 06:39
libcvc5-1_1.1.2-1build1_amd64.deb 5M01-Apr-2024 07:46
cvc5_1.1.2.orig.tar.gz 8M03-Mar-2024 15:23
cvc5_1.1.2-2_amd64.deb 93K03-May-2024 06:39
cvc5_1.1.2-2.dsc 247003-May-2024 05:55
cvc5_1.1.2-2.debian.tar.xz 739603-May-2024 05:55
cvc5_1.1.2-1build1_amd64.deb 93K01-Apr-2024 07:46
cvc5_1.1.2-1build1.dsc 258931-Mar-2024 22:36
cvc5_1.1.2-1build1.debian.tar.xz 657631-Mar-2024 22:36