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

2019-11-21 Thread Felix Yan via arch-commits
Date: Friday, November 22, 2019 @ 06:17:29 Author: felixonmars Revision: 531830 archrelease: copy trunk to community-staging-x86_64 Added: tamarin-prover/repos/community-staging-x86_64/ tamarin-prover/repos/community-staging-x86_64/PKGBUILD (from rev 531829,

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

2019-11-21 Thread Felix Yan via arch-commits
Date: Friday, November 22, 2019 @ 00:51:05 Author: felixonmars Revision: 531536 archrelease: copy trunk to community-staging-x86_64 Added: tamarin-prover/repos/community-staging-x86_64/ tamarin-prover/repos/community-staging-x86_64/PKGBUILD (from rev 531535,

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

2019-11-20 Thread Felix Yan via arch-commits
Date: Wednesday, November 20, 2019 @ 20:11:14 Author: felixonmars Revision: 530933 archrelease: copy trunk to community-staging-x86_64 Added: tamarin-prover/repos/community-staging-x86_64/ tamarin-prover/repos/community-staging-x86_64/PKGBUILD (from rev 530932,

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

2019-11-20 Thread Felix Yan via arch-commits
Date: Wednesday, November 20, 2019 @ 19:18:26 Author: felixonmars Revision: 530779 archrelease: copy trunk to community-staging-x86_64 Added: tamarin-prover/repos/community-staging-x86_64/ tamarin-prover/repos/community-staging-x86_64/PKGBUILD (from rev 530778,

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

2019-11-17 Thread Felix Yan via arch-commits
Date: Sunday, November 17, 2019 @ 19:02:36 Author: felixonmars Revision: 530157 archrelease: copy trunk to community-staging-x86_64 Added: tamarin-prover/repos/community-staging-x86_64/ tamarin-prover/repos/community-staging-x86_64/PKGBUILD (from rev 530156,

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

2019-11-16 Thread Felix Yan via arch-commits
Date: Sunday, November 17, 2019 @ 03:09:25 Author: felixonmars Revision: 529910 archrelease: copy trunk to community-staging-x86_64 Added: tamarin-prover/repos/community-staging-x86_64/ tamarin-prover/repos/community-staging-x86_64/PKGBUILD (from rev 529909,

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

2019-11-16 Thread Felix Yan via arch-commits
Date: Saturday, November 16, 2019 @ 19:56:00 Author: felixonmars Revision: 529833 archrelease: copy trunk to community-staging-x86_64 Added: tamarin-prover/repos/community-staging-x86_64/ tamarin-prover/repos/community-staging-x86_64/PKGBUILD (from rev 529832,

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

2019-11-16 Thread Felix Yan via arch-commits
Date: Saturday, November 16, 2019 @ 18:51:16 Author: felixonmars Revision: 529715 archrelease: copy trunk to community-staging-x86_64 Added: tamarin-prover/repos/community-staging-x86_64/ tamarin-prover/repos/community-staging-x86_64/PKGBUILD (from rev 529714,

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

2019-11-15 Thread Felix Yan via arch-commits
Date: Friday, November 15, 2019 @ 15:17:06 Author: felixonmars Revision: 529230 archrelease: copy trunk to community-staging-x86_64 Added: tamarin-prover/repos/community-staging-x86_64/ tamarin-prover/repos/community-staging-x86_64/PKGBUILD (from rev 529229,

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

2019-11-15 Thread Felix Yan via arch-commits
Date: Friday, November 15, 2019 @ 13:09:32 Author: felixonmars Revision: 529199 archrelease: copy trunk to community-staging-x86_64 Added: tamarin-prover/repos/community-staging-x86_64/ tamarin-prover/repos/community-staging-x86_64/PKGBUILD (from rev 529198,

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

2019-11-15 Thread Felix Yan via arch-commits
Date: Friday, November 15, 2019 @ 09:21:18 Author: felixonmars Revision: 528990 archrelease: copy trunk to community-staging-x86_64 Added: tamarin-prover/repos/community-staging-x86_64/ tamarin-prover/repos/community-staging-x86_64/PKGBUILD (from rev 528989,

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

2019-11-11 Thread Felix Yan via arch-commits
Date: Monday, November 11, 2019 @ 13:45:19 Author: felixonmars Revision: 526730 archrelease: copy trunk to community-staging-x86_64 Added: tamarin-prover/repos/community-staging-x86_64/ tamarin-prover/repos/community-staging-x86_64/PKGBUILD (from rev 526729,

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

2019-10-23 Thread Felix Yan via arch-commits
Date: Wednesday, October 23, 2019 @ 10:41:18 Author: felixonmars Revision: 518676 archrelease: copy trunk to community-staging-x86_64 Added: tamarin-prover/repos/community-staging-x86_64/ tamarin-prover/repos/community-staging-x86_64/PKGBUILD (from rev 518675,

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

2019-10-20 Thread Felix Yan via arch-commits
Date: Sunday, October 20, 2019 @ 20:06:46 Author: felixonmars Revision: 517977 archrelease: copy trunk to community-staging-x86_64 Added: tamarin-prover/repos/community-staging-x86_64/ tamarin-prover/repos/community-staging-x86_64/PKGBUILD (from rev 517976,

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

2019-10-20 Thread Felix Yan via arch-commits
Date: Sunday, October 20, 2019 @ 10:48:25 Author: felixonmars Revision: 517767 archrelease: copy trunk to community-staging-x86_64 Added: tamarin-prover/repos/community-staging-x86_64/ tamarin-prover/repos/community-staging-x86_64/PKGBUILD (from rev 517766,

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

2019-10-20 Thread Felix Yan via arch-commits
Date: Sunday, October 20, 2019 @ 07:44:28 Author: felixonmars Revision: 517656 archrelease: copy trunk to community-staging-x86_64 Added: tamarin-prover/repos/community-staging-x86_64/ tamarin-prover/repos/community-staging-x86_64/PKGBUILD (from rev 517655,

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

2019-10-19 Thread Felix Yan via arch-commits
Date: Saturday, October 19, 2019 @ 19:48:32 Author: felixonmars Revision: 517555 archrelease: copy trunk to community-staging-x86_64 Added: tamarin-prover/repos/community-staging-x86_64/ tamarin-prover/repos/community-staging-x86_64/PKGBUILD (from rev 517554,

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

2019-10-18 Thread Felix Yan via arch-commits
Date: Friday, October 18, 2019 @ 23:38:37 Author: felixonmars Revision: 517260 archrelease: copy trunk to community-staging-x86_64 Added: tamarin-prover/repos/community-staging-x86_64/ tamarin-prover/repos/community-staging-x86_64/PKGBUILD (from rev 517259,

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

2019-10-18 Thread Felix Yan via arch-commits
Date: Friday, October 18, 2019 @ 17:51:36 Author: felixonmars Revision: 516899 archrelease: copy trunk to community-staging-x86_64 Added: tamarin-prover/repos/community-staging-x86_64/ tamarin-prover/repos/community-staging-x86_64/PKGBUILD (from rev 516898,

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

2019-10-18 Thread Felix Yan via arch-commits
Date: Friday, October 18, 2019 @ 09:14:53 Author: felixonmars Revision: 516709 archrelease: copy trunk to community-staging-x86_64 Added: tamarin-prover/repos/community-staging-x86_64/ tamarin-prover/repos/community-staging-x86_64/PKGBUILD (from rev 516708,

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

2019-10-17 Thread Felix Yan via arch-commits
Date: Thursday, October 17, 2019 @ 20:03:46 Author: felixonmars Revision: 516611 archrelease: copy trunk to community-staging-x86_64 Added: tamarin-prover/repos/community-staging-x86_64/ tamarin-prover/repos/community-staging-x86_64/PKGBUILD (from rev 516610,

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

2019-10-17 Thread Felix Yan via arch-commits
Date: Thursday, October 17, 2019 @ 14:29:20 Author: felixonmars Revision: 516457 archrelease: copy trunk to community-staging-x86_64 Added: tamarin-prover/repos/community-staging-x86_64/ tamarin-prover/repos/community-staging-x86_64/PKGBUILD (from rev 516456,

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

2019-10-15 Thread Felix Yan via arch-commits
Date: Tuesday, October 15, 2019 @ 20:34:10 Author: felixonmars Revision: 516237 archrelease: copy trunk to community-staging-x86_64 Added: tamarin-prover/repos/community-staging-x86_64/ tamarin-prover/repos/community-staging-x86_64/PKGBUILD (from rev 516236,

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

2019-10-15 Thread Felix Yan via arch-commits
Date: Tuesday, October 15, 2019 @ 07:43:26 Author: felixonmars Revision: 516096 archrelease: copy trunk to community-staging-x86_64 Added: tamarin-prover/repos/community-staging-x86_64/ tamarin-prover/repos/community-staging-x86_64/PKGBUILD (from rev 516095,

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

2019-10-14 Thread Felix Yan via arch-commits
Date: Monday, October 14, 2019 @ 20:15:03 Author: felixonmars Revision: 515917 archrelease: copy trunk to community-staging-x86_64 Added: tamarin-prover/repos/community-staging-x86_64/ tamarin-prover/repos/community-staging-x86_64/PKGBUILD (from rev 515916,

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

2019-10-14 Thread Felix Yan via arch-commits
Date: Monday, October 14, 2019 @ 06:00:35 Author: felixonmars Revision: 515557 archrelease: copy trunk to community-staging-x86_64 Added: tamarin-prover/repos/community-staging-x86_64/ tamarin-prover/repos/community-staging-x86_64/PKGBUILD (from rev 515556,

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

2019-10-11 Thread Felix Yan via arch-commits
Date: Friday, October 11, 2019 @ 15:54:25 Author: felixonmars Revision: 514950 archrelease: copy trunk to community-staging-x86_64 Added: tamarin-prover/repos/community-staging-x86_64/ tamarin-prover/repos/community-staging-x86_64/PKGBUILD (from rev 514949,

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

2019-10-11 Thread Felix Yan via arch-commits
Date: Friday, October 11, 2019 @ 08:13:27 Author: felixonmars Revision: 514733 archrelease: copy trunk to community-staging-x86_64 Added: tamarin-prover/repos/community-staging-x86_64/ tamarin-prover/repos/community-staging-x86_64/PKGBUILD (from rev 514732,

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

2019-10-10 Thread Felix Yan via arch-commits
Date: Thursday, October 10, 2019 @ 22:08:56 Author: felixonmars Revision: 514640 archrelease: copy trunk to community-staging-x86_64 Added: tamarin-prover/repos/community-staging-x86_64/ tamarin-prover/repos/community-staging-x86_64/PKGBUILD (from rev 514639,

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

2019-10-07 Thread Felix Yan via arch-commits
Date: Monday, October 7, 2019 @ 18:36:47 Author: felixonmars Revision: 513973 archrelease: copy trunk to community-staging-x86_64 Added: tamarin-prover/repos/community-staging-x86_64/ tamarin-prover/repos/community-staging-x86_64/PKGBUILD (from rev 513972,

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

2019-10-06 Thread Felix Yan via arch-commits
Date: Sunday, October 6, 2019 @ 15:42:33 Author: felixonmars Revision: 513449 archrelease: copy trunk to community-staging-x86_64 Added: tamarin-prover/repos/community-staging-x86_64/ tamarin-prover/repos/community-staging-x86_64/PKGBUILD (from rev 513448,

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

2019-09-15 Thread Felix Yan via arch-commits
Date: Sunday, September 15, 2019 @ 08:29:42 Author: felixonmars Revision: 510707 archrelease: copy trunk to community-staging-x86_64 Added: tamarin-prover/repos/community-staging-x86_64/ tamarin-prover/repos/community-staging-x86_64/PKGBUILD (from rev 510706,

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

2019-09-12 Thread Felix Yan via arch-commits
Date: Friday, September 13, 2019 @ 00:12:49 Author: felixonmars Revision: 510049 archrelease: copy trunk to community-staging-x86_64 Added: tamarin-prover/repos/community-staging-x86_64/ tamarin-prover/repos/community-staging-x86_64/PKGBUILD (from rev 510048,

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

2019-09-12 Thread Felix Yan via arch-commits
Date: Thursday, September 12, 2019 @ 19:25:51 Author: felixonmars Revision: 509788 archrelease: copy trunk to community-staging-x86_64 Added: tamarin-prover/repos/community-staging-x86_64/ tamarin-prover/repos/community-staging-x86_64/PKGBUILD (from rev 509787,

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

2019-09-12 Thread Felix Yan via arch-commits
Date: Thursday, September 12, 2019 @ 17:13:40 Author: felixonmars Revision: 509680 archrelease: copy trunk to community-staging-x86_64 Added: tamarin-prover/repos/community-staging-x86_64/ tamarin-prover/repos/community-staging-x86_64/PKGBUILD (from rev 509679,

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

2019-09-12 Thread Felix Yan via arch-commits
Date: Thursday, September 12, 2019 @ 11:23:04 Author: felixonmars Revision: 509527 archrelease: copy trunk to community-staging-x86_64 Added: tamarin-prover/repos/community-staging-x86_64/ tamarin-prover/repos/community-staging-x86_64/PKGBUILD (from rev 509526,

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

2019-09-09 Thread Felix Yan via arch-commits
Date: Monday, September 9, 2019 @ 07:43:10 Author: felixonmars Revision: 509076 archrelease: copy trunk to community-staging-x86_64 Added: tamarin-prover/repos/community-staging-x86_64/ tamarin-prover/repos/community-staging-x86_64/PKGBUILD (from rev 509075,

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

2019-09-08 Thread Felix Yan via arch-commits
Date: Sunday, September 8, 2019 @ 08:08:39 Author: felixonmars Revision: 508860 archrelease: copy trunk to community-staging-x86_64 Added: tamarin-prover/repos/community-staging-x86_64/ tamarin-prover/repos/community-staging-x86_64/PKGBUILD (from rev 508859,

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

2019-09-07 Thread Felix Yan via arch-commits
Date: Saturday, September 7, 2019 @ 15:01:49 Author: felixonmars Revision: 508502 archrelease: copy trunk to community-staging-x86_64 Added: tamarin-prover/repos/community-staging-x86_64/ tamarin-prover/repos/community-staging-x86_64/PKGBUILD (from rev 508501,

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

2019-09-03 Thread Felix Yan via arch-commits
Date: Tuesday, September 3, 2019 @ 18:14:39 Author: felixonmars Revision: 507911 archrelease: copy trunk to community-staging-x86_64 Added: tamarin-prover/repos/community-staging-x86_64/ tamarin-prover/repos/community-staging-x86_64/PKGBUILD (from rev 507910,

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

2019-09-03 Thread Felix Yan via arch-commits
Date: Tuesday, September 3, 2019 @ 10:43:21 Author: felixonmars Revision: 507382 archrelease: copy trunk to community-staging-x86_64 Added: tamarin-prover/repos/community-staging-x86_64/ tamarin-prover/repos/community-staging-x86_64/PKGBUILD (from rev 507381,

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

2019-09-01 Thread Felix Yan via arch-commits
Date: Sunday, September 1, 2019 @ 13:07:43 Author: felixonmars Revision: 506139 archrelease: copy trunk to community-staging-x86_64 Added: tamarin-prover/repos/community-staging-x86_64/ tamarin-prover/repos/community-staging-x86_64/PKGBUILD (from rev 506138,

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

2019-08-31 Thread Felix Yan via arch-commits
Date: Saturday, August 31, 2019 @ 08:41:59 Author: felixonmars Revision: 505584 archrelease: copy trunk to community-staging-x86_64 Added: tamarin-prover/repos/community-staging-x86_64/ tamarin-prover/repos/community-staging-x86_64/PKGBUILD (from rev 505583,

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

2019-08-30 Thread Felix Yan via arch-commits
Date: Friday, August 30, 2019 @ 19:08:50 Author: felixonmars Revision: 505364 archrelease: copy trunk to community-staging-x86_64 Added: tamarin-prover/repos/community-staging-x86_64/ tamarin-prover/repos/community-staging-x86_64/PKGBUILD (from rev 505363,

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

2019-08-30 Thread Felix Yan via arch-commits
Date: Friday, August 30, 2019 @ 16:44:47 Author: felixonmars Revision: 505311 archrelease: copy trunk to community-staging-x86_64 Added: tamarin-prover/repos/community-staging-x86_64/ tamarin-prover/repos/community-staging-x86_64/PKGBUILD (from rev 505310,

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

2019-08-29 Thread Felix Yan via arch-commits
Date: Thursday, August 29, 2019 @ 11:17:37 Author: felixonmars Revision: 504783 archrelease: copy trunk to community-staging-x86_64 Added: tamarin-prover/repos/community-staging-x86_64/ tamarin-prover/repos/community-staging-x86_64/PKGBUILD (from rev 504782,

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

2019-08-28 Thread Felix Yan via arch-commits
Date: Wednesday, August 28, 2019 @ 17:39:42 Author: felixonmars Revision: 504346 archrelease: copy trunk to community-staging-x86_64 Added: tamarin-prover/repos/community-staging-x86_64/ tamarin-prover/repos/community-staging-x86_64/PKGBUILD (from rev 504345,

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

2019-08-28 Thread Felix Yan via arch-commits
Date: Wednesday, August 28, 2019 @ 12:21:25 Author: felixonmars Revision: 503873 archrelease: copy trunk to community-staging-x86_64 Added: tamarin-prover/repos/community-staging-x86_64/ tamarin-prover/repos/community-staging-x86_64/PKGBUILD (from rev 503872,

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

2019-08-27 Thread Felix Yan via arch-commits
Date: Tuesday, August 27, 2019 @ 14:08:10 Author: felixonmars Revision: 502832 archrelease: copy trunk to community-staging-x86_64 Added: tamarin-prover/repos/community-staging-x86_64/ tamarin-prover/repos/community-staging-x86_64/PKGBUILD (from rev 502831,

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

2019-08-25 Thread Felix Yan via arch-commits
Date: Monday, August 26, 2019 @ 05:07:42 Author: felixonmars Revision: 501799 archrelease: copy trunk to community-staging-x86_64 Added: tamarin-prover/repos/community-staging-x86_64/ tamarin-prover/repos/community-staging-x86_64/PKGBUILD (from rev 501798,

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

2019-08-23 Thread Felix Yan via arch-commits
Date: Friday, August 23, 2019 @ 07:17:42 Author: felixonmars Revision: 501008 archrelease: copy trunk to community-staging-x86_64 Added: tamarin-prover/repos/community-staging-x86_64/ tamarin-prover/repos/community-staging-x86_64/PKGBUILD (from rev 501007,

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

2019-08-21 Thread Felix Yan via arch-commits
Date: Thursday, August 22, 2019 @ 02:39:19 Author: felixonmars Revision: 500461 archrelease: copy trunk to community-staging-x86_64 Added: tamarin-prover/repos/community-staging-x86_64/ tamarin-prover/repos/community-staging-x86_64/PKGBUILD (from rev 500460,

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

2019-08-20 Thread Felix Yan via arch-commits
Date: Tuesday, August 20, 2019 @ 10:52:16 Author: felixonmars Revision: 500275 archrelease: copy trunk to community-staging-x86_64 Added: tamarin-prover/repos/community-staging-x86_64/ tamarin-prover/repos/community-staging-x86_64/PKGBUILD (from rev 500274,

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

2019-08-16 Thread Felix Yan via arch-commits
Date: Saturday, August 17, 2019 @ 03:44:20 Author: felixonmars Revision: 499935 archrelease: copy trunk to community-staging-x86_64 Added: tamarin-prover/repos/community-staging-x86_64/ tamarin-prover/repos/community-staging-x86_64/PKGBUILD (from rev 499933,

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

2019-08-15 Thread Felix Yan via arch-commits
Date: Thursday, August 15, 2019 @ 06:17:55 Author: felixonmars Revision: 499437 archrelease: copy trunk to community-staging-x86_64 Added: tamarin-prover/repos/community-staging-x86_64/ tamarin-prover/repos/community-staging-x86_64/PKGBUILD (from rev 499436,

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

2019-08-13 Thread Felix Yan via arch-commits
Date: Wednesday, August 14, 2019 @ 05:27:08 Author: felixonmars Revision: 499149 archrelease: copy trunk to community-staging-x86_64 Added: tamarin-prover/repos/community-staging-x86_64/ tamarin-prover/repos/community-staging-x86_64/PKGBUILD (from rev 499148,

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

2019-08-11 Thread Felix Yan via arch-commits
Date: Sunday, August 11, 2019 @ 07:28:49 Author: felixonmars Revision: 498854 archrelease: copy trunk to community-staging-x86_64 Added: tamarin-prover/repos/community-staging-x86_64/ tamarin-prover/repos/community-staging-x86_64/PKGBUILD (from rev 498853,

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

2019-08-06 Thread Felix Yan via arch-commits
Date: Tuesday, August 6, 2019 @ 17:57:58 Author: felixonmars Revision: 497929 archrelease: copy trunk to community-staging-x86_64 Added: tamarin-prover/repos/community-staging-x86_64/ tamarin-prover/repos/community-staging-x86_64/PKGBUILD (from rev 497928,

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

2019-08-03 Thread Felix Yan via arch-commits
Date: Sunday, August 4, 2019 @ 05:00:32 Author: felixonmars Revision: 497283 archrelease: copy trunk to community-staging-x86_64 Added: tamarin-prover/repos/community-staging-x86_64/ tamarin-prover/repos/community-staging-x86_64/PKGBUILD (from rev 497282,

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

2019-08-02 Thread Felix Yan via arch-commits
Date: Friday, August 2, 2019 @ 17:23:36 Author: felixonmars Revision: 497090 archrelease: copy trunk to community-staging-x86_64 Added: tamarin-prover/repos/community-staging-x86_64/ tamarin-prover/repos/community-staging-x86_64/PKGBUILD (from rev 497089,

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

2019-08-02 Thread Felix Yan via arch-commits
Date: Friday, August 2, 2019 @ 11:21:39 Author: felixonmars Revision: 497012 archrelease: copy trunk to community-staging-x86_64 Added: tamarin-prover/repos/community-staging-x86_64/ tamarin-prover/repos/community-staging-x86_64/PKGBUILD (from rev 497011,

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

2019-08-01 Thread Felix Yan via arch-commits
Date: Friday, August 2, 2019 @ 05:53:35 Author: felixonmars Revision: 496514 archrelease: copy trunk to community-staging-x86_64 Added: tamarin-prover/repos/community-staging-x86_64/ tamarin-prover/repos/community-staging-x86_64/PKGBUILD (from rev 496513,

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

2019-07-30 Thread Felix Yan via arch-commits
Date: Tuesday, July 30, 2019 @ 14:00:32 Author: felixonmars Revision: 495315 archrelease: copy trunk to community-staging-x86_64 Added: tamarin-prover/repos/community-staging-x86_64/ tamarin-prover/repos/community-staging-x86_64/PKGBUILD (from rev 495314,

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

2019-07-29 Thread Felix Yan via arch-commits
Date: Tuesday, July 30, 2019 @ 04:41:19 Author: felixonmars Revision: 494912 archrelease: copy trunk to community-staging-x86_64 Added: tamarin-prover/repos/community-staging-x86_64/ tamarin-prover/repos/community-staging-x86_64/PKGBUILD (from rev 494911,

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

2019-07-28 Thread Felix Yan via arch-commits
Date: Sunday, July 28, 2019 @ 19:39:33 Author: felixonmars Revision: 493938 archrelease: copy trunk to community-staging-x86_64 Added: tamarin-prover/repos/community-staging-x86_64/ tamarin-prover/repos/community-staging-x86_64/PKGBUILD (from rev 493937,

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

2019-07-20 Thread Felix Yan via arch-commits
Date: Sunday, July 21, 2019 @ 04:56:05 Author: felixonmars Revision: 492409 archrelease: copy trunk to community-staging-x86_64 Added: tamarin-prover/repos/community-staging-x86_64/ tamarin-prover/repos/community-staging-x86_64/PKGBUILD (from rev 492408,

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

2019-07-19 Thread Felix Yan via arch-commits
Date: Friday, July 19, 2019 @ 07:07:11 Author: felixonmars Revision: 492194 archrelease: copy trunk to community-staging-x86_64 Added: tamarin-prover/repos/community-staging-x86_64/ tamarin-prover/repos/community-staging-x86_64/PKGBUILD (from rev 492193,

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

2019-07-18 Thread Felix Yan via arch-commits
Date: Thursday, July 18, 2019 @ 21:14:50 Author: felixonmars Revision: 491950 archrelease: copy trunk to community-staging-x86_64 Added: tamarin-prover/repos/community-staging-x86_64/ tamarin-prover/repos/community-staging-x86_64/PKGBUILD (from rev 491949,

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

2019-07-18 Thread Felix Yan via arch-commits
Date: Thursday, July 18, 2019 @ 07:36:04 Author: felixonmars Revision: 491028 archrelease: copy trunk to community-staging-x86_64 Added: tamarin-prover/repos/community-staging-x86_64/ tamarin-prover/repos/community-staging-x86_64/PKGBUILD (from rev 491027,

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

2019-07-16 Thread Felix Yan via arch-commits
Date: Wednesday, July 17, 2019 @ 02:53:06 Author: felixonmars Revision: 490099 archrelease: copy trunk to community-staging-x86_64 Added: tamarin-prover/repos/community-staging-x86_64/ tamarin-prover/repos/community-staging-x86_64/PKGBUILD (from rev 490098,

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

2019-07-14 Thread Felix Yan via arch-commits
Date: Monday, July 15, 2019 @ 04:06:09 Author: felixonmars Revision: 489760 archrelease: copy trunk to community-staging-x86_64 Added: tamarin-prover/repos/community-staging-x86_64/ tamarin-prover/repos/community-staging-x86_64/PKGBUILD (from rev 489759,

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

2019-07-13 Thread Felix Yan via arch-commits
Date: Sunday, July 14, 2019 @ 02:02:01 Author: felixonmars Revision: 489449 archrelease: copy trunk to community-staging-x86_64 Added: tamarin-prover/repos/community-staging-x86_64/ tamarin-prover/repos/community-staging-x86_64/PKGBUILD (from rev 489448,

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

2019-07-12 Thread Felix Yan via arch-commits
Date: Saturday, July 13, 2019 @ 04:32:32 Author: felixonmars Revision: 489345 archrelease: copy trunk to community-staging-x86_64 Added: tamarin-prover/repos/community-staging-x86_64/ tamarin-prover/repos/community-staging-x86_64/PKGBUILD (from rev 489344,

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

2019-07-12 Thread Felix Yan via arch-commits
Date: Friday, July 12, 2019 @ 12:14:24 Author: felixonmars Revision: 489123 archrelease: copy trunk to community-staging-x86_64 Added: tamarin-prover/repos/community-staging-x86_64/ tamarin-prover/repos/community-staging-x86_64/PKGBUILD (from rev 489122,

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

2019-07-11 Thread Felix Yan via arch-commits
Date: Thursday, July 11, 2019 @ 14:15:16 Author: felixonmars Revision: 488858 archrelease: copy trunk to community-staging-x86_64 Added: tamarin-prover/repos/community-staging-x86_64/ tamarin-prover/repos/community-staging-x86_64/PKGBUILD (from rev 488857,

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

2019-07-11 Thread Felix Yan via arch-commits
Date: Thursday, July 11, 2019 @ 08:22:21 Author: felixonmars Revision: 488716 archrelease: copy trunk to community-staging-x86_64 Added: tamarin-prover/repos/community-staging-x86_64/ tamarin-prover/repos/community-staging-x86_64/PKGBUILD (from rev 488715,

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

2019-07-10 Thread Felix Yan via arch-commits
Date: Wednesday, July 10, 2019 @ 06:19:57 Author: felixonmars Revision: 488494 archrelease: copy trunk to community-staging-x86_64 Added: tamarin-prover/repos/community-staging-x86_64/ tamarin-prover/repos/community-staging-x86_64/PKGBUILD (from rev 488493,

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

2019-07-09 Thread Felix Yan via arch-commits
Date: Tuesday, July 9, 2019 @ 16:47:19 Author: felixonmars Revision: 488289 archrelease: copy trunk to community-staging-x86_64 Added: tamarin-prover/repos/community-staging-x86_64/ tamarin-prover/repos/community-staging-x86_64/PKGBUILD (from rev 488288,

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

2019-07-01 Thread Felix Yan via arch-commits
Date: Monday, July 1, 2019 @ 17:04:27 Author: felixonmars Revision: 487158 archrelease: copy trunk to community-staging-x86_64 Added: tamarin-prover/repos/community-staging-x86_64/ tamarin-prover/repos/community-staging-x86_64/PKGBUILD (from rev 487157,

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

2019-06-29 Thread Felix Yan via arch-commits
Date: Sunday, June 30, 2019 @ 05:24:27 Author: felixonmars Revision: 486101 archrelease: copy trunk to community-staging-x86_64 Added: tamarin-prover/repos/community-staging-x86_64/ tamarin-prover/repos/community-staging-x86_64/PKGBUILD (from rev 486100,

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

2019-06-29 Thread Felix Yan via arch-commits
Date: Saturday, June 29, 2019 @ 15:31:47 Author: felixonmars Revision: 485879 archrelease: copy trunk to community-staging-x86_64 Added: tamarin-prover/repos/community-staging-x86_64/ tamarin-prover/repos/community-staging-x86_64/PKGBUILD (from rev 485878,

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

2019-06-28 Thread Felix Yan via arch-commits
Date: Friday, June 28, 2019 @ 06:06:19 Author: felixonmars Revision: 485353 archrelease: copy trunk to community-staging-x86_64 Added: tamarin-prover/repos/community-staging-x86_64/ tamarin-prover/repos/community-staging-x86_64/PKGBUILD (from rev 485352,

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

2019-06-26 Thread Felix Yan via arch-commits
Date: Wednesday, June 26, 2019 @ 12:25:51 Author: felixonmars Revision: 484473 archrelease: copy trunk to community-staging-x86_64 Added: tamarin-prover/repos/community-staging-x86_64/ tamarin-prover/repos/community-staging-x86_64/PKGBUILD (from rev 484472,

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

2019-06-25 Thread Felix Yan via arch-commits
Date: Wednesday, June 26, 2019 @ 03:18:42 Author: felixonmars Revision: 484173 archrelease: copy trunk to community-staging-x86_64 Added: tamarin-prover/repos/community-staging-x86_64/ tamarin-prover/repos/community-staging-x86_64/PKGBUILD (from rev 484172,

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

2019-06-25 Thread Felix Yan via arch-commits
Date: Tuesday, June 25, 2019 @ 17:53:28 Author: felixonmars Revision: 484042 archrelease: copy trunk to community-staging-x86_64 Added: tamarin-prover/repos/community-staging-x86_64/ tamarin-prover/repos/community-staging-x86_64/PKGBUILD (from rev 484041,

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

2019-06-25 Thread Felix Yan via arch-commits
Date: Tuesday, June 25, 2019 @ 06:10:08 Author: felixonmars Revision: 483876 archrelease: copy trunk to community-staging-x86_64 Added: tamarin-prover/repos/community-staging-x86_64/ tamarin-prover/repos/community-staging-x86_64/PKGBUILD (from rev 483875,

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

2019-06-24 Thread Felix Yan via arch-commits
Date: Monday, June 24, 2019 @ 19:30:18 Author: felixonmars Revision: 483694 archrelease: copy trunk to community-staging-x86_64 Added: tamarin-prover/repos/community-staging-x86_64/ tamarin-prover/repos/community-staging-x86_64/PKGBUILD (from rev 483693,

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

2019-06-24 Thread Felix Yan via arch-commits
Date: Monday, June 24, 2019 @ 09:27:35 Author: felixonmars Revision: 483498 archrelease: copy trunk to community-staging-x86_64 Added: tamarin-prover/repos/community-staging-x86_64/ tamarin-prover/repos/community-staging-x86_64/PKGBUILD (from rev 483497,

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

2019-06-23 Thread Felix Yan via arch-commits
Date: Sunday, June 23, 2019 @ 06:11:34 Author: felixonmars Revision: 483020 archrelease: copy trunk to community-staging-x86_64 Added: tamarin-prover/repos/community-staging-x86_64/ tamarin-prover/repos/community-staging-x86_64/PKGBUILD (from rev 483019,

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

2019-06-17 Thread Felix Yan via arch-commits
Date: Monday, June 17, 2019 @ 11:07:29 Author: felixonmars Revision: 481947 archrelease: copy trunk to community-staging-x86_64 Added: tamarin-prover/repos/community-staging-x86_64/ tamarin-prover/repos/community-staging-x86_64/PKGBUILD (from rev 481946,

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

2019-06-17 Thread Felix Yan via arch-commits
Date: Monday, June 17, 2019 @ 10:22:50 Author: felixonmars Revision: 481921 archrelease: copy trunk to community-staging-x86_64 Added: tamarin-prover/repos/community-staging-x86_64/ tamarin-prover/repos/community-staging-x86_64/PKGBUILD (from rev 481920,

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

2019-06-15 Thread Felix Yan via arch-commits
Date: Saturday, June 15, 2019 @ 16:53:46 Author: felixonmars Revision: 481699 archrelease: copy trunk to community-staging-x86_64 Added: tamarin-prover/repos/community-staging-x86_64/ tamarin-prover/repos/community-staging-x86_64/PKGBUILD (from rev 481697,

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

2019-06-13 Thread Felix Yan via arch-commits
Date: Thursday, June 13, 2019 @ 20:47:21 Author: felixonmars Revision: 481360 archrelease: copy trunk to community-staging-x86_64 Added: tamarin-prover/repos/community-staging-x86_64/ tamarin-prover/repos/community-staging-x86_64/PKGBUILD (from rev 481359,

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

2019-06-13 Thread Felix Yan via arch-commits
Date: Thursday, June 13, 2019 @ 09:42:39 Author: felixonmars Revision: 481206 archrelease: copy trunk to community-staging-x86_64 Added: tamarin-prover/repos/community-staging-x86_64/ tamarin-prover/repos/community-staging-x86_64/PKGBUILD (from rev 481205,

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

2019-06-12 Thread Felix Yan via arch-commits
Date: Wednesday, June 12, 2019 @ 19:53:28 Author: felixonmars Revision: 481042 archrelease: copy trunk to community-staging-x86_64 Added: tamarin-prover/repos/community-staging-x86_64/ tamarin-prover/repos/community-staging-x86_64/PKGBUILD (from rev 481041,

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

2019-06-12 Thread Felix Yan via arch-commits
Date: Wednesday, June 12, 2019 @ 13:14:00 Author: felixonmars Revision: 480812 archrelease: copy trunk to community-staging-x86_64 Added: tamarin-prover/repos/community-staging-x86_64/ tamarin-prover/repos/community-staging-x86_64/PKGBUILD (from rev 480811,

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

2019-06-11 Thread Felix Yan via arch-commits
Date: Tuesday, June 11, 2019 @ 17:41:46 Author: felixonmars Revision: 480509 archrelease: copy trunk to community-staging-x86_64 Added: tamarin-prover/repos/community-staging-x86_64/ tamarin-prover/repos/community-staging-x86_64/PKGBUILD (from rev 480508,

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

2019-06-11 Thread Felix Yan via arch-commits
Date: Tuesday, June 11, 2019 @ 09:48:10 Author: felixonmars Revision: 480298 archrelease: copy trunk to community-staging-x86_64 Added: tamarin-prover/repos/community-staging-x86_64/ tamarin-prover/repos/community-staging-x86_64/PKGBUILD (from rev 480297,

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

2019-06-10 Thread Felix Yan via arch-commits
Date: Monday, June 10, 2019 @ 08:54:00 Author: felixonmars Revision: 479272 archrelease: copy trunk to community-staging-x86_64 Added: tamarin-prover/repos/community-staging-x86_64/ tamarin-prover/repos/community-staging-x86_64/PKGBUILD (from rev 479271,

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

2019-06-06 Thread Felix Yan via arch-commits
Date: Thursday, June 6, 2019 @ 16:41:04 Author: felixonmars Revision: 477654 archrelease: copy trunk to community-staging-x86_64 Added: tamarin-prover/repos/community-staging-x86_64/ tamarin-prover/repos/community-staging-x86_64/PKGBUILD (from rev 477653,

  1   2   3   4   >