Index of /aarm/packages/h/haskell-tamarin-prover-term/

NameLast ModifiedSizeType
../ -  Directory
haskell-tamarin-prover-term-1.2.2-1-armv7h.pkg.tar.xz2017-Aug-06 22:18:16697.2Kapplication/x-xz
haskell-tamarin-prover-term-1.2.2-1-armv7h.pkg.tar.xz.sig2017-Aug-06 22:18:160.5Kapplication/pgp-signature
haskell-tamarin-prover-term-1.2.2-10-armv7h.pkg.tar.xz2018-Feb-11 23:11:42580.5Kapplication/x-xz
haskell-tamarin-prover-term-1.2.2-10-armv7h.pkg.tar.xz.sig2018-Feb-11 23:11:420.5Kapplication/pgp-signature
haskell-tamarin-prover-term-1.2.2-11-armv7h.pkg.tar.xz2018-Feb-14 12:42:30580.1Kapplication/x-xz
haskell-tamarin-prover-term-1.2.2-11-armv7h.pkg.tar.xz.sig2018-Feb-14 12:42:300.5Kapplication/pgp-signature
haskell-tamarin-prover-term-1.2.2-12-armv7h.pkg.tar.xz2018-Feb-17 09:28:32579.8Kapplication/x-xz
haskell-tamarin-prover-term-1.2.2-12-armv7h.pkg.tar.xz.sig2018-Feb-17 09:28:320.5Kapplication/pgp-signature
haskell-tamarin-prover-term-1.2.2-13-armv7h.pkg.tar.xz2018-Feb-24 22:09:25580.3Kapplication/x-xz
haskell-tamarin-prover-term-1.2.2-13-armv7h.pkg.tar.xz.sig2018-Feb-24 22:09:260.5Kapplication/pgp-signature
haskell-tamarin-prover-term-1.2.2-4-armv7h.pkg.tar.xz2017-Sep-27 07:10:11581.1Kapplication/x-xz
haskell-tamarin-prover-term-1.2.2-4-armv7h.pkg.tar.xz.sig2017-Sep-27 07:10:110.5Kapplication/pgp-signature
haskell-tamarin-prover-term-1.2.2-5-armv7h.pkg.tar.xz2017-Dec-03 01:16:48580.8Kapplication/x-xz
haskell-tamarin-prover-term-1.2.2-5-armv7h.pkg.tar.xz.sig2017-Dec-03 01:16:480.5Kapplication/pgp-signature
haskell-tamarin-prover-term-1.2.2-6-armv7h.pkg.tar.xz2017-Dec-30 23:09:29580.8Kapplication/x-xz
haskell-tamarin-prover-term-1.2.2-6-armv7h.pkg.tar.xz.sig2017-Dec-30 23:09:290.5Kapplication/pgp-signature
haskell-tamarin-prover-term-1.2.2-7-armv7h.pkg.tar.xz2018-Jan-15 11:26:16580.9Kapplication/x-xz
haskell-tamarin-prover-term-1.2.2-7-armv7h.pkg.tar.xz.sig2018-Jan-15 11:26:160.5Kapplication/pgp-signature
haskell-tamarin-prover-term-1.2.2-8-armv7h.pkg.tar.xz2018-Jan-23 22:33:17580.8Kapplication/x-xz
haskell-tamarin-prover-term-1.2.2-8-armv7h.pkg.tar.xz.sig2018-Jan-23 22:33:170.5Kapplication/pgp-signature
haskell-tamarin-prover-term-1.2.2-9-armv7h.pkg.tar.xz2018-Jan-25 08:43:14580.9Kapplication/x-xz
haskell-tamarin-prover-term-1.2.2-9-armv7h.pkg.tar.xz.sig2018-Jan-25 08:43:140.5Kapplication/pgp-signature
haskell-tamarin-prover-term-1.2.3-1-armv7h.pkg.tar.xz2018-Mar-01 13:09:09584.4Kapplication/x-xz
haskell-tamarin-prover-term-1.2.3-1-armv7h.pkg.tar.xz.sig2018-Mar-01 13:09:090.5Kapplication/pgp-signature
haskell-tamarin-prover-term-1.2.3-2-armv7h.pkg.tar.xz2018-Mar-06 18:56:04584.2Kapplication/x-xz
haskell-tamarin-prover-term-1.2.3-2-armv7h.pkg.tar.xz.sig2018-Mar-06 18:56:040.5Kapplication/pgp-signature
haskell-tamarin-prover-term-1.2.3-3-armv7h.pkg.tar.xz2018-Mar-07 22:16:51584.2Kapplication/x-xz
haskell-tamarin-prover-term-1.2.3-3-armv7h.pkg.tar.xz.sig2018-Mar-07 22:16:510.5Kapplication/pgp-signature
haskell-tamarin-prover-term-1.2.3-4-armv7h.pkg.tar.xz2018-Mar-09 02:31:21583.7Kapplication/x-xz
haskell-tamarin-prover-term-1.2.3-4-armv7h.pkg.tar.xz.sig2018-Mar-09 02:31:210.5Kapplication/pgp-signature
haskell-tamarin-prover-term-1.2.3-5-armv7h.pkg.tar.xz2018-Mar-10 20:07:54583.9Kapplication/x-xz
haskell-tamarin-prover-term-1.2.3-5-armv7h.pkg.tar.xz.sig2018-Mar-10 20:07:540.5Kapplication/pgp-signature
haskell-tamarin-prover-term-1.2.3-7-armv7h.pkg.tar.xz2018-Mar-15 13:54:18584.3Kapplication/x-xz
haskell-tamarin-prover-term-1.2.3-7-armv7h.pkg.tar.xz.sig2018-Mar-15 13:54:180.5Kapplication/pgp-signature
haskell-tamarin-prover-term-1.2.3-8-armv7h.pkg.tar.xz2018-Mar-22 04:18:39585.1Kapplication/x-xz
haskell-tamarin-prover-term-1.2.3-8-armv7h.pkg.tar.xz.sig2018-Mar-22 04:18:390.5Kapplication/pgp-signature
haskell-tamarin-prover-term-1.4.0-11-armv7h.pkg.tar.xz2018-Jun-04 11:02:05604.0Kapplication/x-xz
haskell-tamarin-prover-term-1.4.0-11-armv7h.pkg.tar.xz.sig2018-Jun-04 11:02:050.5Kapplication/pgp-signature
haskell-tamarin-prover-term-1.4.0-12-armv7h.pkg.tar.xz2018-Jun-25 18:23:27604.9Kapplication/x-xz
haskell-tamarin-prover-term-1.4.0-12-armv7h.pkg.tar.xz.sig2018-Jun-25 18:23:270.5Kapplication/pgp-signature
haskell-tamarin-prover-term-1.4.0-13-armv7h.pkg.tar.xz2018-Jul-03 21:50:37604.9Kapplication/x-xz
haskell-tamarin-prover-term-1.4.0-13-armv7h.pkg.tar.xz.sig2018-Jul-03 21:50:370.5Kapplication/pgp-signature
haskell-tamarin-prover-term-1.4.0-14-armv7h.pkg.tar.xz2018-Jul-29 20:56:49604.1Kapplication/x-xz
haskell-tamarin-prover-term-1.4.0-14-armv7h.pkg.tar.xz.sig2018-Jul-29 20:56:520.5Kapplication/pgp-signature
haskell-tamarin-prover-term-1.4.0-15-armv7h.pkg.tar.xz2018-Sep-07 05:24:09603.9Kapplication/x-xz
haskell-tamarin-prover-term-1.4.0-15-armv7h.pkg.tar.xz.sig2018-Sep-07 05:24:130.5Kapplication/pgp-signature
haskell-tamarin-prover-term-1.4.0-16-armv7h.pkg.tar.xz2018-Sep-11 14:51:23604.1Kapplication/x-xz
haskell-tamarin-prover-term-1.4.0-16-armv7h.pkg.tar.xz.sig2018-Sep-11 14:51:250.5Kapplication/pgp-signature
haskell-tamarin-prover-term-1.4.0-17-armv7h.pkg.tar.xz2018-Sep-14 05:19:59605.9Kapplication/x-xz
haskell-tamarin-prover-term-1.4.0-17-armv7h.pkg.tar.xz.sig2018-Sep-14 05:20:010.5Kapplication/pgp-signature
haskell-tamarin-prover-term-1.4.0-18-armv7h.pkg.tar.xz2018-Sep-16 17:06:37604.1Kapplication/x-xz
haskell-tamarin-prover-term-1.4.0-18-armv7h.pkg.tar.xz.sig2018-Sep-16 17:06:410.5Kapplication/pgp-signature
haskell-tamarin-prover-term-1.4.0-19-armv7h.pkg.tar.xz2018-Oct-06 05:18:42604.1Kapplication/x-xz
haskell-tamarin-prover-term-1.4.0-19-armv7h.pkg.tar.xz.sig2018-Oct-06 05:18:450.5Kapplication/pgp-signature
haskell-tamarin-prover-term-1.4.0-20-armv7h.pkg.tar.xz2018-Oct-12 17:38:30604.3Kapplication/x-xz
haskell-tamarin-prover-term-1.4.0-20-armv7h.pkg.tar.xz.sig2018-Oct-12 17:38:320.5Kapplication/pgp-signature
haskell-tamarin-prover-term-1.4.0-21-armv7h.pkg.tar.xz2018-Oct-19 11:24:34610.5Kapplication/x-xz
haskell-tamarin-prover-term-1.4.0-21-armv7h.pkg.tar.xz.sig2018-Oct-19 11:24:370.5Kapplication/pgp-signature
haskell-tamarin-prover-term-1.4.0-22-armv7h.pkg.tar.xz2018-Nov-01 06:49:48610.1Kapplication/x-xz
haskell-tamarin-prover-term-1.4.0-22-armv7h.pkg.tar.xz.sig2018-Nov-01 06:49:500.5Kapplication/pgp-signature
haskell-tamarin-prover-term-1.4.0-3-armv7h.pkg.tar.xz2018-May-10 20:30:16595.3Kapplication/x-xz
haskell-tamarin-prover-term-1.4.0-3-armv7h.pkg.tar.xz.sig2018-May-10 20:30:160.5Kapplication/pgp-signature
A TARDIS (Time And Relative Dimension In Space) is a spaceship invented by the Time Lords that can travel through space and time
Have questions? Email to ba04763b19@tiny-vps.com