Index of /livecdroom/source/lxubuntu/universe/a/agda-stdlib

[ICO]NameLast modifiedSizeDescription
[PARENTDIR]Parent Directory  -  
[ ]agda-stdlib_0.3-1ubuntu2.diff.gz2012-01-27 08:16 3.6K 
[TXT]agda-stdlib_0.3-1ubuntu2.dsc2012-01-27 08:16 1.3K 
[ ]agda-stdlib_0.3-3fakesync.diff.gz2012-01-27 08:16 3.7K 
[TXT]agda-stdlib_0.3-3fakesync.dsc2012-01-27 08:16 1.3K 
[ ]agda-stdlib_0.3.orig.tar.gz2012-01-27 08:16 150K 
[ ]agda-stdlib_0.5-1.diff.gz2012-01-27 08:16 3.6K 
[TXT]agda-stdlib_0.5-1.dsc2012-01-27 08:16 1.9K 
[ ]agda-stdlib_0.5-1~ubuntu1.diff.gz2012-01-27 08:16 3.7K 
[TXT]agda-stdlib_0.5-1~ubuntu1.dsc2012-01-27 08:16 1.9K 
[ ]agda-stdlib_0.5.orig.tar.gz2012-01-27 08:16 193K 
[ ]agda-stdlib_0.6-1.debian.tar.gz2012-01-27 08:16 4.0K 
[TXT]agda-stdlib_0.6-1.dsc2012-01-27 08:16 2.0K 
[ ]agda-stdlib_0.6-2.debian.tar.gz2013-05-18 15:56 4.1K 
[TXT]agda-stdlib_0.6-2.dsc2013-05-18 15:56 1.4K 
[ ]agda-stdlib_0.6.orig.tar.gz2012-01-27 08:16 211K 
[ ]agda-stdlib_0.7-1.debian.tar.gz2013-05-18 15:56 4.3K 
[TXT]agda-stdlib_0.7-1.dsc2013-05-18 15:56 2.0K 
[ ]agda-stdlib_0.7-2.debian.tar.gz2015-07-21 10:33 4.4K 
[TXT]agda-stdlib_0.7-2.dsc2017-08-05 19:28 2.0K 
[ ]agda-stdlib_0.7.orig.tar.gz2013-05-18 15:56 221K 
[ ]agda-stdlib_0.8-2.debian.tar.xz2015-07-21 10:33 4.4K 
[TXT]agda-stdlib_0.8-2.dsc2017-08-05 19:28 2.0K 
[ ]agda-stdlib_0.8.orig.tar.gz2015-07-21 10:33 240K 
[ ]agda-stdlib_0.9-1.debian.tar.xz2015-07-21 10:33 4.5K 
[TXT]agda-stdlib_0.9-1.dsc2017-08-05 19:28 2.0K 
[ ]agda-stdlib_0.9.orig.tar.gz2015-07-21 10:33 243K 
[ ]agda-stdlib_0.11-1.debian.tar.xz2017-08-05 19:28 4.5K 
[TXT]agda-stdlib_0.11-1.dsc2017-08-05 19:28 2.1K 
[ ]agda-stdlib_0.11.orig.tar.gz2017-08-05 19:28 247K 
[ ]agda-stdlib_0.12-2build1.debian.tar.xz2017-08-05 19:28 4.9K 
[TXT]agda-stdlib_0.12-2build1.dsc2017-08-05 19:28 2.1K 
[ ]agda-stdlib_0.12-2build2.debian.tar.xz2017-08-05 19:28 4.9K 
[TXT]agda-stdlib_0.12-2build2.dsc2017-08-05 19:28 2.1K 
[ ]agda-stdlib_0.12.orig.tar.gz2017-08-05 19:28 248K 
[ ]agda-stdlib_0.13-1.debian.tar.xz2017-08-05 19:28 4.9K 
[TXT]agda-stdlib_0.13-1.dsc2017-08-05 19:28 2.0K 
[ ]agda-stdlib_0.13.orig.tar.gz2017-08-05 19:28 258K 
[ ]agda-stdlib_0.14-1.debian.tar.xz2018-05-30 14:42 5.1K 
[TXT]agda-stdlib_0.14-1.dsc2018-05-30 14:42 2.1K 
[ ]agda-stdlib_0.14.orig.tar.gz2018-05-30 14:42 279K 
[ ]agda-stdlib_1.1-1.debian.tar.xz2020-05-27 09:06 5.4K 
[TXT]agda-stdlib_1.1-1.dsc2020-05-27 09:06 2.1K 
[ ]agda-stdlib_1.1.orig.tar.gz2020-05-27 09:06 557K 
[ ]agda-stdlib_1.3-2.debian.tar.xz2022-05-10 01:01 5.5K 
[TXT]agda-stdlib_1.3-2.dsc2022-05-10 01:01 2.1K 
[ ]agda-stdlib_1.3.orig.tar.gz2022-05-10 01:01 734K 
[ ]agda-stdlib_1.7.1-1.debian.tar.xz2024-05-15 23:46 5.5K 
[TXT]agda-stdlib_1.7.1-1.dsc2024-05-15 23:46 2.1K 
[ ]agda-stdlib_1.7.1.orig.tar.gz2024-05-15 23:46 918K 
[ ]agda-stdlib_1.7.3-1.debian.tar.xz2024-05-15 23:46 5.6K 
[TXT]agda-stdlib_1.7.3-1.dsc2024-05-15 23:46 2.1K 
[ ]agda-stdlib_1.7.3.orig.tar.gz2024-05-15 23:46 920K 
Apache/2.4.56 (Debian) Server at simosnet.com Port 80