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/--
cvc5_1.1.2.orig.tar.gz 8M03-Mar-2024 15:23
libcvc5-1_1.1.2-2build1_amd64.deb 5M04-Jan-2025 01:43
libcvc5-1_1.1.2-1build1_amd64.deb 5M01-Apr-2024 07:46
python3-cvc5_1.1.2-2build1_amd64.deb 350K04-Jan-2025 01:43
python3-cvc5_1.1.2-1build1_amd64.deb 339K01-Apr-2024 07:46
libcvc5parser1_1.1.2-2build1_amd64.deb 206K04-Jan-2025 01:43
libcvc5parser1_1.1.2-1build1_amd64.deb 205K01-Apr-2024 07:46
cvc5_1.1.2-1build1_amd64.deb 93K01-Apr-2024 07:46
cvc5_1.1.2-2build1_amd64.deb 90K04-Jan-2025 01:43
libcvc5-dev_1.1.2-1build1_amd64.deb 82K01-Apr-2024 07:46
libcvc5-dev_1.1.2-2build1_amd64.deb 82K04-Jan-2025 01:43
cvc5_1.1.2-2build1.debian.tar.xz 747604-Jan-2025 01:43
cvc5_1.1.2-1build1.debian.tar.xz 657631-Mar-2024 22:36
cvc5_1.1.2-1build1.dsc 258931-Mar-2024 22:36
cvc5_1.1.2-2build1.dsc 247304-Jan-2025 01:43