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

2017-10-18 Thread Felix Yan
Date: Thursday, October 19, 2017 @ 05:39:40 Author: felixonmars Revision: 263465 archrelease: copy trunk to community-staging-i686, community-staging-x86_64 Added: haskell-tamarin-prover-theory/repos/community-staging-i686/

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

2017-09-24 Thread Felix Yan
Date: Monday, September 25, 2017 @ 01:28:08 Author: felixonmars Revision: 260470 archrelease: copy trunk to community-staging-i686, community-staging-x86_64 Added: haskell-tamarin-prover-theory/repos/community-staging-i686/

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

2017-09-21 Thread Felix Yan
Date: Thursday, September 21, 2017 @ 09:10:10 Author: felixonmars Revision: 259135 archrelease: copy trunk to community-staging-i686, community-staging-x86_64 Added: haskell-tamarin-prover-theory/repos/community-staging-i686/

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

2017-08-30 Thread Felix Yan
Date: Wednesday, August 30, 2017 @ 19:43:34 Author: felixonmars Revision: 254878 archrelease: copy trunk to community-staging-i686, community-staging-x86_64 Added: haskell-tamarin-prover-theory/repos/community-staging-i686/

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

2017-08-16 Thread Felix Yan
Date: Wednesday, August 16, 2017 @ 08:08:58 Author: felixonmars Revision: 251262 archrelease: copy trunk to community-staging-i686, community-staging-x86_64 Added: haskell-tamarin-prover-theory/repos/community-staging-i686/

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

2017-08-14 Thread Felix Yan
Date: Monday, August 14, 2017 @ 08:05:06 Author: felixonmars Revision: 250230 archrelease: copy trunk to community-staging-i686, community-staging-x86_64 Added: haskell-tamarin-prover-theory/repos/community-staging-i686/

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

2017-08-06 Thread Felix Yan
Date: Sunday, August 6, 2017 @ 16:35:07 Author: felixonmars Revision: 249050 archrelease: copy trunk to community-i686, community-x86_64 Added: haskell-tamarin-prover-theory/repos/community-i686/ haskell-tamarin-prover-theory/repos/community-i686/PKGBUILD (from rev 249049,