淡江大學FTP伺服器
/檔案列表/Linux/Debian/debian/pool/main/a/acl2/
首頁
>
Linux
>
Debian
>
debian
>
pool
>
main
>
a
>
acl2
File
Size
Last Modified
..
-
Jun 05 2024 02:00:09 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-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_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+b1_amd64.deb
294257KB
Mar 27 2024 09:26:47 AM
acl2-books_8.5dfsg-5+b1_arm64.deb
296953KB
Mar 27 2024 07:49:30 AM
acl2-books_8.5dfsg-5+b1_armel.deb
276815KB
Mar 28 2024 05:25:38 AM
acl2-books_8.5dfsg-5+b1_armhf.deb
282431KB
Mar 27 2024 10:02:05 AM
acl2-books_8.5dfsg-5+b1_i386.deb
253513KB
Mar 27 2024 08:20:29 AM
acl2-books_8.5dfsg-5+b1_ppc64el.deb
298195KB
Mar 27 2024 07:39:13 AM
acl2-books_8.5dfsg-5+b1_s390x.deb
288226KB
Mar 27 2024 05:38:57 AM
acl2-books_8.5dfsg-5+b2_mips64el.deb
319146KB
Apr 01 2024 09:45:24 PM
acl2-books_8.5dfsg-5+b2_riscv64.deb
736954KB
Apr 05 2024 08:53:53 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-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-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_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+b1_amd64.deb
467KB
Mar 27 2024 09:26:47 AM
acl2-infix_8.5dfsg-5+b1_arm64.deb
466KB
Mar 27 2024 07:49:30 AM
acl2-infix_8.5dfsg-5+b1_armel.deb
460KB
Mar 28 2024 05:25:38 AM
acl2-infix_8.5dfsg-5+b1_armhf.deb
475KB
Mar 27 2024 10:02:05 AM
acl2-infix_8.5dfsg-5+b1_i386.deb
479KB
Mar 27 2024 08:20:29 AM
acl2-infix_8.5dfsg-5+b1_ppc64el.deb
489KB
Mar 27 2024 07:39:13 AM
acl2-infix_8.5dfsg-5+b1_s390x.deb
468KB
Mar 27 2024 05:38:57 AM
acl2-infix_8.5dfsg-5+b2_mips64el.deb
494KB
Apr 01 2024 09:45:24 PM
acl2-infix_8.5dfsg-5+b2_riscv64.deb
1023KB
Apr 05 2024 08:53:53 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-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_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+b1_amd64.deb
22872KB
Mar 27 2024 09:26:47 AM
acl2_8.5dfsg-5+b1_arm64.deb
21119KB
Mar 27 2024 07:49:30 AM
acl2_8.5dfsg-5+b1_armel.deb
18740KB
Mar 28 2024 05:25:38 AM
acl2_8.5dfsg-5+b1_armhf.deb
18744KB
Mar 27 2024 10:02:05 AM
acl2_8.5dfsg-5+b1_i386.deb
19940KB
Mar 27 2024 08:20:30 AM
acl2_8.5dfsg-5+b1_ppc64el.deb
22456KB
Mar 27 2024 07:39:13 AM
acl2_8.5dfsg-5+b1_s390x.deb
23014KB
Mar 27 2024 05:38:57 AM
acl2_8.5dfsg-5+b2_mips64el.deb
20206KB
Apr 01 2024 09:45:24 PM
acl2_8.5dfsg-5+b2_riscv64.deb
21579KB
Apr 05 2024 08:53:53 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
elpa-acl2_8.5dfsg-5_all.deb
69KB
Jan 16 2023 10:55:57 PM
單位聯絡：張維廷 Tel：26215656 分機 2628 更新日期：06/06/2024Copyright 2009 淡江大學
資訊處
建議最佳瀏覽器為IE6.0 以上版本，最佳視窗解析度為1024x768
.. - Jun 05 2024 02:00:09 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