淡江大學FTP伺服器
/檔案列表/Linux/Ubuntu/ubuntu/pool/universe/c/cvc5/
首頁
>
Linux
>
Ubuntu
>
ubuntu
>
pool
>
universe
>
c
>
cvc5
File
Size
Last Modified
..
-
May 04 2024 07:33:43 AM
cvc5_1.0.3-1.debian.tar.xz
6KB
Dec 20 2022 07:29:00 PM
cvc5_1.0.3-1.dsc
2KB
Dec 20 2022 07:29:00 PM
cvc5_1.0.3-1_amd64.deb
96KB
Dec 20 2022 07:49:09 PM
cvc5_1.0.3.orig.tar.gz
8140KB
Dec 20 2022 07:29:00 PM
cvc5_1.0.5-3.debian.tar.xz
7KB
Jun 24 2023 07:45:03 PM
cvc5_1.0.5-3.dsc
2KB
Jun 24 2023 07:45:03 PM
cvc5_1.0.5-3_amd64.deb
88KB
Jun 25 2023 04:04:09 PM
cvc5_1.0.5.orig.tar.gz
8234KB
Jun 21 2023 07:39:36 AM
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-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.0.3-1_amd64.deb
4665KB
Dec 20 2022 07:49:10 PM
libcvc5-1_1.0.5-3_amd64.deb
4682KB
Jun 25 2023 04:04:09 PM
libcvc5-1_1.1.2-1build1_amd64.deb
4967KB
Apr 01 2024 11:46:29 AM
libcvc5-1_1.1.2-2_amd64.deb
4975KB
May 03 2024 10:39:50 AM
libcvc5-dev_1.0.3-1_amd64.deb
52KB
Dec 20 2022 07:49:10 PM
libcvc5-dev_1.0.5-3_amd64.deb
53KB
Jun 25 2023 04:04:09 PM
libcvc5-dev_1.1.2-1build1_amd64.deb
82KB
Apr 01 2024 11:46:29 AM
libcvc5-dev_1.1.2-2_amd64.deb
82KB
May 03 2024 10:39:50 AM
libcvc5parser1_1.0.3-1_amd64.deb
297KB
Dec 20 2022 07:49:10 PM
libcvc5parser1_1.0.5-3_amd64.deb
344KB
Jun 25 2023 04:04:09 PM
libcvc5parser1_1.1.2-1build1_amd64.deb
205KB
Apr 01 2024 11:46:29 AM
libcvc5parser1_1.1.2-2_amd64.deb
205KB
May 03 2024 10:39:50 AM
python3-cvc5_1.0.5-3_amd64.deb
239KB
Jun 25 2023 04:04:09 PM
python3-cvc5_1.1.2-1build1_amd64.deb
339KB
Apr 01 2024 11:46:29 AM
python3-cvc5_1.1.2-2_amd64.deb
341KB
May 03 2024 10:39:50 AM
單位聯絡:張維廷 Tel:26215656 分機 2628 更新日期:05/11/2024Copyright 2009 淡江大學
資訊處
建議最佳瀏覽器為IE6.0 以上版本,最佳視窗解析度為1024x768