淡江大學FTP伺服器
/檔案列表/Linux/Ubuntu/ubuntu/pool/universe/c/cvc4/
首頁
>
Linux
>
Ubuntu
>
ubuntu
>
pool
>
universe
>
c
>
cvc4
File
Size
Last Modified
..
-
May 12 2024 07:49:23 AM
cvc4_1.5-1.debian.tar.xz
6KB
Nov 01 2017 09:57:17 PM
cvc4_1.5-1.dsc
2KB
Nov 01 2017 09:57:10 PM
cvc4_1.5-1_amd64.deb
135KB
Nov 03 2017 02:57:06 PM
cvc4_1.5-1_i386.deb
139KB
Nov 03 2017 02:59:19 PM
cvc4_1.5.orig.tar.gz
7740KB
Nov 01 2017 09:57:10 PM
cvc4_1.6-2build2.debian.tar.xz
8KB
Feb 04 2020 06:24:25 AM
cvc4_1.6-2build2.dsc
3KB
Feb 04 2020 06:24:25 AM
cvc4_1.6-2build2_amd64.deb
135KB
Feb 04 2020 07:45:00 AM
cvc4_1.6.orig.tar.gz
7633KB
Aug 12 2018 01:13:23 PM
cvc4_1.8-2.debian.tar.xz
16KB
Sep 30 2020 11:43:40 PM
cvc4_1.8-2.dsc
2KB
Sep 30 2020 11:43:39 PM
cvc4_1.8-2_amd64.deb
72KB
Oct 01 2020 12:28:33 AM
cvc4_1.8-3.debian.tar.xz
16KB
Nov 06 2022 11:17:45 AM
cvc4_1.8-3.dsc
2KB
Nov 06 2022 11:17:44 AM
cvc4_1.8-3build2.debian.tar.xz
16KB
Apr 01 2024 02:36:43 AM
cvc4_1.8-3build2.dsc
2KB
Apr 01 2024 02:36:43 AM
cvc4_1.8-3build2_amd64.deb
74KB
Apr 01 2024 04:36:19 AM
cvc4_1.8-3_amd64.deb
73KB
Nov 06 2022 11:21:42 AM
cvc4_1.8.orig.tar.gz
7370KB
Sep 30 2020 11:43:39 PM
libcvc4-4_1.5-1_amd64.deb
3297KB
Nov 03 2017 02:57:06 PM
libcvc4-4_1.5-1_i386.deb
3534KB
Nov 03 2017 02:59:18 PM
libcvc4-5_1.6-2build2_amd64.deb
4407KB
Feb 04 2020 07:45:00 AM
libcvc4-7_1.8-2_amd64.deb
5527KB
Oct 01 2020 12:28:33 AM
libcvc4-7_1.8-3build2_amd64.deb
4624KB
Apr 01 2024 04:36:19 AM
libcvc4-7_1.8-3_amd64.deb
4654KB
Nov 06 2022 11:21:42 AM
libcvc4-dev_1.5-1_amd64.deb
5828KB
Nov 03 2017 02:57:06 PM
libcvc4-dev_1.5-1_i386.deb
6235KB
Nov 03 2017 02:59:18 PM
libcvc4-dev_1.6-2build2_amd64.deb
7125KB
Feb 04 2020 07:45:00 AM
libcvc4-dev_1.8-2_amd64.deb
120KB
Oct 01 2020 12:28:33 AM
libcvc4-dev_1.8-3build2_amd64.deb
122KB
Apr 01 2024 04:36:18 AM
libcvc4-dev_1.8-3_amd64.deb
122KB
Nov 06 2022 11:21:41 AM
libcvc4parser4_1.5-1_amd64.deb
355KB
Nov 03 2017 02:57:06 PM
libcvc4parser4_1.5-1_i386.deb
381KB
Nov 03 2017 02:59:19 PM
libcvc4parser5_1.6-2build2_amd64.deb
356KB
Feb 04 2020 07:45:00 AM
libcvc4parser7_1.8-2_amd64.deb
349KB
Oct 01 2020 12:28:33 AM
libcvc4parser7_1.8-3build2_amd64.deb
365KB
Apr 01 2024 04:36:18 AM
libcvc4parser7_1.8-3_amd64.deb
370KB
Nov 06 2022 11:21:41 AM
單位聯絡:張維廷 Tel:26215656 分機 2628 更新日期:05/12/2024Copyright 2009 淡江大學
資訊處
建議最佳瀏覽器為IE6.0 以上版本,最佳視窗解析度為1024x768