淡江大學FTP伺服器
/檔案列表/Linux/Ubuntu/ubuntu/pool/universe/a/acl2/
首頁
>
Linux
>
Ubuntu
>
ubuntu
>
pool
>
universe
>
a
>
acl2
File
Size
Last Modified
..
-
Mar 20 2025 03:40:35 AM
acl2-books-certs_6.3-5_all.deb
11368KB
Oct 25 2013 12:36:23 AM
acl2-books-certs_7.1-1_all.deb
12882KB
Jun 27 2015 09:48:34 PM
acl2-books-certs_8.0dfsg-1_all.deb
71683KB
Jan 14 2018 11:08:17 AM
acl2-books-certs_8.2dfsg-3build1_all.deb
67363KB
Mar 23 2020 09:24:07 PM
acl2-books-certs_8.4dfsg-2_all.deb
226398KB
Dec 19 2021 09:10:18 AM
acl2-books-certs_8.5dfsg-5build3_all.deb
220932KB
Apr 02 2024 04:03:00 PM
acl2-books-certs_8.5dfsg-6_all.deb
80536KB
Jul 29 2024 12:20:24 PM
acl2-books-source_6.3-5_all.deb
9346KB
Oct 25 2013 12:36:24 AM
acl2-books-source_7.1-1_all.deb
10091KB
Jun 27 2015 09:48:39 PM
acl2-books-source_8.0dfsg-1_all.deb
12174KB
Jan 14 2018 11:08:16 AM
acl2-books-source_8.2dfsg-3build1_all.deb
13955KB
Mar 23 2020 09:24:10 PM
acl2-books-source_8.4dfsg-2_all.deb
21617KB
Dec 19 2021 09:10:25 AM
acl2-books-source_8.5dfsg-5build3_all.deb
23244KB
Apr 02 2024 04:02:58 PM
acl2-books-source_8.5dfsg-6_all.deb
23258KB
Jul 29 2024 12:20:22 PM
acl2-books_6.3-5_amd64.deb
41082KB
Oct 25 2013 12:36:25 AM
acl2-books_6.3-5_i386.deb
36670KB
Oct 25 2013 12:36:44 AM
acl2-books_7.1-1_amd64.deb
19149KB
Jun 27 2015 09:48:35 PM
acl2-books_7.1-1_i386.deb
18167KB
Jun 02 2015 10:43:16 AM
acl2-books_8.0dfsg-1_amd64.deb
134847KB
Jan 14 2018 11:08:15 AM
acl2-books_8.0dfsg-1_i386.deb
116800KB
Jan 14 2018 12:49:27 PM
acl2-books_8.2dfsg-3build1_amd64.deb
167280KB
Mar 23 2020 09:24:09 PM
acl2-books_8.4dfsg-2_amd64.deb
345652KB
Dec 19 2021 09:09:59 AM
acl2-books_8.5dfsg-5build3_amd64.deb
338433KB
Apr 02 2024 04:03:05 PM
acl2-books_8.5dfsg-6_amd64.deb
174598KB
Jul 29 2024 12:20:26 PM
acl2-doc_6.3-5_all.deb
12430KB
Oct 25 2013 12:36:25 AM
acl2-doc_7.1-1_all.deb
353KB
Jun 27 2015 09:48:36 PM
acl2-doc_8.0dfsg-1_all.deb
385KB
Jan 14 2018 11:08:13 AM
acl2-doc_8.2dfsg-3build1_all.deb
418KB
Mar 23 2020 09:24:10 PM
acl2-doc_8.4dfsg-2_all.deb
441KB
Dec 19 2021 09:09:59 AM
acl2-doc_8.5dfsg-5build3_all.deb
474KB
Apr 02 2024 04:02:57 PM
acl2-doc_8.5dfsg-6_all.deb
474KB
Jul 29 2024 12:20:21 PM
acl2-emacs_6.3-5_all.deb
55KB
Oct 25 2013 12:36:24 AM
acl2-emacs_7.1-1_all.deb
55KB
Jun 27 2015 09:48:38 PM
acl2-emacs_8.0dfsg-1_all.deb
59KB
Jan 14 2018 11:08:17 AM
acl2-emacs_8.2dfsg-3build1_all.deb
59KB
Mar 23 2020 09:24:10 PM
acl2-infix-source_6.3-5_all.deb
86KB
Oct 25 2013 12:36:24 AM
acl2-infix-source_7.1-1_all.deb
70KB
Jun 27 2015 09:48:40 PM
acl2-infix-source_8.0dfsg-1_all.deb
70KB
Jan 14 2018 11:08:12 AM
acl2-infix-source_8.2dfsg-3build1_all.deb
70KB
Mar 23 2020 09:24:07 PM
acl2-infix-source_8.4dfsg-2_all.deb
72KB
Dec 19 2021 09:10:26 AM
acl2-infix-source_8.5dfsg-5build3_all.deb
72KB
Apr 02 2024 04:02:57 PM
acl2-infix-source_8.5dfsg-6_all.deb
72KB
Jul 29 2024 12:20:21 PM
acl2-infix_6.3-5_amd64.deb
200KB
Oct 25 2013 12:36:25 AM
acl2-infix_6.3-5_i386.deb
189KB
Oct 25 2013 12:36:43 AM
acl2-infix_7.1-1_amd64.deb
140KB
Jun 27 2015 09:48:37 PM
acl2-infix_7.1-1_i386.deb
142KB
Jun 02 2015 10:43:17 AM
acl2-infix_8.0dfsg-1_amd64.deb
414KB
Jan 14 2018 11:08:13 AM
acl2-infix_8.0dfsg-1_i386.deb
381KB
Jan 14 2018 12:49:27 PM
acl2-infix_8.2dfsg-3build1_amd64.deb
470KB
Mar 23 2020 09:24:10 PM
acl2-infix_8.4dfsg-2_amd64.deb
551KB
Dec 19 2021 09:09:06 AM
acl2-infix_8.5dfsg-5build3_amd64.deb
538KB
Apr 02 2024 04:02:57 PM
acl2-infix_8.5dfsg-6_amd64.deb
533KB
Jul 29 2024 12:20:21 PM
acl2-source_6.3-5_all.deb
3706KB
Oct 25 2013 12:36:22 AM
acl2-source_7.1-1_all.deb
2772KB
Jun 27 2015 09:48:41 PM
acl2-source_8.0dfsg-1_all.deb
3002KB
Jan 14 2018 11:08:13 AM
acl2-source_8.2dfsg-3build1_all.deb
3192KB
Mar 23 2020 09:24:10 PM
acl2-source_8.4dfsg-2_all.deb
3454KB
Dec 19 2021 09:10:00 AM
acl2-source_8.5dfsg-5build3_all.deb
3567KB
Apr 02 2024 04:02:57 PM
acl2-source_8.5dfsg-6_all.deb
3560KB
Jul 29 2024 12:20:21 PM
acl2_6.3-5.debian.tar.gz
158KB
Oct 21 2013 09:09:58 PM
acl2_6.3-5.dsc
2KB
Oct 21 2013 09:09:59 PM
acl2_6.3-5_amd64.deb
27225KB
Oct 25 2013 12:36:26 AM
acl2_6.3-5_i386.deb
23451KB
Oct 25 2013 12:36:43 AM
acl2_6.3.orig-books.tar.gz
13280KB
Oct 21 2013 09:09:59 PM
acl2_6.3.orig.tar.gz
6903KB
Oct 21 2013 09:09:59 PM
acl2_7.1-1.debian.tar.xz
126KB
Jun 02 2015 07:24:15 AM
acl2_7.1-1.dsc
2KB
Jun 02 2015 07:24:18 AM
acl2_7.1-1_amd64.deb
16872KB
Jun 27 2015 09:48:40 PM
acl2_7.1-1_i386.deb
16077KB
Jun 02 2015 10:43:17 AM
acl2_7.1.orig.tar.gz
61858KB
Jun 02 2015 07:24:18 AM
acl2_8.0dfsg-1.debian.tar.xz
200KB
Jan 14 2018 07:08:21 AM
acl2_8.0dfsg-1.dsc
2KB
Jan 14 2018 07:08:20 AM
acl2_8.0dfsg-1_amd64.deb
19243KB
Jan 14 2018 11:08:15 AM
acl2_8.0dfsg-1_i386.deb
16597KB
Jan 14 2018 12:49:27 PM
acl2_8.0dfsg.orig.tar.gz
75816KB
Jan 14 2018 07:08:21 AM
acl2_8.2dfsg-3build1.debian.tar.xz
201KB
Mar 23 2020 03:00:04 PM
acl2_8.2dfsg-3build1.dsc
2KB
Mar 23 2020 03:00:05 PM
acl2_8.2dfsg-3build1_amd64.deb
21419KB
Mar 23 2020 09:24:11 PM
acl2_8.2dfsg.orig.tar.gz
78762KB
Dec 20 2019 07:13:26 AM
acl2_8.4dfsg-2.debian.tar.xz
304KB
Nov 02 2021 07:24:22 AM
acl2_8.4dfsg-2.dsc
2KB
Nov 02 2021 07:24:20 AM
acl2_8.4dfsg-2_amd64.deb
25521KB
Dec 19 2021 09:10:20 AM
acl2_8.4dfsg.orig.tar.gz
198234KB
Oct 29 2021 07:18:50 AM
acl2_8.5dfsg-5build3.debian.tar.xz
306KB
Apr 01 2024 01:43:39 PM
acl2_8.5dfsg-5build3.dsc
2KB
Apr 01 2024 01:43:39 PM
acl2_8.5dfsg-5build3_amd64.deb
26225KB
Apr 02 2024 04:03:05 PM
acl2_8.5dfsg-6.debian.tar.xz
306KB
Jul 29 2024 07:59:18 AM
acl2_8.5dfsg-6.dsc
2KB
Jul 29 2024 07:59:17 AM
acl2_8.5dfsg-6_amd64.deb
25861KB
Jul 29 2024 12:20:27 PM
acl2_8.5dfsg.orig.tar.gz
218307KB
Jul 28 2022 07:33:59 AM
elpa-acl2_8.4dfsg-2_all.deb
69KB
Dec 19 2021 09:09:07 AM
elpa-acl2_8.5dfsg-5build3_all.deb
71KB
Apr 02 2024 04:02:57 PM
elpa-acl2_8.5dfsg-6_all.deb
71KB
Jul 29 2024 12:20:20 PM
單位聯絡：張維廷 Tel：26215656 分機 2628 更新日期：04/01/2025Copyright 2009 淡江大學
資訊處
建議最佳瀏覽器為IE6.0 以上版本，最佳視窗解析度為1024x768
.. - Mar 20 2025 03:40:35 AM
acl2-books-certs_6.3-5_all.deb 11368KB Oct 25 2013 12:36:23 AM
acl2_6.3-5.debian.tar.gz 158KB Oct 21 2013 09:09:58 PM