 |
IsatisIDC |
![[ICO]](/.theme/icons/empty.svg){kind=icon} | Name | Last modified | Size |
|---|---|---|---|
![[PARENTDIR]](/.theme/icons/user-home.svg){kind=icon} | Parent Directory | - | |
| agda-stdlib-doc_1.3-2_all.deb | 2020-08-01 18:04 | 2.3M |
| agda-stdlib-doc_1.7.1-1_all.deb | 2022-08-06 23:16 | 2.9M |
| agda-stdlib-doc_2.1-4_all.deb | 2024-11-25 23:09 | 3.6M |
| agda-stdlib_1.3-2.debian.tar.xz | 2020-08-01 17:24 | 5.5K |
![[text]](/.theme/icons/text-plain.svg){kind=icon} | agda-stdlib_1.3-2.dsc | 2020-08-01 17:24 | 2.1K |
| agda-stdlib_1.3-2_all.deb | 2020-08-01 18:04 | 70M |
![[gzip]](/.theme/icons/application-x-archive.svg){kind=icon} | agda-stdlib_1.3.orig.tar.gz | 2020-07-31 16:20 | 734K |
| agda-stdlib_1.7.1-1.debian.tar.xz | 2022-08-06 21:40 | 5.5K |
| agda-stdlib_1.7.1-1.dsc | 2022-08-06 21:40 | 2.1K |
| agda-stdlib_1.7.1-1_all.deb | 2022-08-06 23:16 | 95M |
| agda-stdlib_1.7.1.orig.tar.gz | 2022-08-06 21:40 | 918K |
| agda-stdlib_2.1-4.debian.tar.xz | 2024-11-25 22:33 | 5.9K |
| agda-stdlib_2.1-4.dsc | 2024-11-25 22:33 | 2.2K |
| agda-stdlib_2.1-4_all.deb | 2024-11-25 23:09 | 137M |
| agda-stdlib_2.1.orig.tar.gz | 2024-10-19 01:04 | 1.2M |
HTTP : http://mirror1.isatisidc.ir
FTP : ftp://mirror1.isatisidc.ir
RSYNC : rsync://mirror1.isatisidc.ir