[arch-commits] Commit in haskell-tamarin-prover-sapic/repos (2 files)

2020-12-29 Thread Felix Yan via arch-commits
Date: Tuesday, December 29, 2020 @ 10:48:32 Author: felixonmars Revision: 796805 archrelease: copy trunk to community-staging-x86_64 Added: haskell-tamarin-prover-sapic/repos/community-staging-x86_64/ haskell-tamarin-prover-sapic/repos/community-staging-x86_64/PKGBUILD (from rev

[arch-commits] Commit in haskell-tamarin-prover-sapic/repos (2 files)

2020-12-28 Thread Felix Yan via arch-commits
Date: Monday, December 28, 2020 @ 14:09:16 Author: felixonmars Revision: 794973 archrelease: copy trunk to community-staging-x86_64 Added: haskell-tamarin-prover-sapic/repos/community-staging-x86_64/ haskell-tamarin-prover-sapic/repos/community-staging-x86_64/PKGBUILD (from rev

[arch-commits] Commit in haskell-tamarin-prover-sapic/repos (2 files)

2020-12-25 Thread Felix Yan via arch-commits
Date: Saturday, December 26, 2020 @ 05:45:08 Author: felixonmars Revision: 792030 archrelease: copy trunk to community-staging-x86_64 Added: haskell-tamarin-prover-sapic/repos/community-staging-x86_64/ haskell-tamarin-prover-sapic/repos/community-staging-x86_64/PKGBUILD (from rev

[arch-commits] Commit in haskell-tamarin-prover-sapic/repos (2 files)

2020-12-24 Thread Felix Yan via arch-commits
Date: Friday, December 25, 2020 @ 04:04:00 Author: felixonmars Revision: 789568 archrelease: copy trunk to community-staging-x86_64 Added: haskell-tamarin-prover-sapic/repos/community-staging-x86_64/ haskell-tamarin-prover-sapic/repos/community-staging-x86_64/PKGBUILD (from rev

[arch-commits] Commit in haskell-tamarin-prover-sapic/repos (2 files)

2020-12-24 Thread Felix Yan via arch-commits
Date: Thursday, December 24, 2020 @ 14:41:05 Author: felixonmars Revision: 788177 archrelease: copy trunk to community-staging-x86_64 Added: haskell-tamarin-prover-sapic/repos/community-staging-x86_64/ haskell-tamarin-prover-sapic/repos/community-staging-x86_64/PKGBUILD (from rev

[arch-commits] Commit in haskell-tamarin-prover-sapic/repos (2 files)

2020-12-24 Thread Felix Yan via arch-commits
Date: Thursday, December 24, 2020 @ 13:05:51 Author: felixonmars Revision: 787209 archrelease: copy trunk to community-staging-x86_64 Added: haskell-tamarin-prover-sapic/repos/community-staging-x86_64/ haskell-tamarin-prover-sapic/repos/community-staging-x86_64/PKGBUILD (from rev

[arch-commits] Commit in haskell-tamarin-prover-sapic/repos (2 files)

2020-12-22 Thread Felix Yan via arch-commits
Date: Wednesday, December 23, 2020 @ 07:47:47 Author: felixonmars Revision: 783883 archrelease: copy trunk to community-staging-x86_64 Added: haskell-tamarin-prover-sapic/repos/community-staging-x86_64/ haskell-tamarin-prover-sapic/repos/community-staging-x86_64/PKGBUILD (from rev

[arch-commits] Commit in haskell-tamarin-prover-sapic/repos (2 files)

2020-12-21 Thread Felix Yan via arch-commits
Date: Monday, December 21, 2020 @ 21:01:45 Author: felixonmars Revision: 781567 archrelease: copy trunk to community-staging-x86_64 Added: haskell-tamarin-prover-sapic/repos/community-staging-x86_64/ haskell-tamarin-prover-sapic/repos/community-staging-x86_64/PKGBUILD (from rev

[arch-commits] Commit in haskell-tamarin-prover-sapic/repos (2 files)

2020-12-17 Thread Felix Yan via arch-commits
Date: Thursday, December 17, 2020 @ 22:39:26 Author: felixonmars Revision: 778216 archrelease: copy trunk to community-staging-x86_64 Added: haskell-tamarin-prover-sapic/repos/community-staging-x86_64/ haskell-tamarin-prover-sapic/repos/community-staging-x86_64/PKGBUILD (from rev

[arch-commits] Commit in haskell-tamarin-prover-sapic/repos (2 files)

2020-12-15 Thread Felix Yan via arch-commits
Date: Tuesday, December 15, 2020 @ 18:59:17 Author: felixonmars Revision: 776077 archrelease: copy trunk to community-staging-x86_64 Added: haskell-tamarin-prover-sapic/repos/community-staging-x86_64/ haskell-tamarin-prover-sapic/repos/community-staging-x86_64/PKGBUILD (from rev

[arch-commits] Commit in haskell-tamarin-prover-sapic/repos (2 files)

2020-12-13 Thread Felix Yan via arch-commits
Date: Sunday, December 13, 2020 @ 22:26:14 Author: felixonmars Revision: 774598 archrelease: copy trunk to community-staging-x86_64 Added: haskell-tamarin-prover-sapic/repos/community-staging-x86_64/ haskell-tamarin-prover-sapic/repos/community-staging-x86_64/PKGBUILD (from rev

[arch-commits] Commit in haskell-tamarin-prover-sapic/repos (2 files)

2020-12-07 Thread Felix Yan via arch-commits
Date: Monday, December 7, 2020 @ 22:06:32 Author: felixonmars Revision: 771641 archrelease: copy trunk to community-staging-x86_64 Added: haskell-tamarin-prover-sapic/repos/community-staging-x86_64/ haskell-tamarin-prover-sapic/repos/community-staging-x86_64/PKGBUILD (from rev

[arch-commits] Commit in haskell-tamarin-prover-sapic/repos (2 files)

2020-12-04 Thread Felix Yan via arch-commits
Date: Saturday, December 5, 2020 @ 01:38:29 Author: felixonmars Revision: 770384 archrelease: copy trunk to community-staging-x86_64 Added: haskell-tamarin-prover-sapic/repos/community-staging-x86_64/ haskell-tamarin-prover-sapic/repos/community-staging-x86_64/PKGBUILD (from rev

[arch-commits] Commit in haskell-tamarin-prover-sapic/repos (2 files)

2020-11-28 Thread Felix Yan via arch-commits
Date: Saturday, November 28, 2020 @ 18:57:10 Author: felixonmars Revision: 765443 archrelease: copy trunk to community-staging-x86_64 Added: haskell-tamarin-prover-sapic/repos/community-staging-x86_64/ haskell-tamarin-prover-sapic/repos/community-staging-x86_64/PKGBUILD (from rev

[arch-commits] Commit in haskell-tamarin-prover-sapic/repos (2 files)

2020-11-22 Thread Felix Yan via arch-commits
Date: Monday, November 23, 2020 @ 00:10:59 Author: felixonmars Revision: 759779 archrelease: copy trunk to community-staging-x86_64 Added: haskell-tamarin-prover-sapic/repos/community-staging-x86_64/ haskell-tamarin-prover-sapic/repos/community-staging-x86_64/PKGBUILD (from rev

[arch-commits] Commit in haskell-tamarin-prover-sapic/repos (2 files)

2020-11-20 Thread Felix Yan via arch-commits
Date: Friday, November 20, 2020 @ 23:29:10 Author: felixonmars Revision: 758239 archrelease: copy trunk to community-staging-x86_64 Added: haskell-tamarin-prover-sapic/repos/community-staging-x86_64/ haskell-tamarin-prover-sapic/repos/community-staging-x86_64/PKGBUILD (from rev

[arch-commits] Commit in haskell-tamarin-prover-sapic/repos (2 files)

2020-11-16 Thread Felix Yan via arch-commits
Date: Tuesday, November 17, 2020 @ 06:01:10 Author: felixonmars Revision: 755984 archrelease: copy trunk to community-staging-x86_64 Added: haskell-tamarin-prover-sapic/repos/community-staging-x86_64/ haskell-tamarin-prover-sapic/repos/community-staging-x86_64/PKGBUILD (from rev

[arch-commits] Commit in haskell-tamarin-prover-sapic/repos (2 files)

2020-11-08 Thread Felix Yan via arch-commits
Date: Sunday, November 8, 2020 @ 13:00:33 Author: felixonmars Revision: 746553 archrelease: copy trunk to community-staging-x86_64 Added: haskell-tamarin-prover-sapic/repos/community-staging-x86_64/ haskell-tamarin-prover-sapic/repos/community-staging-x86_64/PKGBUILD (from rev

[arch-commits] Commit in haskell-tamarin-prover-sapic/repos (2 files)

2020-11-07 Thread Felix Yan via arch-commits
Date: Saturday, November 7, 2020 @ 14:21:22 Author: felixonmars Revision: 745795 archrelease: copy trunk to community-staging-x86_64 Added: haskell-tamarin-prover-sapic/repos/community-staging-x86_64/ haskell-tamarin-prover-sapic/repos/community-staging-x86_64/PKGBUILD (from rev

[arch-commits] Commit in haskell-tamarin-prover-sapic/repos (2 files)

2020-11-06 Thread Felix Yan via arch-commits
Date: Friday, November 6, 2020 @ 13:47:23 Author: felixonmars Revision: 744287 archrelease: copy trunk to community-staging-x86_64 Added: haskell-tamarin-prover-sapic/repos/community-staging-x86_64/ haskell-tamarin-prover-sapic/repos/community-staging-x86_64/PKGBUILD (from rev

[arch-commits] Commit in haskell-tamarin-prover-sapic/repos (2 files)

2020-11-04 Thread Felix Yan via arch-commits
Date: Wednesday, November 4, 2020 @ 18:05:16 Author: felixonmars Revision: 742483 archrelease: copy trunk to community-staging-x86_64 Added: haskell-tamarin-prover-sapic/repos/community-staging-x86_64/ haskell-tamarin-prover-sapic/repos/community-staging-x86_64/PKGBUILD (from rev

[arch-commits] Commit in haskell-tamarin-prover-sapic/repos (2 files)

2020-11-04 Thread Felix Yan via arch-commits
Date: Wednesday, November 4, 2020 @ 08:23:36 Author: felixonmars Revision: 741710 archrelease: copy trunk to community-staging-x86_64 Added: haskell-tamarin-prover-sapic/repos/community-staging-x86_64/ haskell-tamarin-prover-sapic/repos/community-staging-x86_64/PKGBUILD (from rev

[arch-commits] Commit in haskell-tamarin-prover-sapic/repos (2 files)

2020-11-02 Thread Felix Yan via arch-commits
Date: Monday, November 2, 2020 @ 17:11:18 Author: felixonmars Revision: 739979 archrelease: copy trunk to community-staging-x86_64 Added: haskell-tamarin-prover-sapic/repos/community-staging-x86_64/ haskell-tamarin-prover-sapic/repos/community-staging-x86_64/PKGBUILD (from rev

[arch-commits] Commit in haskell-tamarin-prover-sapic/repos (2 files)

2020-10-31 Thread Felix Yan via arch-commits
Date: Sunday, November 1, 2020 @ 02:03:40 Author: felixonmars Revision: 738098 archrelease: copy trunk to community-staging-x86_64 Added: haskell-tamarin-prover-sapic/repos/community-staging-x86_64/ haskell-tamarin-prover-sapic/repos/community-staging-x86_64/PKGBUILD (from rev

[arch-commits] Commit in haskell-tamarin-prover-sapic/repos (2 files)

2020-10-28 Thread Felix Yan via arch-commits
Date: Wednesday, October 28, 2020 @ 09:34:30 Author: felixonmars Revision: 735310 archrelease: copy trunk to community-staging-x86_64 Added: haskell-tamarin-prover-sapic/repos/community-staging-x86_64/ haskell-tamarin-prover-sapic/repos/community-staging-x86_64/PKGBUILD (from rev

[arch-commits] Commit in haskell-tamarin-prover-sapic/repos (2 files)

2020-10-25 Thread Felix Yan via arch-commits
Date: Sunday, October 25, 2020 @ 20:54:21 Author: felixonmars Revision: 732988 archrelease: copy trunk to community-staging-x86_64 Added: haskell-tamarin-prover-sapic/repos/community-staging-x86_64/ haskell-tamarin-prover-sapic/repos/community-staging-x86_64/PKGBUILD (from rev

[arch-commits] Commit in haskell-tamarin-prover-sapic/repos (2 files)

2020-10-23 Thread Felix Yan via arch-commits
Date: Friday, October 23, 2020 @ 20:34:50 Author: felixonmars Revision: 730834 archrelease: copy trunk to community-staging-x86_64 Added: haskell-tamarin-prover-sapic/repos/community-staging-x86_64/ haskell-tamarin-prover-sapic/repos/community-staging-x86_64/PKGBUILD (from rev

[arch-commits] Commit in haskell-tamarin-prover-sapic/repos (2 files)

2020-10-21 Thread Felix Yan via arch-commits
Date: Wednesday, October 21, 2020 @ 23:52:53 Author: felixonmars Revision: 728617 archrelease: copy trunk to community-staging-x86_64 Added: haskell-tamarin-prover-sapic/repos/community-staging-x86_64/ haskell-tamarin-prover-sapic/repos/community-staging-x86_64/PKGBUILD (from rev

[arch-commits] Commit in haskell-tamarin-prover-sapic/repos (2 files)

2020-10-17 Thread Felix Yan via arch-commits
Date: Saturday, October 17, 2020 @ 10:54:16 Author: felixonmars Revision: 725361 archrelease: copy trunk to community-staging-x86_64 Added: haskell-tamarin-prover-sapic/repos/community-staging-x86_64/ haskell-tamarin-prover-sapic/repos/community-staging-x86_64/PKGBUILD (from rev

[arch-commits] Commit in haskell-tamarin-prover-sapic/repos (2 files)

2020-10-09 Thread Felix Yan via arch-commits
Date: Friday, October 9, 2020 @ 19:12:41 Author: felixonmars Revision: 722747 archrelease: copy trunk to community-staging-x86_64 Added: haskell-tamarin-prover-sapic/repos/community-staging-x86_64/ haskell-tamarin-prover-sapic/repos/community-staging-x86_64/PKGBUILD (from rev

[arch-commits] Commit in haskell-tamarin-prover-sapic/repos (2 files)

2020-10-07 Thread Felix Yan via arch-commits
Date: Wednesday, October 7, 2020 @ 11:02:53 Author: felixonmars Revision: 720330 archrelease: copy trunk to community-staging-x86_64 Added: haskell-tamarin-prover-sapic/repos/community-staging-x86_64/ haskell-tamarin-prover-sapic/repos/community-staging-x86_64/PKGBUILD (from rev

[arch-commits] Commit in haskell-tamarin-prover-sapic/repos (2 files)

2020-10-05 Thread Felix Yan via arch-commits
Date: Monday, October 5, 2020 @ 07:24:44 Author: felixonmars Revision: 718713 archrelease: copy trunk to community-staging-x86_64 Added: haskell-tamarin-prover-sapic/repos/community-staging-x86_64/ haskell-tamarin-prover-sapic/repos/community-staging-x86_64/PKGBUILD (from rev

[arch-commits] Commit in haskell-tamarin-prover-sapic/repos (2 files)

2020-10-04 Thread Felix Yan via arch-commits
Date: Sunday, October 4, 2020 @ 07:33:24 Author: felixonmars Revision: 717340 archrelease: copy trunk to community-staging-x86_64 Added: haskell-tamarin-prover-sapic/repos/community-staging-x86_64/ haskell-tamarin-prover-sapic/repos/community-staging-x86_64/PKGBUILD (from rev

[arch-commits] Commit in haskell-tamarin-prover-sapic/repos (2 files)

2020-10-02 Thread Felix Yan via arch-commits
Date: Friday, October 2, 2020 @ 07:32:29 Author: felixonmars Revision: 715102 archrelease: copy trunk to community-staging-x86_64 Added: haskell-tamarin-prover-sapic/repos/community-staging-x86_64/ haskell-tamarin-prover-sapic/repos/community-staging-x86_64/PKGBUILD (from rev

[arch-commits] Commit in haskell-tamarin-prover-sapic/repos (2 files)

2020-09-17 Thread Felix Yan via arch-commits
Date: Thursday, September 17, 2020 @ 21:58:29 Author: felixonmars Revision: 709481 archrelease: copy trunk to community-staging-x86_64 Added: haskell-tamarin-prover-sapic/repos/community-staging-x86_64/ haskell-tamarin-prover-sapic/repos/community-staging-x86_64/PKGBUILD (from rev

[arch-commits] Commit in haskell-tamarin-prover-sapic/repos (2 files)

2020-09-16 Thread Felix Yan via arch-commits
Date: Wednesday, September 16, 2020 @ 14:52:13 Author: felixonmars Revision: 708077 archrelease: copy trunk to community-staging-x86_64 Added: haskell-tamarin-prover-sapic/repos/community-staging-x86_64/ haskell-tamarin-prover-sapic/repos/community-staging-x86_64/PKGBUILD (from rev