淡江大學FTP伺服器
/檔案列表/Linux/Debian/debian/pool/main/c/cvc5/
首頁
>
Linux
>
Debian
>
debian
>
pool
>
main
>
c
>
cvc5
File
Size
Last Modified
..
-
May 17 2026 09:00:14 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.orig.tar.gz
8381KB
Mar 03 2024 10:53:30 AM
cvc5_1.3.2-1+b1_amd64.deb
140KB
Apr 23 2026 11:56:55 PM
cvc5_1.3.2-1+b1_arm64.deb
126KB
Apr 23 2026 10:01:36 PM
cvc5_1.3.2-1+b1_armhf.deb
129KB
Apr 23 2026 10:22:11 PM
cvc5_1.3.2-1+b1_i386.deb
142KB
Apr 24 2026 12:13:25 AM
cvc5_1.3.2-1+b1_loong64.deb
129KB
Apr 24 2026 07:10:46 AM
cvc5_1.3.2-1+b1_ppc64el.deb
133KB
Apr 23 2026 11:41:10 PM
cvc5_1.3.2-1+b1_riscv64.deb
130KB
May 17 2026 11:15:40 PM
cvc5_1.3.2-1+b1_s390x.deb
142KB
Apr 24 2026 02:01:08 AM
cvc5_1.3.2-1.debian.tar.xz
8KB
Dec 24 2025 09:13:58 AM
cvc5_1.3.2-1.dsc
2KB
Dec 24 2025 09:13:58 AM
cvc5_1.3.2-1_riscv64.deb
130KB
Dec 24 2025 05:34:50 PM
cvc5_1.3.2.orig.tar.gz
9034KB
Dec 24 2025 09:13:58 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.3.2-1+b1_amd64.deb
7560KB
Apr 23 2026 11:56:55 PM
libcvc5-1_1.3.2-1+b1_arm64.deb
6482KB
Apr 23 2026 10:01:37 PM
libcvc5-1_1.3.2-1+b1_armhf.deb
6390KB
Apr 23 2026 10:22:11 PM
libcvc5-1_1.3.2-1+b1_i386.deb
8186KB
Apr 24 2026 12:13:25 AM
libcvc5-1_1.3.2-1+b1_loong64.deb
6970KB
Apr 24 2026 07:10:47 AM
libcvc5-1_1.3.2-1+b1_ppc64el.deb
7137KB
Apr 23 2026 11:41:10 PM
libcvc5-1_1.3.2-1+b1_riscv64.deb
7637KB
May 17 2026 11:15:40 PM
libcvc5-1_1.3.2-1+b1_s390x.deb
7496KB
Apr 24 2026 02:01:09 AM
libcvc5-1_1.3.2-1_riscv64.deb
7617KB
Dec 24 2025 05:34:50 PM
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.3.2-1+b1_amd64.deb
121KB
Apr 23 2026 11:56:55 PM
libcvc5-dev_1.3.2-1+b1_arm64.deb
121KB
Apr 23 2026 10:01:37 PM
libcvc5-dev_1.3.2-1+b1_armhf.deb
121KB
Apr 23 2026 10:22:11 PM
libcvc5-dev_1.3.2-1+b1_i386.deb
121KB
Apr 24 2026 12:13:25 AM
libcvc5-dev_1.3.2-1+b1_loong64.deb
121KB
Apr 24 2026 07:10:47 AM
libcvc5-dev_1.3.2-1+b1_ppc64el.deb
121KB
Apr 23 2026 11:41:10 PM
libcvc5-dev_1.3.2-1+b1_riscv64.deb
121KB
May 17 2026 11:15:40 PM
libcvc5-dev_1.3.2-1+b1_s390x.deb
121KB
Apr 24 2026 02:01:09 AM
libcvc5-dev_1.3.2-1_riscv64.deb
121KB
Dec 24 2025 05:34:50 PM
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.3.2-1+b1_amd64.deb
267KB
Apr 23 2026 11:56:55 PM
libcvc5parser1_1.3.2-1+b1_arm64.deb
232KB
Apr 23 2026 10:01:37 PM
libcvc5parser1_1.3.2-1+b1_armhf.deb
234KB
Apr 23 2026 10:22:11 PM
libcvc5parser1_1.3.2-1+b1_i386.deb
287KB
Apr 24 2026 12:13:25 AM
libcvc5parser1_1.3.2-1+b1_loong64.deb
250KB
Apr 24 2026 07:10:47 AM
libcvc5parser1_1.3.2-1+b1_ppc64el.deb
260KB
Apr 23 2026 11:41:10 PM
libcvc5parser1_1.3.2-1+b1_riscv64.deb
259KB
May 17 2026 11:15:40 PM
libcvc5parser1_1.3.2-1+b1_s390x.deb
255KB
Apr 24 2026 02:01:09 AM
libcvc5parser1_1.3.2-1_riscv64.deb
258KB
Dec 24 2025 05:34:51 PM
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.3.2-1+b1_amd64.deb
378KB
Apr 23 2026 11:56:55 PM
python3-cvc5_1.3.2-1+b1_arm64.deb
316KB
Apr 23 2026 10:01:37 PM
python3-cvc5_1.3.2-1+b1_armhf.deb
344KB
Apr 23 2026 10:22:11 PM
python3-cvc5_1.3.2-1+b1_i386.deb
365KB
Apr 24 2026 12:13:25 AM
python3-cvc5_1.3.2-1+b1_loong64.deb
340KB
Apr 24 2026 07:10:47 AM
python3-cvc5_1.3.2-1+b1_ppc64el.deb
337KB
Apr 23 2026 11:41:10 PM
python3-cvc5_1.3.2-1+b1_riscv64.deb
359KB
May 17 2026 11:15:40 PM
python3-cvc5_1.3.2-1+b1_s390x.deb
351KB
Apr 24 2026 02:01:09 AM
python3-cvc5_1.3.2-1_riscv64.deb
359KB
Dec 24 2025 05:34:51 PM
單位聯絡：張維廷 Tel：26215656 分機 2628 更新日期：05/19/2026Copyright 2009 淡江大學
資訊處
建議最佳瀏覽器為IE6.0 以上版本，最佳視窗解析度為1024x768
.. - May 17 2026 09:00:14 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