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

2020-11-19 Thread Felix Yan via arch-commits
Date: Thursday, November 19, 2020 @ 08:36:09 Author: felixonmars Revision: 757386 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 757385,

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

2020-11-17 Thread Felix Yan via arch-commits
Date: Tuesday, November 17, 2020 @ 22:52:35 Author: felixonmars Revision: 756992 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 756991,

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

2020-11-16 Thread Felix Yan via arch-commits
Date: Tuesday, November 17, 2020 @ 06:03:07 Author: felixonmars Revision: 755986 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 755985,

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

2020-11-14 Thread Felix Yan via arch-commits
Date: Saturday, November 14, 2020 @ 23:44:37 Author: felixonmars Revision: 754271 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 754270,

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

2020-11-11 Thread Felix Yan via arch-commits
Date: Wednesday, November 11, 2020 @ 17:38:57 Author: felixonmars Revision: 751174 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 751173,

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

2020-11-10 Thread Felix Yan via arch-commits
Date: Tuesday, November 10, 2020 @ 19:04:16 Author: felixonmars Revision: 749758 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 749757,

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

2020-11-09 Thread Felix Yan via arch-commits
Date: Monday, November 9, 2020 @ 10:02:06 Author: felixonmars Revision: 746788 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 746787,

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

2020-11-08 Thread Felix Yan via arch-commits
Date: Sunday, November 8, 2020 @ 16:51:33 Author: felixonmars Revision: 746692 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 746691,

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

2020-11-08 Thread Felix Yan via arch-commits
Date: Sunday, November 8, 2020 @ 13:02:37 Author: felixonmars Revision: 746555 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 746554,

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

2020-11-07 Thread Felix Yan via arch-commits
Date: Saturday, November 7, 2020 @ 21:54:59 Author: felixonmars Revision: 746096 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 746095,

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

2020-11-06 Thread Felix Yan via arch-commits
Date: Friday, November 6, 2020 @ 22:12:21 Author: felixonmars Revision: 744653 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 744652,

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

2020-11-05 Thread Felix Yan via arch-commits
Date: Thursday, November 5, 2020 @ 11:02:35 Author: felixonmars Revision: 743080 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 743079,

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

2020-11-04 Thread Felix Yan via arch-commits
Date: Thursday, November 5, 2020 @ 00:15:44 Author: felixonmars Revision: 742773 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 742772,

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

2020-11-04 Thread Felix Yan via arch-commits
Date: Wednesday, November 4, 2020 @ 12:46:14 Author: felixonmars Revision: 741979 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 741978,

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

2020-11-03 Thread Felix Yan via arch-commits
Date: Wednesday, November 4, 2020 @ 00:04:41 Author: felixonmars Revision: 741475 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 741474,

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

2020-11-02 Thread Felix Yan via arch-commits
Date: Tuesday, November 3, 2020 @ 07:47:35 Author: felixonmars Revision: 740394 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 740393,

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

2020-10-31 Thread Felix Yan via arch-commits
Date: Sunday, November 1, 2020 @ 02:04:57 Author: felixonmars Revision: 738100 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 738099,

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

2020-10-28 Thread Felix Yan via arch-commits
Date: Wednesday, October 28, 2020 @ 18:50:20 Author: felixonmars Revision: 735644 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 735643,

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

2020-10-25 Thread Felix Yan via arch-commits
Date: Sunday, October 25, 2020 @ 20:55:44 Author: felixonmars Revision: 732990 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 732989,

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

2020-10-24 Thread Felix Yan via arch-commits
Date: Saturday, October 24, 2020 @ 09:09:16 Author: felixonmars Revision: 731083 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 731082,

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

2020-10-22 Thread Felix Yan via arch-commits
Date: Thursday, October 22, 2020 @ 21:52:46 Author: felixonmars Revision: 730224 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 730223,

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

2020-10-22 Thread Felix Yan via arch-commits
Date: Thursday, October 22, 2020 @ 19:12:07 Author: felixonmars Revision: 729409 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 729408,

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

2020-10-20 Thread Felix Yan via arch-commits
Date: Tuesday, October 20, 2020 @ 09:46:29 Author: felixonmars Revision: 727582 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 727581,

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

2020-10-19 Thread Felix Yan via arch-commits
Date: Monday, October 19, 2020 @ 22:21:15 Author: felixonmars Revision: 727378 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 727377,

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

2020-10-18 Thread Felix Yan via arch-commits
Date: Sunday, October 18, 2020 @ 15:15:19 Author: felixonmars Revision: 726092 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 726091,

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

