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

NameLast ModifiedSizeType
../ -  Directory
haskell-tamarin-prover-theory-1.2.2-1-armv7h.pkg.tar.xz2017-Aug-06 22:49:191.7Mapplication/x-xz
haskell-tamarin-prover-theory-1.2.2-1-armv7h.pkg.tar.xz.sig2017-Aug-06 22:49:190.5Kapplication/pgp-signature
haskell-tamarin-prover-theory-1.2.2-10-armv7h.pkg.tar.xz2018-Jan-04 08:55:531.5Mapplication/x-xz
haskell-tamarin-prover-theory-1.2.2-10-armv7h.pkg.tar.xz.sig2018-Jan-04 08:55:540.5Kapplication/pgp-signature
haskell-tamarin-prover-theory-1.2.2-11-armv7h.pkg.tar.xz2018-Jan-15 12:05:171.5Mapplication/x-xz
haskell-tamarin-prover-theory-1.2.2-11-armv7h.pkg.tar.xz.sig2018-Jan-15 12:05:170.5Kapplication/pgp-signature
haskell-tamarin-prover-theory-1.2.2-12-armv7h.pkg.tar.xz2018-Jan-23 23:48:191.5Mapplication/x-xz
haskell-tamarin-prover-theory-1.2.2-12-armv7h.pkg.tar.xz.sig2018-Jan-23 23:48:190.5Kapplication/pgp-signature
haskell-tamarin-prover-theory-1.2.2-14-armv7h.pkg.tar.xz2018-Jan-26 07:50:401.5Mapplication/x-xz
haskell-tamarin-prover-theory-1.2.2-14-armv7h.pkg.tar.xz.sig2018-Jan-26 07:50:400.5Kapplication/pgp-signature
haskell-tamarin-prover-theory-1.2.2-15-armv7h.pkg.tar.xz2018-Feb-10 23:22:441.5Mapplication/x-xz
haskell-tamarin-prover-theory-1.2.2-15-armv7h.pkg.tar.xz.sig2018-Feb-10 23:22:440.5Kapplication/pgp-signature
haskell-tamarin-prover-theory-1.2.2-17-armv7h.pkg.tar.xz2018-Feb-12 20:17:251.5Mapplication/x-xz
haskell-tamarin-prover-theory-1.2.2-17-armv7h.pkg.tar.xz.sig2018-Feb-12 20:17:250.5Kapplication/pgp-signature
haskell-tamarin-prover-theory-1.2.2-18-armv7h.pkg.tar.xz2018-Feb-14 13:01:001.5Mapplication/x-xz
haskell-tamarin-prover-theory-1.2.2-18-armv7h.pkg.tar.xz.sig2018-Feb-14 13:01:000.5Kapplication/pgp-signature
haskell-tamarin-prover-theory-1.2.2-19-armv7h.pkg.tar.xz2018-Feb-17 11:28:301.5Mapplication/x-xz
haskell-tamarin-prover-theory-1.2.2-19-armv7h.pkg.tar.xz.sig2018-Feb-17 11:28:300.5Kapplication/pgp-signature
haskell-tamarin-prover-theory-1.2.2-2-armv7h.pkg.tar.xz2017-Aug-14 19:27:501.7Mapplication/x-xz
haskell-tamarin-prover-theory-1.2.2-2-armv7h.pkg.tar.xz.sig2017-Aug-14 19:27:500.5Kapplication/pgp-signature
haskell-tamarin-prover-theory-1.2.2-20-armv7h.pkg.tar.xz2018-Feb-24 22:49:201.5Mapplication/x-xz
haskell-tamarin-prover-theory-1.2.2-20-armv7h.pkg.tar.xz.sig2018-Feb-24 22:49:200.5Kapplication/pgp-signature
haskell-tamarin-prover-theory-1.2.2-22-armv7h.pkg.tar.xz2018-Mar-01 12:38:461.5Mapplication/x-xz
haskell-tamarin-prover-theory-1.2.2-22-armv7h.pkg.tar.xz.sig2018-Mar-01 12:38:460.5Kapplication/pgp-signature
haskell-tamarin-prover-theory-1.2.2-6-armv7h.pkg.tar.xz2017-Sep-27 08:46:431.5Mapplication/x-xz
haskell-tamarin-prover-theory-1.2.2-6-armv7h.pkg.tar.xz.sig2017-Sep-27 08:46:430.5Kapplication/pgp-signature
haskell-tamarin-prover-theory-1.2.2-7-armv7h.pkg.tar.xz2017-Oct-19 18:34:231.5Mapplication/x-xz
haskell-tamarin-prover-theory-1.2.2-7-armv7h.pkg.tar.xz.sig2017-Oct-19 18:34:240.5Kapplication/pgp-signature
haskell-tamarin-prover-theory-1.2.2-8-armv7h.pkg.tar.xz2017-Dec-03 01:50:151.5Mapplication/x-xz
haskell-tamarin-prover-theory-1.2.2-8-armv7h.pkg.tar.xz.sig2017-Dec-03 01:50:150.5Kapplication/pgp-signature
haskell-tamarin-prover-theory-1.2.2-9-armv7h.pkg.tar.xz2017-Dec-31 00:03:431.5Mapplication/x-xz
haskell-tamarin-prover-theory-1.2.2-9-armv7h.pkg.tar.xz.sig2017-Dec-31 00:03:430.5Kapplication/pgp-signature
haskell-tamarin-prover-theory-1.2.3-10-armv7h.pkg.tar.xz2018-Apr-09 03:21:111.5Mapplication/x-xz
haskell-tamarin-prover-theory-1.2.3-10-armv7h.pkg.tar.xz.sig2018-Apr-09 03:21:110.5Kapplication/pgp-signature
haskell-tamarin-prover-theory-1.2.3-11-armv7h.pkg.tar.xz2018-Apr-13 17:57:421.5Mapplication/x-xz
haskell-tamarin-prover-theory-1.2.3-11-armv7h.pkg.tar.xz.sig2018-Apr-13 17:57:420.5Kapplication/pgp-signature
haskell-tamarin-prover-theory-1.2.3-2-armv7h.pkg.tar.xz2018-Mar-06 19:59:221.5Mapplication/x-xz
haskell-tamarin-prover-theory-1.2.3-2-armv7h.pkg.tar.xz.sig2018-Mar-06 19:59:220.5Kapplication/pgp-signature
haskell-tamarin-prover-theory-1.2.3-3-armv7h.pkg.tar.xz2018-Mar-07 23:31:541.5Mapplication/x-xz
haskell-tamarin-prover-theory-1.2.3-3-armv7h.pkg.tar.xz.sig2018-Mar-07 23:31:540.5Kapplication/pgp-signature
haskell-tamarin-prover-theory-1.2.3-4-armv7h.pkg.tar.xz2018-Mar-09 06:07:481.5Mapplication/x-xz
haskell-tamarin-prover-theory-1.2.3-4-armv7h.pkg.tar.xz.sig2018-Mar-09 06:07:480.5Kapplication/pgp-signature
haskell-tamarin-prover-theory-1.2.3-5-armv7h.pkg.tar.xz2018-Mar-10 20:33:351.5Mapplication/x-xz
haskell-tamarin-prover-theory-1.2.3-5-armv7h.pkg.tar.xz.sig2018-Mar-10 20:33:350.5Kapplication/pgp-signature
haskell-tamarin-prover-theory-1.2.3-6-armv7h.pkg.tar.xz2018-Mar-13 20:52:361.5Mapplication/x-xz
haskell-tamarin-prover-theory-1.2.3-6-armv7h.pkg.tar.xz.sig2018-Mar-13 20:52:360.5Kapplication/pgp-signature
haskell-tamarin-prover-theory-1.2.3-8-armv7h.pkg.tar.xz2018-Mar-15 14:57:161.5Mapplication/x-xz
haskell-tamarin-prover-theory-1.2.3-8-armv7h.pkg.tar.xz.sig2018-Mar-15 14:57:160.5Kapplication/pgp-signature
haskell-tamarin-prover-theory-1.2.3-9-armv7h.pkg.tar.xz2018-Mar-22 05:02:491.5Mapplication/x-xz
haskell-tamarin-prover-theory-1.2.3-9-armv7h.pkg.tar.xz.sig2018-Mar-22 05:02:490.5Kapplication/pgp-signature
haskell-tamarin-prover-theory-1.4.0-17-armv7h.pkg.tar.xz2018-Jun-04 13:47:571.6Mapplication/x-xz
haskell-tamarin-prover-theory-1.4.0-17-armv7h.pkg.tar.xz.sig2018-Jun-04 13:47:570.5Kapplication/pgp-signature
haskell-tamarin-prover-theory-1.4.0-18-armv7h.pkg.tar.xz2018-Jun-18 18:46:431.6Mapplication/x-xz
haskell-tamarin-prover-theory-1.4.0-18-armv7h.pkg.tar.xz.sig2018-Jun-18 18:46:430.5Kapplication/pgp-signature
haskell-tamarin-prover-theory-1.4.0-19-armv7h.pkg.tar.xz2018-Jun-25 21:31:271.6Mapplication/x-xz
haskell-tamarin-prover-theory-1.4.0-19-armv7h.pkg.tar.xz.sig2018-Jun-25 21:31:270.5Kapplication/pgp-signature
haskell-tamarin-prover-theory-1.4.0-20-armv7h.pkg.tar.xz2018-Jun-29 01:23:411.6Mapplication/x-xz
haskell-tamarin-prover-theory-1.4.0-20-armv7h.pkg.tar.xz.sig2018-Jun-29 01:23:410.5Kapplication/pgp-signature
haskell-tamarin-prover-theory-1.4.0-21-armv7h.pkg.tar.xz2018-Jun-30 20:22:311.6Mapplication/x-xz
haskell-tamarin-prover-theory-1.4.0-21-armv7h.pkg.tar.xz.sig2018-Jun-30 20:22:310.5Kapplication/pgp-signature
haskell-tamarin-prover-theory-1.4.0-22-armv7h.pkg.tar.xz2018-Jul-02 17:35:251.6Mapplication/x-xz
haskell-tamarin-prover-theory-1.4.0-22-armv7h.pkg.tar.xz.sig2018-Jul-02 17:35:260.5Kapplication/pgp-signature
haskell-tamarin-prover-theory-1.4.0-23-armv7h.pkg.tar.xz2018-Jul-03 23:53:211.6Mapplication/x-xz
haskell-tamarin-prover-theory-1.4.0-23-armv7h.pkg.tar.xz.sig2018-Jul-03 23:53:220.5Kapplication/pgp-signature
haskell-tamarin-prover-theory-1.4.0-24-armv7h.pkg.tar.xz2018-Jul-05 14:38:071.6Mapplication/x-xz
haskell-tamarin-prover-theory-1.4.0-24-armv7h.pkg.tar.xz.sig2018-Jul-05 14:38:090.5Kapplication/pgp-signature
haskell-tamarin-prover-theory-1.4.0-25-armv7h.pkg.tar.xz2018-Jul-08 12:29:341.6Mapplication/x-xz
haskell-tamarin-prover-theory-1.4.0-25-armv7h.pkg.tar.xz.sig2018-Jul-08 12:29:340.5Kapplication/pgp-signature
haskell-tamarin-prover-theory-1.4.0-26-armv7h.pkg.tar.xz2018-Jul-11 13:01:341.6Mapplication/x-xz
haskell-tamarin-prover-theory-1.4.0-26-armv7h.pkg.tar.xz.sig2018-Jul-11 13:01:340.5Kapplication/pgp-signature
haskell-tamarin-prover-theory-1.4.0-27-armv7h.pkg.tar.xz2018-Jul-12 19:06:301.6Mapplication/x-xz
haskell-tamarin-prover-theory-1.4.0-27-armv7h.pkg.tar.xz.sig2018-Jul-12 19:06:300.5Kapplication/pgp-signature
haskell-tamarin-prover-theory-1.4.0-28-armv7h.pkg.tar.xz2018-Jul-15 04:05:501.6Mapplication/x-xz
haskell-tamarin-prover-theory-1.4.0-28-armv7h.pkg.tar.xz.sig2018-Jul-15 04:05:500.5Kapplication/pgp-signature
haskell-tamarin-prover-theory-1.4.0-29-armv7h.pkg.tar.xz2018-Jul-18 09:17:221.6Mapplication/x-xz
haskell-tamarin-prover-theory-1.4.0-29-armv7h.pkg.tar.xz.sig2018-Jul-18 09:17:220.5Kapplication/pgp-signature
haskell-tamarin-prover-theory-1.4.0-3-armv7h.pkg.tar.xz2018-May-10 21:02:161.6Mapplication/x-xz
haskell-tamarin-prover-theory-1.4.0-3-armv7h.pkg.tar.xz.sig2018-May-10 21:02:160.5Kapplication/pgp-signature
haskell-tamarin-prover-theory-1.4.0-30-armv7h.pkg.tar.xz2018-Jul-29 22:10:011.6Mapplication/x-xz
haskell-tamarin-prover-theory-1.4.0-30-armv7h.pkg.tar.xz.sig2018-Jul-29 22:10:010.5Kapplication/pgp-signature
haskell-tamarin-prover-theory-1.4.0-31-armv7h.pkg.tar.xz2018-Aug-09 18:59:541.6Mapplication/x-xz
haskell-tamarin-prover-theory-1.4.0-31-armv7h.pkg.tar.xz.sig2018-Aug-09 18:59:570.5Kapplication/pgp-signature
haskell-tamarin-prover-theory-1.4.0-32-armv7h.pkg.tar.xz2018-Aug-27 02:15:541.6Mapplication/x-xz
haskell-tamarin-prover-theory-1.4.0-32-armv7h.pkg.tar.xz.sig2018-Aug-27 02:15:540.5Kapplication/pgp-signature
haskell-tamarin-prover-theory-1.4.0-33-armv7h.pkg.tar.xz2018-Sep-07 06:46:181.6Mapplication/x-xz
haskell-tamarin-prover-theory-1.4.0-33-armv7h.pkg.tar.xz.sig2018-Sep-07 06:46:210.5Kapplication/pgp-signature
haskell-tamarin-prover-theory-1.4.0-34-armv7h.pkg.tar.xz2018-Sep-11 16:03:581.6Mapplication/x-xz
haskell-tamarin-prover-theory-1.4.0-34-armv7h.pkg.tar.xz.sig2018-Sep-11 16:04:010.5Kapplication/pgp-signature
haskell-tamarin-prover-theory-1.4.0-35-armv7h.pkg.tar.xz2018-Sep-14 06:36:301.6Mapplication/x-xz
haskell-tamarin-prover-theory-1.4.0-35-armv7h.pkg.tar.xz.sig2018-Sep-14 06:36:330.5Kapplication/pgp-signature
haskell-tamarin-prover-theory-1.4.0-36-armv7h.pkg.tar.xz2018-Sep-16 18:33:341.6Mapplication/x-xz
haskell-tamarin-prover-theory-1.4.0-36-armv7h.pkg.tar.xz.sig2018-Sep-16 18:33:350.5Kapplication/pgp-signature
haskell-tamarin-prover-theory-1.4.0-38-armv7h.pkg.tar.xz2018-Sep-27 21:46:131.6Mapplication/x-xz
haskell-tamarin-prover-theory-1.4.0-38-armv7h.pkg.tar.xz.sig2018-Sep-27 21:46:150.5Kapplication/pgp-signature
haskell-tamarin-prover-theory-1.4.0-39-armv7h.pkg.tar.xz2018-Sep-28 19:12:011.6Mapplication/x-xz
haskell-tamarin-prover-theory-1.4.0-39-armv7h.pkg.tar.xz.sig2018-Sep-28 19:12:010.5Kapplication/pgp-signature
haskell-tamarin-prover-theory-1.4.0-4-armv7h.pkg.tar.xz2018-May-13 15:06:591.6Mapplication/x-xz
haskell-tamarin-prover-theory-1.4.0-4-armv7h.pkg.tar.xz.sig2018-May-13 15:06:590.5Kapplication/pgp-signature
haskell-tamarin-prover-theory-1.4.0-40-armv7h.pkg.tar.xz2018-Oct-06 06:35:241.6Mapplication/x-xz
haskell-tamarin-prover-theory-1.4.0-40-armv7h.pkg.tar.xz.sig2018-Oct-06 06:35:260.5Kapplication/pgp-signature
haskell-tamarin-prover-theory-1.4.0-41-armv7h.pkg.tar.xz2018-Oct-12 19:30:171.6Mapplication/x-xz
haskell-tamarin-prover-theory-1.4.0-41-armv7h.pkg.tar.xz.sig2018-Oct-12 19:30:190.5Kapplication/pgp-signature
haskell-tamarin-prover-theory-1.4.0-43-armv7h.pkg.tar.xz2018-Oct-20 00:39:531.6Mapplication/x-xz
haskell-tamarin-prover-theory-1.4.0-43-armv7h.pkg.tar.xz.sig2018-Oct-20 00:39:550.5Kapplication/pgp-signature
haskell-tamarin-prover-theory-1.4.0-44-armv7h.pkg.tar.xz2018-Nov-01 07:56:391.6Mapplication/x-xz
haskell-tamarin-prover-theory-1.4.0-44-armv7h.pkg.tar.xz.sig2018-Nov-01 07:56:420.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