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

2021-08-17 Thread Felix Yan via arch-commits
Date: Tuesday, August 17, 2021 @ 23:11:10 Author: felixonmars Revision: 1002823 archrelease: copy trunk to community-staging-x86_64 Added: tamarin-prover/repos/community-staging-x86_64/ tamarin-prover/repos/community-staging-x86_64/PKGBUILD (from rev 1002822, tamarin-prover/trunk/PK

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

2021-08-16 Thread Felix Yan via arch-commits
Date: Monday, August 16, 2021 @ 13:05:33 Author: felixonmars Revision: 1000987 archrelease: copy trunk to community-staging-x86_64 Added: tamarin-prover/repos/community-staging-x86_64/ tamarin-prover/repos/community-staging-x86_64/PKGBUILD (from rev 1000986, tamarin-prover/trunk/PKG

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

2021-08-16 Thread Felix Yan via arch-commits
Date: Monday, August 16, 2021 @ 09:12:35 Author: felixonmars Revision: 1000192 archrelease: copy trunk to community-staging-x86_64 Added: tamarin-prover/repos/community-staging-x86_64/ tamarin-prover/repos/community-staging-x86_64/PKGBUILD (from rev 1000191, tamarin-prover/trunk/PKG

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

2021-08-13 Thread Felix Yan via arch-commits
Date: Friday, August 13, 2021 @ 19:15:23 Author: felixonmars Revision: 998313 archrelease: copy trunk to community-staging-x86_64 Added: tamarin-prover/repos/community-staging-x86_64/ tamarin-prover/repos/community-staging-x86_64/PKGBUILD (from rev 998312, tamarin-prover/trunk/PKGBU

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

2021-08-12 Thread Felix Yan via arch-commits
Date: Thursday, August 12, 2021 @ 19:00:02 Author: felixonmars Revision: 997766 archrelease: copy trunk to community-staging-x86_64 Added: tamarin-prover/repos/community-staging-x86_64/ tamarin-prover/repos/community-staging-x86_64/PKGBUILD (from rev 997765, tamarin-prover/trunk/PKG

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

2021-08-10 Thread Felix Yan via arch-commits
Date: Tuesday, August 10, 2021 @ 09:36:28 Author: felixonmars Revision: 997332 archrelease: copy trunk to community-staging-x86_64 Added: tamarin-prover/repos/community-staging-x86_64/ tamarin-prover/repos/community-staging-x86_64/PKGBUILD (from rev 997331, tamarin-prover/trunk/PKGB

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

2021-08-08 Thread Felix Yan via arch-commits
Date: Monday, August 9, 2021 @ 06:06:17 Author: felixonmars Revision: 996464 archrelease: copy trunk to community-staging-x86_64 Added: tamarin-prover/repos/community-staging-x86_64/ tamarin-prover/repos/community-staging-x86_64/PKGBUILD (from rev 996463, tamarin-prover/trunk/PKGBUI

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

2021-08-06 Thread Felix Yan via arch-commits
Date: Friday, August 6, 2021 @ 12:49:05 Author: felixonmars Revision: 994336 archrelease: copy trunk to community-staging-x86_64 Added: tamarin-prover/repos/community-staging-x86_64/ tamarin-prover/repos/community-staging-x86_64/PKGBUILD (from rev 994335, tamarin-prover/trunk/PKGBUI

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

2021-08-02 Thread Felix Yan via arch-commits
Date: Monday, August 2, 2021 @ 23:33:16 Author: felixonmars Revision: 993234 archrelease: copy trunk to community-staging-x86_64 Added: tamarin-prover/repos/community-staging-x86_64/ tamarin-prover/repos/community-staging-x86_64/PKGBUILD (from rev 993233, tamarin-prover/trunk/PKGBUI

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

2021-08-02 Thread Felix Yan via arch-commits
Date: Monday, August 2, 2021 @ 16:27:31 Author: felixonmars Revision: 992528 archrelease: copy trunk to community-staging-x86_64 Added: tamarin-prover/repos/community-staging-x86_64/ tamarin-prover/repos/community-staging-x86_64/PKGBUILD (from rev 992527, tamarin-prover/trunk/PKGBUI

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

2021-07-31 Thread Felix Yan via arch-commits
Date: Sunday, August 1, 2021 @ 00:05:04 Author: felixonmars Revision: 991607 archrelease: copy trunk to community-staging-x86_64 Added: tamarin-prover/repos/community-staging-x86_64/ tamarin-prover/repos/community-staging-x86_64/PKGBUILD (from rev 991606, tamarin-prover/trunk/PKGBUI

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

2021-07-29 Thread Felix Yan via arch-commits
Date: Thursday, July 29, 2021 @ 21:42:36 Author: felixonmars Revision: 990689 archrelease: copy trunk to community-staging-x86_64 Added: tamarin-prover/repos/community-staging-x86_64/ tamarin-prover/repos/community-staging-x86_64/PKGBUILD (from rev 990688, tamarin-prover/trunk/PKGBU

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

2021-07-28 Thread Felix Yan via arch-commits
Date: Wednesday, July 28, 2021 @ 23:59:36 Author: felixonmars Revision: 989678 archrelease: copy trunk to community-staging-x86_64 Added: tamarin-prover/repos/community-staging-x86_64/ tamarin-prover/repos/community-staging-x86_64/PKGBUILD (from rev 989677, tamarin-prover/trunk/PKGB

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

2021-07-28 Thread Felix Yan via arch-commits
Date: Wednesday, July 28, 2021 @ 15:28:26 Author: felixonmars Revision: 988983 archrelease: copy trunk to community-staging-x86_64 Added: tamarin-prover/repos/community-staging-x86_64/ tamarin-prover/repos/community-staging-x86_64/PKGBUILD (from rev 988982, tamarin-prover/trunk/PKGB

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

2021-07-27 Thread Felix Yan via arch-commits
Date: Wednesday, July 28, 2021 @ 03:18:54 Author: felixonmars Revision: 988124 archrelease: copy trunk to community-staging-x86_64 Added: tamarin-prover/repos/community-staging-x86_64/ tamarin-prover/repos/community-staging-x86_64/PKGBUILD (from rev 988123, tamarin-prover/trunk/PKGB

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

2021-07-27 Thread Felix Yan via arch-commits
Date: Tuesday, July 27, 2021 @ 10:26:42 Author: felixonmars Revision: 986739 archrelease: copy trunk to community-staging-x86_64 Added: tamarin-prover/repos/community-staging-x86_64/ tamarin-prover/repos/community-staging-x86_64/PKGBUILD (from rev 986738, tamarin-prover/trunk/PKGBUI

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

2021-07-23 Thread Felix Yan via arch-commits
Date: Friday, July 23, 2021 @ 13:13:28 Author: felixonmars Revision: 984466 archrelease: copy trunk to community-staging-x86_64 Added: tamarin-prover/repos/community-staging-x86_64/ tamarin-prover/repos/community-staging-x86_64/PKGBUILD (from rev 984465, tamarin-prover/trunk/PKGBUIL

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

2021-07-22 Thread Felix Yan via arch-commits
Date: Thursday, July 22, 2021 @ 19:04:09 Author: felixonmars Revision: 984025 archrelease: copy trunk to community-staging-x86_64 Added: tamarin-prover/repos/community-staging-x86_64/ tamarin-prover/repos/community-staging-x86_64/PKGBUILD (from rev 984024, tamarin-prover/trunk/PKGBU

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

2021-07-22 Thread Felix Yan via arch-commits
Date: Thursday, July 22, 2021 @ 18:22:40 Author: felixonmars Revision: 983976 archrelease: copy trunk to community-staging-x86_64 Added: tamarin-prover/repos/community-staging-x86_64/ tamarin-prover/repos/community-staging-x86_64/PKGBUILD (from rev 983975, tamarin-prover/trunk/PKGBU

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

2021-07-22 Thread Felix Yan via arch-commits
Date: Thursday, July 22, 2021 @ 08:25:57 Author: felixonmars Revision: 983038 archrelease: copy trunk to community-staging-x86_64 Added: tamarin-prover/repos/community-staging-x86_64/ tamarin-prover/repos/community-staging-x86_64/PKGBUILD (from rev 983037, tamarin-prover/trunk/PKGBU

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

2021-07-20 Thread Felix Yan via arch-commits
Date: Tuesday, July 20, 2021 @ 18:43:13 Author: felixonmars Revision: 980460 archrelease: copy trunk to community-staging-x86_64 Added: tamarin-prover/repos/community-staging-x86_64/ tamarin-prover/repos/community-staging-x86_64/PKGBUILD (from rev 980459, tamarin-prover/trunk/PKGBUI

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

2021-07-17 Thread Felix Yan via arch-commits
Date: Saturday, July 17, 2021 @ 08:04:14 Author: felixonmars Revision: 977984 archrelease: copy trunk to community-staging-x86_64 Added: tamarin-prover/repos/community-staging-x86_64/ tamarin-prover/repos/community-staging-x86_64/PKGBUILD (from rev 977983, tamarin-prover/trunk/PKGBU

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

2021-07-15 Thread Felix Yan via arch-commits
Date: Friday, July 16, 2021 @ 04:17:20 Author: felixonmars Revision: 977491 archrelease: copy trunk to community-staging-x86_64 Added: tamarin-prover/repos/community-staging-x86_64/ tamarin-prover/repos/community-staging-x86_64/PKGBUILD (from rev 977490, tamarin-prover/trunk/PKGBUIL

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

2021-07-11 Thread Felix Yan via arch-commits
Date: Monday, July 12, 2021 @ 04:45:20 Author: felixonmars Revision: 976616 archrelease: copy trunk to community-staging-x86_64 Added: tamarin-prover/repos/community-staging-x86_64/ tamarin-prover/repos/community-staging-x86_64/PKGBUILD (from rev 976615, tamarin-prover/trunk/PKGBUIL

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

2021-07-09 Thread Felix Yan via arch-commits
Date: Friday, July 9, 2021 @ 08:27:26 Author: felixonmars Revision: 976095 archrelease: copy trunk to community-staging-x86_64 Added: tamarin-prover/repos/community-staging-x86_64/ tamarin-prover/repos/community-staging-x86_64/PKGBUILD (from rev 976094, tamarin-prover/trunk/PKGBUILD

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

2021-07-07 Thread Felix Yan via arch-commits
Date: Thursday, July 8, 2021 @ 04:54:27 Author: felixonmars Revision: 975536 archrelease: copy trunk to community-staging-x86_64 Added: tamarin-prover/repos/community-staging-x86_64/ tamarin-prover/repos/community-staging-x86_64/PKGBUILD (from rev 975535, tamarin-prover/trunk/PKGBUI

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

2021-07-07 Thread Felix Yan via arch-commits
Date: Wednesday, July 7, 2021 @ 16:39:23 Author: felixonmars Revision: 975255 archrelease: copy trunk to community-staging-x86_64 Added: tamarin-prover/repos/community-staging-x86_64/ tamarin-prover/repos/community-staging-x86_64/PKGBUILD (from rev 975254, tamarin-prover/trunk/PKGBU

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

2021-07-07 Thread Felix Yan via arch-commits
Date: Wednesday, July 7, 2021 @ 08:15:24 Author: felixonmars Revision: 974201 archrelease: copy trunk to community-staging-x86_64 Added: tamarin-prover/repos/community-staging-x86_64/ tamarin-prover/repos/community-staging-x86_64/PKGBUILD (from rev 974200, tamarin-prover/trunk/PKGBU

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

2021-07-04 Thread Felix Yan via arch-commits
Date: Monday, July 5, 2021 @ 06:20:36 Author: felixonmars Revision: 972292 archrelease: copy trunk to community-staging-x86_64 Added: tamarin-prover/repos/community-staging-x86_64/ tamarin-prover/repos/community-staging-x86_64/PKGBUILD (from rev 972291, tamarin-prover/trunk/PKGBUILD

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

2021-07-04 Thread Felix Yan via arch-commits
Date: Sunday, July 4, 2021 @ 16:21:39 Author: felixonmars Revision: 972147 archrelease: copy trunk to community-staging-x86_64 Added: tamarin-prover/repos/community-staging-x86_64/ tamarin-prover/repos/community-staging-x86_64/PKGBUILD (from rev 972146, tamarin-prover/trunk/PKGBUILD

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

2021-07-04 Thread Felix Yan via arch-commits
Date: Sunday, July 4, 2021 @ 12:11:45 Author: felixonmars Revision: 972016 archrelease: copy trunk to community-staging-x86_64 Added: tamarin-prover/repos/community-staging-x86_64/ tamarin-prover/repos/community-staging-x86_64/PKGBUILD (from rev 972015, tamarin-prover/trunk/PKGBUILD

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

2021-07-02 Thread Felix Yan via arch-commits
Date: Saturday, July 3, 2021 @ 05:07:00 Author: felixonmars Revision: 971790 archrelease: copy trunk to community-staging-x86_64 Added: tamarin-prover/repos/community-staging-x86_64/ tamarin-prover/repos/community-staging-x86_64/PKGBUILD (from rev 971789, tamarin-prover/trunk/PKGBUI

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

2021-07-02 Thread Felix Yan via arch-commits
Date: Friday, July 2, 2021 @ 13:29:35 Author: felixonmars Revision: 970769 archrelease: copy trunk to community-staging-x86_64 Added: tamarin-prover/repos/community-staging-x86_64/ tamarin-prover/repos/community-staging-x86_64/PKGBUILD (from rev 970768, tamarin-prover/trunk/PKGBUILD

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

2021-06-30 Thread Felix Yan via arch-commits
Date: Wednesday, June 30, 2021 @ 15:43:50 Author: felixonmars Revision: 967999 archrelease: copy trunk to community-staging-x86_64 Added: tamarin-prover/repos/community-staging-x86_64/ tamarin-prover/repos/community-staging-x86_64/PKGBUILD (from rev 967998, tamarin-prover/trunk/PKGB

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

2021-06-14 Thread Felix Yan via arch-commits
Date: Tuesday, June 15, 2021 @ 06:52:03 Author: felixonmars Revision: 963721 archrelease: copy trunk to community-staging-x86_64 Added: tamarin-prover/repos/community-staging-x86_64/ tamarin-prover/repos/community-staging-x86_64/PKGBUILD (from rev 963720, tamarin-prover/trunk/PKGBUI

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

2021-06-11 Thread Felix Yan via arch-commits
Date: Saturday, June 12, 2021 @ 00:04:29 Author: felixonmars Revision: 962992 archrelease: copy trunk to community-staging-x86_64 Added: tamarin-prover/repos/community-staging-x86_64/ tamarin-prover/repos/community-staging-x86_64/PKGBUILD (from rev 962991, tamarin-prover/trunk/PKGBU

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

2021-06-10 Thread Felix Yan via arch-commits
Date: Friday, June 11, 2021 @ 01:37:47 Author: felixonmars Revision: 961955 archrelease: copy trunk to community-staging-x86_64 Added: tamarin-prover/repos/community-staging-x86_64/ tamarin-prover/repos/community-staging-x86_64/PKGBUILD (from rev 961954, tamarin-prover/trunk/PKGBUIL

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

2021-06-07 Thread Felix Yan via arch-commits
Date: Tuesday, June 8, 2021 @ 00:55:51 Author: felixonmars Revision: 958464 archrelease: copy trunk to community-staging-x86_64 Added: tamarin-prover/repos/community-staging-x86_64/ tamarin-prover/repos/community-staging-x86_64/PKGBUILD (from rev 958463, tamarin-prover/trunk/PKGBUIL

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

2021-06-03 Thread Felix Yan via arch-commits
Date: Thursday, June 3, 2021 @ 09:06:02 Author: felixonmars Revision: 954857 archrelease: copy trunk to community-staging-x86_64 Added: tamarin-prover/repos/community-staging-x86_64/ tamarin-prover/repos/community-staging-x86_64/PKGBUILD (from rev 954856, tamarin-prover/trunk/PKGBUI

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

2021-05-31 Thread Felix Yan via arch-commits
Date: Monday, May 31, 2021 @ 07:30:53 Author: felixonmars Revision: 951951 archrelease: copy trunk to community-staging-x86_64 Added: tamarin-prover/repos/community-staging-x86_64/ tamarin-prover/repos/community-staging-x86_64/PKGBUILD (from rev 951950, tamarin-prover/trunk/PKGBUILD

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

2021-05-29 Thread Felix Yan via arch-commits
Date: Saturday, May 29, 2021 @ 20:05:42 Author: felixonmars Revision: 950214 archrelease: copy trunk to community-staging-x86_64 Added: tamarin-prover/repos/community-staging-x86_64/ tamarin-prover/repos/community-staging-x86_64/PKGBUILD (from rev 950213, tamarin-prover/trunk/PKGBUI

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

2021-05-28 Thread Felix Yan via arch-commits
Date: Friday, May 28, 2021 @ 14:14:57 Author: felixonmars Revision: 949787 archrelease: copy trunk to community-staging-x86_64 Added: tamarin-prover/repos/community-staging-x86_64/ tamarin-prover/repos/community-staging-x86_64/PKGBUILD (from rev 949786, tamarin-prover/trunk/PKGBUILD

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

2021-05-27 Thread Felix Yan via arch-commits
Date: Thursday, May 27, 2021 @ 22:03:22 Author: felixonmars Revision: 949209 archrelease: copy trunk to community-staging-x86_64 Added: tamarin-prover/repos/community-staging-x86_64/ tamarin-prover/repos/community-staging-x86_64/PKGBUILD (from rev 949208, tamarin-prover/trunk/PKGBUI

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

2021-05-27 Thread Felix Yan via arch-commits
Date: Thursday, May 27, 2021 @ 10:23:04 Author: felixonmars Revision: 948244 archrelease: copy trunk to community-staging-x86_64 Added: tamarin-prover/repos/community-staging-x86_64/ tamarin-prover/repos/community-staging-x86_64/PKGBUILD (from rev 948243, tamarin-prover/trunk/PKGBUI

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

2021-05-25 Thread Felix Yan via arch-commits
Date: Wednesday, May 26, 2021 @ 04:54:30 Author: felixonmars Revision: 946520 archrelease: copy trunk to community-staging-x86_64 Added: tamarin-prover/repos/community-staging-x86_64/ tamarin-prover/repos/community-staging-x86_64/PKGBUILD (from rev 946519, tamarin-prover/trunk/PKGBU

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

2021-05-25 Thread Felix Yan via arch-commits
Date: Tuesday, May 25, 2021 @ 18:51:02 Author: felixonmars Revision: 946225 archrelease: copy trunk to community-staging-x86_64 Added: tamarin-prover/repos/community-staging-x86_64/ tamarin-prover/repos/community-staging-x86_64/PKGBUILD (from rev 946224, tamarin-prover/trunk/PKGBUIL

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

2021-05-25 Thread Felix Yan via arch-commits
Date: Tuesday, May 25, 2021 @ 14:14:13 Author: felixonmars Revision: 945797 archrelease: copy trunk to community-staging-x86_64 Added: tamarin-prover/repos/community-staging-x86_64/ tamarin-prover/repos/community-staging-x86_64/PKGBUILD (from rev 945796, tamarin-prover/trunk/PKGBUIL

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

2021-05-24 Thread Felix Yan via arch-commits
Date: Monday, May 24, 2021 @ 09:22:12 Author: felixonmars Revision: 944222 archrelease: copy trunk to community-staging-x86_64 Added: tamarin-prover/repos/community-staging-x86_64/ tamarin-prover/repos/community-staging-x86_64/PKGBUILD (from rev 944221, tamarin-prover/trunk/PKGBUILD

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

2021-05-23 Thread Felix Yan via arch-commits
Date: Sunday, May 23, 2021 @ 15:50:46 Author: felixonmars Revision: 943461 archrelease: copy trunk to community-staging-x86_64 Added: tamarin-prover/repos/community-staging-x86_64/ tamarin-prover/repos/community-staging-x86_64/PKGBUILD (from rev 943460, tamarin-prover/trunk/PKGBUILD

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

2021-05-22 Thread Felix Yan via arch-commits
Date: Saturday, May 22, 2021 @ 21:46:43 Author: felixonmars Revision: 942336 archrelease: copy trunk to community-staging-x86_64 Added: tamarin-prover/repos/community-staging-x86_64/ tamarin-prover/repos/community-staging-x86_64/PKGBUILD (from rev 942335, tamarin-prover/trunk/PKGBUI

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

2021-05-21 Thread Felix Yan via arch-commits
Date: Friday, May 21, 2021 @ 22:54:09 Author: felixonmars Revision: 941114 archrelease: copy trunk to community-staging-x86_64 Added: tamarin-prover/repos/community-staging-x86_64/ tamarin-prover/repos/community-staging-x86_64/PKGBUILD (from rev 941113, tamarin-prover/trunk/PKGBUILD

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

2021-05-20 Thread Felix Yan via arch-commits
Date: Thursday, May 20, 2021 @ 08:15:55 Author: felixonmars Revision: 937961 archrelease: copy trunk to community-staging-x86_64 Added: tamarin-prover/repos/community-staging-x86_64/ tamarin-prover/repos/community-staging-x86_64/PKGBUILD (from rev 937960, tamarin-prover/trunk/PKGBUI

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

2021-05-16 Thread Felix Yan via arch-commits
Date: Sunday, May 16, 2021 @ 14:22:36 Author: felixonmars Revision: 935821 archrelease: copy trunk to community-staging-x86_64 Added: tamarin-prover/repos/community-staging-x86_64/ tamarin-prover/repos/community-staging-x86_64/PKGBUILD (from rev 935820, tamarin-prover/trunk/PKGBUILD

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

2021-05-15 Thread Felix Yan via arch-commits
Date: Saturday, May 15, 2021 @ 14:50:24 Author: felixonmars Revision: 934672 archrelease: copy trunk to community-staging-x86_64 Added: tamarin-prover/repos/community-staging-x86_64/ tamarin-prover/repos/community-staging-x86_64/PKGBUILD (from rev 934671, tamarin-prover/trunk/PKGBUI

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

2021-05-12 Thread Felix Yan via arch-commits
Date: Wednesday, May 12, 2021 @ 17:28:25 Author: felixonmars Revision: 932576 archrelease: copy trunk to community-staging-x86_64 Added: tamarin-prover/repos/community-staging-x86_64/ tamarin-prover/repos/community-staging-x86_64/PKGBUILD (from rev 932575, tamarin-prover/trunk/PKGBU

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

2021-05-12 Thread Felix Yan via arch-commits
Date: Wednesday, May 12, 2021 @ 13:24:19 Author: felixonmars Revision: 931636 archrelease: copy trunk to community-staging-x86_64 Added: tamarin-prover/repos/community-staging-x86_64/ tamarin-prover/repos/community-staging-x86_64/PKGBUILD (from rev 931635, tamarin-prover/trunk/PKGBU

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

2021-05-10 Thread Felix Yan via arch-commits
Date: Tuesday, May 11, 2021 @ 02:36:30 Author: felixonmars Revision: 929865 archrelease: copy trunk to community-staging-x86_64 Added: tamarin-prover/repos/community-staging-x86_64/ tamarin-prover/repos/community-staging-x86_64/PKGBUILD (from rev 929864, tamarin-prover/trunk/PKGBUIL

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

2021-05-09 Thread Felix Yan via arch-commits
Date: Sunday, May 9, 2021 @ 15:27:33 Author: felixonmars Revision: 929252 archrelease: copy trunk to community-staging-x86_64 Added: tamarin-prover/repos/community-staging-x86_64/ tamarin-prover/repos/community-staging-x86_64/PKGBUILD (from rev 929251, tamarin-prover/trunk/PKGBUILD)

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

2021-05-08 Thread Felix Yan via arch-commits
Date: Saturday, May 8, 2021 @ 22:20:49 Author: felixonmars Revision: 928943 archrelease: copy trunk to community-staging-x86_64 Added: tamarin-prover/repos/community-staging-x86_64/ tamarin-prover/repos/community-staging-x86_64/PKGBUILD (from rev 928942, tamarin-prover/trunk/PKGBUIL

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

2021-05-05 Thread Felix Yan via arch-commits
Date: Wednesday, May 5, 2021 @ 23:33:03 Author: felixonmars Revision: 928308 archrelease: copy trunk to community-staging-x86_64 Added: tamarin-prover/repos/community-staging-x86_64/ tamarin-prover/repos/community-staging-x86_64/PKGBUILD (from rev 928307, tamarin-prover/trunk/PKGBUI

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

2021-05-05 Thread Felix Yan via arch-commits
Date: Wednesday, May 5, 2021 @ 21:14:37 Author: felixonmars Revision: 928000 archrelease: copy trunk to community-staging-x86_64 Added: tamarin-prover/repos/community-staging-x86_64/ tamarin-prover/repos/community-staging-x86_64/PKGBUILD (from rev 927999, tamarin-prover/trunk/PKGBUI

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

2021-05-02 Thread Felix Yan via arch-commits
Date: Monday, May 3, 2021 @ 06:08:50 Author: felixonmars Revision: 926711 archrelease: copy trunk to community-staging-x86_64 Added: tamarin-prover/repos/community-staging-x86_64/ tamarin-prover/repos/community-staging-x86_64/PKGBUILD (from rev 926710, tamarin-prover/trunk/PKGBUILD)

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

2021-05-01 Thread Felix Yan via arch-commits
Date: Saturday, May 1, 2021 @ 16:13:17 Author: felixonmars Revision: 925953 archrelease: copy trunk to community-staging-x86_64 Added: tamarin-prover/repos/community-staging-x86_64/ tamarin-prover/repos/community-staging-x86_64/PKGBUILD (from rev 925952, tamarin-prover/trunk/PKGBUIL

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

2021-04-28 Thread Felix Yan via arch-commits
Date: Thursday, April 29, 2021 @ 03:48:14 Author: felixonmars Revision: 925143 archrelease: copy trunk to community-staging-x86_64 Added: tamarin-prover/repos/community-staging-x86_64/ tamarin-prover/repos/community-staging-x86_64/PKGBUILD (from rev 925142, tamarin-prover/trunk/PKGB

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

2021-04-27 Thread Felix Yan via arch-commits
Date: Tuesday, April 27, 2021 @ 11:02:43 Author: felixonmars Revision: 924738 archrelease: copy trunk to community-staging-x86_64 Added: tamarin-prover/repos/community-staging-x86_64/ tamarin-prover/repos/community-staging-x86_64/PKGBUILD (from rev 924737, tamarin-prover/trunk/PKGBU

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

2021-04-25 Thread Felix Yan via arch-commits
Date: Sunday, April 25, 2021 @ 18:26:10 Author: felixonmars Revision: 924358 archrelease: copy trunk to community-staging-x86_64 Added: tamarin-prover/repos/community-staging-x86_64/ tamarin-prover/repos/community-staging-x86_64/PKGBUILD (from rev 924357, tamarin-prover/trunk/PKGBUI

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

2021-04-25 Thread Felix Yan via arch-commits
Date: Sunday, April 25, 2021 @ 12:58:22 Author: felixonmars Revision: 924177 archrelease: copy trunk to community-staging-x86_64 Added: tamarin-prover/repos/community-staging-x86_64/ tamarin-prover/repos/community-staging-x86_64/PKGBUILD (from rev 924176, tamarin-prover/trunk/PKGBUI

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

2021-04-24 Thread Felix Yan via arch-commits
Date: Sunday, April 25, 2021 @ 05:28:27 Author: felixonmars Revision: 923948 archrelease: copy trunk to community-staging-x86_64 Added: tamarin-prover/repos/community-staging-x86_64/ tamarin-prover/repos/community-staging-x86_64/PKGBUILD (from rev 923947, tamarin-prover/trunk/PKGBUI

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

2021-04-23 Thread Felix Yan via arch-commits
Date: Friday, April 23, 2021 @ 22:16:40 Author: felixonmars Revision: 923471 archrelease: copy trunk to community-staging-x86_64 Added: tamarin-prover/repos/community-staging-x86_64/ tamarin-prover/repos/community-staging-x86_64/PKGBUILD (from rev 923470, tamarin-prover/trunk/PKGBUI

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

2021-04-23 Thread Felix Yan via arch-commits
Date: Friday, April 23, 2021 @ 17:59:25 Author: felixonmars Revision: 923247 archrelease: copy trunk to community-staging-x86_64 Added: tamarin-prover/repos/community-staging-x86_64/ tamarin-prover/repos/community-staging-x86_64/PKGBUILD (from rev 923246, tamarin-prover/trunk/PKGBUI

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

2021-04-23 Thread Felix Yan via arch-commits
Date: Friday, April 23, 2021 @ 16:47:01 Author: felixonmars Revision: 923192 archrelease: copy trunk to community-staging-x86_64 Added: tamarin-prover/repos/community-staging-x86_64/ tamarin-prover/repos/community-staging-x86_64/PKGBUILD (from rev 923191, tamarin-prover/trunk/PKGBUI

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

2021-04-23 Thread Felix Yan via arch-commits
Date: Friday, April 23, 2021 @ 14:42:57 Author: felixonmars Revision: 922420 archrelease: copy trunk to community-staging-x86_64 Added: tamarin-prover/repos/community-staging-x86_64/ tamarin-prover/repos/community-staging-x86_64/PKGBUILD (from rev 922419, tamarin-prover/trunk/PKGBUI

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

2021-04-20 Thread Felix Yan via arch-commits
Date: Tuesday, April 20, 2021 @ 17:49:44 Author: felixonmars Revision: 920163 archrelease: copy trunk to community-staging-x86_64 Added: tamarin-prover/repos/community-staging-x86_64/ tamarin-prover/repos/community-staging-x86_64/PKGBUILD (from rev 920162, tamarin-prover/trunk/PKGBU

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

2021-04-14 Thread Felix Yan via arch-commits
Date: Wednesday, April 14, 2021 @ 18:33:01 Author: felixonmars Revision: 918743 archrelease: copy trunk to community-staging-x86_64 Added: tamarin-prover/repos/community-staging-x86_64/ tamarin-prover/repos/community-staging-x86_64/PKGBUILD (from rev 918742, tamarin-prover/trunk/PKG

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

2021-04-13 Thread Felix Yan via arch-commits
Date: Tuesday, April 13, 2021 @ 19:53:20 Author: felixonmars Revision: 918307 archrelease: copy trunk to community-staging-x86_64 Added: tamarin-prover/repos/community-staging-x86_64/ tamarin-prover/repos/community-staging-x86_64/PKGBUILD (from rev 918306, tamarin-prover/trunk/PKGBU

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

2021-04-13 Thread Felix Yan via arch-commits
Date: Tuesday, April 13, 2021 @ 18:31:39 Author: felixonmars Revision: 917543 archrelease: copy trunk to community-staging-x86_64 Added: tamarin-prover/repos/community-staging-x86_64/ tamarin-prover/repos/community-staging-x86_64/PKGBUILD (from rev 917542, tamarin-prover/trunk/PKGBU

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

2021-04-10 Thread Felix Yan via arch-commits
Date: Saturday, April 10, 2021 @ 13:52:57 Author: felixonmars Revision: 915519 archrelease: copy trunk to community-staging-x86_64 Added: tamarin-prover/repos/community-staging-x86_64/ tamarin-prover/repos/community-staging-x86_64/PKGBUILD (from rev 915518, tamarin-prover/trunk/PKGB

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

2021-04-08 Thread Felix Yan via arch-commits
Date: Thursday, April 8, 2021 @ 22:35:43 Author: felixonmars Revision: 915014 archrelease: copy trunk to community-staging-x86_64 Added: tamarin-prover/repos/community-staging-x86_64/ tamarin-prover/repos/community-staging-x86_64/PKGBUILD (from rev 915013, tamarin-prover/trunk/PKGBU

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

2021-04-08 Thread Felix Yan via arch-commits
Date: Thursday, April 8, 2021 @ 12:30:01 Author: felixonmars Revision: 913938 archrelease: copy trunk to community-staging-x86_64 Added: tamarin-prover/repos/community-staging-x86_64/ tamarin-prover/repos/community-staging-x86_64/PKGBUILD (from rev 913937, tamarin-prover/trunk/PKGBU

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

2021-04-02 Thread Felix Yan via arch-commits
Date: Saturday, April 3, 2021 @ 06:22:33 Author: felixonmars Revision: 911444 archrelease: copy trunk to community-staging-x86_64 Added: tamarin-prover/repos/community-staging-x86_64/ tamarin-prover/repos/community-staging-x86_64/PKGBUILD (from rev 911443, tamarin-prover/trunk/PKGBU

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

2021-03-31 Thread Felix Yan via arch-commits
Date: Wednesday, March 31, 2021 @ 13:32:59 Author: felixonmars Revision: 910608 archrelease: copy trunk to community-staging-x86_64 Added: tamarin-prover/repos/community-staging-x86_64/ tamarin-prover/repos/community-staging-x86_64/PKGBUILD (from rev 910607, tamarin-prover/trunk/PKG

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

2021-03-29 Thread Felix Yan via arch-commits
Date: Monday, March 29, 2021 @ 19:50:53 Author: felixonmars Revision: 909499 archrelease: copy trunk to community-staging-x86_64 Added: tamarin-prover/repos/community-staging-x86_64/ tamarin-prover/repos/community-staging-x86_64/PKGBUILD (from rev 909498, tamarin-prover/trunk/PKGBUI

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

2021-03-28 Thread Felix Yan via arch-commits
Date: Sunday, March 28, 2021 @ 17:32:37 Author: felixonmars Revision: 907057 archrelease: copy trunk to community-staging-x86_64 Added: tamarin-prover/repos/community-staging-x86_64/ tamarin-prover/repos/community-staging-x86_64/PKGBUILD (from rev 907056, tamarin-prover/trunk/PKGBUI

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

2021-03-26 Thread Felix Yan via arch-commits
Date: Saturday, March 27, 2021 @ 00:36:15 Author: felixonmars Revision: 904962 archrelease: copy trunk to community-staging-x86_64 Added: tamarin-prover/repos/community-staging-x86_64/ tamarin-prover/repos/community-staging-x86_64/PKGBUILD (from rev 904961, tamarin-prover/trunk/PKGB

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

2021-03-25 Thread Felix Yan via arch-commits
Date: Thursday, March 25, 2021 @ 20:46:34 Author: felixonmars Revision: 903479 archrelease: copy trunk to community-staging-x86_64 Added: tamarin-prover/repos/community-staging-x86_64/ tamarin-prover/repos/community-staging-x86_64/PKGBUILD (from rev 903478, tamarin-prover/trunk/PKGB

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

2021-03-23 Thread Felix Yan via arch-commits
Date: Tuesday, March 23, 2021 @ 15:46:13 Author: felixonmars Revision: 900532 archrelease: copy trunk to community-staging-x86_64 Added: tamarin-prover/repos/community-staging-x86_64/ tamarin-prover/repos/community-staging-x86_64/PKGBUILD (from rev 900531, tamarin-prover/trunk/PKGBU

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

2021-03-21 Thread Felix Yan via arch-commits
Date: Sunday, March 21, 2021 @ 13:58:44 Author: felixonmars Revision: 897579 archrelease: copy trunk to community-staging-x86_64 Added: tamarin-prover/repos/community-staging-x86_64/ tamarin-prover/repos/community-staging-x86_64/PKGBUILD (from rev 897578, tamarin-prover/trunk/PKGBUI

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

2021-03-19 Thread Felix Yan via arch-commits
Date: Saturday, March 20, 2021 @ 02:32:59 Author: felixonmars Revision: 895589 archrelease: copy trunk to community-staging-x86_64 Added: tamarin-prover/repos/community-staging-x86_64/ tamarin-prover/repos/community-staging-x86_64/PKGBUILD (from rev 895588, tamarin-prover/trunk/PKGB

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

2021-03-19 Thread Felix Yan via arch-commits
Date: Friday, March 19, 2021 @ 15:17:56 Author: felixonmars Revision: 894649 archrelease: copy trunk to community-staging-x86_64 Added: tamarin-prover/repos/community-staging-x86_64/ tamarin-prover/repos/community-staging-x86_64/PKGBUILD (from rev 894648, tamarin-prover/trunk/PKGBUI

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

2021-03-17 Thread Felix Yan via arch-commits
Date: Wednesday, March 17, 2021 @ 11:23:52 Author: felixonmars Revision: 893299 archrelease: copy trunk to community-staging-x86_64 Added: tamarin-prover/repos/community-staging-x86_64/ tamarin-prover/repos/community-staging-x86_64/PKGBUILD (from rev 893298, tamarin-prover/trunk/PKG

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

2021-03-13 Thread Felix Yan via arch-commits
Date: Sunday, March 14, 2021 @ 02:40:45 Author: felixonmars Revision: 890787 archrelease: copy trunk to community-staging-x86_64 Added: tamarin-prover/repos/community-staging-x86_64/ tamarin-prover/repos/community-staging-x86_64/PKGBUILD (from rev 890786, tamarin-prover/trunk/PKGBUI

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

2021-03-13 Thread Felix Yan via arch-commits
Date: Saturday, March 13, 2021 @ 19:49:47 Author: felixonmars Revision: 890482 archrelease: copy trunk to community-staging-x86_64 Added: tamarin-prover/repos/community-staging-x86_64/ tamarin-prover/repos/community-staging-x86_64/PKGBUILD (from rev 890481, tamarin-prover/trunk/PKGB

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

2021-03-12 Thread Felix Yan via arch-commits
Date: Saturday, March 13, 2021 @ 00:56:09 Author: felixonmars Revision: 889965 archrelease: copy trunk to community-staging-x86_64 Added: tamarin-prover/repos/community-staging-x86_64/ tamarin-prover/repos/community-staging-x86_64/PKGBUILD (from rev 889964, tamarin-prover/trunk/PKGB

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

2021-03-12 Thread Felix Yan via arch-commits
Date: Friday, March 12, 2021 @ 15:59:52 Author: felixonmars Revision: 75 archrelease: copy trunk to community-staging-x86_64 Added: tamarin-prover/repos/community-staging-x86_64/ tamarin-prover/repos/community-staging-x86_64/PKGBUILD (from rev 74, tamarin-prover/trunk/PKGBUI

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

2021-03-07 Thread Felix Yan via arch-commits
Date: Sunday, March 7, 2021 @ 11:30:22 Author: felixonmars Revision: 885927 archrelease: copy trunk to community-staging-x86_64 Added: tamarin-prover/repos/community-staging-x86_64/ tamarin-prover/repos/community-staging-x86_64/PKGBUILD (from rev 885926, tamarin-prover/trunk/PKGBUIL

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

2021-03-06 Thread Felix Yan via arch-commits
Date: Saturday, March 6, 2021 @ 15:08:31 Author: felixonmars Revision: 884312 archrelease: copy trunk to community-staging-x86_64 Added: tamarin-prover/repos/community-staging-x86_64/ tamarin-prover/repos/community-staging-x86_64/PKGBUILD (from rev 884311, tamarin-prover/trunk/PKGBU

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

2021-03-05 Thread Felix Yan via arch-commits
Date: Saturday, March 6, 2021 @ 05:28:40 Author: felixonmars Revision: 883285 archrelease: copy trunk to community-staging-x86_64 Added: tamarin-prover/repos/community-staging-x86_64/ tamarin-prover/repos/community-staging-x86_64/PKGBUILD (from rev 883284, tamarin-prover/trunk/PKGBU

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

2021-03-04 Thread Felix Yan via arch-commits
Date: Friday, March 5, 2021 @ 01:04:17 Author: felixonmars Revision: 881625 archrelease: copy trunk to community-staging-x86_64 Added: tamarin-prover/repos/community-staging-x86_64/ tamarin-prover/repos/community-staging-x86_64/PKGBUILD (from rev 881624, tamarin-prover/trunk/PKGBUIL

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

2021-03-04 Thread Felix Yan via arch-commits
Date: Thursday, March 4, 2021 @ 21:01:59 Author: felixonmars Revision: 880663 archrelease: copy trunk to community-staging-x86_64 Added: tamarin-prover/repos/community-staging-x86_64/ tamarin-prover/repos/community-staging-x86_64/PKGBUILD (from rev 880662, tamarin-prover/trunk/PKGBU

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

2021-03-03 Thread Felix Yan via arch-commits
Date: Wednesday, March 3, 2021 @ 11:44:12 Author: felixonmars Revision: 879051 archrelease: copy trunk to community-staging-x86_64 Added: tamarin-prover/repos/community-staging-x86_64/ tamarin-prover/repos/community-staging-x86_64/PKGBUILD (from rev 879050, tamarin-prover/trunk/PKGB

  1   2   >