Index of /aarm/packages/i/idris/

NameLast ModifiedSizeType
../ -  Directory
idris-1.2.0-34-armv7h.pkg.tar.xz2018-Mar-01 12:09:058.1Mapplication/x-xz
idris-1.2.0-34-armv7h.pkg.tar.xz.sig2018-Mar-01 12:09:050.5Kapplication/pgp-signature
idris-1.2.0-36-armv7h.pkg.tar.xz2018-Mar-02 14:58:008.1Mapplication/x-xz
idris-1.2.0-36-armv7h.pkg.tar.xz.sig2018-Mar-02 14:58:000.5Kapplication/pgp-signature
idris-1.2.0-38-armv7h.pkg.tar.xz2018-Mar-04 00:20:468.1Mapplication/x-xz
idris-1.2.0-38-armv7h.pkg.tar.xz.sig2018-Mar-04 00:20:460.5Kapplication/pgp-signature
idris-1.2.0-39-armv7h.pkg.tar.xz2018-Mar-05 11:05:048.1Mapplication/x-xz
idris-1.2.0-39-armv7h.pkg.tar.xz.sig2018-Mar-05 11:05:040.5Kapplication/pgp-signature
idris-1.2.0-41-armv7h.pkg.tar.xz2018-Mar-07 02:25:518.1Mapplication/x-xz
idris-1.2.0-41-armv7h.pkg.tar.xz.sig2018-Mar-07 02:25:510.5Kapplication/pgp-signature
idris-1.2.0-42-armv7h.pkg.tar.xz2018-Mar-08 00:52:208.1Mapplication/x-xz
idris-1.2.0-42-armv7h.pkg.tar.xz.sig2018-Mar-08 00:52:200.5Kapplication/pgp-signature
idris-1.2.0-43-armv7h.pkg.tar.xz2018-Mar-09 05:02:168.1Mapplication/x-xz
idris-1.2.0-43-armv7h.pkg.tar.xz.sig2018-Mar-09 05:02:160.5Kapplication/pgp-signature
idris-1.2.0-45-armv7h.pkg.tar.xz2018-Mar-10 22:06:388.1Mapplication/x-xz
idris-1.2.0-45-armv7h.pkg.tar.xz.sig2018-Mar-10 22:06:380.5Kapplication/pgp-signature
idris-1.2.0-47-armv7h.pkg.tar.xz2018-Mar-13 00:48:358.1Mapplication/x-xz
idris-1.2.0-47-armv7h.pkg.tar.xz.sig2018-Mar-13 00:48:350.5Kapplication/pgp-signature
idris-1.2.0-49-armv7h.pkg.tar.xz2018-Mar-13 22:15:128.1Mapplication/x-xz
idris-1.2.0-49-armv7h.pkg.tar.xz.sig2018-Mar-13 22:15:120.5Kapplication/pgp-signature
idris-1.2.0-50-armv7h.pkg.tar.xz2018-Mar-14 23:28:568.1Mapplication/x-xz
idris-1.2.0-50-armv7h.pkg.tar.xz.sig2018-Mar-14 23:28:560.5Kapplication/pgp-signature
idris-1.2.0-51-armv7h.pkg.tar.xz2018-Mar-15 16:12:348.1Mapplication/x-xz
idris-1.2.0-51-armv7h.pkg.tar.xz.sig2018-Mar-15 16:12:340.5Kapplication/pgp-signature
idris-1.2.0-52-armv7h.pkg.tar.xz2018-Mar-21 13:29:348.1Mapplication/x-xz
idris-1.2.0-52-armv7h.pkg.tar.xz.sig2018-Mar-21 13:29:340.5Kapplication/pgp-signature
idris-1.2.0-53-armv7h.pkg.tar.xz2018-Mar-22 06:54:198.1Mapplication/x-xz
idris-1.2.0-53-armv7h.pkg.tar.xz.sig2018-Mar-22 06:54:190.5Kapplication/pgp-signature
idris-1.2.0-55-armv7h.pkg.tar.xz2018-Mar-23 06:23:048.1Mapplication/x-xz
idris-1.2.0-55-armv7h.pkg.tar.xz.sig2018-Mar-23 06:23:040.5Kapplication/pgp-signature
idris-1.2.0-56-armv7h.pkg.tar.xz2018-Mar-24 01:40:148.1Mapplication/x-xz
idris-1.2.0-56-armv7h.pkg.tar.xz.sig2018-Mar-24 01:40:140.5Kapplication/pgp-signature
idris-1.2.0-57-armv7h.pkg.tar.xz2018-Mar-26 00:41:228.1Mapplication/x-xz
idris-1.2.0-57-armv7h.pkg.tar.xz.sig2018-Mar-26 00:41:220.5Kapplication/pgp-signature
idris-1.2.0-58-armv7h.pkg.tar.xz2018-Apr-08 13:10:568.1Mapplication/x-xz
idris-1.2.0-58-armv7h.pkg.tar.xz.sig2018-Apr-08 13:10:560.5Kapplication/pgp-signature
idris-1.2.0-59-armv7h.pkg.tar.xz2018-Apr-13 19:49:478.1Mapplication/x-xz
idris-1.2.0-59-armv7h.pkg.tar.xz.sig2018-Apr-13 19:49:470.5Kapplication/pgp-signature
idris-1.2.0-61-armv7h.pkg.tar.xz2018-Apr-26 11:12:378.1Mapplication/x-xz
idris-1.2.0-61-armv7h.pkg.tar.xz.sig2018-Apr-26 11:12:370.5Kapplication/pgp-signature
idris-1.2.0-63-armv7h.pkg.tar.xz2018-May-10 22:37:068.1Mapplication/x-xz
idris-1.2.0-63-armv7h.pkg.tar.xz.sig2018-May-10 22:37:070.5Kapplication/pgp-signature
idris-1.2.0-64-armv7h.pkg.tar.xz2018-May-13 23:06:138.1Mapplication/x-xz
idris-1.2.0-64-armv7h.pkg.tar.xz.sig2018-May-13 23:06:130.5Kapplication/pgp-signature
idris-1.2.0-65-armv7h.pkg.tar.xz2018-May-14 20:18:128.1Mapplication/x-xz
idris-1.2.0-65-armv7h.pkg.tar.xz.sig2018-May-14 20:18:120.5Kapplication/pgp-signature
idris-1.2.0-66-armv7h.pkg.tar.xz2018-May-15 14:40:308.1Mapplication/x-xz
idris-1.2.0-66-armv7h.pkg.tar.xz.sig2018-May-15 14:40:300.5Kapplication/pgp-signature
idris-1.2.0-68-armv7h.pkg.tar.xz2018-May-16 21:13:368.1Mapplication/x-xz
idris-1.2.0-68-armv7h.pkg.tar.xz.sig2018-May-16 21:13:360.5Kapplication/pgp-signature
idris-1.3.0-10-armv7h.pkg.tar.xz2018-Jun-06 20:39:148.2Mapplication/x-xz
idris-1.3.0-10-armv7h.pkg.tar.xz.sig2018-Jun-06 20:39:140.5Kapplication/pgp-signature
idris-1.3.0-11-armv7h.pkg.tar.xz2018-Jun-13 02:30:488.2Mapplication/x-xz
idris-1.3.0-11-armv7h.pkg.tar.xz.sig2018-Jun-13 02:30:480.5Kapplication/pgp-signature
idris-1.3.0-12-armv7h.pkg.tar.xz2018-Jun-15 08:42:408.2Mapplication/x-xz
idris-1.3.0-12-armv7h.pkg.tar.xz.sig2018-Jun-15 08:42:400.5Kapplication/pgp-signature
idris-1.3.0-13-armv7h.pkg.tar.xz2018-Jun-18 20:11:548.2Mapplication/x-xz
idris-1.3.0-13-armv7h.pkg.tar.xz.sig2018-Jun-18 20:11:540.5Kapplication/pgp-signature
idris-1.3.0-14-armv7h.pkg.tar.xz2018-Jun-22 23:06:298.2Mapplication/x-xz
idris-1.3.0-14-armv7h.pkg.tar.xz.sig2018-Jun-22 23:06:290.5Kapplication/pgp-signature
idris-1.3.0-15-armv7h.pkg.tar.xz2018-Jun-23 17:57:038.2Mapplication/x-xz
idris-1.3.0-15-armv7h.pkg.tar.xz.sig2018-Jun-23 17:57:030.5Kapplication/pgp-signature
idris-1.3.0-16-armv7h.pkg.tar.xz2018-Jun-25 23:11:548.2Mapplication/x-xz
idris-1.3.0-16-armv7h.pkg.tar.xz.sig2018-Jun-25 23:11:540.5Kapplication/pgp-signature
idris-1.3.0-18-armv7h.pkg.tar.xz2018-Jun-28 20:04:308.2Mapplication/x-xz
idris-1.3.0-18-armv7h.pkg.tar.xz.sig2018-Jun-28 20:04:300.5Kapplication/pgp-signature
idris-1.3.0-19-armv7h.pkg.tar.xz2018-Jun-29 03:45:188.2Mapplication/x-xz
idris-1.3.0-19-armv7h.pkg.tar.xz.sig2018-Jun-29 03:45:190.5Kapplication/pgp-signature
idris-1.3.0-20-armv7h.pkg.tar.xz2018-Jun-30 21:51:338.2Mapplication/x-xz
idris-1.3.0-20-armv7h.pkg.tar.xz.sig2018-Jun-30 21:51:330.5Kapplication/pgp-signature
idris-1.3.0-21-armv7h.pkg.tar.xz2018-Jul-02 19:50:078.2Mapplication/x-xz
idris-1.3.0-21-armv7h.pkg.tar.xz.sig2018-Jul-02 19:50:070.5Kapplication/pgp-signature
idris-1.3.0-22-armv7h.pkg.tar.xz2018-Jul-03 00:06:128.2Mapplication/x-xz
idris-1.3.0-22-armv7h.pkg.tar.xz.sig2018-Jul-03 00:06:120.5Kapplication/pgp-signature
idris-1.3.0-24-armv7h.pkg.tar.xz2018-Jul-04 17:34:548.2Mapplication/x-xz
idris-1.3.0-24-armv7h.pkg.tar.xz.sig2018-Jul-04 17:34:540.5Kapplication/pgp-signature
idris-1.3.0-25-armv7h.pkg.tar.xz2018-Jul-05 15:51:458.2Mapplication/x-xz
idris-1.3.0-25-armv7h.pkg.tar.xz.sig2018-Jul-05 15:51:450.5Kapplication/pgp-signature
idris-1.3.0-30-armv7h.pkg.tar.xz2018-Jul-09 22:53:468.2Mapplication/x-xz
idris-1.3.0-30-armv7h.pkg.tar.xz.sig2018-Jul-09 22:53:460.5Kapplication/pgp-signature
idris-1.3.0-31-armv7h.pkg.tar.xz2018-Jul-11 15:54:398.2Mapplication/x-xz
idris-1.3.0-31-armv7h.pkg.tar.xz.sig2018-Jul-11 15:54:390.5Kapplication/pgp-signature
idris-1.3.0-32-armv7h.pkg.tar.xz2018-Jul-12 21:31:428.2Mapplication/x-xz
idris-1.3.0-32-armv7h.pkg.tar.xz.sig2018-Jul-12 21:31:430.5Kapplication/pgp-signature
idris-1.3.0-35-armv7h.pkg.tar.xz2018-Jul-13 23:18:248.2Mapplication/x-xz
idris-1.3.0-35-armv7h.pkg.tar.xz.sig2018-Jul-13 23:18:240.5Kapplication/pgp-signature
idris-1.3.0-36-armv7h.pkg.tar.xz2018-Jul-14 01:34:418.2Mapplication/x-xz
idris-1.3.0-36-armv7h.pkg.tar.xz.sig2018-Jul-14 01:34:410.5Kapplication/pgp-signature
idris-1.3.0-37-armv7h.pkg.tar.xz2018-Jul-14 23:35:238.2Mapplication/x-xz
idris-1.3.0-37-armv7h.pkg.tar.xz.sig2018-Jul-14 23:35:230.5Kapplication/pgp-signature
idris-1.3.0-38-armv7h.pkg.tar.xz2018-Jul-17 14:27:488.2Mapplication/x-xz
idris-1.3.0-38-armv7h.pkg.tar.xz.sig2018-Jul-17 14:27:480.5Kapplication/pgp-signature
idris-1.3.0-39-armv7h.pkg.tar.xz2018-Jul-18 11:19:558.2Mapplication/x-xz
idris-1.3.0-39-armv7h.pkg.tar.xz.sig2018-Jul-18 11:19:580.5Kapplication/pgp-signature
idris-1.3.0-40-armv7h.pkg.tar.xz2018-Jul-19 02:20:028.2Mapplication/x-xz
idris-1.3.0-40-armv7h.pkg.tar.xz.sig2018-Jul-19 02:20:050.5Kapplication/pgp-signature
idris-1.3.0-41-armv7h.pkg.tar.xz2018-Jul-29 23:26:298.2Mapplication/x-xz
idris-1.3.0-41-armv7h.pkg.tar.xz.sig2018-Jul-29 23:26:330.5Kapplication/pgp-signature
idris-1.3.0-42-armv7h.pkg.tar.xz2018-Aug-04 08:25:538.2Mapplication/x-xz
idris-1.3.0-42-armv7h.pkg.tar.xz.sig2018-Aug-04 08:25:530.5Kapplication/pgp-signature
idris-1.3.0-43-armv7h.pkg.tar.xz2018-Aug-05 01:44:268.2Mapplication/x-xz
idris-1.3.0-43-armv7h.pkg.tar.xz.sig2018-Aug-05 01:44:290.5Kapplication/pgp-signature
idris-1.3.0-45-armv7h.pkg.tar.xz2018-Aug-11 19:40:018.2Mapplication/x-xz
idris-1.3.0-45-armv7h.pkg.tar.xz.sig2018-Aug-11 19:40:050.5Kapplication/pgp-signature
idris-1.3.0-46-armv7h.pkg.tar.xz2018-Aug-15 21:01:068.2Mapplication/x-xz
idris-1.3.0-46-armv7h.pkg.tar.xz.sig2018-Aug-15 21:01:110.5Kapplication/pgp-signature
idris-1.3.0-47-armv7h.pkg.tar.xz2018-Aug-17 19:13:558.2Mapplication/x-xz
idris-1.3.0-47-armv7h.pkg.tar.xz.sig2018-Aug-17 19:13:590.5Kapplication/pgp-signature
idris-1.3.0-48-armv7h.pkg.tar.xz2018-Aug-21 14:38:298.2Mapplication/x-xz
idris-1.3.0-48-armv7h.pkg.tar.xz.sig2018-Aug-21 14:38:330.5Kapplication/pgp-signature
idris-1.3.0-49-armv7h.pkg.tar.xz2018-Aug-26 23:23:588.2Mapplication/x-xz
idris-1.3.0-49-armv7h.pkg.tar.xz.sig2018-Aug-26 23:24:030.5Kapplication/pgp-signature
idris-1.3.0-50-armv7h.pkg.tar.xz2018-Aug-27 03:10:248.2Mapplication/x-xz
idris-1.3.0-50-armv7h.pkg.tar.xz.sig2018-Aug-27 03:10:280.5Kapplication/pgp-signature
idris-1.3.0-51-armv7h.pkg.tar.xz2018-Aug-30 04:41:158.2Mapplication/x-xz
idris-1.3.0-51-armv7h.pkg.tar.xz.sig2018-Aug-30 04:41:190.5Kapplication/pgp-signature
idris-1.3.0-52-armv7h.pkg.tar.xz2018-Sep-06 04:57:218.2Mapplication/x-xz
idris-1.3.0-52-armv7h.pkg.tar.xz.sig2018-Sep-06 04:57:250.5Kapplication/pgp-signature
idris-1.3.0-53-armv7h.pkg.tar.xz2018-Sep-07 08:16:358.2Mapplication/x-xz
idris-1.3.0-53-armv7h.pkg.tar.xz.sig2018-Sep-07 08:16:350.5Kapplication/pgp-signature
idris-1.3.0-54-armv7h.pkg.tar.xz2018-Sep-11 17:14:258.2Mapplication/x-xz
idris-1.3.0-54-armv7h.pkg.tar.xz.sig2018-Sep-11 17:14:300.5Kapplication/pgp-signature
idris-1.3.0-55-armv7h.pkg.tar.xz2018-Sep-13 19:24:058.2Mapplication/x-xz
idris-1.3.0-55-armv7h.pkg.tar.xz.sig2018-Sep-13 19:24:090.5Kapplication/pgp-signature
idris-1.3.0-56-armv7h.pkg.tar.xz2018-Sep-14 07:42:118.2Mapplication/x-xz
idris-1.3.0-56-armv7h.pkg.tar.xz.sig2018-Sep-14 07:42:110.5Kapplication/pgp-signature
idris-1.3.0-57-armv7h.pkg.tar.xz2018-Sep-16 19:40:468.2Mapplication/x-xz
idris-1.3.0-57-armv7h.pkg.tar.xz.sig2018-Sep-16 19:40:460.5Kapplication/pgp-signature
idris-1.3.0-58-armv7h.pkg.tar.xz2018-Sep-19 00:37:328.2Mapplication/x-xz
idris-1.3.0-58-armv7h.pkg.tar.xz.sig2018-Sep-19 00:37:370.5Kapplication/pgp-signature
idris-1.3.0-59-armv7h.pkg.tar.xz2018-Sep-20 15:48:168.2Mapplication/x-xz
idris-1.3.0-59-armv7h.pkg.tar.xz.sig2018-Sep-20 15:48:210.5Kapplication/pgp-signature
idris-1.3.0-60-armv7h.pkg.tar.xz2018-Sep-21 01:43:588.2Mapplication/x-xz
idris-1.3.0-60-armv7h.pkg.tar.xz.sig2018-Sep-21 01:43:580.5Kapplication/pgp-signature
idris-1.3.0-64-armv7h.pkg.tar.xz2018-Sep-27 22:54:208.2Mapplication/x-xz
idris-1.3.0-64-armv7h.pkg.tar.xz.sig2018-Sep-27 22:54:250.5Kapplication/pgp-signature
idris-1.3.0-66-armv7h.pkg.tar.xz2018-Sep-28 20:19:278.2Mapplication/x-xz
idris-1.3.0-66-armv7h.pkg.tar.xz.sig2018-Sep-28 20:19:310.5Kapplication/pgp-signature
idris-1.3.0-68-armv7h.pkg.tar.xz2018-Sep-29 20:38:158.2Mapplication/x-xz
idris-1.3.0-68-armv7h.pkg.tar.xz.sig2018-Sep-29 20:38:200.5Kapplication/pgp-signature
idris-1.3.0-69-armv7h.pkg.tar.xz2018-Sep-30 20:27:508.2Mapplication/x-xz
idris-1.3.0-69-armv7h.pkg.tar.xz.sig2018-Sep-30 20:27:550.5Kapplication/pgp-signature
idris-1.3.0-71-armv7h.pkg.tar.xz2018-Oct-03 23:48:328.2Mapplication/x-xz
idris-1.3.0-71-armv7h.pkg.tar.xz.sig2018-Oct-03 23:48:360.5Kapplication/pgp-signature
idris-1.3.0-72-armv7h.pkg.tar.xz2018-Oct-06 08:09:108.2Mapplication/x-xz
idris-1.3.0-72-armv7h.pkg.tar.xz.sig2018-Oct-06 08:09:140.5Kapplication/pgp-signature
idris-1.3.0-73-armv7h.pkg.tar.xz2018-Oct-10 12:53:578.2Mapplication/x-xz
idris-1.3.0-73-armv7h.pkg.tar.xz.sig2018-Oct-10 12:54:000.5Kapplication/pgp-signature
idris-1.3.0-74-armv7h.pkg.tar.xz2018-Oct-12 20:51:088.2Mapplication/x-xz
idris-1.3.0-74-armv7h.pkg.tar.xz.sig2018-Oct-12 20:51:120.5Kapplication/pgp-signature
idris-1.3.0-77-armv7h.pkg.tar.xz2018-Oct-20 02:35:238.2Mapplication/x-xz
idris-1.3.0-77-armv7h.pkg.tar.xz.sig2018-Oct-20 02:35:260.5Kapplication/pgp-signature
idris-1.3.0-9-armv7h.pkg.tar.xz2018-Jun-04 15:32:028.2Mapplication/x-xz
idris-1.3.0-9-armv7h.pkg.tar.xz.sig2018-Jun-04 15:32:020.5Kapplication/pgp-signature
idris-1.3.1-1-armv7h.pkg.tar.xz2018-Oct-24 00:56:168.4Mapplication/x-xz
idris-1.3.1-1-armv7h.pkg.tar.xz.sig2018-Oct-24 00:56:200.5Kapplication/pgp-signature
idris-1.3.1-2-armv7h.pkg.tar.xz2018-Nov-01 09:47:488.4Mapplication/x-xz
idris-1.3.1-2-armv7h.pkg.tar.xz.sig2018-Nov-01 09:47:520.5Kapplication/pgp-signature
idris-1.3.1-3-armv7h.pkg.tar.xz2018-Nov-03 01:49:088.4Mapplication/x-xz
idris-1.3.1-3-armv7h.pkg.tar.xz.sig2018-Nov-03 01:49:120.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