Triple - Together we Inspire
News
About us
Contact
Careers
/raspbian/pool/main/a/agda-stdlib/
File Name
↓
File Size
↓
Date
↓
Parent directory/
-
-
agda-stdlib_1.3-2.dsc
2113
2020-Aug-01 12:54
agda-stdlib_1.7.1-1.dsc
2157
2022-Aug-06 17:10
agda-stdlib_1.7.3-1.dsc
2157
2023-Nov-04 12:33
agda-stdlib_0.17-1.dsc
2234
2018-Nov-24 01:07
agda-stdlib_0.17-1.debian.tar.xz
5312
2018-Nov-24 01:07
agda-stdlib_1.3-2.debian.tar.xz
5640
2020-Aug-01 12:54
agda-stdlib_1.7.1-1.debian.tar.xz
5664
2022-Aug-06 17:10
agda-stdlib_1.7.3-1.debian.tar.xz
5732
2023-Nov-04 12:33
agda-stdlib_0.17.orig.tar.gz
397328
2018-Nov-24 01:07
agda-stdlib_1.3.orig.tar.gz
751412
2020-Jul-31 11:50
agda-stdlib_1.7.1.orig.tar.gz
940131
2022-Aug-06 17:10
agda-stdlib_1.7.3.orig.tar.gz
942086
2023-Nov-04 12:33
agda-stdlib-doc_0.17-1_all.deb
1393968
2018-Nov-24 01:48
agda-stdlib-doc_1.3-2_all.deb
2460172
2020-Aug-01 13:34
agda-stdlib-doc_1.7.1-1_all.deb
3039368
2022-Aug-06 18:46
agda-stdlib-doc_1.7.3-1_all.deb
3040076
2023-Nov-04 12:59
agda-stdlib_0.17-1_all.deb
33021876
2018-Nov-24 01:48
agda-stdlib_1.3-2_all.deb
73237088
2020-Aug-01 13:34
agda-stdlib_1.7.1-1_all.deb
100043028
2022-Aug-06 18:46
agda-stdlib_1.7.3-1_all.deb
117845972
2023-Nov-04 12:59