2020-10-10 Thread Felix Yan via arch-commits
Date: Saturday, October 10, 2020 @ 10:20:42 Author: felixonmars Revision: 723071 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 723070,

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

2020-10-09 Thread Felix Yan via arch-commits
Date: Friday, October 9, 2020 @ 10:21:15 Author: felixonmars Revision: 722347 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 722346,

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

2020-10-08 Thread Felix Yan via arch-commits
Date: Thursday, October 8, 2020 @ 21:27:36 Author: felixonmars Revision: 722023 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 722022,

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

2020-10-07 Thread Felix Yan via arch-commits
Date: Wednesday, October 7, 2020 @ 20:56:25 Author: felixonmars Revision: 720994 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 720993,

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

2020-10-06 Thread Felix Yan via arch-commits
Date: Tuesday, October 6, 2020 @ 18:12:06 Author: felixonmars Revision: 719438 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 719437,

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

2020-10-05 Thread Felix Yan via arch-commits
Date: Monday, October 5, 2020 @ 19:44:26 Author: felixonmars Revision: 718954 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 718953,

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

2020-10-04 Thread Felix Yan via arch-commits
Date: Sunday, October 4, 2020 @ 19:21:18 Author: felixonmars Revision: 717901 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 717900,

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

2020-10-02 Thread Felix Yan via arch-commits
Date: Saturday, October 3, 2020 @ 05:42:27 Author: felixonmars Revision: 716464 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 716463,

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

2020-10-02 Thread Felix Yan via arch-commits
Date: Friday, October 2, 2020 @ 22:12:47 Author: felixonmars Revision: 715799 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 715798,

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

2020-09-29 Thread Felix Yan via arch-commits
Date: Tuesday, September 29, 2020 @ 20:37:02 Author: felixonmars Revision: 713848 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 713847,

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

2020-09-28 Thread Felix Yan via arch-commits
Date: Tuesday, September 29, 2020 @ 01:23:27 Author: felixonmars Revision: 713653 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 713652,

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

2020-09-28 Thread Felix Yan via arch-commits
Date: Monday, September 28, 2020 @ 21:54:53 Author: felixonmars Revision: 713411 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 713410,

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

2020-09-28 Thread Felix Yan via arch-commits
Date: Monday, September 28, 2020 @ 13:47:47 Author: felixonmars Revision: 713021 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 713020,

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

2020-09-27 Thread Felix Yan via arch-commits
Date: Sunday, September 27, 2020 @ 15:37:14 Author: felixonmars Revision: 712701 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 712700,

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

2020-09-25 Thread Felix Yan via arch-commits
Date: Friday, September 25, 2020 @ 19:08:49 Author: felixonmars Revision: 712217 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 712216,

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

2020-09-24 Thread Felix Yan via arch-commits
Date: Thursday, September 24, 2020 @ 13:59:51 Author: felixonmars Revision: 711772 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 711771,

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

2020-09-23 Thread Felix Yan via arch-commits
Date: Wednesday, September 23, 2020 @ 10:46:58 Author: felixonmars Revision: 711477 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 711476,

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

2020-09-21 Thread Felix Yan via arch-commits
Date: Monday, September 21, 2020 @ 20:24:31 Author: felixonmars Revision: 711317 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 711316,

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

2020-09-20 Thread Felix Yan via arch-commits
Date: Sunday, September 20, 2020 @ 10:50:01 Author: felixonmars Revision: 711024 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 711023,

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

2020-09-18 Thread Felix Yan via arch-commits
Date: Friday, September 18, 2020 @ 14:20:43 Author: felixonmars Revision: 710052 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 710051,

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

2020-09-17 Thread Felix Yan via arch-commits
Date: Thursday, September 17, 2020 @ 10:40:04 Author: felixonmars Revision: 708627 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 708626,

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

2020-09-16 Thread Felix Yan via arch-commits
Date: Thursday, September 17, 2020 @ 05:14:54 Author: felixonmars Revision: 708526 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 708525,

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

2020-09-16 Thread Felix Yan via arch-commits
Date: Wednesday, September 16, 2020 @ 22:15:48 Author: felixonmars Revision: 708406 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 708405,

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

2020-09-16 Thread Felix Yan via arch-commits
Date: Wednesday, September 16, 2020 @ 15:13:06 Author: felixonmars Revision: 708087 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 708086,

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

2020-09-16 Thread Felix Yan via arch-commits
Date: Wednesday, September 16, 2020 @ 11:44:45 Author: felixonmars Revision: 707417 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 707416,

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

