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-3.dsc 246028-Oct-2025 04:01
cvc5_1.1.2-2build1.dsc 247304-Jan-2025 01:43
cvc5_1.1.2-1build1.dsc 258931-Mar-2024 22:36
cvc5_1.1.2-1build1.debian.tar.xz 657631-Mar-2024 22:36
cvc5_1.1.2-3.debian.tar.xz 739228-Oct-2025 04:01
cvc5_1.1.2-2build1.debian.tar.xz 747604-Jan-2025 01:43
libcvc5-dev_1.1.2-2build1_amd64.deb 82K04-Jan-2025 01:43
libcvc5-dev_1.1.2-1build1_amd64.deb 82K01-Apr-2024 07:46
libcvc5-dev_1.1.2-3_amd64.deb 82K28-Oct-2025 04:16
libcvc5-dev_1.1.2-3_amd64v3.deb 82K28-Oct-2025 04:28
cvc5_1.1.2-2build1_amd64.deb 90K04-Jan-2025 01:43
cvc5_1.1.2-3_amd64.deb 92K28-Oct-2025 04:16
cvc5_1.1.2-1build1_amd64.deb 93K01-Apr-2024 07:46
cvc5_1.1.2-3_amd64v3.deb 94K28-Oct-2025 04:28
libcvc5parser1_1.1.2-1build1_amd64.deb 205K01-Apr-2024 07:46
libcvc5parser1_1.1.2-2build1_amd64.deb 206K04-Jan-2025 01:43
libcvc5parser1_1.1.2-3_amd64.deb 208K28-Oct-2025 04:16
libcvc5parser1_1.1.2-3_amd64v3.deb 212K28-Oct-2025 04:28
python3-cvc5_1.1.2-3_amd64.deb 323K28-Oct-2025 04:16
python3-cvc5_1.1.2-3_amd64v3.deb 332K28-Oct-2025 04:28
python3-cvc5_1.1.2-1build1_amd64.deb 339K01-Apr-2024 07:46
python3-cvc5_1.1.2-2build1_amd64.deb 350K04-Jan-2025 01:43
libcvc5-1_1.1.2-1build1_amd64.deb 5M01-Apr-2024 07:46
libcvc5-1_1.1.2-2build1_amd64.deb 5M04-Jan-2025 01:43
libcvc5-1_1.1.2-3_amd64.deb 5M28-Oct-2025 04:16
libcvc5-1_1.1.2-3_amd64v3.deb 5M28-Oct-2025 04:28
cvc5_1.1.2.orig.tar.gz 8M03-Mar-2024 15:23