淡江大學FTP伺服器
/檔案列表/Linux/Debian/debian/pool/main/c/cvc4/
首頁
>
Linux
>
Debian
>
debian
>
pool
>
main
>
c
>
cvc4
File
Size
Last Modified
..
-
Dec 09 2025 03:00:10 AM
cvc4_1.8-2.debian.tar.xz
16KB
Sep 18 2020 09:25:27 AM
cvc4_1.8-2.dsc
2KB
Sep 18 2020 09:25:27 AM
cvc4_1.8-2_amd64.deb
80KB
Sep 18 2020 10:11:27 AM
cvc4_1.8-2_arm64.deb
74KB
Sep 18 2020 10:27:00 AM
cvc4_1.8-2_armhf.deb
74KB
Sep 18 2020 10:32:05 AM
cvc4_1.8-2_i386.deb
81KB
Sep 18 2020 10:42:21 AM
cvc4_1.8-3+b4_amd64.deb
81KB
Apr 08 2025 12:25:06 AM
cvc4_1.8-3+b4_arm64.deb
75KB
Apr 08 2025 09:42:07 AM
cvc4_1.8-3+b4_armel.deb
74KB
Apr 08 2025 09:21:35 AM
cvc4_1.8-3+b4_armhf.deb
75KB
Apr 08 2025 01:16:31 AM
cvc4_1.8-3+b4_i386.deb
83KB
Apr 08 2025 12:36:09 AM
cvc4_1.8-3+b4_ppc64el.deb
79KB
Apr 08 2025 12:30:26 AM
cvc4_1.8-3+b4_riscv64.deb
77KB
Apr 10 2025 11:49:36 AM
cvc4_1.8-3+b4_s390x.deb
78KB
Apr 08 2025 01:44:17 AM
cvc4_1.8-3.debian.tar.xz
16KB
Oct 30 2022 03:57:30 AM
cvc4_1.8-3.dsc
2KB
Oct 30 2022 03:57:30 AM
cvc4_1.8-3_amd64.deb
79KB
Oct 30 2022 05:29:01 AM
cvc4_1.8-3_arm64.deb
74KB
Oct 30 2022 05:47:13 AM
cvc4_1.8-3_armel.deb
72KB
Oct 30 2022 05:57:42 AM
cvc4_1.8-3_armhf.deb
73KB
Oct 30 2022 05:47:19 AM
cvc4_1.8-3_i386.deb
81KB
Oct 30 2022 05:23:51 AM
cvc4_1.8-3_mips64el.deb
72KB
Oct 30 2022 09:59:35 AM
cvc4_1.8-3_mipsel.deb
72KB
Oct 30 2022 06:12:48 AM
cvc4_1.8-3_ppc64el.deb
79KB
Oct 30 2022 05:42:06 AM
cvc4_1.8-3_s390x.deb
74KB
Oct 30 2022 05:39:16 AM
cvc4_1.8-5.debian.tar.xz
17KB
Oct 27 2025 05:28:58 PM
cvc4_1.8-5.dsc
2KB
Oct 27 2025 05:28:58 PM
cvc4_1.8-5_amd64.deb
79KB
Oct 27 2025 05:59:08 PM
cvc4_1.8-5_arm64.deb
73KB
Oct 27 2025 05:59:02 PM
cvc4_1.8-5_armhf.deb
73KB
Oct 27 2025 05:59:05 PM
cvc4_1.8-5_i386.deb
81KB
Oct 27 2025 06:04:16 PM
cvc4_1.8-5_ppc64el.deb
77KB
Oct 27 2025 05:59:11 PM
cvc4_1.8-5_riscv64.deb
75KB
Oct 28 2025 05:29:26 AM
cvc4_1.8-5_s390x.deb
76KB
Oct 27 2025 06:39:32 PM
cvc4_1.8.orig.tar.gz
7370KB
Sep 14 2020 07:17:21 AM
libcvc4-7_1.8-2_amd64.deb
5519KB
Sep 18 2020 10:11:28 AM
libcvc4-7_1.8-2_arm64.deb
4672KB
Sep 18 2020 10:27:02 AM
libcvc4-7_1.8-2_armhf.deb
4873KB
Sep 18 2020 10:32:06 AM
libcvc4-7_1.8-2_i386.deb
6009KB
Sep 18 2020 10:42:22 AM
libcvc4-7_1.8-3+b4_amd64.deb
6461KB
Apr 08 2025 12:25:07 AM
libcvc4-7_1.8-3+b4_arm64.deb
5524KB
Apr 08 2025 09:42:07 AM
libcvc4-7_1.8-3+b4_armel.deb
5395KB
Apr 08 2025 09:21:35 AM
libcvc4-7_1.8-3+b4_armhf.deb
5449KB
Apr 08 2025 01:16:31 AM
libcvc4-7_1.8-3+b4_i386.deb
7008KB
Apr 08 2025 12:36:09 AM
libcvc4-7_1.8-3+b4_ppc64el.deb
6032KB
Apr 08 2025 12:30:26 AM
libcvc4-7_1.8-3+b4_riscv64.deb
6395KB
Apr 10 2025 11:49:36 AM
libcvc4-7_1.8-3+b4_s390x.deb
6558KB
Apr 08 2025 01:44:18 AM
libcvc4-7_1.8-3_amd64.deb
5798KB
Oct 30 2022 05:29:01 AM
libcvc4-7_1.8-3_arm64.deb
4880KB
Oct 30 2022 05:47:13 AM
libcvc4-7_1.8-3_armel.deb
5104KB
Oct 30 2022 05:57:42 AM
libcvc4-7_1.8-3_armhf.deb
5175KB
Oct 30 2022 05:47:19 AM
libcvc4-7_1.8-3_i386.deb
6544KB
Oct 30 2022 05:23:51 AM
libcvc4-7_1.8-3_mips64el.deb
4338KB
Oct 30 2022 09:59:35 AM
libcvc4-7_1.8-3_mipsel.deb
4464KB
Oct 30 2022 06:12:48 AM
libcvc4-7_1.8-3_ppc64el.deb
5520KB
Oct 30 2022 05:42:07 AM
libcvc4-7_1.8-3_s390x.deb
5202KB
Oct 30 2022 05:39:17 AM
libcvc4-7_1.8-5_amd64.deb
6339KB
Oct 27 2025 05:59:08 PM
libcvc4-7_1.8-5_arm64.deb
5414KB
Oct 27 2025 05:59:02 PM
libcvc4-7_1.8-5_armhf.deb
5436KB
Oct 27 2025 05:59:05 PM
libcvc4-7_1.8-5_i386.deb
6769KB
Oct 27 2025 06:04:16 PM
libcvc4-7_1.8-5_ppc64el.deb
5974KB
Oct 27 2025 05:59:12 PM
libcvc4-7_1.8-5_riscv64.deb
6278KB
Oct 28 2025 05:29:27 AM
libcvc4-7_1.8-5_s390x.deb
6250KB
Oct 27 2025 06:39:32 PM
libcvc4-dev_1.8-2_amd64.deb
128KB
Sep 18 2020 10:11:28 AM
libcvc4-dev_1.8-2_arm64.deb
128KB
Sep 18 2020 10:27:02 AM
libcvc4-dev_1.8-2_armhf.deb
128KB
Sep 18 2020 10:32:06 AM
libcvc4-dev_1.8-2_i386.deb
128KB
Sep 18 2020 10:42:22 AM
libcvc4-dev_1.8-3+b4_amd64.deb
128KB
Apr 08 2025 12:25:07 AM
libcvc4-dev_1.8-3+b4_arm64.deb
128KB
Apr 08 2025 09:42:07 AM
libcvc4-dev_1.8-3+b4_armel.deb
128KB
Apr 08 2025 09:21:35 AM
libcvc4-dev_1.8-3+b4_armhf.deb
128KB
Apr 08 2025 01:16:31 AM
libcvc4-dev_1.8-3+b4_i386.deb
128KB
Apr 08 2025 12:36:09 AM
libcvc4-dev_1.8-3+b4_ppc64el.deb
128KB
Apr 08 2025 12:30:26 AM
libcvc4-dev_1.8-3+b4_riscv64.deb
128KB
Apr 10 2025 11:49:36 AM
libcvc4-dev_1.8-3+b4_s390x.deb
128KB
Apr 08 2025 01:44:18 AM
libcvc4-dev_1.8-3_amd64.deb
128KB
Oct 30 2022 05:29:01 AM
libcvc4-dev_1.8-3_arm64.deb
128KB
Oct 30 2022 05:47:13 AM
libcvc4-dev_1.8-3_armel.deb
128KB
Oct 30 2022 05:57:42 AM
libcvc4-dev_1.8-3_armhf.deb
128KB
Oct 30 2022 05:47:19 AM
libcvc4-dev_1.8-3_i386.deb
128KB
Oct 30 2022 05:23:51 AM
libcvc4-dev_1.8-3_mips64el.deb
128KB
Oct 30 2022 09:59:35 AM
libcvc4-dev_1.8-3_mipsel.deb
128KB
Oct 30 2022 06:12:48 AM
libcvc4-dev_1.8-3_ppc64el.deb
128KB
Oct 30 2022 05:42:07 AM
libcvc4-dev_1.8-3_s390x.deb
128KB
Oct 30 2022 05:39:17 AM
libcvc4-dev_1.8-5_amd64.deb
128KB
Oct 27 2025 05:59:08 PM
libcvc4-dev_1.8-5_arm64.deb
128KB
Oct 27 2025 05:59:02 PM
libcvc4-dev_1.8-5_armhf.deb
128KB
Oct 27 2025 05:59:05 PM
libcvc4-dev_1.8-5_i386.deb
128KB
Oct 27 2025 06:04:16 PM
libcvc4-dev_1.8-5_ppc64el.deb
128KB
Oct 27 2025 05:59:12 PM
libcvc4-dev_1.8-5_riscv64.deb
128KB
Oct 28 2025 05:29:27 AM
libcvc4-dev_1.8-5_s390x.deb
128KB
Oct 27 2025 06:39:32 PM
libcvc4parser7_1.8-2_amd64.deb
358KB
Sep 18 2020 10:11:29 AM
libcvc4parser7_1.8-2_arm64.deb
321KB
Sep 18 2020 10:27:02 AM
libcvc4parser7_1.8-2_armhf.deb
320KB
Sep 18 2020 10:32:06 AM
libcvc4parser7_1.8-2_i386.deb
374KB
Sep 18 2020 10:42:23 AM
libcvc4parser7_1.8-3+b4_amd64.deb
373KB
Apr 08 2025 12:25:07 AM
libcvc4parser7_1.8-3+b4_arm64.deb
326KB
Apr 08 2025 09:42:07 AM
libcvc4parser7_1.8-3+b4_armel.deb
327KB
Apr 08 2025 09:21:35 AM
libcvc4parser7_1.8-3+b4_armhf.deb
339KB
Apr 08 2025 01:16:31 AM
libcvc4parser7_1.8-3+b4_i386.deb
402KB
Apr 08 2025 12:36:09 AM
libcvc4parser7_1.8-3+b4_ppc64el.deb
356KB
Apr 08 2025 12:30:26 AM
libcvc4parser7_1.8-3+b4_riscv64.deb
363KB
Apr 10 2025 11:49:36 AM
libcvc4parser7_1.8-3+b4_s390x.deb
389KB
Apr 08 2025 01:44:18 AM
libcvc4parser7_1.8-3_amd64.deb
354KB
Oct 30 2022 05:29:01 AM
libcvc4parser7_1.8-3_arm64.deb
315KB
Oct 30 2022 05:47:13 AM
libcvc4parser7_1.8-3_armel.deb
310KB
Oct 30 2022 05:57:42 AM
libcvc4parser7_1.8-3_armhf.deb
322KB
Oct 30 2022 05:47:19 AM
libcvc4parser7_1.8-3_i386.deb
379KB
Oct 30 2022 05:23:51 AM
libcvc4parser7_1.8-3_mips64el.deb
296KB
Oct 30 2022 09:59:35 AM
libcvc4parser7_1.8-3_mipsel.deb
303KB
Oct 30 2022 06:12:48 AM
libcvc4parser7_1.8-3_ppc64el.deb
348KB
Oct 30 2022 05:42:07 AM
libcvc4parser7_1.8-3_s390x.deb
316KB
Oct 30 2022 05:39:17 AM
libcvc4parser7_1.8-5_amd64.deb
376KB
Oct 27 2025 05:59:08 PM
libcvc4parser7_1.8-5_arm64.deb
331KB
Oct 27 2025 05:59:02 PM
libcvc4parser7_1.8-5_armhf.deb
342KB
Oct 27 2025 05:59:05 PM
libcvc4parser7_1.8-5_i386.deb
404KB
Oct 27 2025 06:04:16 PM
libcvc4parser7_1.8-5_ppc64el.deb
365KB
Oct 27 2025 05:59:12 PM
libcvc4parser7_1.8-5_riscv64.deb
367KB
Oct 28 2025 05:29:27 AM
libcvc4parser7_1.8-5_s390x.deb
392KB
Oct 27 2025 06:39:32 PM
單位聯絡：張維廷 Tel：26215656 分機 2628 更新日期：12/15/2025Copyright 2009 淡江大學
資訊處
建議最佳瀏覽器為IE6.0 以上版本，最佳視窗解析度為1024x768
.. - Dec 09 2025 03:00:10 AM
cvc4_1.8-2.debian.tar.xz 16KB Sep 18 2020 09:25:27 AM
cvc4_1.8.orig.tar.gz 7370KB Sep 14 2020 07:17:21 AM