Index of /aarm/packages/c/coq-doc/

NameLast ModifiedSizeType
../ -  Directory
coq-doc-8.6-5-aarch64.pkg.tar.xz2017-Feb-23 02:33:076.2Mapplication/x-xz
coq-doc-8.6-5-aarch64.pkg.tar.xz.sig2017-Feb-23 02:33:070.5Kapplication/pgp-signature
coq-doc-8.6-5-any.pkg.tar.xz2017-Feb-23 00:53:046.2Mapplication/x-xz
coq-doc-8.6-5-any.pkg.tar.xz.sig2017-Feb-23 00:53:040.5Kapplication/pgp-signature
coq-doc-8.6-6-aarch64.pkg.tar.xz2017-Jul-08 04:33:226.2Mapplication/x-xz
coq-doc-8.6-6-aarch64.pkg.tar.xz.sig2017-Jul-08 04:33:270.5Kapplication/pgp-signature
coq-doc-8.6-6-arm.pkg.tar.xz2017-Jul-08 05:54:596.2Mapplication/x-xz
coq-doc-8.6-6-arm.pkg.tar.xz.sig2017-Jul-08 05:54:590.5Kapplication/pgp-signature
coq-doc-8.6-6-armv6h.pkg.tar.xz2017-Jul-08 05:30:056.2Mapplication/x-xz
coq-doc-8.6-6-armv6h.pkg.tar.xz.sig2017-Jul-08 05:30:050.5Kapplication/pgp-signature
coq-doc-8.6-6-armv7h.pkg.tar.xz2017-Jul-08 04:54:556.2Mapplication/x-xz
coq-doc-8.6-6-armv7h.pkg.tar.xz.sig2017-Jul-08 04:54:550.5Kapplication/pgp-signature
coq-doc-8.6-7-aarch64.pkg.tar.xz2017-Jul-13 00:53:196.2Mapplication/x-xz
coq-doc-8.6-7-aarch64.pkg.tar.xz.sig2017-Jul-13 00:53:240.5Kapplication/pgp-signature
coq-doc-8.6-7-arm.pkg.tar.xz2017-Jul-13 01:31:386.2Mapplication/x-xz
coq-doc-8.6-7-arm.pkg.tar.xz.sig2017-Jul-13 01:31:380.5Kapplication/pgp-signature
coq-doc-8.6-7-armv6h.pkg.tar.xz2017-Jul-13 01:16:136.2Mapplication/x-xz
coq-doc-8.6-7-armv6h.pkg.tar.xz.sig2017-Jul-13 01:16:130.5Kapplication/pgp-signature
coq-doc-8.6-7-armv7h.pkg.tar.xz2017-Jul-13 01:09:496.2Mapplication/x-xz
coq-doc-8.6-7-armv7h.pkg.tar.xz.sig2017-Jul-13 01:09:490.5Kapplication/pgp-signature
coq-doc-8.6-8-aarch64.pkg.tar.xz2017-Jul-15 14:33:526.2Mapplication/x-xz
coq-doc-8.6-8-aarch64.pkg.tar.xz.sig2017-Jul-15 14:33:570.5Kapplication/pgp-signature
coq-doc-8.6-8-arm.pkg.tar.xz2017-Jul-15 15:01:256.2Mapplication/x-xz
coq-doc-8.6-8-arm.pkg.tar.xz.sig2017-Jul-15 15:01:250.5Kapplication/pgp-signature
coq-doc-8.6-8-armv6h.pkg.tar.xz2017-Jul-15 14:53:476.2Mapplication/x-xz
coq-doc-8.6-8-armv6h.pkg.tar.xz.sig2017-Jul-15 14:53:470.5Kapplication/pgp-signature
coq-doc-8.6-8-armv7h.pkg.tar.xz2017-Jul-15 14:51:356.2Mapplication/x-xz
coq-doc-8.6-8-armv7h.pkg.tar.xz.sig2017-Jul-15 14:51:350.5Kapplication/pgp-signature
coq-doc-8.6.1-1-aarch64.pkg.tar.xz2017-Jul-26 13:35:106.2Mapplication/x-xz
coq-doc-8.6.1-1-aarch64.pkg.tar.xz.sig2017-Jul-26 13:35:150.5Kapplication/pgp-signature
coq-doc-8.6.1-1-arm.pkg.tar.xz2017-Jul-26 13:56:136.2Mapplication/x-xz
coq-doc-8.6.1-1-arm.pkg.tar.xz.sig2017-Jul-26 13:56:130.5Kapplication/pgp-signature
coq-doc-8.6.1-1-armv6h.pkg.tar.xz2017-Jul-26 13:52:186.2Mapplication/x-xz
coq-doc-8.6.1-1-armv6h.pkg.tar.xz.sig2017-Jul-26 13:52:180.5Kapplication/pgp-signature
coq-doc-8.7.0-1-arm.pkg.tar.xz2017-Oct-19 05:03:416.7Mapplication/x-xz
coq-doc-8.7.0-1-arm.pkg.tar.xz.sig2017-Oct-19 05:03:410.5Kapplication/pgp-signature
coq-doc-8.7.0-1-armv6h.pkg.tar.xz2017-Oct-18 19:53:596.7Mapplication/x-xz
coq-doc-8.7.0-1-armv6h.pkg.tar.xz.sig2017-Oct-19 00:46:000.5Kapplication/pgp-signature
coq-doc-8.7.0-1-armv7h.pkg.tar.xz2017-Oct-18 19:22:086.7Mapplication/x-xz
coq-doc-8.7.0-1-armv7h.pkg.tar.xz.sig2017-Oct-19 00:46:050.5Kapplication/pgp-signature
coq-doc-8.7.1-1-arm.pkg.tar.xz2017-Dec-17 05:08:018.3Mapplication/x-xz
coq-doc-8.7.1-1-arm.pkg.tar.xz.sig2017-Dec-17 05:08:010.5Kapplication/pgp-signature
coq-doc-8.7.1-1-armv6h.pkg.tar.xz2017-Dec-17 05:04:098.3Mapplication/x-xz
coq-doc-8.7.1-1-armv6h.pkg.tar.xz.sig2017-Dec-17 05:04:090.5Kapplication/pgp-signature
coq-doc-8.7.1-1-armv7h.pkg.tar.xz2017-Dec-17 05:03:438.2Mapplication/x-xz
coq-doc-8.7.1-1-armv7h.pkg.tar.xz.sig2017-Dec-17 05:03:430.5Kapplication/pgp-signature
coq-doc-8.7.1-2-aarch64.pkg.tar.xz2018-Jan-25 13:51:128.3Mapplication/x-xz
coq-doc-8.7.1-2-aarch64.pkg.tar.xz.sig2018-Jan-25 13:51:170.5Kapplication/pgp-signature
coq-doc-8.7.1-2-arm.pkg.tar.xz2018-Jan-25 14:52:528.3Mapplication/x-xz
coq-doc-8.7.1-2-arm.pkg.tar.xz.sig2018-Jan-25 14:52:530.5Kapplication/pgp-signature
coq-doc-8.7.1-2-armv6h.pkg.tar.xz2018-Jan-25 12:29:548.3Mapplication/x-xz
coq-doc-8.7.1-2-armv6h.pkg.tar.xz.sig2018-Jan-25 12:29:540.5Kapplication/pgp-signature
coq-doc-8.7.1-2-armv7h.pkg.tar.xz2018-Jan-25 08:38:088.2Mapplication/x-xz
coq-doc-8.7.1-2-armv7h.pkg.tar.xz.sig2018-Jan-25 08:38:080.5Kapplication/pgp-signature
coq-doc-8.7.1-3-aarch64.pkg.tar.xz2018-Feb-07 07:20:438.3Mapplication/x-xz
coq-doc-8.7.1-3-aarch64.pkg.tar.xz.sig2018-Feb-07 07:20:470.5Kapplication/pgp-signature
coq-doc-8.7.1-3-arm.pkg.tar.xz2018-Feb-07 07:57:458.2Mapplication/x-xz
coq-doc-8.7.1-3-arm.pkg.tar.xz.sig2018-Feb-07 07:57:450.5Kapplication/pgp-signature
coq-doc-8.7.1-3-armv6h.pkg.tar.xz2018-Feb-07 07:42:388.2Mapplication/x-xz
coq-doc-8.7.1-3-armv6h.pkg.tar.xz.sig2018-Feb-07 07:42:380.5Kapplication/pgp-signature
coq-doc-8.7.1-3-armv7h.pkg.tar.xz2018-Feb-07 07:34:318.2Mapplication/x-xz
coq-doc-8.7.1-3-armv7h.pkg.tar.xz.sig2018-Feb-07 07:34:310.5Kapplication/pgp-signature
coq-doc-8.7.2-1-aarch64.pkg.tar.xz2018-Feb-16 20:10:448.5Mapplication/x-xz
coq-doc-8.7.2-1-aarch64.pkg.tar.xz.sig2018-Feb-16 20:10:480.5Kapplication/pgp-signature
coq-doc-8.7.2-1-arm.pkg.tar.xz2018-Feb-16 20:48:488.5Mapplication/x-xz
coq-doc-8.7.2-1-arm.pkg.tar.xz.sig2018-Feb-16 20:48:480.5Kapplication/pgp-signature
coq-doc-8.7.2-1-armv6h.pkg.tar.xz2018-Feb-16 20:30:448.4Mapplication/x-xz
coq-doc-8.7.2-1-armv6h.pkg.tar.xz.sig2018-Feb-16 20:30:440.5Kapplication/pgp-signature
coq-doc-8.7.2-1-armv7h.pkg.tar.xz2018-Feb-16 20:24:388.4Mapplication/x-xz
coq-doc-8.7.2-1-armv7h.pkg.tar.xz.sig2018-Feb-16 20:24:380.5Kapplication/pgp-signature
coq-doc-8.8.0-1-aarch64.pkg.tar.xz2018-Apr-18 21:04:358.9Mapplication/x-xz
coq-doc-8.8.0-1-aarch64.pkg.tar.xz.sig2018-Apr-18 21:04:380.5Kapplication/pgp-signature
coq-doc-8.8.0-1-arm.pkg.tar.xz2018-Apr-18 21:20:159.1Mapplication/x-xz
coq-doc-8.8.0-1-arm.pkg.tar.xz.sig2018-Apr-18 21:20:150.5Kapplication/pgp-signature
coq-doc-8.8.0-1-armv6h.pkg.tar.xz2018-Apr-18 21:19:268.9Mapplication/x-xz
coq-doc-8.8.0-1-armv6h.pkg.tar.xz.sig2018-Apr-18 21:19:260.5Kapplication/pgp-signature
coq-doc-8.8.0-1-armv7h.pkg.tar.xz2018-Apr-18 21:23:218.9Mapplication/x-xz
coq-doc-8.8.0-1-armv7h.pkg.tar.xz.sig2018-Apr-18 21:23:210.5Kapplication/pgp-signature
coq-doc-8.8.0-2-aarch64.pkg.tar.xz2018-May-03 13:18:278.9Mapplication/x-xz
coq-doc-8.8.0-2-aarch64.pkg.tar.xz.sig2018-May-03 13:18:310.5Kapplication/pgp-signature
coq-doc-8.8.0-2-arm.pkg.tar.xz2018-May-03 13:34:589.0Mapplication/x-xz
coq-doc-8.8.0-2-arm.pkg.tar.xz.sig2018-May-03 13:34:580.5Kapplication/pgp-signature
coq-doc-8.8.0-2-armv6h.pkg.tar.xz2018-May-03 13:30:309.1Mapplication/x-xz
coq-doc-8.8.0-2-armv6h.pkg.tar.xz.sig2018-May-03 13:30:300.5Kapplication/pgp-signature
coq-doc-8.8.1-1-aarch64.pkg.tar.xz2018-Jun-30 02:51:2011.4Mapplication/x-xz
coq-doc-8.8.1-1-aarch64.pkg.tar.xz.sig2018-Jun-30 02:51:240.5Kapplication/pgp-signature
coq-doc-8.8.1-1-arm.pkg.tar.xz2018-Jun-30 03:08:1011.4Mapplication/x-xz
coq-doc-8.8.1-1-arm.pkg.tar.xz.sig2018-Jun-30 03:08:100.5Kapplication/pgp-signature
coq-doc-8.8.1-1-armv6h.pkg.tar.xz2018-Jun-30 03:03:2911.4Mapplication/x-xz
coq-doc-8.8.1-1-armv6h.pkg.tar.xz.sig2018-Jun-30 03:03:290.5Kapplication/pgp-signature
coq-doc-8.8.1-1-armv7h.pkg.tar.xz2018-Jun-30 03:02:2911.4Mapplication/x-xz
coq-doc-8.8.1-1-armv7h.pkg.tar.xz.sig2018-Jun-30 03:02:300.5Kapplication/pgp-signature
coq-doc-8.8.1-2-aarch64.pkg.tar.xz2018-Jul-05 13:53:3411.4Mapplication/x-xz
coq-doc-8.8.1-2-aarch64.pkg.tar.xz.sig2018-Jul-05 13:53:370.5Kapplication/pgp-signature
coq-doc-8.8.1-2-arm.pkg.tar.xz2018-Jul-05 15:25:2211.4Mapplication/x-xz
coq-doc-8.8.1-2-arm.pkg.tar.xz.sig2018-Jul-05 15:25:220.5Kapplication/pgp-signature
coq-doc-8.8.1-2-armv6h.pkg.tar.xz2018-Jul-05 15:21:0311.4Mapplication/x-xz
coq-doc-8.8.1-2-armv6h.pkg.tar.xz.sig2018-Jul-05 15:21:030.5Kapplication/pgp-signature
coq-doc-8.8.1-2-armv7h.pkg.tar.xz2018-Jul-05 14:04:4111.4Mapplication/x-xz
coq-doc-8.8.1-2-armv7h.pkg.tar.xz.sig2018-Jul-05 14:04:410.5Kapplication/pgp-signature
coq-doc-8.8.1-3-aarch64.pkg.tar.xz2018-Aug-15 00:40:3111.4Mapplication/x-xz
coq-doc-8.8.1-3-aarch64.pkg.tar.xz.sig2018-Aug-15 00:40:360.5Kapplication/pgp-signature
coq-doc-8.8.1-3-arm.pkg.tar.xz2018-Aug-15 01:34:3811.4Mapplication/x-xz
coq-doc-8.8.1-3-arm.pkg.tar.xz.sig2018-Aug-15 01:34:460.5Kapplication/pgp-signature
coq-doc-8.8.1-3-armv6h.pkg.tar.xz2018-Aug-15 01:09:4811.4Mapplication/x-xz
coq-doc-8.8.1-3-armv6h.pkg.tar.xz.sig2018-Aug-15 01:09:550.5Kapplication/pgp-signature
coq-doc-8.8.1-3-armv7h.pkg.tar.xz2018-Aug-15 00:20:1011.4Mapplication/x-xz
coq-doc-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