../ | | - | Directory |
haskell-tamarin-prover-theory-1.2.2-1-armv7h.pkg.tar.xz | 2017-Aug-06 22:49:19 | 1.7M | application/x-xz |
haskell-tamarin-prover-theory-1.2.2-1-armv7h.pkg.tar.xz.sig | 2017-Aug-06 22:49:19 | 0.5K | application/pgp-signature |
haskell-tamarin-prover-theory-1.2.2-10-armv7h.pkg.tar.xz | 2018-Jan-04 08:55:53 | 1.5M | application/x-xz |
haskell-tamarin-prover-theory-1.2.2-10-armv7h.pkg.tar.xz.sig | 2018-Jan-04 08:55:54 | 0.5K | application/pgp-signature |
haskell-tamarin-prover-theory-1.2.2-11-armv7h.pkg.tar.xz | 2018-Jan-15 12:05:17 | 1.5M | application/x-xz |
haskell-tamarin-prover-theory-1.2.2-11-armv7h.pkg.tar.xz.sig | 2018-Jan-15 12:05:17 | 0.5K | application/pgp-signature |
haskell-tamarin-prover-theory-1.2.2-12-armv7h.pkg.tar.xz | 2018-Jan-23 23:48:19 | 1.5M | application/x-xz |
haskell-tamarin-prover-theory-1.2.2-12-armv7h.pkg.tar.xz.sig | 2018-Jan-23 23:48:19 | 0.5K | application/pgp-signature |
haskell-tamarin-prover-theory-1.2.2-14-armv7h.pkg.tar.xz | 2018-Jan-26 07:50:40 | 1.5M | application/x-xz |
haskell-tamarin-prover-theory-1.2.2-14-armv7h.pkg.tar.xz.sig | 2018-Jan-26 07:50:40 | 0.5K | application/pgp-signature |
haskell-tamarin-prover-theory-1.2.2-15-armv7h.pkg.tar.xz | 2018-Feb-10 23:22:44 | 1.5M | application/x-xz |
haskell-tamarin-prover-theory-1.2.2-15-armv7h.pkg.tar.xz.sig | 2018-Feb-10 23:22:44 | 0.5K | application/pgp-signature |
haskell-tamarin-prover-theory-1.2.2-17-armv7h.pkg.tar.xz | 2018-Feb-12 20:17:25 | 1.5M | application/x-xz |
haskell-tamarin-prover-theory-1.2.2-17-armv7h.pkg.tar.xz.sig | 2018-Feb-12 20:17:25 | 0.5K | application/pgp-signature |
haskell-tamarin-prover-theory-1.2.2-18-armv7h.pkg.tar.xz | 2018-Feb-14 13:01:00 | 1.5M | application/x-xz |
haskell-tamarin-prover-theory-1.2.2-18-armv7h.pkg.tar.xz.sig | 2018-Feb-14 13:01:00 | 0.5K | application/pgp-signature |
haskell-tamarin-prover-theory-1.2.2-19-armv7h.pkg.tar.xz | 2018-Feb-17 11:28:30 | 1.5M | application/x-xz |
haskell-tamarin-prover-theory-1.2.2-19-armv7h.pkg.tar.xz.sig | 2018-Feb-17 11:28:30 | 0.5K | application/pgp-signature |
haskell-tamarin-prover-theory-1.2.2-2-armv7h.pkg.tar.xz | 2017-Aug-14 19:27:50 | 1.7M | application/x-xz |
haskell-tamarin-prover-theory-1.2.2-2-armv7h.pkg.tar.xz.sig | 2017-Aug-14 19:27:50 | 0.5K | application/pgp-signature |
haskell-tamarin-prover-theory-1.2.2-20-armv7h.pkg.tar.xz | 2018-Feb-24 22:49:20 | 1.5M | application/x-xz |
haskell-tamarin-prover-theory-1.2.2-20-armv7h.pkg.tar.xz.sig | 2018-Feb-24 22:49:20 | 0.5K | application/pgp-signature |
haskell-tamarin-prover-theory-1.2.2-22-armv7h.pkg.tar.xz | 2018-Mar-01 12:38:46 | 1.5M | application/x-xz |
haskell-tamarin-prover-theory-1.2.2-22-armv7h.pkg.tar.xz.sig | 2018-Mar-01 12:38:46 | 0.5K | application/pgp-signature |
haskell-tamarin-prover-theory-1.2.2-6-armv7h.pkg.tar.xz | 2017-Sep-27 08:46:43 | 1.5M | application/x-xz |
haskell-tamarin-prover-theory-1.2.2-6-armv7h.pkg.tar.xz.sig | 2017-Sep-27 08:46:43 | 0.5K | application/pgp-signature |
haskell-tamarin-prover-theory-1.2.2-7-armv7h.pkg.tar.xz | 2017-Oct-19 18:34:23 | 1.5M | application/x-xz |
haskell-tamarin-prover-theory-1.2.2-7-armv7h.pkg.tar.xz.sig | 2017-Oct-19 18:34:24 | 0.5K | application/pgp-signature |
haskell-tamarin-prover-theory-1.2.2-8-armv7h.pkg.tar.xz | 2017-Dec-03 01:50:15 | 1.5M | application/x-xz |
haskell-tamarin-prover-theory-1.2.2-8-armv7h.pkg.tar.xz.sig | 2017-Dec-03 01:50:15 | 0.5K | application/pgp-signature |
haskell-tamarin-prover-theory-1.2.2-9-armv7h.pkg.tar.xz | 2017-Dec-31 00:03:43 | 1.5M | application/x-xz |
haskell-tamarin-prover-theory-1.2.2-9-armv7h.pkg.tar.xz.sig | 2017-Dec-31 00:03:43 | 0.5K | application/pgp-signature |
haskell-tamarin-prover-theory-1.2.3-10-armv7h.pkg.tar.xz | 2018-Apr-09 03:21:11 | 1.5M | application/x-xz |
haskell-tamarin-prover-theory-1.2.3-10-armv7h.pkg.tar.xz.sig | 2018-Apr-09 03:21:11 | 0.5K | application/pgp-signature |
haskell-tamarin-prover-theory-1.2.3-11-armv7h.pkg.tar.xz | 2018-Apr-13 17:57:42 | 1.5M | application/x-xz |
haskell-tamarin-prover-theory-1.2.3-11-armv7h.pkg.tar.xz.sig | 2018-Apr-13 17:57:42 | 0.5K | application/pgp-signature |
haskell-tamarin-prover-theory-1.2.3-2-armv7h.pkg.tar.xz | 2018-Mar-06 19:59:22 | 1.5M | application/x-xz |
haskell-tamarin-prover-theory-1.2.3-2-armv7h.pkg.tar.xz.sig | 2018-Mar-06 19:59:22 | 0.5K | application/pgp-signature |
haskell-tamarin-prover-theory-1.2.3-3-armv7h.pkg.tar.xz | 2018-Mar-07 23:31:54 | 1.5M | application/x-xz |
haskell-tamarin-prover-theory-1.2.3-3-armv7h.pkg.tar.xz.sig | 2018-Mar-07 23:31:54 | 0.5K | application/pgp-signature |
haskell-tamarin-prover-theory-1.2.3-4-armv7h.pkg.tar.xz | 2018-Mar-09 06:07:48 | 1.5M | application/x-xz |
haskell-tamarin-prover-theory-1.2.3-4-armv7h.pkg.tar.xz.sig | 2018-Mar-09 06:07:48 | 0.5K | application/pgp-signature |
haskell-tamarin-prover-theory-1.2.3-5-armv7h.pkg.tar.xz | 2018-Mar-10 20:33:35 | 1.5M | application/x-xz |
haskell-tamarin-prover-theory-1.2.3-5-armv7h.pkg.tar.xz.sig | 2018-Mar-10 20:33:35 | 0.5K | application/pgp-signature |
haskell-tamarin-prover-theory-1.2.3-6-armv7h.pkg.tar.xz | 2018-Mar-13 20:52:36 | 1.5M | application/x-xz |
haskell-tamarin-prover-theory-1.2.3-6-armv7h.pkg.tar.xz.sig | 2018-Mar-13 20:52:36 | 0.5K | application/pgp-signature |
haskell-tamarin-prover-theory-1.2.3-8-armv7h.pkg.tar.xz | 2018-Mar-15 14:57:16 | 1.5M | application/x-xz |
haskell-tamarin-prover-theory-1.2.3-8-armv7h.pkg.tar.xz.sig | 2018-Mar-15 14:57:16 | 0.5K | application/pgp-signature |
haskell-tamarin-prover-theory-1.2.3-9-armv7h.pkg.tar.xz | 2018-Mar-22 05:02:49 | 1.5M | application/x-xz |
haskell-tamarin-prover-theory-1.2.3-9-armv7h.pkg.tar.xz.sig | 2018-Mar-22 05:02:49 | 0.5K | application/pgp-signature |
haskell-tamarin-prover-theory-1.4.0-17-armv7h.pkg.tar.xz | 2018-Jun-04 13:47:57 | 1.6M | application/x-xz |
haskell-tamarin-prover-theory-1.4.0-17-armv7h.pkg.tar.xz.sig | 2018-Jun-04 13:47:57 | 0.5K | application/pgp-signature |
haskell-tamarin-prover-theory-1.4.0-18-armv7h.pkg.tar.xz | 2018-Jun-18 18:46:43 | 1.6M | application/x-xz |
haskell-tamarin-prover-theory-1.4.0-18-armv7h.pkg.tar.xz.sig | 2018-Jun-18 18:46:43 | 0.5K | application/pgp-signature |
haskell-tamarin-prover-theory-1.4.0-19-armv7h.pkg.tar.xz | 2018-Jun-25 21:31:27 | 1.6M | application/x-xz |
haskell-tamarin-prover-theory-1.4.0-19-armv7h.pkg.tar.xz.sig | 2018-Jun-25 21:31:27 | 0.5K | application/pgp-signature |
haskell-tamarin-prover-theory-1.4.0-20-armv7h.pkg.tar.xz | 2018-Jun-29 01:23:41 | 1.6M | application/x-xz |
haskell-tamarin-prover-theory-1.4.0-20-armv7h.pkg.tar.xz.sig | 2018-Jun-29 01:23:41 | 0.5K | application/pgp-signature |
haskell-tamarin-prover-theory-1.4.0-21-armv7h.pkg.tar.xz | 2018-Jun-30 20:22:31 | 1.6M | application/x-xz |
haskell-tamarin-prover-theory-1.4.0-21-armv7h.pkg.tar.xz.sig | 2018-Jun-30 20:22:31 | 0.5K | application/pgp-signature |
haskell-tamarin-prover-theory-1.4.0-22-armv7h.pkg.tar.xz | 2018-Jul-02 17:35:25 | 1.6M | application/x-xz |
haskell-tamarin-prover-theory-1.4.0-22-armv7h.pkg.tar.xz.sig | 2018-Jul-02 17:35:26 | 0.5K | application/pgp-signature |
haskell-tamarin-prover-theory-1.4.0-23-armv7h.pkg.tar.xz | 2018-Jul-03 23:53:21 | 1.6M | application/x-xz |
haskell-tamarin-prover-theory-1.4.0-23-armv7h.pkg.tar.xz.sig | 2018-Jul-03 23:53:22 | 0.5K | application/pgp-signature |
haskell-tamarin-prover-theory-1.4.0-24-armv7h.pkg.tar.xz | 2018-Jul-05 14:38:07 | 1.6M | application/x-xz |
haskell-tamarin-prover-theory-1.4.0-24-armv7h.pkg.tar.xz.sig | 2018-Jul-05 14:38:09 | 0.5K | application/pgp-signature |
haskell-tamarin-prover-theory-1.4.0-25-armv7h.pkg.tar.xz | 2018-Jul-08 12:29:34 | 1.6M | application/x-xz |
haskell-tamarin-prover-theory-1.4.0-25-armv7h.pkg.tar.xz.sig | 2018-Jul-08 12:29:34 | 0.5K | application/pgp-signature |
haskell-tamarin-prover-theory-1.4.0-26-armv7h.pkg.tar.xz | 2018-Jul-11 13:01:34 | 1.6M | application/x-xz |
haskell-tamarin-prover-theory-1.4.0-26-armv7h.pkg.tar.xz.sig | 2018-Jul-11 13:01:34 | 0.5K | application/pgp-signature |
haskell-tamarin-prover-theory-1.4.0-27-armv7h.pkg.tar.xz | 2018-Jul-12 19:06:30 | 1.6M | application/x-xz |
haskell-tamarin-prover-theory-1.4.0-27-armv7h.pkg.tar.xz.sig | 2018-Jul-12 19:06:30 | 0.5K | application/pgp-signature |
haskell-tamarin-prover-theory-1.4.0-28-armv7h.pkg.tar.xz | 2018-Jul-15 04:05:50 | 1.6M | application/x-xz |
haskell-tamarin-prover-theory-1.4.0-28-armv7h.pkg.tar.xz.sig | 2018-Jul-15 04:05:50 | 0.5K | application/pgp-signature |
haskell-tamarin-prover-theory-1.4.0-29-armv7h.pkg.tar.xz | 2018-Jul-18 09:17:22 | 1.6M | application/x-xz |
haskell-tamarin-prover-theory-1.4.0-29-armv7h.pkg.tar.xz.sig | 2018-Jul-18 09:17:22 | 0.5K | application/pgp-signature |
haskell-tamarin-prover-theory-1.4.0-3-armv7h.pkg.tar.xz | 2018-May-10 21:02:16 | 1.6M | application/x-xz |
haskell-tamarin-prover-theory-1.4.0-3-armv7h.pkg.tar.xz.sig | 2018-May-10 21:02:16 | 0.5K | application/pgp-signature |
haskell-tamarin-prover-theory-1.4.0-30-armv7h.pkg.tar.xz | 2018-Jul-29 22:10:01 | 1.6M | application/x-xz |
haskell-tamarin-prover-theory-1.4.0-30-armv7h.pkg.tar.xz.sig | 2018-Jul-29 22:10:01 | 0.5K | application/pgp-signature |
haskell-tamarin-prover-theory-1.4.0-31-armv7h.pkg.tar.xz | 2018-Aug-09 18:59:54 | 1.6M | application/x-xz |
haskell-tamarin-prover-theory-1.4.0-31-armv7h.pkg.tar.xz.sig | 2018-Aug-09 18:59:57 | 0.5K | application/pgp-signature |
haskell-tamarin-prover-theory-1.4.0-32-armv7h.pkg.tar.xz | 2018-Aug-27 02:15:54 | 1.6M | application/x-xz |
haskell-tamarin-prover-theory-1.4.0-32-armv7h.pkg.tar.xz.sig | 2018-Aug-27 02:15:54 | 0.5K | application/pgp-signature |
haskell-tamarin-prover-theory-1.4.0-33-armv7h.pkg.tar.xz | 2018-Sep-07 06:46:18 | 1.6M | application/x-xz |
haskell-tamarin-prover-theory-1.4.0-33-armv7h.pkg.tar.xz.sig | 2018-Sep-07 06:46:21 | 0.5K | application/pgp-signature |
haskell-tamarin-prover-theory-1.4.0-34-armv7h.pkg.tar.xz | 2018-Sep-11 16:03:58 | 1.6M | application/x-xz |
haskell-tamarin-prover-theory-1.4.0-34-armv7h.pkg.tar.xz.sig | 2018-Sep-11 16:04:01 | 0.5K | application/pgp-signature |
haskell-tamarin-prover-theory-1.4.0-35-armv7h.pkg.tar.xz | 2018-Sep-14 06:36:30 | 1.6M | application/x-xz |
haskell-tamarin-prover-theory-1.4.0-35-armv7h.pkg.tar.xz.sig | 2018-Sep-14 06:36:33 | 0.5K | application/pgp-signature |
haskell-tamarin-prover-theory-1.4.0-36-armv7h.pkg.tar.xz | 2018-Sep-16 18:33:34 | 1.6M | application/x-xz |
haskell-tamarin-prover-theory-1.4.0-36-armv7h.pkg.tar.xz.sig | 2018-Sep-16 18:33:35 | 0.5K | application/pgp-signature |
haskell-tamarin-prover-theory-1.4.0-38-armv7h.pkg.tar.xz | 2018-Sep-27 21:46:13 | 1.6M | application/x-xz |
haskell-tamarin-prover-theory-1.4.0-38-armv7h.pkg.tar.xz.sig | 2018-Sep-27 21:46:15 | 0.5K | application/pgp-signature |
haskell-tamarin-prover-theory-1.4.0-39-armv7h.pkg.tar.xz | 2018-Sep-28 19:12:01 | 1.6M | application/x-xz |
haskell-tamarin-prover-theory-1.4.0-39-armv7h.pkg.tar.xz.sig | 2018-Sep-28 19:12:01 | 0.5K | application/pgp-signature |
haskell-tamarin-prover-theory-1.4.0-4-armv7h.pkg.tar.xz | 2018-May-13 15:06:59 | 1.6M | application/x-xz |
haskell-tamarin-prover-theory-1.4.0-4-armv7h.pkg.tar.xz.sig | 2018-May-13 15:06:59 | 0.5K | application/pgp-signature |
haskell-tamarin-prover-theory-1.4.0-40-armv7h.pkg.tar.xz | 2018-Oct-06 06:35:24 | 1.6M | application/x-xz |
haskell-tamarin-prover-theory-1.4.0-40-armv7h.pkg.tar.xz.sig | 2018-Oct-06 06:35:26 | 0.5K | application/pgp-signature |
haskell-tamarin-prover-theory-1.4.0-41-armv7h.pkg.tar.xz | 2018-Oct-12 19:30:17 | 1.6M | application/x-xz |
haskell-tamarin-prover-theory-1.4.0-41-armv7h.pkg.tar.xz.sig | 2018-Oct-12 19:30:19 | 0.5K | application/pgp-signature |
haskell-tamarin-prover-theory-1.4.0-43-armv7h.pkg.tar.xz | 2018-Oct-20 00:39:53 | 1.6M | application/x-xz |
haskell-tamarin-prover-theory-1.4.0-43-armv7h.pkg.tar.xz.sig | 2018-Oct-20 00:39:55 | 0.5K | application/pgp-signature |
haskell-tamarin-prover-theory-1.4.0-44-armv7h.pkg.tar.xz | 2018-Nov-01 07:56:39 | 1.6M | application/x-xz |
haskell-tamarin-prover-theory-1.4.0-44-armv7h.pkg.tar.xz.sig | 2018-Nov-01 07:56:42 | 0.5K | application/pgp-signature |