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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

2020-11-16 Thread Felix Yan via arch-commits
Date: Monday, November 16, 2020 @ 17:45:28 Author: felixonmars Revision: 755448 archrelease: copy trunk to community-staging-x86_64 Added: haskell-tamarin-prover-theory/repos/community-staging-x86_64/ haskell-tamarin-prover-theory/repos/community-staging-x86_64/PKGBUILD (from rev 75

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

2020-11-08 Thread Felix Yan via arch-commits
Date: Sunday, November 8, 2020 @ 12:59:27 Author: felixonmars Revision: 746549 archrelease: copy trunk to community-staging-x86_64 Added: haskell-tamarin-prover-theory/repos/community-staging-x86_64/ haskell-tamarin-prover-theory/repos/community-staging-x86_64/PKGBUILD (from rev 746

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

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

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

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

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

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

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

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

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

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

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

2020-10-31 Thread Felix Yan via arch-commits
Date: Saturday, October 31, 2020 @ 14:18:54 Author: felixonmars Revision: 737717 archrelease: copy trunk to community-staging-x86_64 Added: haskell-tamarin-prover-theory/repos/community-staging-x86_64/ haskell-tamarin-prover-theory/repos/community-staging-x86_64/PKGBUILD (from rev 7

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

2020-09-16 Thread Felix Yan via arch-commits
Date: Wednesday, September 16, 2020 @ 14:46:45 Author: felixonmars Revision: 708075 archrelease: copy trunk to community-staging-x86_64 Added: haskell-tamarin-prover-theory/repos/community-staging-x86_64/ haskell-tamarin-prover-theory/repos/community-staging-x86_64/PKGBUILD (from re

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

2020-09-14 Thread Felix Yan via arch-commits
Date: Monday, September 14, 2020 @ 21:50:59 Author: felixonmars Revision: 706757 archrelease: copy trunk to community-staging-x86_64 Added: haskell-tamarin-prover-theory/repos/community-staging-x86_64/ haskell-tamarin-prover-theory/repos/community-staging-x86_64/PKGBUILD (from rev 7

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

2020-09-12 Thread Felix Yan via arch-commits
Date: Saturday, September 12, 2020 @ 18:36:03 Author: felixonmars Revision: 704569 archrelease: copy trunk to community-staging-x86_64 Added: haskell-tamarin-prover-theory/repos/community-staging-x86_64/ haskell-tamarin-prover-theory/repos/community-staging-x86_64/PKGBUILD (from rev

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

2020-09-10 Thread Felix Yan via arch-commits
Date: Thursday, September 10, 2020 @ 21:30:24 Author: felixonmars Revision: 702426 archrelease: copy trunk to community-staging-x86_64 Added: haskell-tamarin-prover-theory/repos/community-staging-x86_64/ haskell-tamarin-prover-theory/repos/community-staging-x86_64/PKGBUILD (from rev

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

2020-09-07 Thread Felix Yan via arch-commits
Date: Monday, September 7, 2020 @ 16:00:55 Author: felixonmars Revision: 700021 archrelease: copy trunk to community-staging-x86_64 Added: haskell-tamarin-prover-theory/repos/community-staging-x86_64/ haskell-tamarin-prover-theory/repos/community-staging-x86_64/PKGBUILD (from rev 70

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

2020-09-02 Thread Felix Yan via arch-commits
Date: Wednesday, September 2, 2020 @ 21:54:12 Author: felixonmars Revision: 697154 archrelease: copy trunk to community-staging-x86_64 Added: haskell-tamarin-prover-theory/repos/community-staging-x86_64/ haskell-tamarin-prover-theory/repos/community-staging-x86_64/PKGBUILD (from rev

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

2020-09-01 Thread Felix Yan via arch-commits
Date: Tuesday, September 1, 2020 @ 19:39:45 Author: felixonmars Revision: 695896 archrelease: copy trunk to community-staging-x86_64 Added: haskell-tamarin-prover-theory/repos/community-staging-x86_64/ haskell-tamarin-prover-theory/repos/community-staging-x86_64/PKGBUILD (from rev 6

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

2020-08-31 Thread Felix Yan via arch-commits
Date: Monday, August 31, 2020 @ 07:15:40 Author: felixonmars Revision: 693844 archrelease: copy trunk to community-staging-x86_64 Added: haskell-tamarin-prover-theory/repos/community-staging-x86_64/ haskell-tamarin-prover-theory/repos/community-staging-x86_64/PKGBUILD (from rev 6938

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

2020-08-28 Thread Felix Yan via arch-commits
Date: Friday, August 28, 2020 @ 13:40:57 Author: felixonmars Revision: 690915 archrelease: copy trunk to community-staging-x86_64 Added: haskell-tamarin-prover-theory/repos/community-staging-x86_64/ haskell-tamarin-prover-theory/repos/community-staging-x86_64/PKGBUILD (from rev 6909

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

2020-08-25 Thread Felix Yan via arch-commits
Date: Tuesday, August 25, 2020 @ 17:26:57 Author: felixonmars Revision: 688557 archrelease: copy trunk to community-staging-x86_64 Added: haskell-tamarin-prover-theory/repos/community-staging-x86_64/ haskell-tamarin-prover-theory/repos/community-staging-x86_64/PKGBUILD (from rev 688

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

2020-08-23 Thread Felix Yan via arch-commits
Date: Sunday, August 23, 2020 @ 07:33:03 Author: felixonmars Revision: 686949 archrelease: copy trunk to community-staging-x86_64 Added: haskell-tamarin-prover-theory/repos/community-staging-x86_64/ haskell-tamarin-prover-theory/repos/community-staging-x86_64/PKGBUILD (from rev 6869

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

2020-08-21 Thread Felix Yan via arch-commits
Date: Friday, August 21, 2020 @ 08:49:45 Author: felixonmars Revision: 685836 archrelease: copy trunk to community-staging-x86_64 Added: haskell-tamarin-prover-theory/repos/community-staging-x86_64/ haskell-tamarin-prover-theory/repos/community-staging-x86_64/PKGBUILD (from rev 6858

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

2020-08-17 Thread Felix Yan via arch-commits
Date: Monday, August 17, 2020 @ 22:31:06 Author: felixonmars Revision: 683434 archrelease: copy trunk to community-staging-x86_64 Added: haskell-tamarin-prover-theory/repos/community-staging-x86_64/ haskell-tamarin-prover-theory/repos/community-staging-x86_64/PKGBUILD (from rev 6834

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

2020-08-15 Thread Felix Yan via arch-commits
Date: Sunday, August 16, 2020 @ 00:38:57 Author: felixonmars Revision: 680435 archrelease: copy trunk to community-staging-x86_64 Added: haskell-tamarin-prover-theory/repos/community-staging-x86_64/ haskell-tamarin-prover-theory/repos/community-staging-x86_64/PKGBUILD (from rev 6804

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

2020-08-14 Thread Felix Yan via arch-commits
Date: Friday, August 14, 2020 @ 22:19:21 Author: felixonmars Revision: 679343 archrelease: copy trunk to community-staging-x86_64 Added: haskell-tamarin-prover-theory/repos/community-staging-x86_64/ haskell-tamarin-prover-theory/repos/community-staging-x86_64/PKGBUILD (from rev 6793

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

2020-08-13 Thread Felix Yan via arch-commits
Date: Thursday, August 13, 2020 @ 19:47:45 Author: felixonmars Revision: 677974 archrelease: copy trunk to community-staging-x86_64 Added: haskell-tamarin-prover-theory/repos/community-staging-x86_64/ haskell-tamarin-prover-theory/repos/community-staging-x86_64/PKGBUILD (from rev 67

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

2020-08-12 Thread Felix Yan via arch-commits
Date: Wednesday, August 12, 2020 @ 20:44:10 Author: felixonmars Revision: 676743 archrelease: copy trunk to community-staging-x86_64 Added: haskell-tamarin-prover-theory/repos/community-staging-x86_64/ haskell-tamarin-prover-theory/repos/community-staging-x86_64/PKGBUILD (from rev 6

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

2020-08-11 Thread Felix Yan via arch-commits
Date: Tuesday, August 11, 2020 @ 23:52:22 Author: felixonmars Revision: 675248 archrelease: copy trunk to community-staging-x86_64 Added: haskell-tamarin-prover-theory/repos/community-staging-x86_64/ haskell-tamarin-prover-theory/repos/community-staging-x86_64/PKGBUILD (from rev 675

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

2020-08-10 Thread Felix Yan via arch-commits
Date: Monday, August 10, 2020 @ 17:23:44 Author: felixonmars Revision: 673946 archrelease: copy trunk to community-staging-x86_64 Added: haskell-tamarin-prover-theory/repos/community-staging-x86_64/ haskell-tamarin-prover-theory/repos/community-staging-x86_64/PKGBUILD (from rev 6739

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

2020-08-08 Thread Felix Yan via arch-commits
Date: Saturday, August 8, 2020 @ 13:27:53 Author: felixonmars Revision: 672363 archrelease: copy trunk to community-staging-x86_64 Added: haskell-tamarin-prover-theory/repos/community-staging-x86_64/ haskell-tamarin-prover-theory/repos/community-staging-x86_64/PKGBUILD (from rev 672

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

2020-07-31 Thread Felix Yan via arch-commits
Date: Saturday, August 1, 2020 @ 01:49:59 Author: felixonmars Revision: 666999 archrelease: copy trunk to community-staging-x86_64 Added: haskell-tamarin-prover-theory/repos/community-staging-x86_64/ haskell-tamarin-prover-theory/repos/community-staging-x86_64/PKGBUILD (from rev 666

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

2020-06-29 Thread Felix Yan via arch-commits
Date: Monday, June 29, 2020 @ 08:01:09 Author: felixonmars Revision: 655876 archrelease: copy trunk to community-staging-x86_64 Added: haskell-tamarin-prover-theory/repos/community-staging-x86_64/ haskell-tamarin-prover-theory/repos/community-staging-x86_64/PKGBUILD (from rev 655875

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

2020-06-27 Thread Felix Yan via arch-commits
Date: Friday, June 26, 2020 @ 19:11:33 Author: felixonmars Revision: 654413 archrelease: copy trunk to community-staging-x86_64 Added: haskell-tamarin-prover-theory/repos/community-staging-x86_64/ haskell-tamarin-prover-theory/repos/community-staging-x86_64/PKGBUILD (from rev 654412

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

2020-06-24 Thread Felix Yan via arch-commits
Date: Wednesday, June 24, 2020 @ 08:44:52 Author: felixonmars Revision: 652097 archrelease: copy trunk to community-staging-x86_64 Added: haskell-tamarin-prover-theory/repos/community-staging-x86_64/ haskell-tamarin-prover-theory/repos/community-staging-x86_64/PKGBUILD (from rev 652

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

2020-06-20 Thread Felix Yan via arch-commits
Date: Saturday, June 20, 2020 @ 11:02:45 Author: felixonmars Revision: 648293 archrelease: copy trunk to community-staging-x86_64 Added: haskell-tamarin-prover-theory/repos/community-staging-x86_64/ haskell-tamarin-prover-theory/repos/community-staging-x86_64/PKGBUILD (from rev 6482

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

2020-06-17 Thread Felix Yan via arch-commits
Date: Wednesday, June 17, 2020 @ 21:06:23 Author: felixonmars Revision: 646687 archrelease: copy trunk to community-staging-x86_64 Added: haskell-tamarin-prover-theory/repos/community-staging-x86_64/ haskell-tamarin-prover-theory/repos/community-staging-x86_64/PKGBUILD (from rev 646

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

2020-06-15 Thread Felix Yan via arch-commits
Date: Monday, June 15, 2020 @ 11:20:08 Author: felixonmars Revision: 644982 archrelease: copy trunk to community-staging-x86_64 Added: haskell-tamarin-prover-theory/repos/community-staging-x86_64/ haskell-tamarin-prover-theory/repos/community-staging-x86_64/PKGBUILD (from rev 644981

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

2020-06-13 Thread Felix Yan via arch-commits
Date: Sunday, June 14, 2020 @ 01:37:39 Author: felixonmars Revision: 643639 archrelease: copy trunk to community-staging-x86_64 Added: haskell-tamarin-prover-theory/repos/community-staging-x86_64/ haskell-tamarin-prover-theory/repos/community-staging-x86_64/PKGBUILD (from rev 643638

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

2020-06-06 Thread Felix Yan via arch-commits
Date: Saturday, June 6, 2020 @ 10:38:40 Author: felixonmars Revision: 639406 archrelease: copy trunk to community-staging-x86_64 Added: haskell-tamarin-prover-theory/repos/community-staging-x86_64/ haskell-tamarin-prover-theory/repos/community-staging-x86_64/PKGBUILD (from rev 63940

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

2020-05-28 Thread Felix Yan via arch-commits
Date: Thursday, May 28, 2020 @ 19:55:31 Author: felixonmars Revision: 636645 archrelease: copy trunk to community-staging-x86_64 Added: haskell-tamarin-prover-theory/repos/community-staging-x86_64/ haskell-tamarin-prover-theory/repos/community-staging-x86_64/PKGBUILD (from rev 63664

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

2020-05-26 Thread Felix Yan via arch-commits
Date: Tuesday, May 26, 2020 @ 21:26:46 Author: felixonmars Revision: 635416 archrelease: copy trunk to community-staging-x86_64 Added: haskell-tamarin-prover-theory/repos/community-staging-x86_64/ haskell-tamarin-prover-theory/repos/community-staging-x86_64/PKGBUILD (from rev 635415

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

2020-05-25 Thread Felix Yan via arch-commits
Date: Monday, May 25, 2020 @ 13:59:25 Author: felixonmars Revision: 634360 archrelease: copy trunk to community-staging-x86_64 Added: haskell-tamarin-prover-theory/repos/community-staging-x86_64/ haskell-tamarin-prover-theory/repos/community-staging-x86_64/PKGBUILD (from rev 634359,

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

2020-05-24 Thread Felix Yan via arch-commits
Date: Monday, May 25, 2020 @ 03:59:36 Author: felixonmars Revision: 633747 archrelease: copy trunk to community-staging-x86_64 Added: haskell-tamarin-prover-theory/repos/community-staging-x86_64/ haskell-tamarin-prover-theory/repos/community-staging-x86_64/PKGBUILD (from rev 633746,

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

2020-05-23 Thread Felix Yan via arch-commits
Date: Saturday, May 23, 2020 @ 18:52:34 Author: felixonmars Revision: 632435 archrelease: copy trunk to community-staging-x86_64 Added: haskell-tamarin-prover-theory/repos/community-staging-x86_64/ haskell-tamarin-prover-theory/repos/community-staging-x86_64/PKGBUILD (from rev 63243

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

2020-05-22 Thread Felix Yan via arch-commits
Date: Saturday, May 23, 2020 @ 02:21:11 Author: felixonmars Revision: 631762 archrelease: copy trunk to community-staging-x86_64 Added: haskell-tamarin-prover-theory/repos/community-staging-x86_64/ haskell-tamarin-prover-theory/repos/community-staging-x86_64/PKGBUILD (from rev 63176

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

2020-05-20 Thread Felix Yan via arch-commits
Date: Wednesday, May 20, 2020 @ 16:05:25 Author: felixonmars Revision: 630862 archrelease: copy trunk to community-staging-x86_64 Added: haskell-tamarin-prover-theory/repos/community-staging-x86_64/ haskell-tamarin-prover-theory/repos/community-staging-x86_64/PKGBUILD (from rev 6308

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

2020-05-19 Thread Felix Yan via arch-commits
Date: Tuesday, May 19, 2020 @ 18:54:19 Author: felixonmars Revision: 630044 archrelease: copy trunk to community-staging-x86_64 Added: haskell-tamarin-prover-theory/repos/community-staging-x86_64/ haskell-tamarin-prover-theory/repos/community-staging-x86_64/PKGBUILD (from rev 630043

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

2020-05-12 Thread Felix Yan via arch-commits
Date: Tuesday, May 12, 2020 @ 17:47:52 Author: felixonmars Revision: 627089 archrelease: copy trunk to community-staging-x86_64 Added: haskell-tamarin-prover-theory/repos/community-staging-x86_64/ haskell-tamarin-prover-theory/repos/community-staging-x86_64/PKGBUILD (from rev 627088

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

2020-05-01 Thread Felix Yan via arch-commits
Date: Friday, May 1, 2020 @ 12:38:56 Author: felixonmars Revision: 623808 archrelease: copy trunk to community-staging-x86_64 Added: haskell-tamarin-prover-theory/repos/community-staging-x86_64/ haskell-tamarin-prover-theory/repos/community-staging-x86_64/PKGBUILD (from rev 623807,

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

2020-04-30 Thread Felix Yan via arch-commits
Date: Thursday, April 30, 2020 @ 10:33:03 Author: felixonmars Revision: 622439 archrelease: copy trunk to community-testing-x86_64 Added: haskell-tamarin-prover-theory/repos/community-testing-x86_64/ haskell-tamarin-prover-theory/repos/community-testing-x86_64/PKGBUILD (from rev 622

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

2020-04-14 Thread Felix Yan via arch-commits
Date: Tuesday, April 14, 2020 @ 22:41:05 Author: felixonmars Revision: 614362 archrelease: copy trunk to community-staging-x86_64 Added: haskell-tamarin-prover-theory/repos/community-staging-x86_64/ haskell-tamarin-prover-theory/repos/community-staging-x86_64/PKGBUILD (from rev 6143

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

2020-04-03 Thread Felix Yan via arch-commits
Date: Friday, April 3, 2020 @ 15:28:28 Author: felixonmars Revision: 610841 archrelease: copy trunk to community-staging-x86_64 Added: haskell-tamarin-prover-theory/repos/community-staging-x86_64/ haskell-tamarin-prover-theory/repos/community-staging-x86_64/PKGBUILD (from rev 610840

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

2020-04-01 Thread Felix Yan via arch-commits
Date: Wednesday, April 1, 2020 @ 16:10:19 Author: felixonmars Revision: 608991 archrelease: copy trunk to community-staging-x86_64 Added: haskell-tamarin-prover-theory/repos/community-staging-x86_64/ haskell-tamarin-prover-theory/repos/community-staging-x86_64/PKGBUILD (from rev 608

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

2020-03-29 Thread Felix Yan via arch-commits
Date: Sunday, March 29, 2020 @ 19:44:22 Author: felixonmars Revision: 606417 archrelease: copy trunk to community-staging-x86_64 Added: haskell-tamarin-prover-theory/repos/community-staging-x86_64/ haskell-tamarin-prover-theory/repos/community-staging-x86_64/PKGBUILD (from rev 60641

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

2020-03-28 Thread Felix Yan via arch-commits
Date: Saturday, March 28, 2020 @ 16:08:55 Author: felixonmars Revision: 605276 archrelease: copy trunk to community-staging-x86_64 Added: haskell-tamarin-prover-theory/repos/community-staging-x86_64/ haskell-tamarin-prover-theory/repos/community-staging-x86_64/PKGBUILD (from rev 605

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

2020-03-26 Thread Felix Yan via arch-commits
Date: Thursday, March 26, 2020 @ 20:18:59 Author: felixonmars Revision: 604643 archrelease: copy trunk to community-staging-x86_64 Added: haskell-tamarin-prover-theory/repos/community-staging-x86_64/ haskell-tamarin-prover-theory/repos/community-staging-x86_64/PKGBUILD (from rev 604

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

2020-03-20 Thread Felix Yan via arch-commits
Date: Friday, March 20, 2020 @ 13:03:23 Author: felixonmars Revision: 601606 archrelease: copy trunk to community-staging-x86_64 Added: haskell-tamarin-prover-theory/repos/community-staging-x86_64/ haskell-tamarin-prover-theory/repos/community-staging-x86_64/PKGBUILD (from rev 60160

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

2020-03-15 Thread Felix Yan via arch-commits
Date: Sunday, March 15, 2020 @ 20:37:09 Author: felixonmars Revision: 598538 archrelease: copy trunk to community-staging-x86_64 Added: haskell-tamarin-prover-theory/repos/community-staging-x86_64/ haskell-tamarin-prover-theory/repos/community-staging-x86_64/PKGBUILD (from rev 59853

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

2020-03-13 Thread Felix Yan via arch-commits
Date: Friday, March 13, 2020 @ 23:42:06 Author: felixonmars Revision: 596468 archrelease: copy trunk to community-staging-x86_64 Added: haskell-tamarin-prover-theory/repos/community-staging-x86_64/ haskell-tamarin-prover-theory/repos/community-staging-x86_64/PKGBUILD (from rev 59646

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

2020-03-11 Thread Felix Yan via arch-commits
Date: Thursday, March 12, 2020 @ 02:04:35 Author: felixonmars Revision: 594925 archrelease: copy trunk to community-staging-x86_64 Added: haskell-tamarin-prover-theory/repos/community-staging-x86_64/ haskell-tamarin-prover-theory/repos/community-staging-x86_64/PKGBUILD (from rev 594

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

2020-03-08 Thread Felix Yan via arch-commits
Date: Sunday, March 8, 2020 @ 21:46:37 Author: felixonmars Revision: 592560 archrelease: copy trunk to community-staging-x86_64 Added: haskell-tamarin-prover-theory/repos/community-staging-x86_64/ haskell-tamarin-prover-theory/repos/community-staging-x86_64/PKGBUILD (from rev 592559

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

2020-03-01 Thread Felix Yan via arch-commits
Date: Sunday, March 1, 2020 @ 21:39:23 Author: felixonmars Revision: 588262 archrelease: copy trunk to community-staging-x86_64 Added: haskell-tamarin-prover-theory/repos/community-staging-x86_64/ haskell-tamarin-prover-theory/repos/community-staging-x86_64/PKGBUILD (from rev 588261

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

2020-02-27 Thread Felix Yan via arch-commits
Date: Thursday, February 27, 2020 @ 18:12:51 Author: felixonmars Revision: 584555 archrelease: copy trunk to community-staging-x86_64 Added: haskell-tamarin-prover-theory/repos/community-staging-x86_64/ haskell-tamarin-prover-theory/repos/community-staging-x86_64/PKGBUILD (from rev

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

2020-02-25 Thread Felix Yan via arch-commits
Date: Tuesday, February 25, 2020 @ 19:57:38 Author: felixonmars Revision: 581974 archrelease: copy trunk to community-staging-x86_64 Added: haskell-tamarin-prover-theory/repos/community-staging-x86_64/ haskell-tamarin-prover-theory/repos/community-staging-x86_64/PKGBUILD (from rev 5

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

2020-02-23 Thread Felix Yan via arch-commits
Date: Sunday, February 23, 2020 @ 17:26:23 Author: felixonmars Revision: 579896 archrelease: copy trunk to community-staging-x86_64 Added: haskell-tamarin-prover-theory/repos/community-staging-x86_64/ haskell-tamarin-prover-theory/repos/community-staging-x86_64/PKGBUILD (from rev 57

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

2020-02-21 Thread Felix Yan via arch-commits
Date: Friday, February 21, 2020 @ 15:56:20 Author: felixonmars Revision: 577680 archrelease: copy trunk to community-staging-x86_64 Added: haskell-tamarin-prover-theory/repos/community-staging-x86_64/ haskell-tamarin-prover-theory/repos/community-staging-x86_64/PKGBUILD (from rev 57

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

2020-02-17 Thread Felix Yan via arch-commits
Date: Monday, February 17, 2020 @ 16:38:32 Author: felixonmars Revision: 574375 archrelease: copy trunk to community-staging-x86_64 Added: haskell-tamarin-prover-theory/repos/community-staging-x86_64/ haskell-tamarin-prover-theory/repos/community-staging-x86_64/PKGBUILD (from rev 57

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

2020-02-16 Thread Felix Yan via arch-commits
Date: Sunday, February 16, 2020 @ 11:32:37 Author: felixonmars Revision: 572340 archrelease: copy trunk to community-staging-x86_64 Added: haskell-tamarin-prover-theory/repos/community-staging-x86_64/ haskell-tamarin-prover-theory/repos/community-staging-x86_64/PKGBUILD (from rev 57

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

2020-02-11 Thread Felix Yan via arch-commits
Date: Tuesday, February 11, 2020 @ 09:19:12 Author: felixonmars Revision: 566871 archrelease: copy trunk to community-staging-x86_64 Added: haskell-tamarin-prover-theory/repos/community-staging-x86_64/ haskell-tamarin-prover-theory/repos/community-staging-x86_64/PKGBUILD (from rev 5

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

2020-02-09 Thread Felix Yan via arch-commits
Date: Monday, February 10, 2020 @ 06:44:45 Author: felixonmars Revision: 565657 archrelease: copy trunk to community-staging-x86_64 Added: haskell-tamarin-prover-theory/repos/community-staging-x86_64/ haskell-tamarin-prover-theory/repos/community-staging-x86_64/PKGBUILD (from rev 56

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

2020-02-08 Thread Felix Yan via arch-commits
Date: Saturday, February 8, 2020 @ 18:23:02 Author: felixonmars Revision: 564821 archrelease: copy trunk to community-staging-x86_64 Added: haskell-tamarin-prover-theory/repos/community-staging-x86_64/ haskell-tamarin-prover-theory/repos/community-staging-x86_64/PKGBUILD (from rev 5

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

2020-02-05 Thread Felix Yan via arch-commits
Date: Wednesday, February 5, 2020 @ 19:13:31 Author: felixonmars Revision: 563400 archrelease: copy trunk to community-staging-x86_64 Added: haskell-tamarin-prover-theory/repos/community-staging-x86_64/ haskell-tamarin-prover-theory/repos/community-staging-x86_64/PKGBUILD (from rev

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

2020-02-01 Thread Felix Yan via arch-commits
Date: Saturday, February 1, 2020 @ 19:28:23 Author: felixonmars Revision: 561113 archrelease: copy trunk to community-staging-x86_64 Added: haskell-tamarin-prover-theory/repos/community-staging-x86_64/ haskell-tamarin-prover-theory/repos/community-staging-x86_64/PKGBUILD (from rev 5

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

2020-01-29 Thread Felix Yan via arch-commits
Date: Wednesday, January 29, 2020 @ 14:21:53 Author: felixonmars Revision: 558916 archrelease: copy trunk to community-staging-x86_64 Added: haskell-tamarin-prover-theory/repos/community-staging-x86_64/ haskell-tamarin-prover-theory/repos/community-staging-x86_64/PKGBUILD (from rev

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

2020-01-27 Thread Felix Yan via arch-commits
Date: Tuesday, January 28, 2020 @ 03:16:45 Author: felixonmars Revision: 557084 archrelease: copy trunk to community-staging-x86_64 Added: haskell-tamarin-prover-theory/repos/community-staging-x86_64/ haskell-tamarin-prover-theory/repos/community-staging-x86_64/PKGBUILD (from rev 55

  1   2   >