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

2017-10-26 Thread Felix Yan
Date: Thursday, October 26, 2017 @ 09:24:00 Author: felixonmars Revision: 264459 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 264458,

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

2017-10-19 Thread Felix Yan
Date: Thursday, October 19, 2017 @ 07:30:44 Author: felixonmars Revision: 263520 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 263519,

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

2017-10-13 Thread Felix Yan
Date: Friday, October 13, 2017 @ 19:26:15 Author: felixonmars Revision: 262640 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 262639,

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

2017-09-29 Thread Felix Yan
Date: Friday, September 29, 2017 @ 12:04:39 Author: felixonmars Revision: 261011 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 261010,

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

2017-09-28 Thread Felix Yan
Date: Thursday, September 28, 2017 @ 17:36:53 Author: felixonmars Revision: 260869 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 260868,

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

2017-09-24 Thread Felix Yan
Date: Monday, September 25, 2017 @ 01:57:07 Author: felixonmars Revision: 260488 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 260487,

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

2017-09-21 Thread Felix Yan
Date: Thursday, September 21, 2017 @ 15:28:57 Author: felixonmars Revision: 259207 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 259206,

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

2017-09-16 Thread Felix Yan
Date: Saturday, September 16, 2017 @ 16:27:58 Author: felixonmars Revision: 257929 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 257928,

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

2017-09-16 Thread Felix Yan
Date: Saturday, September 16, 2017 @ 10:59:20 Author: felixonmars Revision: 257775 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 257774,

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

2017-09-15 Thread Felix Yan
Date: Friday, September 15, 2017 @ 06:52:50 Author: felixonmars Revision: 257619 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 257618,

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

2017-09-13 Thread Felix Yan
Date: Wednesday, September 13, 2017 @ 08:49:51 Author: felixonmars Revision: 257350 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 257349,

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

2017-09-12 Thread Felix Yan
Date: Wednesday, September 13, 2017 @ 05:15:03 Author: felixonmars Revision: 257204 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 257203,