淡江大學FTP伺服器
/檔案列表/Linux/Debian/debian/pool/main/a/acl2/
首頁
>
Linux
>
Debian
>
debian
>
pool
>
main
>
a
>
acl2
File
Size
Last Modified
..
-
May 29 2025 02:06:00 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.6+dfsg-2_all.deb
216426KB
Apr 28 2025 03:56:16 AM
acl2-books-certs_8.6+dfsg-3_all.deb
216730KB
May 15 2025 04:24:46 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.6+dfsg-2_all.deb
26858KB
Apr 28 2025 03:56:16 AM
acl2-books-source_8.6+dfsg-3_all.deb
26855KB
May 15 2025 04:24:46 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.6+dfsg-2_amd64.deb
425531KB
Apr 28 2025 03:40:58 AM
acl2-books_8.6+dfsg-2_arm64.deb
422385KB
Apr 28 2025 03:56:10 AM
acl2-books_8.6+dfsg-2_armel.deb
394889KB
Apr 28 2025 05:17:05 AM
acl2-books_8.6+dfsg-2_armhf.deb
404100KB
Apr 29 2025 01:17:54 AM
acl2-books_8.6+dfsg-2_i386.deb
352538KB
Apr 28 2025 03:25:16 AM
acl2-books_8.6+dfsg-2_ppc64el.deb
440091KB
Apr 28 2025 03:30:23 AM
acl2-books_8.6+dfsg-2_riscv64.deb
958497KB
May 02 2025 09:29:20 AM
acl2-books_8.6+dfsg-2_s390x.deb
426707KB
Apr 28 2025 11:56:37 AM
acl2-books_8.6+dfsg-3_amd64.deb
425558KB
May 15 2025 04:40:10 AM
acl2-books_8.6+dfsg-3_arm64.deb
422402KB
May 15 2025 09:47:48 PM
acl2-books_8.6+dfsg-3_armel.deb
395057KB
May 15 2025 07:03:05 AM
acl2-books_8.6+dfsg-3_armhf.deb
404129KB
May 15 2025 06:17:23 AM
acl2-books_8.6+dfsg-3_i386.deb
352605KB
May 15 2025 06:27:34 AM
acl2-books_8.6+dfsg-3_mips64el.deb
451253KB
May 16 2025 04:19:12 PM
acl2-books_8.6+dfsg-3_ppc64el.deb
440170KB
May 15 2025 04:09:39 AM
acl2-books_8.6+dfsg-3_riscv64.deb
959053KB
May 19 2025 11:00:19 AM
acl2-books_8.6+dfsg-3_s390x.deb
426541KB
May 15 2025 10:09:08 AM
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.6+dfsg-2_all.deb
513KB
Apr 28 2025 03:56:16 AM
acl2-doc_8.6+dfsg-3_all.deb
513KB
May 15 2025 04:24:46 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.6+dfsg-2_all.deb
71KB
Apr 28 2025 03:56:16 AM
acl2-infix-source_8.6+dfsg-3_all.deb
71KB
May 15 2025 04:24:46 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.6+dfsg-2_amd64.deb
866KB
Apr 28 2025 03:40:58 AM
acl2-infix_8.6+dfsg-2_arm64.deb
834KB
Apr 28 2025 03:56:10 AM
acl2-infix_8.6+dfsg-2_armel.deb
815KB
Apr 28 2025 05:17:05 AM
acl2-infix_8.6+dfsg-2_armhf.deb
846KB
Apr 29 2025 01:17:54 AM
acl2-infix_8.6+dfsg-2_i386.deb
852KB
Apr 28 2025 03:25:16 AM
acl2-infix_8.6+dfsg-2_ppc64el.deb
885KB
Apr 28 2025 03:30:23 AM
acl2-infix_8.6+dfsg-2_riscv64.deb
1876KB
May 02 2025 09:29:20 AM
acl2-infix_8.6+dfsg-2_s390x.deb
864KB
Apr 28 2025 11:56:37 AM
acl2-infix_8.6+dfsg-3_amd64.deb
865KB
May 15 2025 04:40:10 AM
acl2-infix_8.6+dfsg-3_arm64.deb
833KB
May 15 2025 09:47:48 PM
acl2-infix_8.6+dfsg-3_armel.deb
813KB
May 15 2025 07:03:05 AM
acl2-infix_8.6+dfsg-3_armhf.deb
846KB
May 15 2025 06:17:23 AM
acl2-infix_8.6+dfsg-3_i386.deb
853KB
May 15 2025 06:27:34 AM
acl2-infix_8.6+dfsg-3_mips64el.deb
875KB
May 16 2025 04:19:12 PM
acl2-infix_8.6+dfsg-3_ppc64el.deb
882KB
May 15 2025 04:09:39 AM
acl2-infix_8.6+dfsg-3_riscv64.deb
1894KB
May 19 2025 11:00:19 AM
acl2-infix_8.6+dfsg-3_s390x.deb
863KB
May 15 2025 10:09:08 AM
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.6+dfsg-2_all.deb
3903KB
Apr 28 2025 03:56:16 AM
acl2-source_8.6+dfsg-3_all.deb
3903KB
May 15 2025 04:24:46 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.orig.tar.gz
218307KB
Jul 27 2022 10:13:36 PM
acl2_8.6+dfsg-2.debian.tar.xz
435KB
Apr 27 2025 08:54:28 PM
acl2_8.6+dfsg-2.dsc
2KB
Apr 27 2025 08:54:28 PM
acl2_8.6+dfsg-2_amd64.deb
36036KB
Apr 28 2025 03:40:58 AM
acl2_8.6+dfsg-2_arm64.deb
35753KB
Apr 28 2025 03:56:10 AM
acl2_8.6+dfsg-2_armel.deb
37033KB
Apr 28 2025 05:17:05 AM
acl2_8.6+dfsg-2_armhf.deb
37445KB
Apr 29 2025 01:17:54 AM
acl2_8.6+dfsg-2_i386.deb
39728KB
Apr 28 2025 03:25:16 AM
acl2_8.6+dfsg-2_ppc64el.deb
36320KB
Apr 28 2025 03:30:23 AM
acl2_8.6+dfsg-2_riscv64.deb
36286KB
May 02 2025 09:29:21 AM
acl2_8.6+dfsg-2_s390x.deb
38917KB
Apr 28 2025 11:56:37 AM
acl2_8.6+dfsg-3.debian.tar.xz
695KB
May 14 2025 10:10:11 PM
acl2_8.6+dfsg-3.dsc
2KB
May 14 2025 10:10:11 PM
acl2_8.6+dfsg-3_amd64.deb
36295KB
May 15 2025 04:40:10 AM
acl2_8.6+dfsg-3_arm64.deb
37325KB
May 15 2025 09:47:48 PM
acl2_8.6+dfsg-3_armel.deb
36923KB
May 15 2025 07:03:05 AM
acl2_8.6+dfsg-3_armhf.deb
39118KB
May 15 2025 06:17:23 AM
acl2_8.6+dfsg-3_i386.deb
40124KB
May 15 2025 06:27:34 AM
acl2_8.6+dfsg-3_mips64el.deb
36518KB
May 16 2025 04:19:12 PM
acl2_8.6+dfsg-3_ppc64el.deb
36215KB
May 15 2025 04:09:39 AM
acl2_8.6+dfsg-3_riscv64.deb
36238KB
May 19 2025 11:00:19 AM
acl2_8.6+dfsg-3_s390x.deb
38790KB
May 15 2025 10:09:08 AM
acl2_8.6+dfsg.orig.tar.gz
234697KB
Apr 27 2025 05:21:59 AM
elpa-acl2_8.5dfsg-5_all.deb
69KB
Jan 16 2023 10:55:57 PM
elpa-acl2_8.6+dfsg-2_all.deb
76KB
Apr 28 2025 03:56:16 AM
elpa-acl2_8.6+dfsg-3_all.deb
77KB
May 15 2025 04:24:46 AM
單位聯絡：張維廷 Tel：26215656 分機 2628 更新日期：06/20/2025Copyright 2009 淡江大學
資訊處
建議最佳瀏覽器為IE6.0 以上版本，最佳視窗解析度為1024x768
.. - May 29 2025 02:06:00 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