淡江大學FTP伺服器
/檔案列表/Linux/Debian/debian/pool/main/a/acl2/
首頁
>
Linux
>
Debian
>
debian
>
pool
>
main
>
a
>
acl2
File
Size
Last Modified
..
-
Apr 01 2025 03:00:10 AM
acl2-books-certs_8.0dfsg-1_all.deb
71589KB
Jan 13 2018 09:52:57 PM
acl2-books-certs_8.3dfsg-2_all.deb
141981KB
Jan 28 2021 10:25:23 AM
acl2-books-certs_8.5dfsg-5_all.deb
174194KB
Jan 16 2023 10:55:57 PM
acl2-books-certs_8.5dfsg-6_all.deb
65700KB
Jul 29 2024 07:44:16 AM
acl2-books-source_8.0dfsg-1_all.deb
12181KB
Jan 13 2018 09:52:57 PM
acl2-books-source_8.3dfsg-2_all.deb
19081KB
Jan 28 2021 10:25:23 AM
acl2-books-source_8.5dfsg-5_all.deb
24084KB
Jan 16 2023 10:55:57 PM
acl2-books-source_8.5dfsg-6_all.deb
24082KB
Jul 29 2024 07:44:17 AM
acl2-books_8.0dfsg-1_amd64.deb
134713KB
Jan 13 2018 09:52:59 PM
acl2-books_8.0dfsg-1_arm64.deb
138037KB
Jan 14 2018 10:47:41 AM
acl2-books_8.0dfsg-1_armhf.deb
122433KB
Jan 15 2018 04:46:11 PM
acl2-books_8.0dfsg-1_i386.deb
113279KB
Jan 14 2018 05:26:14 AM
acl2-books_8.3dfsg-2_amd64.deb
246952KB
Jan 28 2021 05:57:13 AM
acl2-books_8.3dfsg-2_arm64.deb
241662KB
Jan 28 2021 11:43:01 PM
acl2-books_8.3dfsg-2_armel.deb
223610KB
Jan 28 2021 03:13:11 PM
acl2-books_8.3dfsg-2_armhf.deb
228297KB
Jan 28 2021 02:42:54 PM
acl2-books_8.3dfsg-2_i386.deb
208837KB
Jan 28 2021 06:22:26 AM
acl2-books_8.3dfsg-2_mips64el.deb
259687KB
Jan 31 2021 03:12:15 AM
acl2-books_8.3dfsg-2_mipsel.deb
233385KB
Jan 29 2021 05:42:16 PM
acl2-books_8.3dfsg-2_ppc64el.deb
250628KB
Jan 28 2021 07:44:10 AM
acl2-books_8.3dfsg-2_s390x.deb
224248KB
Jan 28 2021 10:35:29 AM
acl2-books_8.5dfsg-5_amd64.deb
293849KB
Jan 17 2023 04:15:10 AM
acl2-books_8.5dfsg-5_arm64.deb
296358KB
Jan 18 2023 05:13:23 AM
acl2-books_8.5dfsg-5_armel.deb
274222KB
Jan 18 2023 03:26:45 AM
acl2-books_8.5dfsg-5_armhf.deb
278226KB
Jan 17 2023 07:32:25 PM
acl2-books_8.5dfsg-5_i386.deb
253523KB
Jan 16 2023 11:16:26 PM
acl2-books_8.5dfsg-5_mips64el.deb
316892KB
Jan 23 2023 08:58:23 PM
acl2-books_8.5dfsg-5_mipsel.deb
291381KB
Jan 22 2023 08:30:47 AM
acl2-books_8.5dfsg-5_ppc64el.deb
298499KB
Jan 19 2023 04:10:39 AM
acl2-books_8.5dfsg-5_s390x.deb
273789KB
Jan 16 2023 10:30:31 PM
acl2-books_8.5dfsg-6_amd64.deb
154633KB
Jul 29 2024 07:18:52 AM
acl2-books_8.5dfsg-6_arm64.deb
152335KB
Jul 29 2024 07:18:49 AM
acl2-books_8.5dfsg-6_armel.deb
145612KB
Jul 29 2024 08:25:21 AM
acl2-books_8.5dfsg-6_armhf.deb
147629KB
Jul 29 2024 03:35:56 PM
acl2-books_8.5dfsg-6_i386.deb
136062KB
Jul 29 2024 07:49:19 AM
acl2-books_8.5dfsg-6_mips64el.deb
167577KB
Aug 01 2024 08:54:47 PM
acl2-books_8.5dfsg-6_ppc64el.deb
160547KB
Jul 29 2024 06:17:49 AM
acl2-books_8.5dfsg-6_riscv64.deb
378627KB
Jul 31 2024 09:49:26 PM
acl2-books_8.5dfsg-6_s390x.deb
151466KB
Jul 31 2024 09:28:39 PM
acl2-doc_8.0dfsg-1_all.deb
392KB
Jan 13 2018 09:52:59 PM
acl2-doc_8.3dfsg-2_all.deb
437KB
Jan 28 2021 10:25:23 AM
acl2-doc_8.5dfsg-5_all.deb
470KB
Jan 16 2023 10:55:57 PM
acl2-doc_8.5dfsg-6_all.deb
470KB
Jul 29 2024 07:44:17 AM
acl2-emacs_8.0dfsg-1_all.deb
66KB
Jan 13 2018 09:52:59 PM
acl2-emacs_8.3dfsg-2_all.deb
68KB
Jan 28 2021 10:25:23 AM
acl2-infix-source_8.0dfsg-1_all.deb
77KB
Jan 13 2018 09:52:59 PM
acl2-infix-source_8.3dfsg-2_all.deb
78KB
Jan 28 2021 10:25:23 AM
acl2-infix-source_8.5dfsg-5_all.deb
71KB
Jan 16 2023 10:55:57 PM
acl2-infix-source_8.5dfsg-6_all.deb
71KB
Jul 29 2024 07:44:17 AM
acl2-infix_8.0dfsg-1_amd64.deb
422KB
Jan 13 2018 09:52:59 PM
acl2-infix_8.0dfsg-1_arm64.deb
432KB
Jan 14 2018 10:47:41 AM
acl2-infix_8.0dfsg-1_armhf.deb
407KB
Jan 15 2018 04:46:11 PM
acl2-infix_8.0dfsg-1_i386.deb
390KB
Jan 14 2018 05:26:14 AM
acl2-infix_8.3dfsg-2_amd64.deb
479KB
Jan 28 2021 05:57:13 AM
acl2-infix_8.3dfsg-2_arm64.deb
469KB
Jan 28 2021 11:43:01 PM
acl2-infix_8.3dfsg-2_armel.deb
463KB
Jan 28 2021 03:13:11 PM
acl2-infix_8.3dfsg-2_armhf.deb
478KB
Jan 28 2021 02:42:54 PM
acl2-infix_8.3dfsg-2_i386.deb
485KB
Jan 28 2021 06:22:26 AM
acl2-infix_8.3dfsg-2_mips64el.deb
503KB
Jan 31 2021 03:12:15 AM
acl2-infix_8.3dfsg-2_mipsel.deb
509KB
Jan 29 2021 05:42:16 PM
acl2-infix_8.3dfsg-2_ppc64el.deb
498KB
Jan 28 2021 07:44:10 AM
acl2-infix_8.3dfsg-2_s390x.deb
435KB
Jan 28 2021 10:35:29 AM
acl2-infix_8.5dfsg-5_amd64.deb
464KB
Jan 17 2023 04:15:10 AM
acl2-infix_8.5dfsg-5_arm64.deb
461KB
Jan 18 2023 05:13:23 AM
acl2-infix_8.5dfsg-5_armel.deb
459KB
Jan 18 2023 03:26:45 AM
acl2-infix_8.5dfsg-5_armhf.deb
472KB
Jan 17 2023 07:32:25 PM
acl2-infix_8.5dfsg-5_i386.deb
477KB
Jan 16 2023 11:16:26 PM
acl2-infix_8.5dfsg-5_mips64el.deb
491KB
Jan 23 2023 08:58:24 PM
acl2-infix_8.5dfsg-5_mipsel.deb
503KB
Jan 22 2023 08:30:47 AM
acl2-infix_8.5dfsg-5_ppc64el.deb
483KB
Jan 19 2023 04:10:39 AM
acl2-infix_8.5dfsg-5_s390x.deb
432KB
Jan 16 2023 10:30:31 PM
acl2-infix_8.5dfsg-6_amd64.deb
465KB
Jul 29 2024 07:18:52 AM
acl2-infix_8.5dfsg-6_arm64.deb
455KB
Jul 29 2024 07:18:49 AM
acl2-infix_8.5dfsg-6_armel.deb
459KB
Jul 29 2024 08:25:21 AM
acl2-infix_8.5dfsg-6_armhf.deb
475KB
Jul 29 2024 03:35:56 PM
acl2-infix_8.5dfsg-6_i386.deb
475KB
Jul 29 2024 07:49:19 AM
acl2-infix_8.5dfsg-6_mips64el.deb
491KB
Aug 01 2024 08:54:47 PM
acl2-infix_8.5dfsg-6_ppc64el.deb
485KB
Jul 29 2024 06:17:49 AM
acl2-infix_8.5dfsg-6_riscv64.deb
1009KB
Jul 31 2024 09:49:26 PM
acl2-infix_8.5dfsg-6_s390x.deb
464KB
Jul 31 2024 09:28:39 PM
acl2-source_8.0dfsg-1_all.deb
3009KB
Jan 13 2018 09:52:59 PM
acl2-source_8.3dfsg-2_all.deb
3262KB
Jan 28 2021 10:25:23 AM
acl2-source_8.5dfsg-5_all.deb
3504KB
Jan 16 2023 10:55:57 PM
acl2-source_8.5dfsg-6_all.deb
3504KB
Jul 29 2024 07:44:17 AM
acl2_8.0dfsg-1.debian.tar.xz
200KB
Jan 13 2018 09:52:57 PM
acl2_8.0dfsg-1.dsc
2KB
Jan 13 2018 09:52:56 PM
acl2_8.0dfsg-1_amd64.deb
19391KB
Jan 13 2018 09:52:59 PM
acl2_8.0dfsg-1_arm64.deb
17443KB
Jan 14 2018 10:47:42 AM
acl2_8.0dfsg-1_armhf.deb
15797KB
Jan 15 2018 04:46:12 PM
acl2_8.0dfsg-1_i386.deb
16596KB
Jan 14 2018 05:26:14 AM
acl2_8.0dfsg.orig.tar.gz
75816KB
Jan 13 2018 09:52:57 PM
acl2_8.3dfsg-2.debian.tar.xz
223KB
Jan 27 2021 10:34:22 PM
acl2_8.3dfsg-2.dsc
2KB
Jan 27 2021 10:34:22 PM
acl2_8.3dfsg-2_amd64.deb
20978KB
Jan 28 2021 05:57:13 AM
acl2_8.3dfsg-2_arm64.deb
19426KB
Jan 28 2021 11:43:01 PM
acl2_8.3dfsg-2_armel.deb
17990KB
Jan 28 2021 03:13:11 PM
acl2_8.3dfsg-2_armhf.deb
18141KB
Jan 28 2021 02:42:54 PM
acl2_8.3dfsg-2_i386.deb
19030KB
Jan 28 2021 06:22:27 AM
acl2_8.3dfsg-2_mips64el.deb
18812KB
Jan 31 2021 03:12:16 AM
acl2_8.3dfsg-2_mipsel.deb
19254KB
Jan 29 2021 05:42:16 PM
acl2_8.3dfsg-2_ppc64el.deb
22080KB
Jan 28 2021 07:44:10 AM
acl2_8.3dfsg-2_s390x.deb
20185KB
Jan 28 2021 10:35:29 AM
acl2_8.3dfsg.orig.tar.gz
114513KB
Aug 24 2020 10:39:38 AM
acl2_8.5dfsg-5.debian.tar.xz
306KB
Jan 16 2023 10:00:06 AM
acl2_8.5dfsg-5.dsc
2KB
Jan 16 2023 10:00:06 AM
acl2_8.5dfsg-5_amd64.deb
22860KB
Jan 17 2023 04:15:10 AM
acl2_8.5dfsg-5_arm64.deb
21083KB
Jan 18 2023 05:13:23 AM
acl2_8.5dfsg-5_armel.deb
18618KB
Jan 18 2023 03:26:45 AM
acl2_8.5dfsg-5_armhf.deb
19126KB
Jan 17 2023 07:32:25 PM
acl2_8.5dfsg-5_i386.deb
19900KB
Jan 16 2023 11:16:26 PM
acl2_8.5dfsg-5_mips64el.deb
20120KB
Jan 23 2023 08:58:24 PM
acl2_8.5dfsg-5_mipsel.deb
19357KB
Jan 22 2023 08:30:47 AM
acl2_8.5dfsg-5_ppc64el.deb
22597KB
Jan 19 2023 04:10:40 AM
acl2_8.5dfsg-5_s390x.deb
21486KB
Jan 16 2023 10:30:31 PM
acl2_8.5dfsg-6.debian.tar.xz
306KB
Jul 29 2024 12:31:09 AM
acl2_8.5dfsg-6.dsc
2KB
Jul 29 2024 12:31:09 AM
acl2_8.5dfsg-6_amd64.deb
22584KB
Jul 29 2024 07:18:52 AM
acl2_8.5dfsg-6_arm64.deb
20678KB
Jul 29 2024 07:18:49 AM
acl2_8.5dfsg-6_armel.deb
18508KB
Jul 29 2024 08:25:21 AM
acl2_8.5dfsg-6_armhf.deb
18862KB
Jul 29 2024 03:35:56 PM
acl2_8.5dfsg-6_i386.deb
19629KB
Jul 29 2024 07:49:19 AM
acl2_8.5dfsg-6_mips64el.deb
20469KB
Aug 01 2024 08:54:47 PM
acl2_8.5dfsg-6_ppc64el.deb
22191KB
Jul 29 2024 06:17:49 AM
acl2_8.5dfsg-6_riscv64.deb
21653KB
Jul 31 2024 09:49:26 PM
acl2_8.5dfsg-6_s390x.deb
22465KB
Jul 31 2024 09:28:39 PM
acl2_8.5dfsg.orig.tar.gz
218307KB
Jul 27 2022 10:13:36 PM
elpa-acl2_8.5dfsg-5_all.deb
69KB
Jan 16 2023 10:55:57 PM
elpa-acl2_8.5dfsg-6_all.deb
69KB
Jul 29 2024 07:44:17 AM
單位聯絡：張維廷 Tel：26215656 分機 2628 更新日期：04/03/2025Copyright 2009 淡江大學
資訊處
建議最佳瀏覽器為IE6.0 以上版本，最佳視窗解析度為1024x768
.. - Apr 01 2025 03:00:10 AM
acl2-books-certs_8.0dfsg-1_all.deb 71589KB Jan 13 2018 09:52:57 PM
acl2_8.0dfsg.orig.tar.gz 75816KB Jan 13 2018 09:52:57 PM