Index of /aarm/packages/a/agda/

NameLast ModifiedSizeType
../ -  Directory
agda-2.5.3-10-armv7h.pkg.tar.xz2018-Jan-25 20:24:048.6Mapplication/x-xz
agda-2.5.3-10-armv7h.pkg.tar.xz.sig2018-Jan-25 20:24:040.5Kapplication/pgp-signature
agda-2.5.3-11-armv7h.pkg.tar.xz2018-Feb-07 15:00:378.6Mapplication/x-xz
agda-2.5.3-11-armv7h.pkg.tar.xz.sig2018-Feb-07 15:00:370.5Kapplication/pgp-signature
agda-2.5.3-12-armv7h.pkg.tar.xz2018-Feb-10 22:32:448.6Mapplication/x-xz
agda-2.5.3-12-armv7h.pkg.tar.xz.sig2018-Feb-10 22:32:440.5Kapplication/pgp-signature
agda-2.5.3-14-armv7h.pkg.tar.xz2018-Feb-12 02:01:488.5Mapplication/x-xz
agda-2.5.3-14-armv7h.pkg.tar.xz.sig2018-Feb-12 02:01:480.5Kapplication/pgp-signature
agda-2.5.3-16-armv7h.pkg.tar.xz2018-Feb-18 00:25:458.5Mapplication/x-xz
agda-2.5.3-16-armv7h.pkg.tar.xz.sig2018-Feb-18 00:25:450.5Kapplication/pgp-signature
agda-2.5.3-17-armv7h.pkg.tar.xz2018-Feb-24 23:34:248.5Mapplication/x-xz
agda-2.5.3-17-armv7h.pkg.tar.xz.sig2018-Feb-24 23:34:250.5Kapplication/pgp-signature
agda-2.5.3-19-armv7h.pkg.tar.xz2018-Mar-01 13:31:178.5Mapplication/x-xz
agda-2.5.3-19-armv7h.pkg.tar.xz.sig2018-Mar-01 13:31:170.5Kapplication/pgp-signature
agda-2.5.3-2-armv7h.pkg.tar.xz2017-Sep-27 11:48:388.6Mapplication/x-xz
agda-2.5.3-2-armv7h.pkg.tar.xz.sig2017-Sep-27 11:48:380.5Kapplication/pgp-signature
agda-2.5.3-20-armv7h.pkg.tar.xz2018-Mar-06 20:24:368.6Mapplication/x-xz
agda-2.5.3-20-armv7h.pkg.tar.xz.sig2018-Mar-06 20:24:360.5Kapplication/pgp-signature
agda-2.5.3-21-armv7h.pkg.tar.xz2018-Mar-09 04:01:528.6Mapplication/x-xz
agda-2.5.3-21-armv7h.pkg.tar.xz.sig2018-Mar-09 04:01:520.5Kapplication/pgp-signature
agda-2.5.3-23-armv7h.pkg.tar.xz2018-Mar-10 20:56:448.6Mapplication/x-xz
agda-2.5.3-23-armv7h.pkg.tar.xz.sig2018-Mar-10 20:56:440.5Kapplication/pgp-signature
agda-2.5.3-25-armv7h.pkg.tar.xz2018-Mar-12 19:31:118.6Mapplication/x-xz
agda-2.5.3-25-armv7h.pkg.tar.xz.sig2018-Mar-12 19:31:110.5Kapplication/pgp-signature
agda-2.5.3-26-armv7h.pkg.tar.xz2018-Mar-13 20:08:478.6Mapplication/x-xz
agda-2.5.3-26-armv7h.pkg.tar.xz.sig2018-Mar-13 20:08:470.5Kapplication/pgp-signature
agda-2.5.3-27-armv7h.pkg.tar.xz2018-Mar-22 05:46:468.6Mapplication/x-xz
agda-2.5.3-27-armv7h.pkg.tar.xz.sig2018-Mar-22 05:46:460.5Kapplication/pgp-signature
agda-2.5.3-28-armv7h.pkg.tar.xz2018-Mar-23 19:18:028.6Mapplication/x-xz
agda-2.5.3-28-armv7h.pkg.tar.xz.sig2018-Mar-23 19:18:020.5Kapplication/pgp-signature
agda-2.5.3-29-armv7h.pkg.tar.xz2018-Apr-13 19:09:438.6Mapplication/x-xz
agda-2.5.3-29-armv7h.pkg.tar.xz.sig2018-Apr-13 19:09:430.5Kapplication/pgp-signature
agda-2.5.3-3-armv7h.pkg.tar.xz2017-Sep-29 01:17:308.6Mapplication/x-xz
agda-2.5.3-3-armv7h.pkg.tar.xz.sig2017-Sep-29 01:17:300.5Kapplication/pgp-signature
agda-2.5.3-4-armv7h.pkg.tar.xz2017-Oct-07 07:39:448.6Mapplication/x-xz
agda-2.5.3-4-armv7h.pkg.tar.xz.sig2017-Oct-07 07:39:440.5Kapplication/pgp-signature
agda-2.5.3-5-armv7h.pkg.tar.xz2017-Dec-03 04:39:578.6Mapplication/x-xz
agda-2.5.3-5-armv7h.pkg.tar.xz.sig2017-Dec-03 04:39:580.5Kapplication/pgp-signature
agda-2.5.3-6-armv7h.pkg.tar.xz2017-Dec-28 20:34:338.6Mapplication/x-xz
agda-2.5.3-6-armv7h.pkg.tar.xz.sig2017-Dec-28 20:34:330.5Kapplication/pgp-signature
agda-2.5.3-7-armv7h.pkg.tar.xz2017-Dec-30 23:34:518.6Mapplication/x-xz
agda-2.5.3-7-armv7h.pkg.tar.xz.sig2017-Dec-30 23:34:510.5Kapplication/pgp-signature
agda-2.5.3-8-armv7h.pkg.tar.xz2018-Jan-16 23:55:388.6Mapplication/x-xz
agda-2.5.3-8-armv7h.pkg.tar.xz.sig2018-Jan-16 23:55:380.5Kapplication/pgp-signature
agda-2.5.3-9-armv7h.pkg.tar.xz2018-Jan-24 00:05:598.6Mapplication/x-xz
agda-2.5.3-9-armv7h.pkg.tar.xz.sig2018-Jan-24 00:05:590.5Kapplication/pgp-signature
agda-2.5.3.20180519-4-armv7h.pkg.tar.xz2018-Jun-02 11:04:599.2Mapplication/x-xz
agda-2.5.3.20180519-4-armv7h.pkg.tar.xz.sig2018-Jun-02 11:04:590.5Kapplication/pgp-signature
agda-2.5.4-10-armv7h.pkg.tar.xz2018-Jul-29 22:14:299.2Mapplication/x-xz
agda-2.5.4-10-armv7h.pkg.tar.xz.sig2018-Jul-29 22:14:340.5Kapplication/pgp-signature
agda-2.5.4-11-armv7h.pkg.tar.xz2018-Sep-07 06:42:119.2Mapplication/x-xz
agda-2.5.4-11-armv7h.pkg.tar.xz.sig2018-Sep-07 06:42:150.5Kapplication/pgp-signature
agda-2.5.4-2-armv7h.pkg.tar.xz2018-Jun-04 12:51:569.2Mapplication/x-xz
agda-2.5.4-2-armv7h.pkg.tar.xz.sig2018-Jun-04 12:51:560.5Kapplication/pgp-signature
agda-2.5.4-3-armv7h.pkg.tar.xz2018-Jun-13 02:48:559.2Mapplication/x-xz
agda-2.5.4-3-armv7h.pkg.tar.xz.sig2018-Jun-13 02:48:550.5Kapplication/pgp-signature
agda-2.5.4-4-armv7h.pkg.tar.xz2018-Jun-15 08:49:529.2Mapplication/x-xz
agda-2.5.4-4-armv7h.pkg.tar.xz.sig2018-Jun-15 08:49:520.5Kapplication/pgp-signature
agda-2.5.4-6-armv7h.pkg.tar.xz2018-Jun-22 22:33:139.2Mapplication/x-xz
agda-2.5.4-6-armv7h.pkg.tar.xz.sig2018-Jun-22 22:33:130.5Kapplication/pgp-signature
agda-2.5.4-7-armv7h.pkg.tar.xz2018-Jun-25 20:12:419.2Mapplication/x-xz
agda-2.5.4-7-armv7h.pkg.tar.xz.sig2018-Jun-25 20:12:410.5Kapplication/pgp-signature
agda-2.5.4-8-armv7h.pkg.tar.xz2018-Jul-03 22:46:599.2Mapplication/x-xz
agda-2.5.4-8-armv7h.pkg.tar.xz.sig2018-Jul-03 22:46:590.5Kapplication/pgp-signature
agda-2.5.4-9-armv7h.pkg.tar.xz2018-Jul-11 12:23:509.2Mapplication/x-xz
agda-2.5.4-9-armv7h.pkg.tar.xz.sig2018-Jul-11 12:23:500.5Kapplication/pgp-signature
agda-2.5.99.20181017-2-armv7h.pkg.tar.xz2018-Oct-20 01:59:0310.2Mapplication/x-xz
agda-2.5.99.20181017-2-armv7h.pkg.tar.xz.sig2018-Oct-20 01:59:070.5Kapplication/pgp-signature
agda-2.5.99.20181017-4-armv7h.pkg.tar.xz2018-Nov-01 22:18:2610.2Mapplication/x-xz
agda-2.5.99.20181017-4-armv7h.pkg.tar.xz.sig2018-Nov-01 22:18:310.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