Index of /livecdroom/source/avlinux/main/a/agda-stdlib

[ICO]NameLast modifiedSizeDescription
[PARENTDIR]Parent Directory  -  
[ ]agda-stdlib_0.6-2.debian.tar.gz2017-11-19 15:16 4.1K 
[TXT]agda-stdlib_0.6-2.dsc2017-11-19 15:16 1.4K 
[ ]agda-stdlib_0.6.orig.tar.gz2017-11-19 15:16 211K 
[ ]agda-stdlib_0.8-2.debian.tar.xz2015-07-24 20:08 4.4K 
[TXT]agda-stdlib_0.8-2.dsc2015-07-24 20:08 2.0K 
[ ]agda-stdlib_0.8.orig.tar.gz2015-07-24 20:08 240K 
[ ]agda-stdlib_0.9-1.debian.tar.xz2015-07-24 20:08 4.5K 
[TXT]agda-stdlib_0.9-1.dsc2015-07-24 20:08 2.0K 
[ ]agda-stdlib_0.9.orig.tar.gz2015-07-24 20:08 243K 
[ ]agda-stdlib_0.12-2.debian.tar.xz2017-08-07 04:50 4.9K 
[TXT]agda-stdlib_0.12-2.dsc2017-08-07 04:50 2.1K 
[ ]agda-stdlib_0.12.orig.tar.gz2017-08-07 04:50 248K 
[ ]agda-stdlib_0.13-1.debian.tar.xz2017-08-07 04:50 4.9K 
[TXT]agda-stdlib_0.13-1.dsc2017-08-07 04:50 2.0K 
[ ]agda-stdlib_0.13.orig.tar.gz2017-08-07 04:50 258K 
[ ]agda-stdlib_0.17-1.debian.tar.xz2019-09-04 14:25 5.2K 
[TXT]agda-stdlib_0.17-1.dsc2019-09-04 14:25 2.2K 
[ ]agda-stdlib_0.17.orig.tar.gz2019-09-04 14:25 388K 
[ ]agda-stdlib_1.3-2.debian.tar.xz2021-09-22 13:04 5.5K 
[TXT]agda-stdlib_1.3-2.dsc2021-09-22 13:04 2.1K 
[ ]agda-stdlib_1.3.orig.tar.gz2021-09-22 13:04 734K 
[ ]agda-stdlib_1.7.1-1.debian.tar.xz2023-07-15 13:50 5.5K 
[TXT]agda-stdlib_1.7.1-1.dsc2023-07-15 13:50 2.1K 
[ ]agda-stdlib_1.7.1.orig.tar.gz2023-07-15 13:50 918K 
Apache/2.4.56 (Debian) Server at simosnet.com Port 80