淡江大學FTP伺服器
/檔案列表/Linux/Debian/debian/pool/main/c/cvc5/
首頁
>
Linux
>
Debian
>
debian
>
pool
>
main
>
c
>
cvc5
File
Size
Last Modified
..
-
Oct 03 2025 02:10:11 AM
cvc5_1.0.3-1.debian.tar.xz
6KB
Dec 20 2022 11:26:07 AM
cvc5_1.0.3-1.dsc
2KB
Dec 20 2022 11:26:07 AM
cvc5_1.0.3-1_amd64.deb
105KB
Dec 20 2022 01:55:42 PM
cvc5_1.0.3-1_arm64.deb
95KB
Dec 20 2022 01:29:11 PM
cvc5_1.0.3-1_ppc64el.deb
103KB
Dec 20 2022 01:45:31 PM
cvc5_1.0.3-1_s390x.deb
95KB
Dec 20 2022 08:13:42 PM
cvc5_1.0.3.orig.tar.gz
8140KB
Dec 20 2022 11:26:07 AM
cvc5_1.1.2-2+b3_amd64.deb
107KB
Jan 09 2025 07:11:00 PM
cvc5_1.1.2-2+b3_arm64.deb
95KB
Jan 09 2025 07:31:29 PM
cvc5_1.1.2-2+b3_armel.deb
96KB
Jan 09 2025 08:48:19 PM
cvc5_1.1.2-2+b3_armhf.deb
99KB
Jan 09 2025 08:32:49 PM
cvc5_1.1.2-2+b3_i386.deb
109KB
Jan 09 2025 07:05:49 PM
cvc5_1.1.2-2+b3_ppc64el.deb
102KB
Jan 09 2025 06:55:35 PM
cvc5_1.1.2-2+b3_riscv64.deb
99KB
Jan 13 2025 04:01:31 AM
cvc5_1.1.2-2+b3_s390x.deb
105KB
Jan 10 2025 07:43:55 AM
cvc5_1.1.2-2.debian.tar.xz
7KB
Mar 20 2024 06:22:50 AM
cvc5_1.1.2-2.dsc
2KB
Mar 20 2024 06:22:50 AM
cvc5_1.1.2-3.debian.tar.xz
7KB
Jul 27 2025 08:11:35 PM
cvc5_1.1.2-3.dsc
2KB
Jul 27 2025 08:11:35 PM
cvc5_1.1.2-3_amd64.deb
105KB
Aug 11 2025 09:32:50 PM
cvc5_1.1.2-3_arm64.deb
95KB
Aug 11 2025 09:44:52 PM
cvc5_1.1.2-3_armel.deb
96KB
Aug 11 2025 10:00:20 PM
cvc5_1.1.2-3_armhf.deb
98KB
Aug 11 2025 09:39:35 PM
cvc5_1.1.2-3_i386.deb
109KB
Aug 11 2025 09:39:19 PM
cvc5_1.1.2-3_mips64el.deb
90KB
Aug 12 2025 04:11:04 PM
cvc5_1.1.2-3_ppc64el.deb
101KB
Aug 11 2025 09:39:29 PM
cvc5_1.1.2-3_riscv64.deb
99KB
Aug 13 2025 08:41:02 AM
cvc5_1.1.2-3_s390x.deb
106KB
Aug 12 2025 12:04:09 AM
cvc5_1.1.2.orig.tar.gz
8381KB
Mar 03 2024 10:53:30 AM
libcvc5-1_1.0.3-1_amd64.deb
5704KB
Dec 20 2022 01:55:42 PM
libcvc5-1_1.0.3-1_arm64.deb
4829KB
Dec 20 2022 01:29:12 PM
libcvc5-1_1.0.3-1_ppc64el.deb
5458KB
Dec 20 2022 01:45:31 PM
libcvc5-1_1.0.3-1_s390x.deb
4980KB
Dec 20 2022 08:13:42 PM
libcvc5-1_1.1.2-2+b3_amd64.deb
6526KB
Jan 09 2025 07:11:00 PM
libcvc5-1_1.1.2-2+b3_arm64.deb
5575KB
Jan 09 2025 07:31:29 PM
libcvc5-1_1.1.2-2+b3_armel.deb
5647KB
Jan 09 2025 08:48:20 PM
libcvc5-1_1.1.2-2+b3_armhf.deb
5541KB
Jan 09 2025 08:32:49 PM
libcvc5-1_1.1.2-2+b3_i386.deb
7081KB
Jan 09 2025 07:05:49 PM
libcvc5-1_1.1.2-2+b3_ppc64el.deb
6135KB
Jan 09 2025 06:55:35 PM
libcvc5-1_1.1.2-2+b3_riscv64.deb
6545KB
Jan 13 2025 04:01:31 AM
libcvc5-1_1.1.2-2+b3_s390x.deb
6621KB
Jan 10 2025 07:43:55 AM
libcvc5-1_1.1.2-3_amd64.deb
6535KB
Aug 11 2025 09:32:50 PM
libcvc5-1_1.1.2-3_arm64.deb
5580KB
Aug 11 2025 09:44:52 PM
libcvc5-1_1.1.2-3_armel.deb
5668KB
Aug 11 2025 10:00:20 PM
libcvc5-1_1.1.2-3_armhf.deb
5562KB
Aug 11 2025 09:39:36 PM
libcvc5-1_1.1.2-3_i386.deb
7091KB
Aug 11 2025 09:39:20 PM
libcvc5-1_1.1.2-3_mips64el.deb
5254KB
Aug 12 2025 04:11:04 PM
libcvc5-1_1.1.2-3_ppc64el.deb
6141KB
Aug 11 2025 09:39:29 PM
libcvc5-1_1.1.2-3_riscv64.deb
6550KB
Aug 13 2025 08:41:03 AM
libcvc5-1_1.1.2-3_s390x.deb
6635KB
Aug 12 2025 12:04:09 AM
libcvc5-dev_1.0.3-1_amd64.deb
57KB
Dec 20 2022 01:55:42 PM
libcvc5-dev_1.0.3-1_arm64.deb
57KB
Dec 20 2022 01:29:12 PM
libcvc5-dev_1.0.3-1_ppc64el.deb
57KB
Dec 20 2022 01:45:31 PM
libcvc5-dev_1.0.3-1_s390x.deb
57KB
Dec 20 2022 08:13:42 PM
libcvc5-dev_1.1.2-2+b3_amd64.deb
91KB
Jan 09 2025 07:11:00 PM
libcvc5-dev_1.1.2-2+b3_arm64.deb
91KB
Jan 09 2025 07:31:29 PM
libcvc5-dev_1.1.2-2+b3_armel.deb
91KB
Jan 09 2025 08:48:20 PM
libcvc5-dev_1.1.2-2+b3_armhf.deb
91KB
Jan 09 2025 08:32:49 PM
libcvc5-dev_1.1.2-2+b3_i386.deb
91KB
Jan 09 2025 07:05:49 PM
libcvc5-dev_1.1.2-2+b3_ppc64el.deb
91KB
Jan 09 2025 06:55:35 PM
libcvc5-dev_1.1.2-2+b3_riscv64.deb
91KB
Jan 13 2025 04:01:31 AM
libcvc5-dev_1.1.2-2+b3_s390x.deb
91KB
Jan 10 2025 07:43:55 AM
libcvc5-dev_1.1.2-3_amd64.deb
91KB
Aug 11 2025 09:32:50 PM
libcvc5-dev_1.1.2-3_arm64.deb
91KB
Aug 11 2025 09:44:52 PM
libcvc5-dev_1.1.2-3_armel.deb
91KB
Aug 11 2025 10:00:20 PM
libcvc5-dev_1.1.2-3_armhf.deb
91KB
Aug 11 2025 09:39:36 PM
libcvc5-dev_1.1.2-3_i386.deb
91KB
Aug 11 2025 09:39:20 PM
libcvc5-dev_1.1.2-3_mips64el.deb
91KB
Aug 12 2025 04:11:04 PM
libcvc5-dev_1.1.2-3_ppc64el.deb
91KB
Aug 11 2025 09:39:29 PM
libcvc5-dev_1.1.2-3_riscv64.deb
91KB
Aug 13 2025 08:41:03 AM
libcvc5-dev_1.1.2-3_s390x.deb
91KB
Aug 12 2025 12:04:09 AM
libcvc5parser1_1.0.3-1_amd64.deb
300KB
Dec 20 2022 01:55:42 PM
libcvc5parser1_1.0.3-1_arm64.deb
267KB
Dec 20 2022 01:29:12 PM
libcvc5parser1_1.0.3-1_ppc64el.deb
297KB
Dec 20 2022 01:45:31 PM
libcvc5parser1_1.0.3-1_s390x.deb
265KB
Dec 20 2022 08:13:42 PM
libcvc5parser1_1.1.2-2+b3_amd64.deb
231KB
Jan 09 2025 07:11:00 PM
libcvc5parser1_1.1.2-2+b3_arm64.deb
203KB
Jan 09 2025 07:31:29 PM
libcvc5parser1_1.1.2-2+b3_armel.deb
196KB
Jan 09 2025 08:48:20 PM
libcvc5parser1_1.1.2-2+b3_armhf.deb
202KB
Jan 09 2025 08:32:49 PM
libcvc5parser1_1.1.2-2+b3_i386.deb
252KB
Jan 09 2025 07:05:49 PM
libcvc5parser1_1.1.2-2+b3_ppc64el.deb
227KB
Jan 09 2025 06:55:35 PM
libcvc5parser1_1.1.2-2+b3_riscv64.deb
222KB
Jan 13 2025 04:01:31 AM
libcvc5parser1_1.1.2-2+b3_s390x.deb
226KB
Jan 10 2025 07:43:55 AM
libcvc5parser1_1.1.2-3_amd64.deb
232KB
Aug 11 2025 09:32:50 PM
libcvc5parser1_1.1.2-3_arm64.deb
203KB
Aug 11 2025 09:44:52 PM
libcvc5parser1_1.1.2-3_armel.deb
197KB
Aug 11 2025 10:00:20 PM
libcvc5parser1_1.1.2-3_armhf.deb
204KB
Aug 11 2025 09:39:36 PM
libcvc5parser1_1.1.2-3_i386.deb
253KB
Aug 11 2025 09:39:20 PM
libcvc5parser1_1.1.2-3_mips64el.deb
200KB
Aug 12 2025 04:11:04 PM
libcvc5parser1_1.1.2-3_ppc64el.deb
227KB
Aug 11 2025 09:39:29 PM
libcvc5parser1_1.1.2-3_riscv64.deb
223KB
Aug 13 2025 08:41:03 AM
libcvc5parser1_1.1.2-3_s390x.deb
226KB
Aug 12 2025 12:04:09 AM
python3-cvc5_1.1.2-2+b3_amd64.deb
331KB
Jan 09 2025 07:11:00 PM
python3-cvc5_1.1.2-2+b3_arm64.deb
291KB
Jan 09 2025 07:31:29 PM
python3-cvc5_1.1.2-2+b3_armel.deb
304KB
Jan 09 2025 08:48:20 PM
python3-cvc5_1.1.2-2+b3_armhf.deb
309KB
Jan 09 2025 08:32:49 PM
python3-cvc5_1.1.2-2+b3_i386.deb
318KB
Jan 09 2025 07:05:49 PM
python3-cvc5_1.1.2-2+b3_ppc64el.deb
292KB
Jan 09 2025 06:55:35 PM
python3-cvc5_1.1.2-2+b3_riscv64.deb
320KB
Jan 13 2025 04:01:31 AM
python3-cvc5_1.1.2-2+b3_s390x.deb
322KB
Jan 10 2025 07:43:55 AM
python3-cvc5_1.1.2-3_amd64.deb
333KB
Aug 11 2025 09:32:50 PM
python3-cvc5_1.1.2-3_arm64.deb
291KB
Aug 11 2025 09:44:52 PM
python3-cvc5_1.1.2-3_armel.deb
304KB
Aug 11 2025 10:00:20 PM
python3-cvc5_1.1.2-3_armhf.deb
310KB
Aug 11 2025 09:39:36 PM
python3-cvc5_1.1.2-3_i386.deb
317KB
Aug 11 2025 09:39:20 PM
python3-cvc5_1.1.2-3_mips64el.deb
245KB
Aug 12 2025 04:11:04 PM
python3-cvc5_1.1.2-3_ppc64el.deb
291KB
Aug 11 2025 09:39:29 PM
python3-cvc5_1.1.2-3_riscv64.deb
321KB
Aug 13 2025 08:41:03 AM
python3-cvc5_1.1.2-3_s390x.deb
323KB
Aug 12 2025 12:04:09 AM
單位聯絡：張維廷 Tel：26215656 分機 2628 更新日期：10/08/2025Copyright 2009 淡江大學
資訊處
建議最佳瀏覽器為IE6.0 以上版本，最佳視窗解析度為1024x768
.. - Oct 03 2025 02:10:11 AM
cvc5_1.0.3-1.debian.tar.xz 6KB Dec 20 2022 11:26:07 AM
cvc5_1.0.3.orig.tar.gz 8140KB Dec 20 2022 11:26:07 AM