Index of /pool/main/c/cvc4/

NameLast ModifiedSizeType
../ -  Directory
cvc4_1.6-2+b1_amd64.deb2018-Nov-17 10:57:19133.0Kapplication/vnd.debian.binary-package
cvc4_1.6-2+b1_i386.deb2018-Nov-17 03:59:31136.2Kapplication/vnd.debian.binary-package
cvc4_1.6-2+b1_mips.deb2018-Nov-18 10:58:12117.9Kapplication/vnd.debian.binary-package
cvc4_1.6-2+b1_mips64el.deb2018-Nov-19 14:45:27119.8Kapplication/vnd.debian.binary-package
cvc4_1.6-2+b1_mipsel.deb2018-Nov-19 21:11:26119.8Kapplication/vnd.debian.binary-package
cvc4_1.6-2.debian.tar.xz2018-Aug-13 22:01:488.0Kapplication/x-xz
cvc4_1.6-2.dsc2018-Aug-13 22:01:482.6Kapplication/octet-stream
cvc4_1.6.orig.tar.gz2018-Aug-07 21:44:257.4Mapplication/gzip
cvc4_1.8-2.debian.tar.xz2020-Sep-18 03:25:2716.0Kapplication/x-xz
cvc4_1.8-2.dsc2020-Sep-18 03:25:272.2Kapplication/octet-stream
cvc4_1.8-2_amd64.deb2020-Sep-18 04:11:2779.5Kapplication/vnd.debian.binary-package
cvc4_1.8-2_arm64.deb2020-Sep-18 04:27:0074.2Kapplication/vnd.debian.binary-package
cvc4_1.8-2_armel.deb2020-Sep-18 06:29:0072.5Kapplication/vnd.debian.binary-package
cvc4_1.8-2_armhf.deb2020-Sep-18 04:32:0573.9Kapplication/vnd.debian.binary-package
cvc4_1.8-2_i386.deb2020-Sep-18 04:42:2180.6Kapplication/vnd.debian.binary-package
cvc4_1.8-2_mips64el.deb2020-Sep-18 10:01:2572.3Kapplication/vnd.debian.binary-package
cvc4_1.8-2_mipsel.deb2020-Sep-18 07:44:2272.6Kapplication/vnd.debian.binary-package
cvc4_1.8-2_ppc64el.deb2020-Sep-18 04:11:5578.2Kapplication/vnd.debian.binary-package
cvc4_1.8-2_s390x.deb2020-Sep-18 09:10:3474.2Kapplication/vnd.debian.binary-package
cvc4_1.8-3+b1_amd64.deb2024-Jan-05 22:52:2780.6Kapplication/vnd.debian.binary-package
cvc4_1.8-3+b1_arm64.deb2024-Jan-06 00:07:0674.6Kapplication/vnd.debian.binary-package
cvc4_1.8-3+b1_armel.deb2024-Jan-06 03:27:3473.4Kapplication/vnd.debian.binary-package
cvc4_1.8-3+b1_armhf.deb2024-Jan-05 22:40:3674.5Kapplication/vnd.debian.binary-package
cvc4_1.8-3+b1_i386.deb2024-Jan-05 23:40:4982.3Kapplication/vnd.debian.binary-package
cvc4_1.8-3+b1_mips64el.deb2024-Jan-06 10:42:0173.1Kapplication/vnd.debian.binary-package
cvc4_1.8-3+b1_ppc64el.deb2024-Jan-05 21:52:0378.8Kapplication/vnd.debian.binary-package
cvc4_1.8-3+b1_s390x.deb2024-Jan-06 08:19:1177.9Kapplication/vnd.debian.binary-package
cvc4_1.8-3+b3_amd64.deb2024-Mar-24 11:12:5380.5Kapplication/vnd.debian.binary-package
cvc4_1.8-3+b3_arm64.deb2024-Mar-24 13:33:5874.6Kapplication/vnd.debian.binary-package
cvc4_1.8-3+b3_armel.deb2024-Mar-28 22:13:3373.5Kapplication/vnd.debian.binary-package
cvc4_1.8-3+b3_armhf.deb2024-Mar-28 14:54:1274.5Kapplication/vnd.debian.binary-package
cvc4_1.8-3+b3_i386.deb2024-Mar-24 11:18:0682.2Kapplication/vnd.debian.binary-package
cvc4_1.8-3+b3_mips64el.deb2024-Mar-25 14:15:0573.1Kapplication/vnd.debian.binary-package
cvc4_1.8-3+b3_ppc64el.deb2024-Mar-24 10:46:4378.8Kapplication/vnd.debian.binary-package
cvc4_1.8-3+b3_riscv64.deb2024-Mar-25 05:54:3077.3Kapplication/vnd.debian.binary-package
cvc4_1.8-3+b3_s390x.deb2024-Mar-24 11:44:1577.9Kapplication/vnd.debian.binary-package
cvc4_1.8-3.debian.tar.xz2022-Oct-29 21:57:3016.3Kapplication/x-xz
cvc4_1.8-3.dsc2022-Oct-29 21:57:302.1Kapplication/octet-stream
cvc4_1.8-3_amd64.deb2022-Oct-29 23:29:0178.8Kapplication/vnd.debian.binary-package
cvc4_1.8-3_arm64.deb2022-Oct-29 23:47:1373.8Kapplication/vnd.debian.binary-package
cvc4_1.8-3_armel.deb2022-Oct-29 23:57:4272.4Kapplication/vnd.debian.binary-package
cvc4_1.8-3_armhf.deb2022-Oct-29 23:47:1973.3Kapplication/vnd.debian.binary-package
cvc4_1.8-3_i386.deb2022-Oct-29 23:23:5180.7Kapplication/vnd.debian.binary-package
cvc4_1.8-3_mips64el.deb2022-Oct-30 02:59:3572.1Kapplication/vnd.debian.binary-package
cvc4_1.8-3_mipsel.deb2022-Oct-30 00:12:4872.3Kapplication/vnd.debian.binary-package
cvc4_1.8-3_ppc64el.deb2022-Oct-29 23:42:0678.5Kapplication/vnd.debian.binary-package
cvc4_1.8-3_s390x.deb2022-Oct-29 23:39:1673.9Kapplication/vnd.debian.binary-package
cvc4_1.8.orig.tar.gz2020-Sep-14 01:17:217.2Mapplication/gzip
libcvc4-5_1.6-2+b1_amd64.deb2018-Nov-17 10:57:203.8Mapplication/vnd.debian.binary-package
libcvc4-5_1.6-2+b1_i386.deb2018-Nov-17 03:59:324.3Mapplication/vnd.debian.binary-package
libcvc4-5_1.6-2+b1_mips.deb2018-Nov-18 10:58:153.0Mapplication/vnd.debian.binary-package
libcvc4-5_1.6-2+b1_mips64el.deb2018-Nov-19 14:45:273.0Mapplication/vnd.debian.binary-package
libcvc4-5_1.6-2+b1_mipsel.deb2018-Nov-19 21:11:273.0Mapplication/vnd.debian.binary-package
libcvc4-7_1.8-2_amd64.deb2020-Sep-18 04:11:285.3Mapplication/vnd.debian.binary-package
libcvc4-7_1.8-2_arm64.deb2020-Sep-18 04:27:024.5Mapplication/vnd.debian.binary-package
libcvc4-7_1.8-2_armel.deb2020-Sep-18 06:29:014.6Mapplication/vnd.debian.binary-package
libcvc4-7_1.8-2_armhf.deb2020-Sep-18 04:32:064.7Mapplication/vnd.debian.binary-package
libcvc4-7_1.8-2_i386.deb2020-Sep-18 04:42:225.8Mapplication/vnd.debian.binary-package
libcvc4-7_1.8-2_mips64el.deb2020-Sep-18 10:01:263.9Mapplication/vnd.debian.binary-package
libcvc4-7_1.8-2_mipsel.deb2020-Sep-18 07:44:234.0Mapplication/vnd.debian.binary-package
libcvc4-7_1.8-2_ppc64el.deb2020-Sep-18 04:11:565.1Mapplication/vnd.debian.binary-package
libcvc4-7_1.8-2_s390x.deb2020-Sep-18 09:10:354.8Mapplication/vnd.debian.binary-package
libcvc4-7_1.8-3+b1_amd64.deb2024-Jan-05 22:52:285.7Mapplication/vnd.debian.binary-package
libcvc4-7_1.8-3+b1_arm64.deb2024-Jan-06 00:07:064.8Mapplication/vnd.debian.binary-package
libcvc4-7_1.8-3+b1_armel.deb2024-Jan-06 03:27:345.0Mapplication/vnd.debian.binary-package
libcvc4-7_1.8-3+b1_armhf.deb2024-Jan-05 22:40:365.0Mapplication/vnd.debian.binary-package
libcvc4-7_1.8-3+b1_i386.deb2024-Jan-05 23:40:496.4Mapplication/vnd.debian.binary-package
libcvc4-7_1.8-3+b1_mips64el.deb2024-Jan-06 10:42:014.2Mapplication/vnd.debian.binary-package
libcvc4-7_1.8-3+b1_ppc64el.deb2024-Jan-05 21:52:035.4Mapplication/vnd.debian.binary-package
libcvc4-7_1.8-3+b1_s390x.deb2024-Jan-06 08:19:125.8Mapplication/vnd.debian.binary-package
libcvc4-7_1.8-3+b3_amd64.deb2024-Mar-24 11:12:535.7Mapplication/vnd.debian.binary-package
libcvc4-7_1.8-3+b3_arm64.deb2024-Mar-24 13:33:584.8Mapplication/vnd.debian.binary-package
libcvc4-7_1.8-3+b3_armel.deb2024-Mar-28 22:13:345.0Mapplication/vnd.debian.binary-package
libcvc4-7_1.8-3+b3_armhf.deb2024-Mar-28 14:54:135.1Mapplication/vnd.debian.binary-package
libcvc4-7_1.8-3+b3_i386.deb2024-Mar-24 11:18:076.4Mapplication/vnd.debian.binary-package
libcvc4-7_1.8-3+b3_mips64el.deb2024-Mar-25 14:15:064.2Mapplication/vnd.debian.binary-package
libcvc4-7_1.8-3+b3_ppc64el.deb2024-Mar-24 10:46:445.4Mapplication/vnd.debian.binary-package
libcvc4-7_1.8-3+b3_riscv64.deb2024-Mar-25 05:54:315.7Mapplication/vnd.debian.binary-package
libcvc4-7_1.8-3+b3_s390x.deb2024-Mar-24 11:44:165.8Mapplication/vnd.debian.binary-package
libcvc4-7_1.8-3_amd64.deb2022-Oct-29 23:29:015.6Mapplication/vnd.debian.binary-package
libcvc4-7_1.8-3_arm64.deb2022-Oct-29 23:47:134.7Mapplication/vnd.debian.binary-package
libcvc4-7_1.8-3_armel.deb2022-Oct-29 23:57:424.9Mapplication/vnd.debian.binary-package
libcvc4-7_1.8-3_armhf.deb2022-Oct-29 23:47:195.0Mapplication/vnd.debian.binary-package
libcvc4-7_1.8-3_i386.deb2022-Oct-29 23:23:516.3Mapplication/vnd.debian.binary-package
libcvc4-7_1.8-3_mips64el.deb2022-Oct-30 02:59:354.2Mapplication/vnd.debian.binary-package
libcvc4-7_1.8-3_mipsel.deb2022-Oct-30 00:12:484.3Mapplication/vnd.debian.binary-package
libcvc4-7_1.8-3_ppc64el.deb2022-Oct-29 23:42:075.3Mapplication/vnd.debian.binary-package
libcvc4-7_1.8-3_s390x.deb2022-Oct-29 23:39:175.0Mapplication/vnd.debian.binary-package
libcvc4-dev_1.6-2+b1_amd64.deb2018-Nov-17 10:57:206.4Mapplication/vnd.debian.binary-package
libcvc4-dev_1.6-2+b1_i386.deb2018-Nov-17 03:59:326.8Mapplication/vnd.debian.binary-package
libcvc4-dev_1.6-2+b1_mips.deb2018-Nov-18 10:58:156.6Mapplication/vnd.debian.binary-package
libcvc4-dev_1.6-2+b1_mips64el.deb2018-Nov-19 14:45:277.0Mapplication/vnd.debian.binary-package
libcvc4-dev_1.6-2+b1_mipsel.deb2018-Nov-19 21:11:276.8Mapplication/vnd.debian.binary-package
libcvc4-dev_1.8-2_amd64.deb2020-Sep-18 04:11:28128.1Kapplication/vnd.debian.binary-package
libcvc4-dev_1.8-2_arm64.deb2020-Sep-18 04:27:02128.1Kapplication/vnd.debian.binary-package
libcvc4-dev_1.8-2_armel.deb2020-Sep-18 06:29:01128.1Kapplication/vnd.debian.binary-package
libcvc4-dev_1.8-2_armhf.deb2020-Sep-18 04:32:06128.1Kapplication/vnd.debian.binary-package
libcvc4-dev_1.8-2_i386.deb2020-Sep-18 04:42:22128.1Kapplication/vnd.debian.binary-package
libcvc4-dev_1.8-2_mips64el.deb2020-Sep-18 10:01:26128.1Kapplication/vnd.debian.binary-package
libcvc4-dev_1.8-2_mipsel.deb2020-Sep-18 07:44:23128.1Kapplication/vnd.debian.binary-package
libcvc4-dev_1.8-2_ppc64el.deb2020-Sep-18 04:11:56128.1Kapplication/vnd.debian.binary-package
libcvc4-dev_1.8-2_s390x.deb2020-Sep-18 09:10:35128.1Kapplication/vnd.debian.binary-package
libcvc4-dev_1.8-3+b1_amd64.deb2024-Jan-05 22:52:28128.3Kapplication/vnd.debian.binary-package
libcvc4-dev_1.8-3+b1_arm64.deb2024-Jan-06 00:07:06128.3Kapplication/vnd.debian.binary-package
libcvc4-dev_1.8-3+b1_armel.deb2024-Jan-06 03:27:34128.3Kapplication/vnd.debian.binary-package
libcvc4-dev_1.8-3+b1_armhf.deb2024-Jan-05 22:40:36128.3Kapplication/vnd.debian.binary-package
libcvc4-dev_1.8-3+b1_i386.deb2024-Jan-05 23:40:49128.3Kapplication/vnd.debian.binary-package
libcvc4-dev_1.8-3+b1_mips64el.deb2024-Jan-06 10:42:01128.3Kapplication/vnd.debian.binary-package
libcvc4-dev_1.8-3+b1_ppc64el.deb2024-Jan-05 21:52:03128.3Kapplication/vnd.debian.binary-package
libcvc4-dev_1.8-3+b1_s390x.deb2024-Jan-06 08:19:12128.3Kapplication/vnd.debian.binary-package
libcvc4-dev_1.8-3+b3_amd64.deb2024-Mar-24 11:12:53128.3Kapplication/vnd.debian.binary-package
libcvc4-dev_1.8-3+b3_arm64.deb2024-Mar-24 13:33:58128.3Kapplication/vnd.debian.binary-package
libcvc4-dev_1.8-3+b3_armel.deb2024-Mar-28 22:13:34128.3Kapplication/vnd.debian.binary-package
libcvc4-dev_1.8-3+b3_armhf.deb2024-Mar-28 14:54:13128.3Kapplication/vnd.debian.binary-package
libcvc4-dev_1.8-3+b3_i386.deb2024-Mar-24 11:18:07128.2Kapplication/vnd.debian.binary-package
libcvc4-dev_1.8-3+b3_mips64el.deb2024-Mar-25 14:15:06128.3Kapplication/vnd.debian.binary-package
libcvc4-dev_1.8-3+b3_ppc64el.deb2024-Mar-24 10:46:44128.3Kapplication/vnd.debian.binary-package
libcvc4-dev_1.8-3+b3_riscv64.deb2024-Mar-25 05:54:31128.3Kapplication/vnd.debian.binary-package
libcvc4-dev_1.8-3+b3_s390x.deb2024-Mar-24 11:44:16128.3Kapplication/vnd.debian.binary-package
libcvc4-dev_1.8-3_amd64.deb2022-Oct-29 23:29:01128.0Kapplication/vnd.debian.binary-package
libcvc4-dev_1.8-3_arm64.deb2022-Oct-29 23:47:13128.0Kapplication/vnd.debian.binary-package
libcvc4-dev_1.8-3_armel.deb2022-Oct-29 23:57:42128.0Kapplication/vnd.debian.binary-package
libcvc4-dev_1.8-3_armhf.deb2022-Oct-29 23:47:19128.0Kapplication/vnd.debian.binary-package
libcvc4-dev_1.8-3_i386.deb2022-Oct-29 23:23:51128.0Kapplication/vnd.debian.binary-package
libcvc4-dev_1.8-3_mips64el.deb2022-Oct-30 02:59:35128.0Kapplication/vnd.debian.binary-package
libcvc4-dev_1.8-3_mipsel.deb2022-Oct-30 00:12:48128.0Kapplication/vnd.debian.binary-package
libcvc4-dev_1.8-3_ppc64el.deb2022-Oct-29 23:42:07128.0Kapplication/vnd.debian.binary-package
libcvc4-dev_1.8-3_s390x.deb2022-Oct-29 23:39:17128.0Kapplication/vnd.debian.binary-package
libcvc4parser5_1.6-2+b1_amd64.deb2018-Nov-17 10:57:20354.0Kapplication/vnd.debian.binary-package
libcvc4parser5_1.6-2+b1_i386.deb2018-Nov-17 03:59:32380.4Kapplication/vnd.debian.binary-package
libcvc4parser5_1.6-2+b1_mips.deb2018-Nov-18 10:58:15289.7Kapplication/vnd.debian.binary-package
libcvc4parser5_1.6-2+b1_mips64el.deb2018-Nov-19 14:45:27292.8Kapplication/vnd.debian.binary-package
libcvc4parser5_1.6-2+b1_mipsel.deb2018-Nov-19 21:11:27296.6Kapplication/vnd.debian.binary-package
libcvc4parser7_1.8-2_amd64.deb2020-Sep-18 04:11:29357.6Kapplication/vnd.debian.binary-package
libcvc4parser7_1.8-2_arm64.deb2020-Sep-18 04:27:02320.5Kapplication/vnd.debian.binary-package
libcvc4parser7_1.8-2_armel.deb2020-Sep-18 06:29:01316.2Kapplication/vnd.debian.binary-package
libcvc4parser7_1.8-2_armhf.deb2020-Sep-18 04:32:06320.4Kapplication/vnd.debian.binary-package
libcvc4parser7_1.8-2_i386.deb2020-Sep-18 04:42:23373.5Kapplication/vnd.debian.binary-package
libcvc4parser7_1.8-2_mips64el.deb2020-Sep-18 10:01:26296.8Kapplication/vnd.debian.binary-package
libcvc4parser7_1.8-2_mipsel.deb2020-Sep-18 07:44:23298.3Kapplication/vnd.debian.binary-package
libcvc4parser7_1.8-2_ppc64el.deb2020-Sep-18 04:11:56350.0Kapplication/vnd.debian.binary-package
libcvc4parser7_1.8-2_s390x.deb2020-Sep-18 09:10:35316.3Kapplication/vnd.debian.binary-package
libcvc4parser7_1.8-3+b1_amd64.deb2024-Jan-05 22:52:28357.2Kapplication/vnd.debian.binary-package
libcvc4parser7_1.8-3+b1_arm64.deb2024-Jan-06 00:07:06313.9Kapplication/vnd.debian.binary-package
libcvc4parser7_1.8-3+b1_armel.deb2024-Jan-06 03:27:35312.8Kapplication/vnd.debian.binary-package
libcvc4parser7_1.8-3+b1_armhf.deb2024-Jan-05 22:40:36322.4Kapplication/vnd.debian.binary-package
libcvc4parser7_1.8-3+b1_i386.deb2024-Jan-05 23:40:49384.7Kapplication/vnd.debian.binary-package
libcvc4parser7_1.8-3+b1_mips64el.deb2024-Jan-06 10:42:01293.6Kapplication/vnd.debian.binary-package
libcvc4parser7_1.8-3+b1_ppc64el.deb2024-Jan-05 21:52:03344.0Kapplication/vnd.debian.binary-package
libcvc4parser7_1.8-3+b1_s390x.deb2024-Jan-06 08:19:12371.9Kapplication/vnd.debian.binary-package
libcvc4parser7_1.8-3+b3_amd64.deb2024-Mar-24 11:12:53356.9Kapplication/vnd.debian.binary-package
libcvc4parser7_1.8-3+b3_arm64.deb2024-Mar-24 13:33:58313.9Kapplication/vnd.debian.binary-package
libcvc4parser7_1.8-3+b3_armel.deb2024-Mar-28 22:13:34312.8Kapplication/vnd.debian.binary-package
libcvc4parser7_1.8-3+b3_armhf.deb2024-Mar-28 14:54:13322.2Kapplication/vnd.debian.binary-package
libcvc4parser7_1.8-3+b3_i386.deb2024-Mar-24 11:18:07384.5Kapplication/vnd.debian.binary-package
libcvc4parser7_1.8-3+b3_mips64el.deb2024-Mar-25 14:15:06293.8Kapplication/vnd.debian.binary-package
libcvc4parser7_1.8-3+b3_ppc64el.deb2024-Mar-24 10:46:44344.5Kapplication/vnd.debian.binary-package
libcvc4parser7_1.8-3+b3_riscv64.deb2024-Mar-25 05:54:31345.2Kapplication/vnd.debian.binary-package
libcvc4parser7_1.8-3+b3_s390x.deb2024-Mar-24 11:44:16371.6Kapplication/vnd.debian.binary-package
libcvc4parser7_1.8-3_amd64.deb2022-Oct-29 23:29:01353.8Kapplication/vnd.debian.binary-package
libcvc4parser7_1.8-3_arm64.deb2022-Oct-29 23:47:13315.1Kapplication/vnd.debian.binary-package
libcvc4parser7_1.8-3_armel.deb2022-Oct-29 23:57:42309.8Kapplication/vnd.debian.binary-package
libcvc4parser7_1.8-3_armhf.deb2022-Oct-29 23:47:19321.9Kapplication/vnd.debian.binary-package
libcvc4parser7_1.8-3_i386.deb2022-Oct-29 23:23:51378.6Kapplication/vnd.debian.binary-package
libcvc4parser7_1.8-3_mips64el.deb2022-Oct-30 02:59:35296.0Kapplication/vnd.debian.binary-package
libcvc4parser7_1.8-3_mipsel.deb2022-Oct-30 00:12:48303.3Kapplication/vnd.debian.binary-package
libcvc4parser7_1.8-3_ppc64el.deb2022-Oct-29 23:42:07347.7Kapplication/vnd.debian.binary-package
libcvc4parser7_1.8-3_s390x.deb2022-Oct-29 23:39:17315.5Kapplication/vnd.debian.binary-package
lighttpd/1.4.45