2020-09-13 Thread Felix Yan via arch-commits
Date: Sunday, September 13, 2020 @ 21:09:50 Author: felixonmars Revision: 705287 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 705286,

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

2020-09-11 Thread Felix Yan via arch-commits
Date: Saturday, September 12, 2020 @ 02:59:20 Author: felixonmars Revision: 703105 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 703104,

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

2020-09-07 Thread Felix Yan via arch-commits
Date: Tuesday, September 8, 2020 @ 02:08:56 Author: felixonmars Revision: 700613 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 700612,

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

2020-09-04 Thread Felix Yan via arch-commits
Date: Saturday, September 5, 2020 @ 03:26:44 Author: felixonmars Revision: 698874 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 698873,

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

2020-09-03 Thread Felix Yan via arch-commits
Date: Friday, September 4, 2020 @ 01:35:43 Author: felixonmars Revision: 697857 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 697856,

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

2020-09-01 Thread Felix Yan via arch-commits
Date: Tuesday, September 1, 2020 @ 23:15:55 Author: felixonmars Revision: 696076 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 696075,

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

2020-09-01 Thread Felix Yan via arch-commits
Date: Tuesday, September 1, 2020 @ 16:21:41 Author: felixonmars Revision: 695616 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 695615,

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

2020-08-31 Thread Felix Yan via arch-commits
Date: Monday, August 31, 2020 @ 21:34:32 Author: felixonmars Revision: 694430 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 694429,

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

2020-08-30 Thread Felix Yan via arch-commits
Date: Sunday, August 30, 2020 @ 07:52:48 Author: felixonmars Revision: 692435 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 692434,

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

2020-08-29 Thread Felix Yan via arch-commits
Date: Saturday, August 29, 2020 @ 23:14:16 Author: felixonmars Revision: 692365 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 692364,

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

2020-08-28 Thread Felix Yan via arch-commits
Date: Saturday, August 29, 2020 @ 05:06:19 Author: felixonmars Revision: 691551 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 691550,

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

2020-08-27 Thread Felix Yan via arch-commits
Date: Thursday, August 27, 2020 @ 08:30:37 Author: felixonmars Revision: 689242 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 689241,

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

2020-08-23 Thread Felix Yan via arch-commits
Date: Monday, August 24, 2020 @ 03:35:05 Author: felixonmars Revision: 687514 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 687513,

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

2020-08-23 Thread Felix Yan via arch-commits
Date: Sunday, August 23, 2020 @ 21:35:45 Author: felixonmars Revision: 687229 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 687228,

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

2020-08-21 Thread Felix Yan via arch-commits
Date: Friday, August 21, 2020 @ 22:44:50 Author: felixonmars Revision: 686535 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 686534,

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

2020-08-21 Thread Felix Yan via arch-commits
Date: Friday, August 21, 2020 @ 15:28:11 Author: felixonmars Revision: 686094 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 686093,

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

2020-08-20 Thread Felix Yan via arch-commits
Date: Thursday, August 20, 2020 @ 09:55:33 Author: felixonmars Revision: 685363 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 685362,

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

2020-08-18 Thread Felix Yan via arch-commits
Date: Tuesday, August 18, 2020 @ 15:40:57 Author: felixonmars Revision: 683979 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 683978,

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

2020-08-16 Thread Felix Yan via arch-commits
Date: Sunday, August 16, 2020 @ 22:06:33 Author: felixonmars Revision: 681960 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 681959,

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

2020-08-16 Thread Felix Yan via arch-commits
Date: Sunday, August 16, 2020 @ 14:33:23 Author: felixonmars Revision: 681551 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 681550,

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

2020-08-16 Thread Felix Yan via arch-commits
Date: Sunday, August 16, 2020 @ 10:46:46 Author: felixonmars Revision: 680926 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 680925,

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

2020-08-15 Thread Felix Yan via arch-commits
Date: Saturday, August 15, 2020 @ 09:04:33 Author: felixonmars Revision: 679512 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 679511,

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

2020-08-14 Thread Felix Yan via arch-commits
Date: Friday, August 14, 2020 @ 09:15:26 Author: felixonmars Revision: 678543 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 678542,

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

2020-08-13 Thread Felix Yan via arch-commits
Date: Thursday, August 13, 2020 @ 10:10:37 Author: felixonmars Revision: 677210 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 677209,

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

2020-08-13 Thread Felix Yan via arch-commits
Date: Thursday, August 13, 2020 @ 08:38:45 Author: felixonmars Revision: 677003 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 677002,

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

