Index of /aarm/packages/c/coqide/

NameLast ModifiedSizeType
../ -  Directory
coqide-8.12.0-1-aarch64.pkg.tar.xz2020-Jul-25 22:29:032.2Mapplication/x-xz
coqide-8.12.0-1-aarch64.pkg.tar.xz.sig2020-Jul-25 22:29:410.5Kapplication/pgp-signature
coqide-8.13.0-1-aarch64.pkg.tar.xz2021-Jan-18 18:18:032.3Mapplication/x-xz
coqide-8.13.0-1-aarch64.pkg.tar.xz.sig2021-Jan-18 18:18:410.5Kapplication/pgp-signature
coqide-8.13.0-1-armv7h.pkg.tar.xz2021-Jan-18 18:37:121.8Mapplication/x-xz
coqide-8.13.0-1-armv7h.pkg.tar.xz.sig2021-Jan-18 18:39:120.5Kapplication/pgp-signature
coqide-8.13.1-1-aarch64.pkg.tar.xz2021-Mar-04 23:19:422.3Mapplication/x-xz
coqide-8.13.1-1-aarch64.pkg.tar.xz.sig2021-Mar-04 23:20:190.5Kapplication/pgp-signature
coqide-8.13.1-1-armv7h.pkg.tar.xz2021-Mar-04 23:38:421.8Mapplication/x-xz
coqide-8.13.1-1-armv7h.pkg.tar.xz.sig2021-Mar-04 23:40:420.5Kapplication/pgp-signature
coqide-8.13.2-1-aarch64.pkg.tar.xz2021-May-28 21:57:082.3Mapplication/x-xz
coqide-8.13.2-1-aarch64.pkg.tar.xz.sig2021-May-28 21:58:290.5Kapplication/pgp-signature
coqide-8.13.2-1-armv7h.pkg.tar.xz2021-May-28 22:11:261.8Mapplication/x-xz
coqide-8.13.2-1-armv7h.pkg.tar.xz.sig2021-May-28 22:13:260.5Kapplication/pgp-signature
coqide-8.13.2-2-aarch64.pkg.tar.xz2021-Jul-28 07:34:072.3Mapplication/x-xz
coqide-8.13.2-2-aarch64.pkg.tar.xz.sig2021-Jul-28 07:35:280.5Kapplication/pgp-signature
coqide-8.14.1-2-aarch64.pkg.tar.xz2021-Dec-12 07:56:272.1Mapplication/x-xz
coqide-8.14.1-2-aarch64.pkg.tar.xz.sig2021-Dec-12 07:57:470.5Kapplication/pgp-signature
coqide-8.14.1-2-arm.pkg.tar.xz2021-Dec-12 09:16:501.6Mapplication/x-xz
coqide-8.14.1-2-arm.pkg.tar.xz.sig2021-Dec-12 09:18:530.5Kapplication/pgp-signature
coqide-8.14.1-2-armv6h.pkg.tar.xz2021-Dec-12 08:39:121.6Mapplication/x-xz
coqide-8.14.1-2-armv6h.pkg.tar.xz.sig2021-Dec-12 08:41:180.5Kapplication/pgp-signature
coqide-8.14.1-2-armv7h.pkg.tar.xz2021-Dec-12 08:21:461.6Mapplication/x-xz
coqide-8.14.1-2-armv7h.pkg.tar.xz.sig2021-Dec-12 08:23:510.5Kapplication/pgp-signature
coqide-8.15.0-1-aarch64.pkg.tar.xz2022-Jan-21 14:57:482.7Mapplication/x-xz
coqide-8.15.0-1-aarch64.pkg.tar.xz.sig2022-Jan-21 14:58:540.5Kapplication/pgp-signature
coqide-8.15.0-1-armv7h.pkg.tar.xz2022-Jan-21 15:15:342.0Mapplication/x-xz
coqide-8.15.0-1-armv7h.pkg.tar.xz.sig2022-Jan-21 15:17:100.5Kapplication/pgp-signature
coqide-8.15.0-3-aarch64.pkg.tar.xz2022-Aug-10 07:29:552.7Mapplication/x-xz
coqide-8.15.0-3-aarch64.pkg.tar.xz.sig2022-Aug-10 07:30:550.5Kapplication/pgp-signature
coqide-8.15.0-3-armv7h.pkg.tar.xz2022-Aug-10 07:21:202.0Mapplication/x-xz
coqide-8.15.0-3-armv7h.pkg.tar.xz.sig2022-Aug-10 07:22:570.5Kapplication/pgp-signature
coqide-8.15.2-1-aarch64.pkg.tar.xz2022-Sep-04 22:38:342.7Mapplication/x-xz
coqide-8.15.2-1-aarch64.pkg.tar.xz.sig2022-Sep-04 22:39:330.5Kapplication/pgp-signature
coqide-8.15.2-1-armv7h.pkg.tar.xz2022-Sep-04 22:57:492.0Mapplication/x-xz
coqide-8.15.2-1-armv7h.pkg.tar.xz.sig2022-Sep-04 22:59:280.5Kapplication/pgp-signature
coqide-8.16.0-1-aarch64.pkg.tar.xz2022-Sep-06 04:00:432.7Mapplication/x-xz
coqide-8.16.0-1-aarch64.pkg.tar.xz.sig2022-Sep-06 04:01:450.5Kapplication/pgp-signature
coqide-8.16.0-1-armv7h.pkg.tar.xz2022-Sep-06 04:20:052.0Mapplication/x-xz
coqide-8.16.0-1-armv7h.pkg.tar.xz.sig2022-Sep-06 04:21:460.5Kapplication/pgp-signature
coqide-8.16.0-2-aarch64.pkg.tar.xz2022-Sep-07 15:40:402.7Mapplication/x-xz
coqide-8.16.0-2-aarch64.pkg.tar.xz.sig2022-Sep-07 15:41:400.5Kapplication/pgp-signature
coqide-8.16.0-2-armv7h.pkg.tar.xz2022-Sep-07 16:00:002.0Mapplication/x-xz
coqide-8.16.0-2-armv7h.pkg.tar.xz.sig2022-Sep-07 16:01:430.5Kapplication/pgp-signature
coqide-8.6-5-aarch64.pkg.tar.xz2017-Feb-23 02:33:071.4Mapplication/x-xz
coqide-8.6-5-aarch64.pkg.tar.xz.sig2017-Feb-23 02:33:070.5Kapplication/pgp-signature
coqide-8.6-5-arm.pkg.tar.xz2017-Feb-23 00:53:041.4Mapplication/x-xz
coqide-8.6-5-arm.pkg.tar.xz.sig2017-Feb-23 00:53:040.5Kapplication/pgp-signature
coqide-8.6-5-armv6h.pkg.tar.xz2017-Feb-23 00:51:321.4Mapplication/x-xz
coqide-8.6-5-armv6h.pkg.tar.xz.sig2017-Feb-23 00:51:320.5Kapplication/pgp-signature
coqide-8.6-5-armv7h.pkg.tar.xz2017-Feb-23 00:50:381.4Mapplication/x-xz
coqide-8.6-5-armv7h.pkg.tar.xz.sig2017-Feb-23 00:50:380.5Kapplication/pgp-signature
coqide-8.6-6-aarch64.pkg.tar.xz2017-Jul-08 04:32:381.4Mapplication/x-xz
coqide-8.6-6-aarch64.pkg.tar.xz.sig2017-Jul-08 04:33:270.5Kapplication/pgp-signature
coqide-8.6-6-arm.pkg.tar.xz2017-Jul-08 05:54:591.4Mapplication/x-xz
coqide-8.6-6-arm.pkg.tar.xz.sig2017-Jul-08 05:54:590.5Kapplication/pgp-signature
coqide-8.6-6-armv6h.pkg.tar.xz2017-Jul-08 05:30:051.4Mapplication/x-xz
coqide-8.6-6-armv6h.pkg.tar.xz.sig2017-Jul-08 05:30:050.5Kapplication/pgp-signature
coqide-8.6-6-armv7h.pkg.tar.xz2017-Jul-08 04:54:561.4Mapplication/x-xz
coqide-8.6-6-armv7h.pkg.tar.xz.sig2017-Jul-08 04:54:560.5Kapplication/pgp-signature
coqide-8.6-7-aarch64.pkg.tar.xz2017-Jul-13 00:52:351.4Mapplication/x-xz
coqide-8.6-7-aarch64.pkg.tar.xz.sig2017-Jul-13 00:53:240.5Kapplication/pgp-signature
coqide-8.6-7-arm.pkg.tar.xz2017-Jul-13 01:31:381.4Mapplication/x-xz
coqide-8.6-7-arm.pkg.tar.xz.sig2017-Jul-13 01:31:390.5Kapplication/pgp-signature
coqide-8.6-7-armv6h.pkg.tar.xz2017-Jul-13 01:16:131.4Mapplication/x-xz
coqide-8.6-7-armv6h.pkg.tar.xz.sig2017-Jul-13 01:16:140.5Kapplication/pgp-signature
coqide-8.6-7-armv7h.pkg.tar.xz2017-Jul-13 01:09:491.4Mapplication/x-xz
coqide-8.6-7-armv7h.pkg.tar.xz.sig2017-Jul-13 01:09:500.5Kapplication/pgp-signature
coqide-8.6-8-aarch64.pkg.tar.xz2017-Jul-15 14:33:081.5Mapplication/x-xz
coqide-8.6-8-aarch64.pkg.tar.xz.sig2017-Jul-15 14:33:570.5Kapplication/pgp-signature
coqide-8.6-8-arm.pkg.tar.xz2017-Jul-15 15:01:251.4Mapplication/x-xz
coqide-8.6-8-arm.pkg.tar.xz.sig2017-Jul-15 15:01:250.5Kapplication/pgp-signature
coqide-8.6-8-armv6h.pkg.tar.xz2017-Jul-15 14:53:471.4Mapplication/x-xz
coqide-8.6-8-armv6h.pkg.tar.xz.sig2017-Jul-15 14:53:470.5Kapplication/pgp-signature
coqide-8.6-8-armv7h.pkg.tar.xz2017-Jul-15 14:51:351.5Mapplication/x-xz
coqide-8.6-8-armv7h.pkg.tar.xz.sig2017-Jul-15 14:51:360.5Kapplication/pgp-signature
coqide-8.6.1-1-aarch64.pkg.tar.xz2017-Jul-26 13:34:221.5Mapplication/x-xz
coqide-8.6.1-1-aarch64.pkg.tar.xz.sig2017-Jul-26 13:35:150.5Kapplication/pgp-signature
coqide-8.6.1-1-arm.pkg.tar.xz2017-Jul-26 13:56:131.4Mapplication/x-xz
coqide-8.6.1-1-arm.pkg.tar.xz.sig2017-Jul-26 13:56:130.5Kapplication/pgp-signature
coqide-8.6.1-1-armv6h.pkg.tar.xz2017-Jul-26 13:52:181.4Mapplication/x-xz
coqide-8.6.1-1-armv6h.pkg.tar.xz.sig2017-Jul-26 13:52:180.5Kapplication/pgp-signature
coqide-8.7.0-1-arm.pkg.tar.xz2017-Oct-19 05:03:421.3Mapplication/x-xz
coqide-8.7.0-1-arm.pkg.tar.xz.sig2017-Oct-19 05:03:420.5Kapplication/pgp-signature
coqide-8.7.0-1-armv6h.pkg.tar.xz2017-Oct-18 19:52:401.3Mapplication/x-xz
coqide-8.7.0-1-armv6h.pkg.tar.xz.sig2017-Oct-19 00:46:000.5Kapplication/pgp-signature
coqide-8.7.0-1-armv7h.pkg.tar.xz2017-Oct-18 19:20:511.3Mapplication/x-xz
coqide-8.7.0-1-armv7h.pkg.tar.xz.sig2017-Oct-19 00:46:060.5Kapplication/pgp-signature
coqide-8.7.1-1-arm.pkg.tar.xz2017-Dec-17 05:08:011.2Mapplication/x-xz
coqide-8.7.1-1-arm.pkg.tar.xz.sig2017-Dec-17 05:08:010.5Kapplication/pgp-signature
coqide-8.7.1-1-armv6h.pkg.tar.xz2017-Dec-17 05:04:091.3Mapplication/x-xz
coqide-8.7.1-1-armv6h.pkg.tar.xz.sig2017-Dec-17 05:04:090.5Kapplication/pgp-signature
coqide-8.7.1-1-armv7h.pkg.tar.xz2017-Dec-17 05:03:431.3Mapplication/x-xz
coqide-8.7.1-1-armv7h.pkg.tar.xz.sig2017-Dec-17 05:03:430.5Kapplication/pgp-signature
coqide-8.7.1-2-aarch64.pkg.tar.xz2018-Jan-25 13:50:191.9Mapplication/x-xz
coqide-8.7.1-2-aarch64.pkg.tar.xz.sig2018-Jan-25 13:51:170.5Kapplication/pgp-signature
coqide-8.7.1-2-arm.pkg.tar.xz2018-Jan-25 14:52:531.5Mapplication/x-xz
coqide-8.7.1-2-arm.pkg.tar.xz.sig2018-Jan-25 14:52:530.5Kapplication/pgp-signature
coqide-8.7.1-2-armv6h.pkg.tar.xz2018-Jan-25 12:29:541.6Mapplication/x-xz
coqide-8.7.1-2-armv6h.pkg.tar.xz.sig2018-Jan-25 12:29:550.5Kapplication/pgp-signature
coqide-8.7.1-2-armv7h.pkg.tar.xz2018-Jan-25 08:38:091.6Mapplication/x-xz
coqide-8.7.1-2-armv7h.pkg.tar.xz.sig2018-Jan-25 08:38:090.5Kapplication/pgp-signature
coqide-8.7.1-3-aarch64.pkg.tar.xz2018-Feb-07 07:19:551.9Mapplication/x-xz
coqide-8.7.1-3-aarch64.pkg.tar.xz.sig2018-Feb-07 07:20:470.5Kapplication/pgp-signature
coqide-8.7.1-3-arm.pkg.tar.xz2018-Feb-07 07:57:461.5Mapplication/x-xz
coqide-8.7.1-3-arm.pkg.tar.xz.sig2018-Feb-07 07:57:460.5Kapplication/pgp-signature
coqide-8.7.1-3-armv6h.pkg.tar.xz2018-Feb-07 07:42:391.6Mapplication/x-xz
coqide-8.7.1-3-armv6h.pkg.tar.xz.sig2018-Feb-07 07:42:390.5Kapplication/pgp-signature
coqide-8.7.1-3-armv7h.pkg.tar.xz2018-Feb-07 07:34:321.6Mapplication/x-xz
coqide-8.7.1-3-armv7h.pkg.tar.xz.sig2018-Feb-07 07:34:320.5Kapplication/pgp-signature
coqide-8.7.2-1-aarch64.pkg.tar.xz2018-Feb-16 20:09:561.9Mapplication/x-xz
coqide-8.7.2-1-aarch64.pkg.tar.xz.sig2018-Feb-16 20:10:480.5Kapplication/pgp-signature
coqide-8.7.2-1-arm.pkg.tar.xz2018-Feb-16 20:48:481.5Mapplication/x-xz
coqide-8.7.2-1-arm.pkg.tar.xz.sig2018-Feb-16 20:48:480.5Kapplication/pgp-signature
coqide-8.7.2-1-armv6h.pkg.tar.xz2018-Feb-16 20:30:441.6Mapplication/x-xz
coqide-8.7.2-1-armv6h.pkg.tar.xz.sig2018-Feb-16 20:30:440.5Kapplication/pgp-signature
coqide-8.7.2-1-armv7h.pkg.tar.xz2018-Feb-16 20:24:391.6Mapplication/x-xz
coqide-8.7.2-1-armv7h.pkg.tar.xz.sig2018-Feb-16 20:24:390.5Kapplication/pgp-signature
coqide-8.8.0-1-aarch64.pkg.tar.xz2018-Apr-18 21:03:241.9Mapplication/x-xz
coqide-8.8.0-1-aarch64.pkg.tar.xz.sig2018-Apr-18 21:04:380.5Kapplication/pgp-signature
coqide-8.8.0-1-arm.pkg.tar.xz2018-Apr-18 21:20:151.5Mapplication/x-xz
coqide-8.8.0-1-arm.pkg.tar.xz.sig2018-Apr-18 21:20:160.5Kapplication/pgp-signature
coqide-8.8.0-1-armv6h.pkg.tar.xz2018-Apr-18 21:19:261.6Mapplication/x-xz
coqide-8.8.0-1-armv6h.pkg.tar.xz.sig2018-Apr-18 21:19:260.5Kapplication/pgp-signature
coqide-8.8.0-1-armv7h.pkg.tar.xz2018-Apr-18 21:23:211.6Mapplication/x-xz
coqide-8.8.0-1-armv7h.pkg.tar.xz.sig2018-Apr-18 21:23:210.5Kapplication/pgp-signature
coqide-8.8.0-2-aarch64.pkg.tar.xz2018-May-03 13:17:161.9Mapplication/x-xz
coqide-8.8.0-2-aarch64.pkg.tar.xz.sig2018-May-03 13:18:310.5Kapplication/pgp-signature
coqide-8.8.0-2-arm.pkg.tar.xz2018-May-03 13:34:581.5Mapplication/x-xz
coqide-8.8.0-2-arm.pkg.tar.xz.sig2018-May-03 13:34:580.5Kapplication/pgp-signature
coqide-8.8.0-2-armv6h.pkg.tar.xz2018-May-03 13:30:301.6Mapplication/x-xz
coqide-8.8.0-2-armv6h.pkg.tar.xz.sig2018-May-03 13:30:300.5Kapplication/pgp-signature
coqide-8.8.1-1-aarch64.pkg.tar.xz2018-Jun-30 02:50:121.9Mapplication/x-xz
coqide-8.8.1-1-aarch64.pkg.tar.xz.sig2018-Jun-30 02:51:240.5Kapplication/pgp-signature
coqide-8.8.1-1-arm.pkg.tar.xz2018-Jun-30 03:08:101.5Mapplication/x-xz
coqide-8.8.1-1-arm.pkg.tar.xz.sig2018-Jun-30 03:08:100.5Kapplication/pgp-signature
coqide-8.8.1-1-armv6h.pkg.tar.xz2018-Jun-30 03:03:291.6Mapplication/x-xz
coqide-8.8.1-1-armv6h.pkg.tar.xz.sig2018-Jun-30 03:03:290.5Kapplication/pgp-signature
coqide-8.8.1-1-armv7h.pkg.tar.xz2018-Jun-30 03:02:301.6Mapplication/x-xz
coqide-8.8.1-1-armv7h.pkg.tar.xz.sig2018-Jun-30 03:02:300.5Kapplication/pgp-signature
coqide-8.8.1-2-aarch64.pkg.tar.xz2018-Jul-05 13:52:251.9Mapplication/x-xz
coqide-8.8.1-2-aarch64.pkg.tar.xz.sig2018-Jul-05 13:53:380.5Kapplication/pgp-signature
coqide-8.8.1-2-arm.pkg.tar.xz2018-Jul-05 15:25:221.5Mapplication/x-xz
coqide-8.8.1-2-arm.pkg.tar.xz.sig2018-Jul-05 15:25:220.5Kapplication/pgp-signature
coqide-8.8.1-2-armv6h.pkg.tar.xz2018-Jul-05 15:21:041.6Mapplication/x-xz
coqide-8.8.1-2-armv6h.pkg.tar.xz.sig2018-Jul-05 15:21:040.5Kapplication/pgp-signature
coqide-8.8.1-2-armv7h.pkg.tar.xz2018-Jul-05 14:04:411.6Mapplication/x-xz
coqide-8.8.1-2-armv7h.pkg.tar.xz.sig2018-Jul-05 14:04:410.5Kapplication/pgp-signature
coqide-8.8.1-3-aarch64.pkg.tar.xz2018-Aug-15 00:39:232.0Mapplication/x-xz
coqide-8.8.1-3-aarch64.pkg.tar.xz.sig2018-Aug-15 00:40:360.5Kapplication/pgp-signature
coqide-8.8.1-3-arm.pkg.tar.xz2018-Aug-15 01:32:551.6Mapplication/x-xz
coqide-8.8.1-3-arm.pkg.tar.xz.sig2018-Aug-15 01:34:460.5Kapplication/pgp-signature
coqide-8.8.1-3-armv6h.pkg.tar.xz2018-Aug-15 01:08:051.6Mapplication/x-xz
coqide-8.8.1-3-armv6h.pkg.tar.xz.sig2018-Aug-15 01:09:550.5Kapplication/pgp-signature
coqide-8.8.1-3-armv7h.pkg.tar.xz2018-Aug-15 00:18:201.6Mapplication/x-xz
coqide-8.8.1-3-armv7h.pkg.tar.xz.sig2018-Aug-15 00:20:170.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