Index of /aarm/packages/a/agda-stdlib/

NameLast ModifiedSizeType
../ -  Directory
agda-stdlib-0.14-1-armv7h.pkg.tar.xz2017-Oct-15 16:28:1117.8Mapplication/x-xz
agda-stdlib-0.14-1-armv7h.pkg.tar.xz.sig2017-Oct-15 16:28:120.5Kapplication/pgp-signature
agda-stdlib-0.15-1-armv7h.pkg.tar.xz2018-Mar-19 01:10:5519.6Mapplication/x-xz
agda-stdlib-0.15-1-armv7h.pkg.tar.xz.sig2018-Mar-19 01:10:550.5Kapplication/pgp-signature
A TARDIS (Time And Relative Dimension In Space) is a spaceship invented by the Time Lords that can travel through space and time
Have questions? Email to ba04763b19@tiny-vps.com