2020-08-12 Thread Felix Yan via arch-commits
Date: Wednesday, August 12, 2020 @ 16:58:42 Author: felixonmars Revision: 676517 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 676516,

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

2020-08-12 Thread Felix Yan via arch-commits
Date: Wednesday, August 12, 2020 @ 11:14:16 Author: felixonmars Revision: 675748 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 675747,

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

2020-08-10 Thread Felix Yan via arch-commits
Date: Monday, August 10, 2020 @ 21:33:13 Author: felixonmars Revision: 674186 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 674185,

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

2020-08-10 Thread Felix Yan via arch-commits
Date: Monday, August 10, 2020 @ 12:15:48 Author: felixonmars Revision: 673646 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 673645,

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

2020-08-09 Thread Felix Yan via arch-commits
Date: Sunday, August 9, 2020 @ 11:02:58 Author: felixonmars Revision: 673123 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 673122,

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

2020-08-08 Thread Felix Yan via arch-commits
Date: Saturday, August 8, 2020 @ 19:00:50 Author: felixonmars Revision: 672603 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 672602,

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

2020-08-08 Thread Felix Yan via arch-commits
Date: Saturday, August 8, 2020 @ 11:01:15 Author: felixonmars Revision: 672099 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 672098,

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

2020-08-07 Thread Felix Yan via arch-commits
Date: Friday, August 7, 2020 @ 12:18:49 Author: felixonmars Revision: 671513 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 671512,

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

2020-08-06 Thread Felix Yan via arch-commits
Date: Thursday, August 6, 2020 @ 16:16:17 Author: felixonmars Revision: 671060 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 671059,

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

2020-08-06 Thread Felix Yan via arch-commits
Date: Thursday, August 6, 2020 @ 08:20:18 Author: felixonmars Revision: 670664 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 670663,

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

2020-08-01 Thread Felix Yan via arch-commits
Date: Saturday, August 1, 2020 @ 16:34:46 Author: felixonmars Revision: 667529 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 667528,

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

2020-07-15 Thread Felix Yan via arch-commits
Date: Wednesday, July 15, 2020 @ 10:06:27 Author: felixonmars Revision: 663932 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 663931,

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

2020-07-14 Thread Felix Yan via arch-commits
Date: Tuesday, July 14, 2020 @ 08:25:53 Author: felixonmars Revision: 663636 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 663635,

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

2020-07-13 Thread Felix Yan via arch-commits
Date: Monday, July 13, 2020 @ 16:56:01 Author: felixonmars Revision: 663450 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 663449,

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

2020-06-29 Thread Felix Yan via arch-commits
Date: Monday, June 29, 2020 @ 20:22:18 Author: felixonmars Revision: 656466 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 656465,

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

2020-06-27 Thread Felix Yan via arch-commits
Date: Friday, June 26, 2020 @ 04:24:55 Author: felixonmars Revision: 653430 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 653429,

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

2020-06-26 Thread Felix Yan via arch-commits
Date: Friday, June 26, 2020 @ 12:23:57 Author: felixonmars Revision: 653923 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 653922,

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

2020-06-24 Thread Felix Yan via arch-commits
Date: Thursday, June 25, 2020 @ 01:04:37 Author: felixonmars Revision: 652652 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 652651,

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

2020-06-22 Thread Felix Yan via arch-commits
Date: Monday, June 22, 2020 @ 18:29:16 Author: felixonmars Revision: 650838 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 650837,

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

2020-06-22 Thread Felix Yan via arch-commits
Date: Monday, June 22, 2020 @ 17:08:52 Author: felixonmars Revision: 650687 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 650686,

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

2020-06-21 Thread Felix Yan via arch-commits
Date: Sunday, June 21, 2020 @ 13:36:38 Author: felixonmars Revision: 649295 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 649294,

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

2020-06-20 Thread Felix Yan via arch-commits
Date: Saturday, June 20, 2020 @ 13:40:58 Author: felixonmars Revision: 648427 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 648426,

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

2020-06-19 Thread Felix Yan via arch-commits
Date: Friday, June 19, 2020 @ 22:37:27 Author: felixonmars Revision: 647975 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 647974,

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

2020-06-18 Thread Felix Yan via arch-commits
Date: Thursday, June 18, 2020 @ 20:01:18 Author: felixonmars Revision: 647492 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 647491,

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

2020-06-18 Thread Felix Yan via arch-commits
Date: Thursday, June 18, 2020 @ 14:49:12 Author: felixonmars Revision: 647277 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 647276,

  1   2   3   4   5   6   7   >