Soroti University Logo

Local Ubuntu Archive Mirror

File Name  ↓ File Size  ↓ Date  ↓ 
Parent directory/--
acl2_8.5dfsg.orig.tar.gz213.2 MiB2022-Jul-28 02:33
acl2_8.5dfsg-5build3.dsc2.3 KiB2024-Apr-01 08:43
acl2_8.5dfsg-5build3.debian.tar.xz305.7 KiB2024-Apr-01 08:43
acl2-infix_8.5dfsg-5build3_amd64.deb538.1 KiB2024-Apr-02 11:02
acl2-infix-source_8.5dfsg-5build3_all.deb72.4 KiB2024-Apr-02 11:02
acl2-doc_8.5dfsg-5build3_all.deb473.9 KiB2024-Apr-02 11:02
elpa-acl2_8.5dfsg-5build3_all.deb70.7 KiB2024-Apr-02 11:02
acl2-source_8.5dfsg-5build3_all.deb3.5 MiB2024-Apr-02 11:02
acl2-books-source_8.5dfsg-5build3_all.deb22.7 MiB2024-Apr-02 11:02
acl2-books-certs_8.5dfsg-5build3_all.deb215.8 MiB2024-Apr-02 11:03
acl2-books_8.5dfsg-5build3_amd64.deb330.5 MiB2024-Apr-02 11:03
acl2_8.5dfsg-5build3_amd64.deb25.6 MiB2024-Apr-02 11:03

Hosted locally by Soroti University at repo.sun.ac.ug

Synchronized Daily • Powered by Directorate of ICT