[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, tamarin-prover/trunk/P

[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, tamarin-prover/trunk/PK

[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, tamarin-prover/trunk/PK

[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, tamarin-prover/trunk/P

[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, tamarin-prover/trunk/

[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, tamarin-prover/trunk/PK

[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, tamarin-prover/trunk/PKGB

[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, tamarin-prover/trunk/PKGB

[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, tamarin-prover/trunk/PKGB

[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, tamarin-prover/trunk/PK

[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, tamarin-prover/trunk/PKGB

[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, tamarin-prover/trunk/PK

[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, tamarin-prover/trunk/PK

[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, tamarin-prover/trunk/P

[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, tamarin-prover/trunk/P

[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, tamarin-prover/trunk/PKG

[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, tamarin-prover/trunk/PKGB

[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, tamarin-prover/trunk/P

[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, tamarin-prover/trunk/PKGB

[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, tamarin-prover/trunk/PK

[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, tamarin-prover/trunk/PK

[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, tamarin-prover/trunk/PK

[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, tamarin-prover/trunk/PKG

[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, tamarin-prover/trunk/PKGB

[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, tamarin-prover/trunk/PKGB

[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, tamarin-prover/trunk/PK

[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, tamarin-prover/trunk/PKGBU

[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, tamarin-prover/trunk/PKG

[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, tamarin-prover/trunk/PK

[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, tamarin-prover/trunk/PKGB

[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, tamarin-prover/trunk/PKGBU

[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, tamarin-prover/trunk/PKGBU

[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, tamarin-prover/trunk/PKG

[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, tamarin-prover/trunk/PKGBU

[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, tamarin-prover/trunk/P

[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, tamarin-prover/trunk/P

[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, tamarin-prover/trunk/PK

[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, tamarin-prover/trunk/PK

[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, tamarin-prover/trunk/PK

[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, tamarin-prover/trunk/PK

[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, tamarin-prover/trunk/

[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, tamarin-prover/trunk

[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, tamarin-prover/trunk/PK

[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, tamarin-prover/trunk/PK

[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, tamarin-prover/trunk/PK

[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, tamarin-prover/trunk/

[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, tamarin-prover/trunk/

[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, tamarin-prover/trunk

[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, tamarin-prover/trunk

[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, tamarin-prover/trunk

[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, tamarin-prover/trunk/PK

[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, tamarin-prover/trunk/

[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, tamarin-prover/trunk/PK

[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, tamarin-prover/trunk/P

[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, tamarin-prover/trunk/PKG

[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, tamarin-prover/trunk/PK

[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, tamarin-prover/trunk/PK

[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, tamarin-prover/trunk/PKGBU

[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, tamarin-prover/trunk/PKGBU

[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, tamarin-prover/trunk/PKG

[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, tamarin-prover/trunk/PKG

[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, tamarin-prover/trunk/PKG

[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, tamarin-prover/trunk/PKGBU

[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, tamarin-prover/trunk/PKGBU

[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, tamarin-prover/trunk/PKGBU

[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, tamarin-prover/trunk/PKGBU

[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, tamarin-prover/trunk/PKG

[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, tamarin-prover/trunk/PKGB

[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, tamarin-prover/trunk/PKGBU

[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, tamarin-prover/trunk/PKGBU

[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, tamarin-prover/trunk/PKGBU

[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, tamarin-prover/trunk/PKG

[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, tamarin-prover/trunk/PKGBU

[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, tamarin-prover/trunk/PKG

[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, tamarin-prover/trunk/PKG

[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, tamarin-prover/trunk/PK

[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, tamarin-prover/trunk/PK

[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, tamarin-prover/trunk/PKGBU

[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, tamarin-prover/trunk/PKGBU

[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, tamarin-prover/trunk/PKGBUI

[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, tamarin-prover/trunk/PKGB

[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, tamarin-prover/trunk/PKGB

[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, tamarin-prover/trunk/PKGBUI

[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, tamarin-prover/trunk/PKGB

[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, tamarin-prover/trunk/PKGB

[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, tamarin-prover/trunk/PKGB

[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, tamarin-prover/trunk/PKGB

[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, tamarin-prover/trunk/PKGBUI

[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, tamarin-prover/trunk/PKGBUIL

[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, tamarin-prover/trunk/PKGBUIL

[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, tamarin-prover/trunk/PKGBUIL

[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, tamarin-prover/trunk/PKGBUIL

[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, tamarin-prover/trunk/PKGBU

[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, tamarin-prover/trunk/PKGBUIL

[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, tamarin-prover/trunk/PKGBUIL

[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, tamarin-prover/trunk/PKGBUIL

[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, tamarin-prover/trunk/PKGBU

[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, tamarin-prover/trunk/PKGBUIL

[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, tamarin-prover/trunk/PKGBU

[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, tamarin-prover/trunk/PKGBU

  1   2   3   4   5   6   7   >