Index of /aarm/packages/c/coq/

NameLast ModifiedSizeType
../ -  Directory
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
Friends, some files in archive are damaged, recovery is in progress. This is not hacking, but the result of an improperly worked self-made script
Are there any questions? Email to ba04763b19@tiny-vps.com