Shiv Nadar University
mirror.snu.edu.in Open Source Software Mirror
Index of /
[ICO]NameLast modifiedSize
[PARENTDIR]Parent Directory  -
[ ]acl2-books-certs_6.3-5_all.deb2013-10-24 22:06 11M
[ ]acl2-books-certs_7.1-1_all.deb2015-06-27 19:18 13M
[ ]acl2-books-certs_8.0dfsg-1_all.deb2018-01-14 08:38 70M
[ ]acl2-books-certs_8.2dfsg-3build1_all.deb2020-03-23 18:54 66M
[ ]acl2-books-certs_8.4dfsg-2_all.deb2021-12-19 06:40 221M
[ ]acl2-books-certs_8.5dfsg-5build3_all.deb2024-04-02 13:33 216M
[ ]acl2-books-certs_8.5dfsg-6_all.deb2024-07-29 09:50 79M
[ ]acl2-books-certs_8.6+dfsg-3_all.deb2025-05-15 13:00 268M
[ ]acl2-books-certs_8.6+dfsg-3build1_all.deb2026-02-04 12:02 267M
[ ]acl2-books-certs_8.7+dfsg-2_all.deb2026-06-18 13:01 292M
[ ]acl2-books-source_6.3-5_all.deb2013-10-24 22:06 9.1M
[ ]acl2-books-source_7.1-1_all.deb2015-06-27 19:18 9.9M
[ ]acl2-books-source_8.0dfsg-1_all.deb2018-01-14 08:38 12M
[ ]acl2-books-source_8.2dfsg-3build1_all.deb2020-03-23 18:54 14M
[ ]acl2-books-source_8.4dfsg-2_all.deb2021-12-19 06:40 21M
[ ]acl2-books-source_8.5dfsg-5build3_all.deb2024-04-02 13:32 23M
[ ]acl2-books-source_8.5dfsg-6_all.deb2024-07-29 09:50 23M
[ ]acl2-books-source_8.6+dfsg-3_all.deb2025-05-15 13:00 26M
[ ]acl2-books-source_8.6+dfsg-3build1_all.deb2026-02-04 12:02 26M
[ ]acl2-books-source_8.7+dfsg-2_all.deb2026-06-18 13:01 28M
[ ]acl2-books_6.3-5_amd64.deb2013-10-24 22:06 40M
[ ]acl2-books_6.3-5_i386.deb2013-10-24 22:06 36M
[ ]acl2-books_7.1-1_amd64.deb2015-06-27 19:18 19M
[ ]acl2-books_7.1-1_i386.deb2015-06-02 08:13 18M
[ ]acl2-books_8.0dfsg-1_amd64.deb2018-01-14 08:38 132M
[ ]acl2-books_8.0dfsg-1_i386.deb2018-01-14 10:19 114M
[ ]acl2-books_8.2dfsg-3build1_amd64.deb2020-03-23 18:54 163M
[ ]acl2-books_8.4dfsg-2_amd64.deb2021-12-19 06:39 338M
[ ]acl2-books_8.5dfsg-5build3_amd64.deb2024-04-02 13:33 331M
[ ]acl2-books_8.5dfsg-6_amd64.deb2024-07-29 09:50 171M
[ ]acl2-books_8.6+dfsg-3_amd64.deb2025-05-15 13:00 469M
[ ]acl2-books_8.6+dfsg-3_arm64.deb2025-05-15 14:25 470M
[ ]acl2-books_8.6+dfsg-3build1_amd64.deb2026-02-04 12:02 467M
[ ]acl2-books_8.6+dfsg-3build1_amd64v3.deb2026-02-04 13:36 467M
[ ]acl2-books_8.6+dfsg-3build1_arm64.deb2026-02-04 13:36 465M
[ ]acl2-books_8.7+dfsg-2_amd64.deb2026-06-18 13:01 513M
[ ]acl2-books_8.7+dfsg-2_amd64v3.deb2026-06-18 13:02 514M
[ ]acl2-books_8.7+dfsg-2_arm64.deb2026-06-18 14:00 510M
[ ]acl2-doc_6.3-5_all.deb2013-10-24 22:06 12M
[ ]acl2-doc_7.1-1_all.deb2015-06-27 19:18 353K
[ ]acl2-doc_8.0dfsg-1_all.deb2018-01-14 08:38 385K
[ ]acl2-doc_8.2dfsg-3build1_all.deb2020-03-23 18:54 418K
[ ]acl2-doc_8.4dfsg-2_all.deb2021-12-19 06:39 441K
[ ]acl2-doc_8.5dfsg-5build3_all.deb2024-04-02 13:32 474K
[ ]acl2-doc_8.5dfsg-6_all.deb2024-07-29 09:50 474K
[ ]acl2-doc_8.6+dfsg-3_all.deb2025-05-15 13:00 516K
[ ]acl2-doc_8.6+dfsg-3build1_all.deb2026-02-04 12:02 516K
[ ]acl2-doc_8.7+dfsg-2_all.deb2026-06-18 13:01 537K
[ ]acl2-emacs_6.3-5_all.deb2013-10-24 22:06 55K
[ ]acl2-emacs_7.1-1_all.deb2015-06-27 19:18 55K
[ ]acl2-emacs_8.0dfsg-1_all.deb2018-01-14 08:38 59K
[ ]acl2-emacs_8.2dfsg-3build1_all.deb2020-03-23 18:54 59K
[ ]acl2-infix-source_6.3-5_all.deb2013-10-24 22:06 86K
[ ]acl2-infix-source_7.1-1_all.deb2015-06-27 19:18 70K
[ ]acl2-infix-source_8.0dfsg-1_all.deb2018-01-14 08:38 70K
[ ]acl2-infix-source_8.2dfsg-3build1_all.deb2020-03-23 18:54 70K
[ ]acl2-infix-source_8.4dfsg-2_all.deb2021-12-19 06:40 72K
[ ]acl2-infix-source_8.5dfsg-5build3_all.deb2024-04-02 13:32 72K
[ ]acl2-infix-source_8.5dfsg-6_all.deb2024-07-29 09:50 72K
[ ]acl2-infix-source_8.6+dfsg-3_all.deb2025-05-15 13:00 73K
[ ]acl2-infix-source_8.6+dfsg-3build1_all.deb2026-02-04 12:02 73K
[ ]acl2-infix-source_8.7+dfsg-2_all.deb2026-06-18 13:01 72K
[ ]acl2-infix_6.3-5_amd64.deb2013-10-24 22:06 200K
[ ]acl2-infix_6.3-5_i386.deb2013-10-24 22:06 189K
[ ]acl2-infix_7.1-1_amd64.deb2015-06-27 19:18 140K
[ ]acl2-infix_7.1-1_i386.deb2015-06-02 08:13 142K
[ ]acl2-infix_8.0dfsg-1_amd64.deb2018-01-14 08:38 414K
[ ]acl2-infix_8.0dfsg-1_i386.deb2018-01-14 10:19 381K
[ ]acl2-infix_8.2dfsg-3build1_amd64.deb2020-03-23 18:54 470K
[ ]acl2-infix_8.4dfsg-2_amd64.deb2021-12-19 06:39 551K
[ ]acl2-infix_8.5dfsg-5build3_amd64.deb2024-04-02 13:32 538K
[ ]acl2-infix_8.5dfsg-6_amd64.deb2024-07-29 09:50 533K
[ ]acl2-infix_8.6+dfsg-3_amd64.deb2025-05-15 13:00 1.0M
[ ]acl2-infix_8.6+dfsg-3_arm64.deb2025-05-15 14:25 969K
[ ]acl2-infix_8.6+dfsg-3build1_amd64.deb2026-02-04 12:02 1.0M
[ ]acl2-infix_8.6+dfsg-3build1_amd64v3.deb2026-02-04 13:36 1.0M
[ ]acl2-infix_8.6+dfsg-3build1_arm64.deb2026-02-04 13:36 959K
[ ]acl2-infix_8.7+dfsg-2_amd64.deb2026-06-18 13:01 1.0M
[ ]acl2-infix_8.7+dfsg-2_amd64v3.deb2026-06-18 13:02 1.0M
[ ]acl2-infix_8.7+dfsg-2_arm64.deb2026-06-18 14:00 1.0M
[ ]acl2-source_6.3-5_all.deb2013-10-24 22:06 3.6M
[ ]acl2-source_7.1-1_all.deb2015-06-27 19:18 2.7M
[ ]acl2-source_8.0dfsg-1_all.deb2018-01-14 08:38 2.9M
[ ]acl2-source_8.2dfsg-3build1_all.deb2020-03-23 18:54 3.1M
[ ]acl2-source_8.4dfsg-2_all.deb2021-12-19 06:40 3.4M
[ ]acl2-source_8.5dfsg-5build3_all.deb2024-04-02 13:32 3.5M
[ ]acl2-source_8.5dfsg-6_all.deb2024-07-29 09:50 3.5M
[ ]acl2-source_8.6+dfsg-3_all.deb2025-05-15 13:00 3.9M
[ ]acl2-source_8.6+dfsg-3build1_all.deb2026-02-04 12:02 3.9M
[ ]acl2-source_8.7+dfsg-2_all.deb2026-06-18 13:01 3.9M
[ ]acl2_6.3-5.debian.tar.gz2013-10-21 18:39 158K
[TXT]acl2_6.3-5.dsc2013-10-21 18:39 1.7K
[ ]acl2_6.3-5_amd64.deb2013-10-24 22:06 27M
[ ]acl2_6.3-5_i386.deb2013-10-24 22:06 23M
[ ]acl2_6.3.orig-books.tar.gz2013-10-21 18:39 13M
[ ]acl2_6.3.orig.tar.gz2013-10-21 18:39 6.7M
[ ]acl2_7.1-1.debian.tar.xz2015-06-02 04:54 126K
[TXT]acl2_7.1-1.dsc2015-06-02 04:54 2.2K
[ ]acl2_7.1-1_amd64.deb2015-06-27 19:18 16M
[ ]acl2_7.1-1_i386.deb2015-06-02 08:13 16M
[ ]acl2_7.1.orig.tar.gz2015-06-02 04:54 60M
[ ]acl2_8.0dfsg-1.debian.tar.xz2018-01-14 04:38 200K
[TXT]acl2_8.0dfsg-1.dsc2018-01-14 04:38 2.2K
[ ]acl2_8.0dfsg-1_amd64.deb2018-01-14 08:38 19M
[ ]acl2_8.0dfsg-1_i386.deb2018-01-14 10:19 16M
[ ]acl2_8.0dfsg.orig.tar.gz2018-01-14 04:38 74M
[ ]acl2_8.2dfsg-3build1.debian.tar.xz2020-03-23 12:30 201K
[TXT]acl2_8.2dfsg-3build1.dsc2020-03-23 12:30 2.2K
[ ]acl2_8.2dfsg-3build1_amd64.deb2020-03-23 18:54 21M
[ ]acl2_8.2dfsg.orig.tar.gz2019-12-20 04:43 77M
[ ]acl2_8.4dfsg-2.debian.tar.xz2021-11-02 04:54 304K
[TXT]acl2_8.4dfsg-2.dsc2021-11-02 04:54 2.2K
[ ]acl2_8.4dfsg-2_amd64.deb2021-12-19 06:40 25M
[ ]acl2_8.4dfsg.orig.tar.gz2021-10-29 04:48 194M
[ ]acl2_8.5dfsg-5build3.debian.tar.xz2024-04-01 11:13 306K
[TXT]acl2_8.5dfsg-5build3.dsc2024-04-01 11:13 2.3K
[ ]acl2_8.5dfsg-5build3_amd64.deb2024-04-02 13:33 26M
[ ]acl2_8.5dfsg-6.debian.tar.xz2024-07-29 05:29 306K
[TXT]acl2_8.5dfsg-6.dsc2024-07-29 05:29 2.2K
[ ]acl2_8.5dfsg-6_amd64.deb2024-07-29 09:50 25M
[ ]acl2_8.5dfsg.orig.tar.gz2022-07-28 05:03 213M
[ ]acl2_8.6+dfsg-3.debian.tar.xz2025-05-15 06:06 695K
[TXT]acl2_8.6+dfsg-3.dsc2025-05-15 06:05 2.2K
[ ]acl2_8.6+dfsg-3_amd64.deb2025-05-15 13:00 45M
[ ]acl2_8.6+dfsg-3_arm64.deb2025-05-15 14:25 45M
[ ]acl2_8.6+dfsg-3build1.debian.tar.xz2026-02-04 04:13 694K
[TXT]acl2_8.6+dfsg-3build1.dsc2026-02-04 04:13 2.3K
[ ]acl2_8.6+dfsg-3build1_amd64.deb2026-02-04 12:02 47M
[ ]acl2_8.6+dfsg-3build1_amd64v3.deb2026-02-04 13:36 46M
[ ]acl2_8.6+dfsg-3build1_arm64.deb2026-02-04 13:36 46M
[ ]acl2_8.6+dfsg.orig.tar.gz2025-05-01 21:55 229M
[ ]acl2_8.7+dfsg-2.debian.tar.xz2026-06-18 04:59 881K
[TXT]acl2_8.7+dfsg-2.dsc2026-06-18 04:59 2.2K
[ ]acl2_8.7+dfsg-2_amd64.deb2026-06-18 13:01 46M
[ ]acl2_8.7+dfsg-2_amd64v3.deb2026-06-18 13:02 46M
[ ]acl2_8.7+dfsg-2_arm64.deb2026-06-18 14:00 47M
[ ]acl2_8.7+dfsg.orig.tar.gz2026-06-17 23:04 238M
[ ]elpa-acl2_8.4dfsg-2_all.deb2021-12-19 06:39 69K
[ ]elpa-acl2_8.5dfsg-5build3_all.deb2024-04-02 13:32 71K
[ ]elpa-acl2_8.5dfsg-6_all.deb2024-07-29 09:50 71K
[ ]elpa-acl2_8.6+dfsg-3_all.deb2025-05-15 13:00 79K
[ ]elpa-acl2_8.6+dfsg-3build1_all.deb2026-02-04 12:02 79K
[ ]elpa-acl2_8.7+dfsg-2_all.deb2026-06-18 13:01 78K