[arch-commits] Commit in haskell-tamarin-prover-utils/repos (3 files)

2018-12-09 Thread Felix Yan via arch-commits
Date: Monday, December 10, 2018 @ 01:44:28 Author: felixonmars Revision: 413712 archrelease: copy trunk to community-staging-x86_64 Added: haskell-tamarin-prover-utils/repos/community-staging-x86_64/ haskell-tamarin-prover-utils/repos/community-staging-x86_64/PKGBUILD (from rev

[arch-commits] Commit in haskell-tamarin-prover-utils/repos (3 files)

2018-12-05 Thread Felix Yan via arch-commits
Date: Wednesday, December 5, 2018 @ 09:08:35 Author: felixonmars Revision: 411287 archrelease: copy trunk to community-staging-x86_64 Added: haskell-tamarin-prover-utils/repos/community-staging-x86_64/ haskell-tamarin-prover-utils/repos/community-staging-x86_64/PKGBUILD (from rev

[arch-commits] Commit in haskell-tamarin-prover-utils/repos (3 files)

2018-11-06 Thread Felix Yan via arch-commits
Date: Tuesday, November 6, 2018 @ 21:36:56 Author: felixonmars Revision: 402239 archrelease: copy trunk to community-staging-x86_64 Added: haskell-tamarin-prover-utils/repos/community-staging-x86_64/ haskell-tamarin-prover-utils/repos/community-staging-x86_64/PKGBUILD (from rev

[arch-commits] Commit in haskell-tamarin-prover-utils/repos (3 files)

2018-10-14 Thread Felix Yan via arch-commits
Date: Monday, October 15, 2018 @ 00:13:04 Author: felixonmars Revision: 393982 archrelease: copy trunk to community-staging-x86_64 Added: haskell-tamarin-prover-utils/repos/community-staging-x86_64/ haskell-tamarin-prover-utils/repos/community-staging-x86_64/PKGBUILD (from rev

[arch-commits] Commit in haskell-tamarin-prover-utils/repos (3 files)

2018-09-13 Thread Felix Yan via arch-commits
Date: Thursday, September 13, 2018 @ 15:56:15 Author: felixonmars Revision: 380335 archrelease: copy trunk to community-staging-x86_64 Added: haskell-tamarin-prover-utils/repos/community-staging-x86_64/ haskell-tamarin-prover-utils/repos/community-staging-x86_64/PKGBUILD (from rev

[arch-commits] Commit in haskell-tamarin-prover-utils/repos (3 files)

2018-06-02 Thread Felix Yan via arch-commits
Date: Saturday, June 2, 2018 @ 10:25:26 Author: felixonmars Revision: 337298 archrelease: copy trunk to community-staging-x86_64 Added: haskell-tamarin-prover-utils/repos/community-staging-x86_64/ haskell-tamarin-prover-utils/repos/community-staging-x86_64/PKGBUILD (from rev

[arch-commits] Commit in haskell-tamarin-prover-utils/repos (3 files)

2018-06-01 Thread Felix Yan via arch-commits
Date: Friday, June 1, 2018 @ 07:47:32 Author: felixonmars Revision: 335635 archrelease: copy trunk to community-staging-x86_64 Added: haskell-tamarin-prover-utils/repos/community-staging-x86_64/ haskell-tamarin-prover-utils/repos/community-staging-x86_64/PKGBUILD (from rev 335634,

[arch-commits] Commit in haskell-tamarin-prover-utils/repos (3 files)

2018-05-23 Thread Felix Yan via arch-commits
Date: Wednesday, May 23, 2018 @ 07:51:12 Author: felixonmars Revision: 328050 archrelease: copy trunk to community-staging-x86_64 Added: haskell-tamarin-prover-utils/repos/community-staging-x86_64/ haskell-tamarin-prover-utils/repos/community-staging-x86_64/PKGBUILD (from rev

[arch-commits] Commit in haskell-tamarin-prover-utils/repos (3 files)

2018-05-18 Thread Felix Yan via arch-commits
Date: Friday, May 18, 2018 @ 07:43:49 Author: felixonmars Revision: 324258 archrelease: copy trunk to community-staging-x86_64 Added: haskell-tamarin-prover-utils/repos/community-staging-x86_64/ haskell-tamarin-prover-utils/repos/community-staging-x86_64/PKGBUILD (from rev 324257,