淡江大學FTP伺服器
/檔案列表/Linux/Ubuntu/ubuntu/pool/universe/c/cvc5/
首頁
>
Linux
>
Ubuntu
>
ubuntu
>
pool
>
universe
>
c
>
cvc5
File
Size
Last Modified
..
-
May 12 2025 04:11:42 PM
cvc5_1.1.2-1build1.debian.tar.xz
6KB
Apr 01 2024 02:36:42 AM
cvc5_1.1.2-1build1.dsc
3KB
Apr 01 2024 02:36:42 AM
cvc5_1.1.2-1build1_amd64.deb
93KB
Apr 01 2024 11:46:29 AM
cvc5_1.1.2-2.debian.tar.xz
7KB
May 03 2024 09:55:00 AM
cvc5_1.1.2-2.dsc
2KB
May 03 2024 09:55:00 AM
cvc5_1.1.2-2build1.debian.tar.xz
7KB
Jan 04 2025 05:43:24 AM
cvc5_1.1.2-2build1.dsc
2KB
Jan 04 2025 05:43:24 AM
cvc5_1.1.2-2build1_amd64.deb
90KB
Jan 04 2025 05:43:40 AM
cvc5_1.1.2-2_amd64.deb
93KB
May 03 2024 10:39:50 AM
cvc5_1.1.2.orig.tar.gz
8381KB
Mar 03 2024 07:23:16 PM
libcvc5-1_1.1.2-1build1_amd64.deb
4967KB
Apr 01 2024 11:46:29 AM
libcvc5-1_1.1.2-2build1_amd64.deb
5162KB
Jan 04 2025 05:43:40 AM
libcvc5-1_1.1.2-2_amd64.deb
4975KB
May 03 2024 10:39:50 AM
libcvc5-dev_1.1.2-1build1_amd64.deb
82KB
Apr 01 2024 11:46:29 AM
libcvc5-dev_1.1.2-2build1_amd64.deb
82KB
Jan 04 2025 05:43:40 AM
libcvc5-dev_1.1.2-2_amd64.deb
82KB
May 03 2024 10:39:50 AM
libcvc5parser1_1.1.2-1build1_amd64.deb
205KB
Apr 01 2024 11:46:29 AM
libcvc5parser1_1.1.2-2build1_amd64.deb
206KB
Jan 04 2025 05:43:40 AM
libcvc5parser1_1.1.2-2_amd64.deb
205KB
May 03 2024 10:39:50 AM
python3-cvc5_1.1.2-1build1_amd64.deb
339KB
Apr 01 2024 11:46:29 AM
python3-cvc5_1.1.2-2build1_amd64.deb
350KB
Jan 04 2025 05:43:39 AM
python3-cvc5_1.1.2-2_amd64.deb
341KB
May 03 2024 10:39:50 AM
單位聯絡：張維廷 Tel：26215656 分機 2628 更新日期：06/19/2025Copyright 2009 淡江大學
資訊處
建議最佳瀏覽器為IE6.0 以上版本，最佳視窗解析度為1024x768
.. - May 12 2025 04:11:42 PM
cvc5_1.1.2-1build1.debian.tar.xz 6KB Apr 01 2024 02:36:42 AM
cvc5_1.1.2.orig.tar.gz 8381KB Mar 03 2024 07:23:16 PM