Index of /debian/pool/main/c/cvc5

[ICO]NameLast modifiedSizeDescription
[PARENTDIR]Parent Directory  -  
[TXT]cvc5_1.0.3-1.dsc2022-12-20 00:26 2.3K 
[ ]cvc5_1.0.3-1.debian.tar.xz2022-12-20 00:26 5.8K 
[ ]cvc5_1.0.3.orig.tar.gz2022-12-20 00:26 7.9M 
[ ]cvc5_1.0.3-1_arm64.deb2022-12-20 02:29 95K 
[ ]libcvc5-1_1.0.3-1_arm64.deb2022-12-20 02:29 4.7M 
[ ]libcvc5-dev_1.0.3-1_arm64.deb2022-12-20 02:29 57K 
[ ]libcvc5parser1_1.0.3-1_arm64.deb2022-12-20 02:29 267K 
[ ]cvc5_1.0.3-1_amd64.deb2022-12-20 02:55 105K 
[ ]libcvc5-1_1.0.3-1_amd64.deb2022-12-20 02:55 5.6M 
[ ]libcvc5-dev_1.0.3-1_amd64.deb2022-12-20 02:55 57K 
[ ]libcvc5parser1_1.0.3-1_amd64.deb2022-12-20 02:55 300K 
[ ]cvc5_1.1.2.orig.tar.gz2024-03-02 23:53 8.2M 
[ ]cvc5_1.1.2-2.debian.tar.xz2024-03-19 19:22 7.2K 
[TXT]cvc5_1.1.2-2.dsc2024-03-19 19:22 2.4K 
[ ]cvc5_1.1.2-2+b1_i386.deb2024-06-26 06:01 111K 
[ ]libcvc5-1_1.1.2-2+b1_i386.deb2024-06-26 06:01 6.7M 
[ ]libcvc5-dev_1.1.2-2+b1_i386.deb2024-06-26 06:01 91K 
[ ]libcvc5parser1_1.1.2-2+b1_i386.deb2024-06-26 06:01 248K 
[ ]python3-cvc5_1.1.2-2+b1_i386.deb2024-06-26 06:01 310K 
[ ]cvc5_1.1.2-2+b1_armel.deb2024-06-26 06:01 98K 
[ ]libcvc5-1_1.1.2-2+b1_armel.deb2024-06-26 06:01 5.3M 
[ ]libcvc5-dev_1.1.2-2+b1_armel.deb2024-06-26 06:01 91K 
[ ]libcvc5parser1_1.1.2-2+b1_armel.deb2024-06-26 06:01 194K 
[ ]python3-cvc5_1.1.2-2+b1_armel.deb2024-06-26 06:01 299K 
[ ]cvc5_1.1.2-2+b1_amd64.deb2024-06-26 06:01 108K 
[ ]libcvc5-1_1.1.2-2+b1_amd64.deb2024-06-26 06:01 6.1M 
[ ]libcvc5-dev_1.1.2-2+b1_amd64.deb2024-06-26 06:01 91K 
[ ]libcvc5parser1_1.1.2-2+b1_amd64.deb2024-06-26 06:01 230K 
[ ]python3-cvc5_1.1.2-2+b1_amd64.deb2024-06-26 06:01 328K 
[ ]cvc5_1.1.2-2+b1_armhf.deb2024-06-26 06:07 100K 
[ ]libcvc5-1_1.1.2-2+b1_armhf.deb2024-06-26 06:07 5.2M 
[ ]libcvc5-dev_1.1.2-2+b1_armhf.deb2024-06-26 06:07 91K 
[ ]libcvc5parser1_1.1.2-2+b1_armhf.deb2024-06-26 06:07 200K 
[ ]python3-cvc5_1.1.2-2+b1_armhf.deb2024-06-26 06:07 304K 
[ ]cvc5_1.1.2-2+b1_arm64.deb2024-06-26 06:37 97K 
[ ]libcvc5-1_1.1.2-2+b1_arm64.deb2024-06-26 06:37 5.2M 
[ ]libcvc5-dev_1.1.2-2+b1_arm64.deb2024-06-26 06:37 91K 
[ ]libcvc5parser1_1.1.2-2+b1_arm64.deb2024-06-26 06:37 201K 
[ ]python3-cvc5_1.1.2-2+b1_arm64.deb2024-06-26 06:37 289K 
[ ]cvc5_1.1.2-2+b1_mips64el.deb2024-06-27 15:55 90K 
[ ]libcvc5-1_1.1.2-2+b1_mips64el.deb2024-06-27 15:55 4.9M 
[ ]libcvc5-dev_1.1.2-2+b1_mips64el.deb2024-06-27 15:55 91K 
[ ]libcvc5parser1_1.1.2-2+b1_mips64el.deb2024-06-27 15:55 192K 
[ ]python3-cvc5_1.1.2-2+b1_mips64el.deb2024-06-27 15:55 242K 
[ ]cvc5_1.1.2-2+b1_riscv64.deb2024-06-29 18:47 101K 
[ ]libcvc5-1_1.1.2-2+b1_riscv64.deb2024-06-29 18:47 6.1M 
[ ]libcvc5-dev_1.1.2-2+b1_riscv64.deb2024-06-29 18:47 91K 
[ ]libcvc5parser1_1.1.2-2+b1_riscv64.deb2024-06-29 18:47 219K 
[ ]python3-cvc5_1.1.2-2+b1_riscv64.deb2024-06-29 18:47 310K 
Apache/2.4.59 (Debian) Server at debian.repo.cure.edu.uy Port 443