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

NameLast ModifiedSizeType
../ -  Directory
cvc5_1.0.3-1.debian.tar.xz2022-Dec-20 04:26:075.8Kapplication/x-xz
cvc5_1.0.3-1.dsc2022-Dec-20 04:26:072.2Ktext/prs.lines.tag
cvc5_1.0.3-1_amd64.deb2022-Dec-20 06:55:42105.3Kapplication/vnd.debian.binary-package
cvc5_1.0.3-1_arm64.deb2022-Dec-20 06:29:1195.2Kapplication/vnd.debian.binary-package
cvc5_1.0.3.orig.tar.gz2022-Dec-20 04:26:077.9Mapplication/x-gtar-compressed
cvc5_1.1.2-2+b3_amd64.deb2025-Jan-09 12:11:00106.6Kapplication/vnd.debian.binary-package
cvc5_1.1.2-2+b3_arm64.deb2025-Jan-09 12:31:2995.0Kapplication/vnd.debian.binary-package
cvc5_1.1.2-2+b3_armel.deb2025-Jan-09 13:48:1996.3Kapplication/vnd.debian.binary-package
cvc5_1.1.2-2+b3_armhf.deb2025-Jan-09 13:32:4998.7Kapplication/vnd.debian.binary-package
cvc5_1.1.2-2+b3_i386.deb2025-Jan-09 12:05:49109.3Kapplication/vnd.debian.binary-package
cvc5_1.1.2-2+b3_riscv64.deb2025-Jan-12 21:01:3199.4Kapplication/vnd.debian.binary-package
cvc5_1.1.2-2.debian.tar.xz2024-Mar-19 23:22:507.2Kapplication/x-xz
cvc5_1.1.2-2.dsc2024-Mar-19 23:22:502.4Ktext/prs.lines.tag
cvc5_1.1.2.orig.tar.gz2024-Mar-03 03:53:308.1Mapplication/x-gtar-compressed
libcvc5-1_1.0.3-1_amd64.deb2022-Dec-20 06:55:425.5Mapplication/vnd.debian.binary-package
libcvc5-1_1.0.3-1_arm64.deb2022-Dec-20 06:29:124.7Mapplication/vnd.debian.binary-package
libcvc5-1_1.1.2-2+b3_amd64.deb2025-Jan-09 12:11:006.3Mapplication/vnd.debian.binary-package
libcvc5-1_1.1.2-2+b3_arm64.deb2025-Jan-09 12:31:295.4Mapplication/vnd.debian.binary-package
libcvc5-1_1.1.2-2+b3_armel.deb2025-Jan-09 13:48:205.5Mapplication/vnd.debian.binary-package
libcvc5-1_1.1.2-2+b3_armhf.deb2025-Jan-09 13:32:495.4Mapplication/vnd.debian.binary-package
libcvc5-1_1.1.2-2+b3_i386.deb2025-Jan-09 12:05:496.9Mapplication/vnd.debian.binary-package
libcvc5-1_1.1.2-2+b3_riscv64.deb2025-Jan-12 21:01:316.4Mapplication/vnd.debian.binary-package
libcvc5-dev_1.0.3-1_amd64.deb2022-Dec-20 06:55:4257.2Kapplication/vnd.debian.binary-package
libcvc5-dev_1.0.3-1_arm64.deb2022-Dec-20 06:29:1257.2Kapplication/vnd.debian.binary-package
libcvc5-dev_1.1.2-2+b3_amd64.deb2025-Jan-09 12:11:0091.1Kapplication/vnd.debian.binary-package
libcvc5-dev_1.1.2-2+b3_arm64.deb2025-Jan-09 12:31:2991.0Kapplication/vnd.debian.binary-package
libcvc5-dev_1.1.2-2+b3_armel.deb2025-Jan-09 13:48:2091.0Kapplication/vnd.debian.binary-package
libcvc5-dev_1.1.2-2+b3_armhf.deb2025-Jan-09 13:32:4991.0Kapplication/vnd.debian.binary-package
libcvc5-dev_1.1.2-2+b3_i386.deb2025-Jan-09 12:05:4991.0Kapplication/vnd.debian.binary-package
libcvc5-dev_1.1.2-2+b3_riscv64.deb2025-Jan-12 21:01:3191.0Kapplication/vnd.debian.binary-package
libcvc5parser1_1.0.3-1_amd64.deb2022-Dec-20 06:55:42299.6Kapplication/vnd.debian.binary-package
libcvc5parser1_1.0.3-1_arm64.deb2022-Dec-20 06:29:12266.7Kapplication/vnd.debian.binary-package
libcvc5parser1_1.1.2-2+b3_amd64.deb2025-Jan-09 12:11:00231.2Kapplication/vnd.debian.binary-package
libcvc5parser1_1.1.2-2+b3_arm64.deb2025-Jan-09 12:31:29202.7Kapplication/vnd.debian.binary-package
libcvc5parser1_1.1.2-2+b3_armel.deb2025-Jan-09 13:48:20195.9Kapplication/vnd.debian.binary-package
libcvc5parser1_1.1.2-2+b3_armhf.deb2025-Jan-09 13:32:49202.3Kapplication/vnd.debian.binary-package
libcvc5parser1_1.1.2-2+b3_i386.deb2025-Jan-09 12:05:49251.8Kapplication/vnd.debian.binary-package
libcvc5parser1_1.1.2-2+b3_riscv64.deb2025-Jan-12 21:01:31221.6Kapplication/vnd.debian.binary-package
python3-cvc5_1.1.2-2+b3_amd64.deb2025-Jan-09 12:11:00331.1Kapplication/vnd.debian.binary-package
python3-cvc5_1.1.2-2+b3_arm64.deb2025-Jan-09 12:31:29291.1Kapplication/vnd.debian.binary-package
python3-cvc5_1.1.2-2+b3_armel.deb2025-Jan-09 13:48:20304.4Kapplication/vnd.debian.binary-package
python3-cvc5_1.1.2-2+b3_armhf.deb2025-Jan-09 13:32:49309.3Kapplication/vnd.debian.binary-package
python3-cvc5_1.1.2-2+b3_i386.deb2025-Jan-09 12:05:49317.8Kapplication/vnd.debian.binary-package
python3-cvc5_1.1.2-2+b3_riscv64.deb2025-Jan-12 21:01:31320.2Kapplication/vnd.debian.binary-package
lighttpd/1.4.59