../ | | - | Directory |
yices-2.6.2-1-aarch64.pkg.tar.xz | 2020-Jul-31 01:47:56 | 1.0M | application/x-xz |
yices-2.6.2-1-aarch64.pkg.tar.xz.sig | 2020-Jul-31 01:47:58 | 0.5K | application/pgp-signature |
yices-2.6.2-1-arm.pkg.tar.xz | 2020-Jul-31 01:50:15 | 718.3K | application/x-xz |
yices-2.6.2-1-arm.pkg.tar.xz.sig | 2020-Jul-31 01:50:17 | 0.5K | application/pgp-signature |
yices-2.6.2-1-armv6h.pkg.tar.xz | 2020-Jul-31 01:48:35 | 716.8K | application/x-xz |
yices-2.6.2-1-armv6h.pkg.tar.xz.sig | 2020-Jul-31 01:48:36 | 0.5K | application/pgp-signature |
yices-2.6.2-1-armv7h.pkg.tar.xz | 2020-Jul-31 01:48:50 | 720.9K | application/x-xz |
yices-2.6.2-1-armv7h.pkg.tar.xz.sig | 2020-Jul-31 01:48:52 | 0.5K | application/pgp-signature |
yices-2.6.2-2-aarch64.pkg.tar.xz | 2020-Dec-21 11:50:08 | 1.2M | application/x-xz |
yices-2.6.2-2-aarch64.pkg.tar.xz.sig | 2020-Dec-21 11:50:09 | 0.5K | application/pgp-signature |
yices-2.6.2-2-arm.pkg.tar.xz | 2020-Dec-21 14:50:23 | 836.6K | application/x-xz |
yices-2.6.2-2-arm.pkg.tar.xz.sig | 2020-Dec-21 14:50:24 | 0.5K | application/pgp-signature |
yices-2.6.2-2-armv6h.pkg.tar.xz | 2020-Dec-21 13:11:27 | 832.6K | application/x-xz |
yices-2.6.2-2-armv6h.pkg.tar.xz.sig | 2020-Dec-21 13:11:29 | 0.5K | application/pgp-signature |
yices-2.6.2-2-armv7h.pkg.tar.xz | 2020-Dec-21 10:49:09 | 832.6K | application/x-xz |
yices-2.6.2-2-armv7h.pkg.tar.xz.sig | 2020-Dec-21 10:49:11 | 0.5K | application/pgp-signature |
yices-2.6.4-1-aarch64.pkg.tar.xz | 2022-Jan-02 04:45:22 | 1.3M | application/x-xz |
yices-2.6.4-1-aarch64.pkg.tar.xz.sig | 2022-Jan-02 04:45:24 | 0.5K | application/pgp-signature |
yices-2.6.4-1-arm.pkg.tar.xz | 2022-Jan-02 04:33:18 | 898.9K | application/x-xz |
yices-2.6.4-1-arm.pkg.tar.xz.sig | 2022-Jan-02 04:33:21 | 0.5K | application/pgp-signature |
yices-2.6.4-1-armv6h.pkg.tar.xz | 2022-Jan-02 04:29:17 | 896.8K | application/x-xz |
yices-2.6.4-1-armv6h.pkg.tar.xz.sig | 2022-Jan-02 04:29:20 | 0.5K | application/pgp-signature |
yices-2.6.4-1-armv7h.pkg.tar.xz | 2022-Jan-02 04:23:34 | 896.4K | application/x-xz |
yices-2.6.4-1-armv7h.pkg.tar.xz.sig | 2022-Jan-02 04:23:36 | 0.5K | application/pgp-signature |