../ | | - | Directory |
haskell-tamarin-prover-utils-1.2.2-1-armv7h.pkg.tar.xz | 2017-Aug-03 21:51:44 | 286.1K | application/x-xz |
haskell-tamarin-prover-utils-1.2.2-1-armv7h.pkg.tar.xz.sig | 2017-Aug-03 21:51:45 | 0.5K | application/pgp-signature |
haskell-tamarin-prover-utils-1.2.2-2-armv7h.pkg.tar.xz | 2017-Aug-05 20:53:04 | 286.6K | application/x-xz |
haskell-tamarin-prover-utils-1.2.2-2-armv7h.pkg.tar.xz.sig | 2017-Aug-05 20:53:04 | 0.5K | application/pgp-signature |
haskell-tamarin-prover-utils-1.2.2-4-armv7h.pkg.tar.xz | 2017-Sep-27 07:03:28 | 184.2K | application/x-xz |
haskell-tamarin-prover-utils-1.2.2-4-armv7h.pkg.tar.xz.sig | 2017-Sep-27 07:03:28 | 0.5K | application/pgp-signature |
haskell-tamarin-prover-utils-1.2.2-5-armv7h.pkg.tar.xz | 2017-Dec-03 00:42:46 | 184.2K | application/x-xz |
haskell-tamarin-prover-utils-1.2.2-5-armv7h.pkg.tar.xz.sig | 2017-Dec-03 00:42:46 | 0.5K | application/pgp-signature |
haskell-tamarin-prover-utils-1.2.2-6-armv7h.pkg.tar.xz | 2017-Dec-30 21:01:36 | 184.2K | application/x-xz |
haskell-tamarin-prover-utils-1.2.2-6-armv7h.pkg.tar.xz.sig | 2017-Dec-30 21:01:36 | 0.5K | application/pgp-signature |
haskell-tamarin-prover-utils-1.2.2-7-armv7h.pkg.tar.xz | 2018-Jan-25 08:27:55 | 183.8K | application/x-xz |
haskell-tamarin-prover-utils-1.2.2-7-armv7h.pkg.tar.xz.sig | 2018-Jan-25 08:27:55 | 0.5K | application/pgp-signature |
haskell-tamarin-prover-utils-1.2.2-8-armv7h.pkg.tar.xz | 2018-Feb-14 12:37:34 | 184.4K | application/x-xz |
haskell-tamarin-prover-utils-1.2.2-8-armv7h.pkg.tar.xz.sig | 2018-Feb-14 12:37:34 | 0.5K | application/pgp-signature |
haskell-tamarin-prover-utils-1.2.3-1-armv7h.pkg.tar.xz | 2018-Mar-01 13:04:23 | 193.5K | application/x-xz |
haskell-tamarin-prover-utils-1.2.3-1-armv7h.pkg.tar.xz.sig | 2018-Mar-01 13:04:23 | 0.5K | application/pgp-signature |
haskell-tamarin-prover-utils-1.2.3-2-armv7h.pkg.tar.xz | 2018-Mar-15 09:03:48 | 193.5K | application/x-xz |
haskell-tamarin-prover-utils-1.2.3-2-armv7h.pkg.tar.xz.sig | 2018-Mar-15 09:03:48 | 0.5K | application/pgp-signature |
haskell-tamarin-prover-utils-1.2.3-3-armv7h.pkg.tar.xz | 2018-Mar-22 04:08:29 | 193.8K | application/x-xz |
haskell-tamarin-prover-utils-1.2.3-3-armv7h.pkg.tar.xz.sig | 2018-Mar-22 04:08:29 | 0.5K | application/pgp-signature |
haskell-tamarin-prover-utils-1.4.0-1-armv7h.pkg.tar.xz | 2018-May-08 06:03:29 | 195.3K | application/x-xz |
haskell-tamarin-prover-utils-1.4.0-1-armv7h.pkg.tar.xz.sig | 2018-May-08 06:03:29 | 0.5K | application/pgp-signature |
haskell-tamarin-prover-utils-1.4.0-5-armv7h.pkg.tar.xz | 2018-Jun-04 10:16:45 | 199.9K | application/x-xz |
haskell-tamarin-prover-utils-1.4.0-5-armv7h.pkg.tar.xz.sig | 2018-Jun-04 10:16:45 | 0.5K | application/pgp-signature |
haskell-tamarin-prover-utils-1.4.0-6-armv7h.pkg.tar.xz | 2018-Sep-14 05:13:58 | 199.9K | application/x-xz |
haskell-tamarin-prover-utils-1.4.0-6-armv7h.pkg.tar.xz.sig | 2018-Sep-14 05:14:00 | 0.5K | application/pgp-signature |
haskell-tamarin-prover-utils-1.4.0-7-armv7h.pkg.tar.xz | 2018-Oct-19 10:40:02 | 208.2K | application/x-xz |
haskell-tamarin-prover-utils-1.4.0-7-armv7h.pkg.tar.xz.sig | 2018-Oct-19 10:40:04 | 0.5K | application/pgp-signature |