Index of /aarm/packages/c/coq/

NameLast ModifiedSizeType
../ -  Directory
coq-8.12.0-1-aarch64.pkg.tar.xz2020-Jul-25 22:28:4787.7Mapplication/x-xz
coq-8.12.0-1-aarch64.pkg.tar.xz.sig2020-Jul-25 22:29:410.5Kapplication/pgp-signature
coq-8.13.0-1-aarch64.pkg.tar.xz2021-Jan-18 18:17:4875.3Mapplication/x-xz
coq-8.13.0-1-aarch64.pkg.tar.xz.sig2021-Jan-18 18:18:410.5Kapplication/pgp-signature
coq-8.13.0-1-armv7h.pkg.tar.xz2021-Jan-18 18:36:5966.5Mapplication/x-xz
coq-8.13.0-1-armv7h.pkg.tar.xz.sig2021-Jan-18 18:39:110.5Kapplication/pgp-signature
coq-8.13.1-1-aarch64.pkg.tar.xz2021-Mar-04 23:19:2675.3Mapplication/x-xz
coq-8.13.1-1-aarch64.pkg.tar.xz.sig2021-Mar-04 23:20:190.5Kapplication/pgp-signature
coq-8.13.1-1-armv7h.pkg.tar.xz2021-Mar-04 23:38:2966.5Mapplication/x-xz
coq-8.13.1-1-armv7h.pkg.tar.xz.sig2021-Mar-04 23:40:410.5Kapplication/pgp-signature
coq-8.13.2-1-aarch64.pkg.tar.xz2021-May-28 21:56:5374.9Mapplication/x-xz
coq-8.13.2-1-aarch64.pkg.tar.xz.sig2021-May-28 21:58:280.5Kapplication/pgp-signature
coq-8.13.2-1-armv7h.pkg.tar.xz2021-May-28 22:11:1266.5Mapplication/x-xz
coq-8.13.2-1-armv7h.pkg.tar.xz.sig2021-May-28 22:13:250.5Kapplication/pgp-signature
coq-8.13.2-2-aarch64.pkg.tar.xz2021-Jul-28 07:33:5175.4Mapplication/x-xz
coq-8.13.2-2-aarch64.pkg.tar.xz.sig2021-Jul-28 07:35:270.5Kapplication/pgp-signature
coq-8.14.1-2-aarch64.pkg.tar.xz2021-Dec-12 07:56:14162.3Mapplication/x-xz
coq-8.14.1-2-aarch64.pkg.tar.xz.sig2021-Dec-12 07:57:470.5Kapplication/pgp-signature
coq-8.14.1-2-arm.pkg.tar.xz2021-Dec-12 09:16:37151.9Mapplication/x-xz
coq-8.14.1-2-arm.pkg.tar.xz.sig2021-Dec-12 09:18:530.5Kapplication/pgp-signature
coq-8.14.1-2-armv6h.pkg.tar.xz2021-Dec-12 08:39:00151.9Mapplication/x-xz
coq-8.14.1-2-armv6h.pkg.tar.xz.sig2021-Dec-12 08:41:170.5Kapplication/pgp-signature
coq-8.14.1-2-armv7h.pkg.tar.xz2021-Dec-12 08:21:35152.6Mapplication/x-xz
coq-8.14.1-2-armv7h.pkg.tar.xz.sig2021-Dec-12 08:23:500.5Kapplication/pgp-signature
coq-8.15.0-1-aarch64.pkg.tar.xz2022-Jan-21 14:57:33173.2Mapplication/x-xz
coq-8.15.0-1-aarch64.pkg.tar.xz.sig2022-Jan-21 14:58:530.5Kapplication/pgp-signature
coq-8.15.0-1-armv7h.pkg.tar.xz2022-Jan-21 15:15:20163.0Mapplication/x-xz
coq-8.15.0-1-armv7h.pkg.tar.xz.sig2022-Jan-21 15:17:090.5Kapplication/pgp-signature
coq-8.15.0-3-aarch64.pkg.tar.xz2022-Aug-10 07:29:39174.8Mapplication/x-xz
coq-8.15.0-3-aarch64.pkg.tar.xz.sig2022-Aug-10 07:30:540.5Kapplication/pgp-signature
coq-8.15.0-3-armv7h.pkg.tar.xz2022-Aug-10 07:21:04164.5Mapplication/x-xz
coq-8.15.0-3-armv7h.pkg.tar.xz.sig2022-Aug-10 07:22:570.5Kapplication/pgp-signature
coq-8.15.2-1-aarch64.pkg.tar.xz2022-Sep-04 22:38:18174.9Mapplication/x-xz
coq-8.15.2-1-aarch64.pkg.tar.xz.sig2022-Sep-04 22:39:320.5Kapplication/pgp-signature
coq-8.15.2-1-armv7h.pkg.tar.xz2022-Sep-04 22:57:33164.6Mapplication/x-xz
coq-8.15.2-1-armv7h.pkg.tar.xz.sig2022-Sep-04 22:59:270.5Kapplication/pgp-signature
coq-8.16.0-1-aarch64.pkg.tar.xz2022-Sep-06 04:00:26190.8Mapplication/x-xz
coq-8.16.0-1-aarch64.pkg.tar.xz.sig2022-Sep-06 04:01:450.5Kapplication/pgp-signature
coq-8.16.0-1-armv7h.pkg.tar.xz2022-Sep-06 04:19:48178.4Mapplication/x-xz
coq-8.16.0-1-armv7h.pkg.tar.xz.sig2022-Sep-06 04:21:450.5Kapplication/pgp-signature
coq-8.16.0-2-aarch64.pkg.tar.xz2022-Sep-07 15:40:23190.8Mapplication/x-xz
coq-8.16.0-2-aarch64.pkg.tar.xz.sig2022-Sep-07 15:41:400.5Kapplication/pgp-signature
coq-8.16.0-2-armv7h.pkg.tar.xz2022-Sep-07 15:59:43178.4Mapplication/x-xz
coq-8.16.0-2-armv7h.pkg.tar.xz.sig2022-Sep-07 16:01:420.5Kapplication/pgp-signature
coq-8.6-5-aarch64.pkg.tar.xz2017-Feb-23 02:33:0742.6Mapplication/x-xz
coq-8.6-5-aarch64.pkg.tar.xz.sig2017-Feb-23 02:33:070.5Kapplication/pgp-signature
coq-8.6-5-arm.pkg.tar.xz2017-Feb-23 00:53:0342.0Mapplication/x-xz
coq-8.6-5-arm.pkg.tar.xz.sig2017-Feb-23 00:53:030.5Kapplication/pgp-signature
coq-8.6-5-armv6h.pkg.tar.xz2017-Feb-23 00:51:3041.9Mapplication/x-xz
coq-8.6-5-armv6h.pkg.tar.xz.sig2017-Feb-23 00:51:300.5Kapplication/pgp-signature
coq-8.6-5-armv7h.pkg.tar.xz2017-Feb-23 00:50:3642.1Mapplication/x-xz
coq-8.6-5-armv7h.pkg.tar.xz.sig2017-Feb-23 00:50:360.5Kapplication/pgp-signature
coq-8.6-6-aarch64.pkg.tar.xz2017-Jul-08 04:32:2842.7Mapplication/x-xz
coq-8.6-6-aarch64.pkg.tar.xz.sig2017-Jul-08 04:33:260.5Kapplication/pgp-signature
coq-8.6-6-arm.pkg.tar.xz2017-Jul-08 05:54:5742.1Mapplication/x-xz
coq-8.6-6-arm.pkg.tar.xz.sig2017-Jul-08 05:54:570.5Kapplication/pgp-signature
coq-8.6-6-armv6h.pkg.tar.xz2017-Jul-08 05:30:0442.1Mapplication/x-xz
coq-8.6-6-armv6h.pkg.tar.xz.sig2017-Jul-08 05:30:040.5Kapplication/pgp-signature
coq-8.6-6-armv7h.pkg.tar.xz2017-Jul-08 04:54:5442.5Mapplication/x-xz
coq-8.6-6-armv7h.pkg.tar.xz.sig2017-Jul-08 04:54:540.5Kapplication/pgp-signature
coq-8.6-7-aarch64.pkg.tar.xz2017-Jul-13 00:52:2542.6Mapplication/x-xz
coq-8.6-7-aarch64.pkg.tar.xz.sig2017-Jul-13 00:53:240.5Kapplication/pgp-signature
coq-8.6-7-arm.pkg.tar.xz2017-Jul-13 01:31:3742.1Mapplication/x-xz
coq-8.6-7-arm.pkg.tar.xz.sig2017-Jul-13 01:31:370.5Kapplication/pgp-signature
coq-8.6-7-armv6h.pkg.tar.xz2017-Jul-13 01:16:1242.1Mapplication/x-xz
coq-8.6-7-armv6h.pkg.tar.xz.sig2017-Jul-13 01:16:120.5Kapplication/pgp-signature
coq-8.6-7-armv7h.pkg.tar.xz2017-Jul-13 01:09:4842.4Mapplication/x-xz
coq-8.6-7-armv7h.pkg.tar.xz.sig2017-Jul-13 01:09:480.5Kapplication/pgp-signature
coq-8.6-8-aarch64.pkg.tar.xz2017-Jul-15 14:32:5842.9Mapplication/x-xz
coq-8.6-8-aarch64.pkg.tar.xz.sig2017-Jul-15 14:33:560.5Kapplication/pgp-signature
coq-8.6-8-arm.pkg.tar.xz2017-Jul-15 15:01:2442.4Mapplication/x-xz
coq-8.6-8-arm.pkg.tar.xz.sig2017-Jul-15 15:01:240.5Kapplication/pgp-signature
coq-8.6-8-armv6h.pkg.tar.xz2017-Jul-15 14:53:4642.0Mapplication/x-xz
coq-8.6-8-armv6h.pkg.tar.xz.sig2017-Jul-15 14:53:460.5Kapplication/pgp-signature
coq-8.6-8-armv7h.pkg.tar.xz2017-Jul-15 14:51:3442.6Mapplication/x-xz
coq-8.6-8-armv7h.pkg.tar.xz.sig2017-Jul-15 14:51:340.5Kapplication/pgp-signature
coq-8.6.1-1-aarch64.pkg.tar.xz2017-Jul-26 13:34:1142.9Mapplication/x-xz
coq-8.6.1-1-aarch64.pkg.tar.xz.sig2017-Jul-26 13:35:150.5Kapplication/pgp-signature
coq-8.6.1-1-arm.pkg.tar.xz2017-Jul-26 13:56:1242.3Mapplication/x-xz
coq-8.6.1-1-arm.pkg.tar.xz.sig2017-Jul-26 13:56:120.5Kapplication/pgp-signature
coq-8.6.1-1-armv6h.pkg.tar.xz2017-Jul-26 13:52:1742.0Mapplication/x-xz
coq-8.6.1-1-armv6h.pkg.tar.xz.sig2017-Jul-26 13:52:170.5Kapplication/pgp-signature
coq-8.7.0-1-arm.pkg.tar.xz2017-Oct-19 05:03:4137.0Mapplication/x-xz
coq-8.7.0-1-arm.pkg.tar.xz.sig2017-Oct-19 05:03:410.5Kapplication/pgp-signature
coq-8.7.0-1-armv6h.pkg.tar.xz2017-Oct-18 19:52:2736.6Mapplication/x-xz
coq-8.7.0-1-armv6h.pkg.tar.xz.sig2017-Oct-19 00:45:590.5Kapplication/pgp-signature
coq-8.7.0-1-armv7h.pkg.tar.xz2017-Oct-18 19:20:4036.9Mapplication/x-xz
coq-8.7.0-1-armv7h.pkg.tar.xz.sig2017-Oct-19 00:46:050.5Kapplication/pgp-signature
coq-8.7.1-1-arm.pkg.tar.xz2017-Dec-17 05:08:0038.6Mapplication/x-xz
coq-8.7.1-1-arm.pkg.tar.xz.sig2017-Dec-17 05:08:000.5Kapplication/pgp-signature
coq-8.7.1-1-armv6h.pkg.tar.xz2017-Dec-17 05:04:0838.5Mapplication/x-xz
coq-8.7.1-1-armv6h.pkg.tar.xz.sig2017-Dec-17 05:04:080.5Kapplication/pgp-signature
coq-8.7.1-1-armv7h.pkg.tar.xz2017-Dec-17 05:03:4238.9Mapplication/x-xz
coq-8.7.1-1-armv7h.pkg.tar.xz.sig2017-Dec-17 05:03:420.5Kapplication/pgp-signature
coq-8.7.1-2-aarch64.pkg.tar.xz2018-Jan-25 13:50:0542.7Mapplication/x-xz
coq-8.7.1-2-aarch64.pkg.tar.xz.sig2018-Jan-25 13:51:170.5Kapplication/pgp-signature
coq-8.7.1-2-arm.pkg.tar.xz2018-Jan-25 14:52:5239.6Mapplication/x-xz
coq-8.7.1-2-arm.pkg.tar.xz.sig2018-Jan-25 14:52:520.5Kapplication/pgp-signature
coq-8.7.1-2-armv6h.pkg.tar.xz2018-Jan-25 12:29:5439.7Mapplication/x-xz
coq-8.7.1-2-armv6h.pkg.tar.xz.sig2018-Jan-25 12:29:540.5Kapplication/pgp-signature
coq-8.7.1-2-armv7h.pkg.tar.xz2018-Jan-25 08:38:0739.8Mapplication/x-xz
coq-8.7.1-2-armv7h.pkg.tar.xz.sig2018-Jan-25 08:38:070.5Kapplication/pgp-signature
coq-8.7.1-3-aarch64.pkg.tar.xz2018-Feb-07 07:19:4242.8Mapplication/x-xz
coq-8.7.1-3-aarch64.pkg.tar.xz.sig2018-Feb-07 07:20:470.5Kapplication/pgp-signature
coq-8.7.1-3-arm.pkg.tar.xz2018-Feb-07 07:57:4439.5Mapplication/x-xz
coq-8.7.1-3-arm.pkg.tar.xz.sig2018-Feb-07 07:57:440.5Kapplication/pgp-signature
coq-8.7.1-3-armv6h.pkg.tar.xz2018-Feb-07 07:42:3739.8Mapplication/x-xz
coq-8.7.1-3-armv6h.pkg.tar.xz.sig2018-Feb-07 07:42:370.5Kapplication/pgp-signature
coq-8.7.1-3-armv7h.pkg.tar.xz2018-Feb-07 07:34:3039.9Mapplication/x-xz
coq-8.7.1-3-armv7h.pkg.tar.xz.sig2018-Feb-07 07:34:300.5Kapplication/pgp-signature
coq-8.7.2-1-aarch64.pkg.tar.xz2018-Feb-16 20:09:4342.8Mapplication/x-xz
coq-8.7.2-1-aarch64.pkg.tar.xz.sig2018-Feb-16 20:10:470.5Kapplication/pgp-signature
coq-8.7.2-1-arm.pkg.tar.xz2018-Feb-16 20:48:4739.5Mapplication/x-xz
coq-8.7.2-1-arm.pkg.tar.xz.sig2018-Feb-16 20:48:470.5Kapplication/pgp-signature
coq-8.7.2-1-armv6h.pkg.tar.xz2018-Feb-16 20:30:4339.8Mapplication/x-xz
coq-8.7.2-1-armv6h.pkg.tar.xz.sig2018-Feb-16 20:30:430.5Kapplication/pgp-signature
coq-8.7.2-1-armv7h.pkg.tar.xz2018-Feb-16 20:24:3739.9Mapplication/x-xz
coq-8.7.2-1-armv7h.pkg.tar.xz.sig2018-Feb-16 20:24:370.5Kapplication/pgp-signature
coq-8.8.0-1-aarch64.pkg.tar.xz2018-Apr-18 21:03:1143.1Mapplication/x-xz
coq-8.8.0-1-aarch64.pkg.tar.xz.sig2018-Apr-18 21:04:380.5Kapplication/pgp-signature
coq-8.8.0-1-arm.pkg.tar.xz2018-Apr-18 21:20:1440.1Mapplication/x-xz
coq-8.8.0-1-arm.pkg.tar.xz.sig2018-Apr-18 21:20:140.5Kapplication/pgp-signature
coq-8.8.0-1-armv6h.pkg.tar.xz2018-Apr-18 21:19:2640.1Mapplication/x-xz
coq-8.8.0-1-armv6h.pkg.tar.xz.sig2018-Apr-18 21:19:260.5Kapplication/pgp-signature
coq-8.8.0-1-armv7h.pkg.tar.xz2018-Apr-18 21:23:2040.3Mapplication/x-xz
coq-8.8.0-1-armv7h.pkg.tar.xz.sig2018-Apr-18 21:23:200.5Kapplication/pgp-signature
coq-8.8.0-2-aarch64.pkg.tar.xz2018-May-03 13:17:0343.1Mapplication/x-xz
coq-8.8.0-2-aarch64.pkg.tar.xz.sig2018-May-03 13:18:300.5Kapplication/pgp-signature
coq-8.8.0-2-arm.pkg.tar.xz2018-May-03 13:34:5740.0Mapplication/x-xz
coq-8.8.0-2-arm.pkg.tar.xz.sig2018-May-03 13:34:570.5Kapplication/pgp-signature
coq-8.8.0-2-armv6h.pkg.tar.xz2018-May-03 13:30:2940.1Mapplication/x-xz
coq-8.8.0-2-armv6h.pkg.tar.xz.sig2018-May-03 13:30:290.5Kapplication/pgp-signature
coq-8.8.1-1-aarch64.pkg.tar.xz2018-Jun-30 02:49:5843.2Mapplication/x-xz
coq-8.8.1-1-aarch64.pkg.tar.xz.sig2018-Jun-30 02:51:240.5Kapplication/pgp-signature
coq-8.8.1-1-arm.pkg.tar.xz2018-Jun-30 03:08:0940.0Mapplication/x-xz
coq-8.8.1-1-arm.pkg.tar.xz.sig2018-Jun-30 03:08:090.5Kapplication/pgp-signature
coq-8.8.1-1-armv6h.pkg.tar.xz2018-Jun-30 03:03:2840.0Mapplication/x-xz
coq-8.8.1-1-armv6h.pkg.tar.xz.sig2018-Jun-30 03:03:280.5Kapplication/pgp-signature
coq-8.8.1-1-armv7h.pkg.tar.xz2018-Jun-30 03:02:2940.3Mapplication/x-xz
coq-8.8.1-1-armv7h.pkg.tar.xz.sig2018-Jun-30 03:02:290.5Kapplication/pgp-signature
coq-8.8.1-2-aarch64.pkg.tar.xz2018-Jul-05 13:52:1143.3Mapplication/x-xz
coq-8.8.1-2-aarch64.pkg.tar.xz.sig2018-Jul-05 13:53:370.5Kapplication/pgp-signature
coq-8.8.1-2-arm.pkg.tar.xz2018-Jul-05 15:25:2140.1Mapplication/x-xz
coq-8.8.1-2-arm.pkg.tar.xz.sig2018-Jul-05 15:25:220.5Kapplication/pgp-signature
coq-8.8.1-2-armv6h.pkg.tar.xz2018-Jul-05 15:21:0240.1Mapplication/x-xz
coq-8.8.1-2-armv6h.pkg.tar.xz.sig2018-Jul-05 15:21:020.5Kapplication/pgp-signature
coq-8.8.1-2-armv7h.pkg.tar.xz2018-Jul-05 14:04:4040.4Mapplication/x-xz
coq-8.8.1-2-armv7h.pkg.tar.xz.sig2018-Jul-05 14:04:400.5Kapplication/pgp-signature
coq-8.8.1-3-aarch64.pkg.tar.xz2018-Aug-15 00:39:0943.5Mapplication/x-xz
coq-8.8.1-3-aarch64.pkg.tar.xz.sig2018-Aug-15 00:40:360.5Kapplication/pgp-signature
coq-8.8.1-3-arm.pkg.tar.xz2018-Aug-15 01:32:4140.2Mapplication/x-xz
coq-8.8.1-3-arm.pkg.tar.xz.sig2018-Aug-15 01:34:450.5Kapplication/pgp-signature
coq-8.8.1-3-armv6h.pkg.tar.xz2018-Aug-15 01:07:5140.2Mapplication/x-xz
coq-8.8.1-3-armv6h.pkg.tar.xz.sig2018-Aug-15 01:09:540.5Kapplication/pgp-signature
coq-8.8.1-3-armv7h.pkg.tar.xz2018-Aug-15 00:18:0740.6Mapplication/x-xz
coq-8.8.1-3-armv7h.pkg.tar.xz.sig2018-Aug-15 00:20:160.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