淡江大學FTP伺服器
/檔案列表/Linux/Ubuntu/ubuntu/pool/universe/z/z3/
首頁
>
Linux
>
Ubuntu
>
ubuntu
>
pool
>
universe
>
z
>
z3
File
Size
Last Modified
..
-
Sep 03 2025 02:15:50 AM
libz3-4_4.4.1-0.3build4_amd64.deb
5062KB
Oct 27 2017 12:44:21 PM
libz3-4_4.4.1-0.3build4_i386.deb
5577KB
Oct 27 2017 12:53:45 PM
libz3-4_4.8.7-4build1_amd64.deb
6632KB
Mar 23 2020 05:03:51 PM
libz3-4_4.8.7-4build1_i386.deb
7231KB
Mar 23 2020 04:39:19 PM
libz3-4_4.8.12-1_amd64.deb
5631KB
Sep 15 2021 07:33:50 PM
libz3-4_4.8.12-1_i386.deb
8231KB
Sep 15 2021 07:59:14 PM
libz3-4_4.8.12-3.1build1_amd64.deb
5699KB
Apr 22 2024 07:47:58 PM
libz3-4_4.8.12-3.1build1_i386.deb
8407KB
Apr 22 2024 07:48:48 PM
libz3-4_4.13.3-1_amd64.deb
6708KB
Nov 05 2024 08:18:47 PM
libz3-4_4.13.3-1_i386.deb
9675KB
Nov 05 2024 08:19:12 PM
libz3-cil_4.4.0-5_amd64.deb
39KB
Dec 08 2015 08:45:03 PM
libz3-cil_4.4.0-5_i386.deb
39KB
Dec 08 2015 08:45:35 PM
libz3-cil_4.4.1-0.3build4_amd64.deb
40KB
Oct 27 2017 12:44:21 PM
libz3-cil_4.4.1-0.3build4_i386.deb
40KB
Oct 27 2017 12:53:44 PM
libz3-dev_4.4.0-5_amd64.deb
5187KB
Dec 08 2015 08:44:58 PM
libz3-dev_4.4.0-5_i386.deb
5543KB
Dec 08 2015 08:45:36 PM
libz3-dev_4.4.1-0.3build4_amd64.deb
63KB
Oct 27 2017 12:44:20 PM
libz3-dev_4.4.1-0.3build4_i386.deb
63KB
Oct 27 2017 12:53:44 PM
libz3-dev_4.8.7-4build1_amd64.deb
66KB
Mar 23 2020 05:03:50 PM
libz3-dev_4.8.7-4build1_i386.deb
66KB
Mar 23 2020 04:39:19 PM
libz3-dev_4.8.12-1_amd64.deb
70KB
Sep 15 2021 07:33:50 PM
libz3-dev_4.8.12-1_i386.deb
70KB
Sep 15 2021 07:59:13 PM
libz3-dev_4.8.12-3.1build1_amd64.deb
71KB
Apr 22 2024 07:47:58 PM
libz3-dev_4.8.12-3.1build1_i386.deb
71KB
Apr 22 2024 07:48:48 PM
libz3-dev_4.13.3-1_amd64.deb
78KB
Nov 05 2024 08:18:46 PM
libz3-dev_4.13.3-1_i386.deb
78KB
Nov 05 2024 08:19:12 PM
libz3-java_4.4.0-5_all.deb
134KB
Dec 08 2015 08:44:57 PM
libz3-java_4.4.1-0.3build4_amd64.deb
140KB
Oct 27 2017 12:44:20 PM
libz3-java_4.4.1-0.3build4_i386.deb
140KB
Oct 27 2017 12:53:45 PM
libz3-java_4.8.7-4build1_amd64.deb
150KB
Mar 23 2020 05:03:51 PM
libz3-java_4.8.7-4build1_i386.deb
150KB
Mar 23 2020 04:39:18 PM
libz3-java_4.8.12-1_amd64.deb
156KB
Sep 15 2021 07:33:51 PM
libz3-java_4.8.12-1_i386.deb
156KB
Sep 15 2021 07:59:13 PM
libz3-java_4.8.12-3.1build1_amd64.deb
159KB
Apr 22 2024 07:47:57 PM
libz3-java_4.8.12-3.1build1_i386.deb
159KB
Apr 22 2024 07:48:48 PM
libz3-java_4.13.3-1_amd64.deb
177KB
Nov 05 2024 08:18:46 PM
libz3-java_4.13.3-1_i386.deb
177KB
Nov 05 2024 08:19:12 PM
libz3-jni_4.4.0-5_amd64.deb
30KB
Dec 08 2015 08:44:59 PM
libz3-jni_4.4.0-5_i386.deb
40KB
Dec 08 2015 08:45:33 PM
libz3-jni_4.4.1-0.3build4_amd64.deb
31KB
Oct 27 2017 12:44:21 PM
libz3-jni_4.4.1-0.3build4_i386.deb
40KB
Oct 27 2017 12:53:44 PM
libz3-jni_4.8.7-4build1_amd64.deb
32KB
Mar 23 2020 05:03:51 PM
libz3-jni_4.8.7-4build1_i386.deb
39KB
Mar 23 2020 04:39:19 PM
libz3-jni_4.8.12-1_amd64.deb
42KB
Sep 15 2021 07:33:50 PM
libz3-jni_4.8.12-1_i386.deb
49KB
Sep 15 2021 07:59:13 PM
libz3-jni_4.8.12-3.1build1_amd64.deb
37KB
Apr 22 2024 07:47:57 PM
libz3-jni_4.8.12-3.1build1_i386.deb
46KB
Apr 22 2024 07:48:48 PM
libz3-jni_4.13.3-1_amd64.deb
41KB
Nov 05 2024 08:18:46 PM
libz3-jni_4.13.3-1_i386.deb
52KB
Nov 05 2024 08:19:12 PM
libz3-ocaml-dev_4.4.0-5_amd64.deb
444KB
Dec 08 2015 08:45:00 PM
libz3-ocaml-dev_4.4.0-5_i386.deb
415KB
Dec 08 2015 08:45:32 PM
libz3-ocaml-dev_4.4.1-0.3build4_amd64.deb
479KB
Oct 27 2017 12:44:20 PM
libz3-ocaml-dev_4.4.1-0.3build4_i386.deb
460KB
Oct 27 2017 12:53:45 PM
python-z3_4.4.0-5_amd64.deb
65KB
Dec 08 2015 08:45:01 PM
python-z3_4.4.0-5_i386.deb
65KB
Dec 08 2015 08:45:35 PM
python-z3_4.4.1-0.3build4_amd64.deb
65KB
Oct 27 2017 12:44:21 PM
python-z3_4.4.1-0.3build4_i386.deb
65KB
Oct 27 2017 12:53:45 PM
python3-z3_4.8.7-4build1_amd64.deb
75KB
Mar 23 2020 05:03:51 PM
python3-z3_4.8.7-4build1_i386.deb
75KB
Mar 23 2020 04:39:19 PM
python3-z3_4.8.12-1_amd64.deb
78KB
Sep 15 2021 07:33:50 PM
python3-z3_4.8.12-1_i386.deb
78KB
Sep 15 2021 07:59:13 PM
python3-z3_4.8.12-3.1build1_amd64.deb
78KB
Apr 22 2024 07:47:57 PM
python3-z3_4.8.12-3.1build1_i386.deb
78KB
Apr 22 2024 07:48:48 PM
python3-z3_4.13.3-1_amd64.deb
83KB
Nov 05 2024 08:18:46 PM
python3-z3_4.13.3-1_i386.deb
83KB
Nov 05 2024 08:19:11 PM
z3_4.4.0-5.debian.tar.xz
11KB
Dec 08 2015 02:10:27 PM
z3_4.4.0-5.dsc
2KB
Dec 08 2015 02:10:27 PM
z3_4.4.0-5_amd64.deb
5116KB
Dec 08 2015 08:45:02 PM
z3_4.4.0-5_i386.deb
5500KB
Dec 08 2015 08:45:36 PM
z3_4.4.0.orig.tar.gz
3376KB
Jun 19 2015 07:23:48 AM
z3_4.4.1-0.3build4.debian.tar.xz
14KB
Oct 27 2017 12:44:14 PM
z3_4.4.1-0.3build4.dsc
2KB
Oct 27 2017 12:44:14 PM
z3_4.4.1-0.3build4_amd64.deb
5082KB
Oct 27 2017 12:44:20 PM
z3_4.4.1-0.3build4_i386.deb
5601KB
Oct 27 2017 12:53:44 PM
z3_4.4.1.orig.tar.gz
3269KB
Jul 19 2016 07:45:27 AM
z3_4.8.7-4build1.debian.tar.xz
10KB
Mar 23 2020 03:18:48 PM
z3_4.8.7-4build1.dsc
3KB
Mar 23 2020 03:18:48 PM
z3_4.8.7-4build1_amd64.deb
6649KB
Mar 23 2020 05:03:51 PM
z3_4.8.7-4build1_i386.deb
7254KB
Mar 23 2020 04:39:19 PM
z3_4.8.7.orig.tar.gz
4242KB
Dec 09 2019 01:13:18 PM
z3_4.8.12-1.debian.tar.xz
10KB
Sep 15 2021 07:19:01 PM
z3_4.8.12-1.dsc
3KB
Sep 15 2021 07:19:01 PM
z3_4.8.12-1_amd64.deb
5712KB
Sep 15 2021 07:33:51 PM
z3_4.8.12-1_i386.deb
8263KB
Sep 15 2021 07:59:13 PM
z3_4.8.12-3.1build1.debian.tar.xz
10KB
Apr 22 2024 07:47:04 PM
z3_4.8.12-3.1build1.dsc
3KB
Apr 22 2024 07:47:04 PM
z3_4.8.12-3.1build1_amd64.deb
5772KB
Apr 22 2024 07:47:57 PM
z3_4.8.12-3.1build1_i386.deb
8445KB
Apr 22 2024 07:48:48 PM
z3_4.8.12.orig.tar.gz
4691KB
Sep 15 2021 07:19:01 PM
z3_4.13.3-1.debian.tar.xz
10KB
Nov 05 2024 08:18:25 PM
z3_4.13.3-1.dsc
3KB
Nov 05 2024 08:18:25 PM
z3_4.13.3-1_amd64.deb
6791KB
Nov 05 2024 08:18:46 PM
z3_4.13.3-1_i386.deb
9688KB
Nov 05 2024 08:19:11 PM
z3_4.13.3.orig.tar.gz
5453KB
Nov 05 2024 08:18:25 PM
單位聯絡：張維廷 Tel：26215656 分機 2628 更新日期：10/08/2025Copyright 2009 淡江大學
資訊處
建議最佳瀏覽器為IE6.0 以上版本，最佳視窗解析度為1024x768
.. - Sep 03 2025 02:15:50 AM
libz3-4_4.4.1-0.3build4_amd64.deb 5062KB Oct 27 2017 12:44:21 PM
z3_4.4.0.orig.tar.gz 3376KB Jun 19 2015 07:23:48 AM