[arch-commits] Commit in tamarin-prover/repos (4 files)

2017-09-09 Thread Felix Yan
Date: Saturday, September 9, 2017 @ 06:59:20 Author: felixonmars Revision: 256557 archrelease: copy trunk to community-staging-i686, community-staging-x86_64 Added: tamarin-prover/repos/community-staging-i686/ tamarin-prover/repos/community-staging-i686/PKGBUILD (from rev 256556, ta

[arch-commits] Commit in tamarin-prover/repos (4 files)

2017-09-08 Thread Felix Yan
Date: Friday, September 8, 2017 @ 16:16:26 Author: felixonmars Revision: 256399 archrelease: copy trunk to community-staging-i686, community-staging-x86_64 Added: tamarin-prover/repos/community-staging-i686/ tamarin-prover/repos/community-staging-i686/PKGBUILD (from rev 256398, tama

[arch-commits] Commit in tamarin-prover/repos (4 files)

2017-09-08 Thread Felix Yan
Date: Friday, September 8, 2017 @ 13:25:40 Author: felixonmars Revision: 256313 archrelease: copy trunk to community-staging-i686, community-staging-x86_64 Added: tamarin-prover/repos/community-staging-i686/ tamarin-prover/repos/community-staging-i686/PKGBUILD (from rev 256312, tama

[arch-commits] Commit in tamarin-prover/repos (4 files)

2017-09-05 Thread Felix Yan
Date: Tuesday, September 5, 2017 @ 18:40:34 Author: felixonmars Revision: 255889 archrelease: copy trunk to community-staging-i686, community-staging-x86_64 Added: tamarin-prover/repos/community-staging-i686/ tamarin-prover/repos/community-staging-i686/PKGBUILD (from rev 255887, tam

[arch-commits] Commit in tamarin-prover/repos (4 files)

2017-08-30 Thread Felix Yan
Date: Wednesday, August 30, 2017 @ 22:37:32 Author: felixonmars Revision: 254985 archrelease: copy trunk to community-staging-i686, community-staging-x86_64 Added: tamarin-prover/repos/community-staging-i686/ tamarin-prover/repos/community-staging-i686/PKGBUILD (from rev 254984, tam

[arch-commits] Commit in tamarin-prover/repos (4 files)

2017-08-20 Thread Felix Yan
Date: Sunday, August 20, 2017 @ 11:24:23 Author: felixonmars Revision: 252701 archrelease: copy trunk to community-staging-i686, community-staging-x86_64 Added: tamarin-prover/repos/community-staging-i686/ tamarin-prover/repos/community-staging-i686/PKGBUILD (from rev 252700, tamari

[arch-commits] Commit in tamarin-prover/repos (4 files)

2017-08-17 Thread Felix Yan
Date: Thursday, August 17, 2017 @ 19:54:35 Author: felixonmars Revision: 252307 archrelease: copy trunk to community-staging-i686, community-staging-x86_64 Added: tamarin-prover/repos/community-staging-i686/ tamarin-prover/repos/community-staging-i686/PKGBUILD (from rev 252306, tama

[arch-commits] Commit in tamarin-prover/repos (4 files)

2017-08-17 Thread Felix Yan
Date: Thursday, August 17, 2017 @ 09:44:44 Author: felixonmars Revision: 251677 archrelease: copy trunk to community-staging-i686, community-staging-x86_64 Added: tamarin-prover/repos/community-staging-i686/ tamarin-prover/repos/community-staging-i686/PKGBUILD (from rev 251676, tama

[arch-commits] Commit in tamarin-prover/repos (4 files)

2017-08-14 Thread Felix Yan
Date: Monday, August 14, 2017 @ 12:14:36 Author: felixonmars Revision: 250312 archrelease: copy trunk to community-staging-i686, community-staging-x86_64 Added: tamarin-prover/repos/community-staging-i686/ tamarin-prover/repos/community-staging-i686/PKGBUILD (from rev 250311, tamari

[arch-commits] Commit in tamarin-prover/repos (4 files)

2017-08-11 Thread Felix Yan
Date: Friday, August 11, 2017 @ 18:15:10 Author: felixonmars Revision: 249873 archrelease: copy trunk to community-staging-i686, community-staging-x86_64 Added: tamarin-prover/repos/community-staging-i686/ tamarin-prover/repos/community-staging-i686/PKGBUILD (from rev 249872, tamari

[arch-commits] Commit in tamarin-prover/repos (4 files)

2017-08-07 Thread Felix Yan
Date: Monday, August 7, 2017 @ 10:28:35 Author: felixonmars Revision: 249375 archrelease: copy trunk to community-staging-i686, community-staging-x86_64 Added: tamarin-prover/repos/community-staging-i686/ tamarin-prover/repos/community-staging-i686/PKGBUILD (from rev 249374, tamarin

[arch-commits] Commit in tamarin-prover/repos (4 files)

2017-08-06 Thread Felix Yan
Date: Monday, August 7, 2017 @ 01:14:44 Author: felixonmars Revision: 249229 archrelease: copy trunk to community-staging-i686, community-staging-x86_64 Added: tamarin-prover/repos/community-staging-i686/ tamarin-prover/repos/community-staging-i686/PKGBUILD (from rev 249228, tamarin

[arch-commits] Commit in tamarin-prover/repos (4 files)

2017-08-06 Thread Felix Yan
Date: Sunday, August 6, 2017 @ 19:14:54 Author: felixonmars Revision: 249081 archrelease: copy trunk to community-i686, community-x86_64 Added: tamarin-prover/repos/community-i686/PKGBUILD (from rev 249080, tamarin-prover/trunk/PKGBUILD) tamarin-prover/repos/community-x86_64/PKGBUIL

[arch-commits] Commit in tamarin-prover/repos (4 files)

2017-08-06 Thread Felix Yan
Date: Sunday, August 6, 2017 @ 17:00:16 Author: felixonmars Revision: 249058 archrelease: copy trunk to community-i686, community-x86_64 Added: tamarin-prover/repos/community-i686/ tamarin-prover/repos/community-i686/PKGBUILD (from rev 249057, tamarin-prover/trunk/PKGBUILD) tamari