Index of /buildinfo-pool/a/agda-stdlib

[ICO]NameLast modifiedSizeDescription

[PARENTDIR]Parent Directory  -  
[   ]agda-stdlib_0.13-1_all.buildinfo2017-07-10 13:43 6.8K 
[   ]agda-stdlib_0.14-1_all.buildinfo2017-11-26 11:28 7.0K 
[   ]agda-stdlib_0.14-1_source.buildinfo2017-11-26 10:48 6.2K 
[   ]agda-stdlib_0.17-1_all.buildinfo2018-11-24 01:48 6.8K 
[   ]agda-stdlib_1.1-1_all.buildinfo2019-09-13 15:47 7.3K 
[   ]agda-stdlib_1.1-1_source.buildinfo2019-09-04 13:26 7.2K 
[   ]agda-stdlib_1.3-1_all.buildinfo2020-07-31 12:40 7.1K 
[   ]agda-stdlib_1.3-1_source.buildinfo2020-07-31 11:50 7.4K 
[   ]agda-stdlib_1.3-2_all.buildinfo2020-08-01 13:34 7.2K 
[   ]agda-stdlib_1.3-2_source.buildinfo2020-08-01 12:54 9.0K 
[   ]agda-stdlib_1.7.1-1_all-source.buildinfo2022-08-06 17:10 9.0K 
[   ]agda-stdlib_1.7.1-1_all.buildinfo2022-08-06 18:46 8.6K 
[   ]agda-stdlib_1.7.3-1_all-source.buildinfo2023-11-04 12:33 9.2K 
[   ]agda-stdlib_1.7.3-1_all.buildinfo2023-11-04 12:59 8.7K 

Apache/2.4.57 (Debian) Server at buildinfos.debian.net Port 443