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

2019-05-03 Thread Felix Yan via arch-commits
Date: Friday, May 3, 2019 @ 21:52:39 Author: felixonmars Revision: 458786 archrelease: copy trunk to community-staging-x86_64 Added: tamarin-prover/repos/community-staging-x86_64/ tamarin-prover/repos/community-staging-x86_64/PKGBUILD (from rev 458785,

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

2019-05-03 Thread Felix Yan via arch-commits
Date: Friday, May 3, 2019 @ 12:41:59 Author: felixonmars Revision: 458376 archrelease: copy trunk to community-staging-x86_64 Added: tamarin-prover/repos/community-staging-x86_64/ tamarin-prover/repos/community-staging-x86_64/PKGBUILD (from rev 458375,

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

2019-05-01 Thread Felix Yan via arch-commits
Date: Wednesday, May 1, 2019 @ 22:59:40 Author: felixonmars Revision: 457686 archrelease: copy trunk to community-staging-x86_64 Added: tamarin-prover/repos/community-staging-x86_64/ tamarin-prover/repos/community-staging-x86_64/PKGBUILD (from rev 457685,

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

2019-05-01 Thread Felix Yan via arch-commits
Date: Wednesday, May 1, 2019 @ 21:19:27 Author: felixonmars Revision: 457507 archrelease: copy trunk to community-staging-x86_64 Added: tamarin-prover/repos/community-staging-x86_64/ tamarin-prover/repos/community-staging-x86_64/PKGBUILD (from rev 457506,

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

2019-04-30 Thread Felix Yan via arch-commits
Date: Tuesday, April 30, 2019 @ 20:20:51 Author: felixonmars Revision: 457088 archrelease: copy trunk to community-staging-x86_64 Added: tamarin-prover/repos/community-staging-x86_64/ tamarin-prover/repos/community-staging-x86_64/PKGBUILD (from rev 457087,

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

2019-04-30 Thread Felix Yan via arch-commits
Date: Tuesday, April 30, 2019 @ 10:25:30 Author: felixonmars Revision: 456731 archrelease: copy trunk to community-staging-x86_64 Added: tamarin-prover/repos/community-staging-x86_64/ tamarin-prover/repos/community-staging-x86_64/PKGBUILD (from rev 456730,

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

2019-04-29 Thread Felix Yan via arch-commits
Date: Monday, April 29, 2019 @ 16:53:27 Author: felixonmars Revision: 456326 archrelease: copy trunk to community-staging-x86_64 Added: tamarin-prover/repos/community-staging-x86_64/ tamarin-prover/repos/community-staging-x86_64/PKGBUILD (from rev 456325,

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

2019-04-29 Thread Felix Yan via arch-commits
Date: Monday, April 29, 2019 @ 09:28:41 Author: felixonmars Revision: 455336 archrelease: copy trunk to community-staging-x86_64 Added: tamarin-prover/repos/community-staging-x86_64/ tamarin-prover/repos/community-staging-x86_64/PKGBUILD (from rev 455335,

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

2019-04-23 Thread Felix Yan via arch-commits
Date: Tuesday, April 23, 2019 @ 18:48:24 Author: felixonmars Revision: 453215 archrelease: copy trunk to community-staging-x86_64 Added: tamarin-prover/repos/community-staging-x86_64/ tamarin-prover/repos/community-staging-x86_64/PKGBUILD (from rev 453214,

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

2019-04-22 Thread Felix Yan via arch-commits
Date: Monday, April 22, 2019 @ 11:56:40 Author: felixonmars Revision: 452942 archrelease: copy trunk to community-staging-x86_64 Added: tamarin-prover/repos/community-staging-x86_64/ tamarin-prover/repos/community-staging-x86_64/PKGBUILD (from rev 452941,

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

2019-04-21 Thread Felix Yan via arch-commits
Date: Sunday, April 21, 2019 @ 12:27:38 Author: felixonmars Revision: 452641 archrelease: copy trunk to community-staging-x86_64 Added: tamarin-prover/repos/community-staging-x86_64/ tamarin-prover/repos/community-staging-x86_64/PKGBUILD (from rev 452640,

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

2019-04-14 Thread Felix Yan via arch-commits
Date: Sunday, April 14, 2019 @ 13:50:31 Author: felixonmars Revision: 451604 archrelease: copy trunk to community-staging-x86_64 Added: tamarin-prover/repos/community-staging-x86_64/ tamarin-prover/repos/community-staging-x86_64/PKGBUILD (from rev 451603,

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

2019-04-13 Thread Felix Yan via arch-commits
Date: Saturday, April 13, 2019 @ 17:31:22 Author: felixonmars Revision: 451458 archrelease: copy trunk to community-staging-x86_64 Added: tamarin-prover/repos/community-staging-x86_64/ tamarin-prover/repos/community-staging-x86_64/PKGBUILD (from rev 451457,

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

2019-04-11 Thread Felix Yan via arch-commits
Date: Thursday, April 11, 2019 @ 06:41:11 Author: felixonmars Revision: 451009 archrelease: copy trunk to community-staging-x86_64 Added: tamarin-prover/repos/community-staging-x86_64/ tamarin-prover/repos/community-staging-x86_64/PKGBUILD (from rev 451008,

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

2019-04-10 Thread Felix Yan via arch-commits
Date: Wednesday, April 10, 2019 @ 12:00:07 Author: felixonmars Revision: 450869 archrelease: copy trunk to community-staging-x86_64 Added: tamarin-prover/repos/community-staging-x86_64/ tamarin-prover/repos/community-staging-x86_64/PKGBUILD (from rev 450868,

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

2019-04-10 Thread Felix Yan via arch-commits
Date: Wednesday, April 10, 2019 @ 11:25:24 Author: felixonmars Revision: 450809 archrelease: copy trunk to community-staging-x86_64 Added: tamarin-prover/repos/community-staging-x86_64/ tamarin-prover/repos/community-staging-x86_64/PKGBUILD (from rev 450808,

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

2019-04-09 Thread Felix Yan via arch-commits
Date: Tuesday, April 9, 2019 @ 10:14:09 Author: felixonmars Revision: 450580 archrelease: copy trunk to community-staging-x86_64 Added: tamarin-prover/repos/community-staging-x86_64/ tamarin-prover/repos/community-staging-x86_64/PKGBUILD (from rev 450579,

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

2019-04-06 Thread Felix Yan via arch-commits
Date: Saturday, April 6, 2019 @ 21:40:35 Author: felixonmars Revision: 450140 archrelease: copy trunk to community-staging-x86_64 Added: tamarin-prover/repos/community-staging-x86_64/ tamarin-prover/repos/community-staging-x86_64/PKGBUILD (from rev 450139,

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

2019-04-04 Thread Felix Yan via arch-commits
Date: Friday, April 5, 2019 @ 00:44:12 Author: felixonmars Revision: 449712 archrelease: copy trunk to community-staging-x86_64 Added: tamarin-prover/repos/community-staging-x86_64/ tamarin-prover/repos/community-staging-x86_64/PKGBUILD (from rev 449711,

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

2019-04-04 Thread Felix Yan via arch-commits
Date: Thursday, April 4, 2019 @ 14:21:09 Author: felixonmars Revision: 449223 archrelease: copy trunk to community-staging-x86_64 Added: tamarin-prover/repos/community-staging-x86_64/ tamarin-prover/repos/community-staging-x86_64/PKGBUILD (from rev 449222,

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

2019-04-02 Thread Felix Yan via arch-commits
Date: Tuesday, April 2, 2019 @ 18:32:56 Author: felixonmars Revision: 447856 archrelease: copy trunk to community-staging-x86_64 Added: tamarin-prover/repos/community-staging-x86_64/ tamarin-prover/repos/community-staging-x86_64/PKGBUILD (from rev 447855,

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

2019-03-31 Thread Felix Yan via arch-commits
Date: Sunday, March 31, 2019 @ 10:20:20 Author: felixonmars Revision: 446656 archrelease: copy trunk to community-staging-x86_64 Added: tamarin-prover/repos/community-staging-x86_64/ tamarin-prover/repos/community-staging-x86_64/PKGBUILD (from rev 446652,

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

2019-03-29 Thread Felix Yan via arch-commits
Date: Friday, March 29, 2019 @ 23:21:59 Author: felixonmars Revision: 446132 archrelease: copy trunk to community-staging-x86_64 Added: tamarin-prover/repos/community-staging-x86_64/ tamarin-prover/repos/community-staging-x86_64/PKGBUILD (from rev 446131,

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

2019-03-28 Thread Felix Yan via arch-commits
Date: Thursday, March 28, 2019 @ 20:39:52 Author: felixonmars Revision: 445635 archrelease: copy trunk to community-staging-x86_64 Added: tamarin-prover/repos/community-staging-x86_64/ tamarin-prover/repos/community-staging-x86_64/PKGBUILD (from rev 445634,

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

2019-03-27 Thread Felix Yan via arch-commits
Date: Wednesday, March 27, 2019 @ 16:44:58 Author: felixonmars Revision: 444531 archrelease: copy trunk to community-staging-x86_64 Added: tamarin-prover/repos/community-staging-x86_64/ tamarin-prover/repos/community-staging-x86_64/PKGBUILD (from rev 444530,

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

2019-03-19 Thread Felix Yan via arch-commits
Date: Tuesday, March 19, 2019 @ 16:24:58 Author: felixonmars Revision: 442755 archrelease: copy trunk to community-staging-x86_64 Added: tamarin-prover/repos/community-staging-x86_64/ tamarin-prover/repos/community-staging-x86_64/PKGBUILD (from rev 442754,

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

2019-03-15 Thread Felix Yan via arch-commits
Date: Saturday, March 16, 2019 @ 03:18:38 Author: felixonmars Revision: 442107 archrelease: copy trunk to community-staging-x86_64 Added: tamarin-prover/repos/community-staging-x86_64/ tamarin-prover/repos/community-staging-x86_64/PKGBUILD (from rev 442106,

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

2019-03-13 Thread Felix Yan via arch-commits
Date: Wednesday, March 13, 2019 @ 06:58:36 Author: felixonmars Revision: 440820 archrelease: copy trunk to community-staging-x86_64 Added: tamarin-prover/repos/community-staging-x86_64/ tamarin-prover/repos/community-staging-x86_64/PKGBUILD (from rev 440819,

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

2019-03-11 Thread Felix Yan via arch-commits
Date: Monday, March 11, 2019 @ 20:08:16 Author: felixonmars Revision: 439873 archrelease: copy trunk to community-staging-x86_64 Added: tamarin-prover/repos/community-staging-x86_64/ tamarin-prover/repos/community-staging-x86_64/PKGBUILD (from rev 439872,

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

2019-02-27 Thread Felix Yan via arch-commits
Date: Wednesday, February 27, 2019 @ 22:53:27 Author: felixonmars Revision: 436936 archrelease: copy trunk to community-staging-x86_64 Added: tamarin-prover/repos/community-staging-x86_64/ tamarin-prover/repos/community-staging-x86_64/PKGBUILD (from rev 436935,

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

2019-02-27 Thread Felix Yan via arch-commits
Date: Wednesday, February 27, 2019 @ 20:10:28 Author: felixonmars Revision: 436604 archrelease: copy trunk to community-staging-x86_64 Added: tamarin-prover/repos/community-staging-x86_64/ tamarin-prover/repos/community-staging-x86_64/PKGBUILD (from rev 436603,

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

2019-02-25 Thread Felix Yan via arch-commits
Date: Monday, February 25, 2019 @ 15:21:23 Author: felixonmars Revision: 435943 archrelease: copy trunk to community-staging-x86_64 Added: tamarin-prover/repos/community-staging-x86_64/ tamarin-prover/repos/community-staging-x86_64/PKGBUILD (from rev 435942,

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

2019-02-21 Thread Felix Yan via arch-commits
Date: Thursday, February 21, 2019 @ 13:37:41 Author: felixonmars Revision: 435027 archrelease: copy trunk to community-staging-x86_64 Added: tamarin-prover/repos/community-staging-x86_64/ tamarin-prover/repos/community-staging-x86_64/PKGBUILD (from rev 435026,

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

2019-02-20 Thread Felix Yan via arch-commits
Date: Wednesday, February 20, 2019 @ 17:52:17 Author: felixonmars Revision: 434781 archrelease: copy trunk to community-staging-x86_64 Added: tamarin-prover/repos/community-staging-x86_64/ tamarin-prover/repos/community-staging-x86_64/PKGBUILD (from rev 434780,

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

2019-02-19 Thread Felix Yan via arch-commits
Date: Tuesday, February 19, 2019 @ 10:13:23 Author: felixonmars Revision: 434461 archrelease: copy trunk to community-staging-x86_64 Added: tamarin-prover/repos/community-staging-x86_64/ tamarin-prover/repos/community-staging-x86_64/PKGBUILD (from rev 434460,

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

2019-02-17 Thread Felix Yan via arch-commits
Date: Sunday, February 17, 2019 @ 14:20:55 Author: felixonmars Revision: 434080 archrelease: copy trunk to community-staging-x86_64 Added: tamarin-prover/repos/community-staging-x86_64/ tamarin-prover/repos/community-staging-x86_64/PKGBUILD (from rev 434079,

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

2019-02-16 Thread Felix Yan via arch-commits
Date: Saturday, February 16, 2019 @ 21:52:48 Author: felixonmars Revision: 433874 archrelease: copy trunk to community-staging-x86_64 Added: tamarin-prover/repos/community-staging-x86_64/ tamarin-prover/repos/community-staging-x86_64/PKGBUILD (from rev 433873,

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

2019-02-15 Thread Felix Yan via arch-commits
Date: Friday, February 15, 2019 @ 21:34:32 Author: felixonmars Revision: 433089 archrelease: copy trunk to community-staging-x86_64 Added: tamarin-prover/repos/community-staging-x86_64/ tamarin-prover/repos/community-staging-x86_64/PKGBUILD (from rev 433088,

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

2019-02-11 Thread Felix Yan via arch-commits
Date: Monday, February 11, 2019 @ 22:26:25 Author: felixonmars Revision: 431812 archrelease: copy trunk to community-staging-x86_64 Added: tamarin-prover/repos/community-staging-x86_64/ tamarin-prover/repos/community-staging-x86_64/PKGBUILD (from rev 431811,

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

2019-02-10 Thread Felix Yan via arch-commits
Date: Sunday, February 10, 2019 @ 16:05:15 Author: felixonmars Revision: 431496 archrelease: copy trunk to community-staging-x86_64 Added: tamarin-prover/repos/community-staging-x86_64/ tamarin-prover/repos/community-staging-x86_64/PKGBUILD (from rev 431495,

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

2019-02-09 Thread Felix Yan via arch-commits
Date: Saturday, February 9, 2019 @ 20:45:54 Author: felixonmars Revision: 431034 archrelease: copy trunk to community-staging-x86_64 Added: tamarin-prover/repos/community-staging-x86_64/ tamarin-prover/repos/community-staging-x86_64/PKGBUILD (from rev 431033,

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

2019-02-08 Thread Felix Yan via arch-commits
Date: Friday, February 8, 2019 @ 11:39:36 Author: felixonmars Revision: 430648 archrelease: copy trunk to community-staging-x86_64 Added: tamarin-prover/repos/community-staging-x86_64/ tamarin-prover/repos/community-staging-x86_64/PKGBUILD (from rev 430647,

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

2019-02-07 Thread Felix Yan via arch-commits
Date: Thursday, February 7, 2019 @ 20:26:10 Author: felixonmars Revision: 430365 archrelease: copy trunk to community-staging-x86_64 Added: tamarin-prover/repos/community-staging-x86_64/ tamarin-prover/repos/community-staging-x86_64/PKGBUILD (from rev 430364,

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

2019-02-07 Thread Felix Yan via arch-commits
Date: Thursday, February 7, 2019 @ 15:43:32 Author: felixonmars Revision: 430093 archrelease: copy trunk to community-staging-x86_64 Added: tamarin-prover/repos/community-staging-x86_64/ tamarin-prover/repos/community-staging-x86_64/PKGBUILD (from rev 430092,

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

2019-02-03 Thread Felix Yan via arch-commits
Date: Sunday, February 3, 2019 @ 09:23:29 Author: felixonmars Revision: 429389 archrelease: copy trunk to community-staging-x86_64 Added: tamarin-prover/repos/community-staging-x86_64/ tamarin-prover/repos/community-staging-x86_64/PKGBUILD (from rev 429388,

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

2019-02-01 Thread Felix Yan via arch-commits
Date: Friday, February 1, 2019 @ 09:24:39 Author: felixonmars Revision: 429000 archrelease: copy trunk to community-staging-x86_64 Added: tamarin-prover/repos/community-staging-x86_64/ tamarin-prover/repos/community-staging-x86_64/PKGBUILD (from rev 428999,

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

2019-01-30 Thread Felix Yan via arch-commits
Date: Wednesday, January 30, 2019 @ 11:15:48 Author: felixonmars Revision: 428570 archrelease: copy trunk to community-staging-x86_64 Added: tamarin-prover/repos/community-staging-x86_64/ tamarin-prover/repos/community-staging-x86_64/PKGBUILD (from rev 428569,

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

2019-01-26 Thread Felix Yan via arch-commits
Date: Saturday, January 26, 2019 @ 09:36:17 Author: felixonmars Revision: 428029 archrelease: copy trunk to community-staging-x86_64 Added: tamarin-prover/repos/community-staging-x86_64/ tamarin-prover/repos/community-staging-x86_64/PKGBUILD (from rev 428028,

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

2019-01-25 Thread Felix Yan via arch-commits
Date: Friday, January 25, 2019 @ 15:04:12 Author: felixonmars Revision: 427819 archrelease: copy trunk to community-staging-x86_64 Added: tamarin-prover/repos/community-staging-x86_64/ tamarin-prover/repos/community-staging-x86_64/PKGBUILD (from rev 427818,

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

2019-01-24 Thread Felix Yan via arch-commits
Date: Thursday, January 24, 2019 @ 23:30:34 Author: felixonmars Revision: 427658 archrelease: copy trunk to community-staging-x86_64 Added: tamarin-prover/repos/community-staging-x86_64/ tamarin-prover/repos/community-staging-x86_64/PKGBUILD (from rev 427657,

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

2019-01-24 Thread Felix Yan via arch-commits
Date: Thursday, January 24, 2019 @ 11:14:20 Author: felixonmars Revision: 427511 archrelease: copy trunk to community-staging-x86_64 Added: tamarin-prover/repos/community-staging-x86_64/ tamarin-prover/repos/community-staging-x86_64/PKGBUILD (from rev 427510,

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

2019-01-23 Thread Felix Yan via arch-commits
Date: Wednesday, January 23, 2019 @ 21:29:15 Author: felixonmars Revision: 427411 archrelease: copy trunk to community-staging-x86_64 Added: tamarin-prover/repos/community-staging-x86_64/ tamarin-prover/repos/community-staging-x86_64/PKGBUILD (from rev 427410,

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

2019-01-22 Thread Felix Yan via arch-commits
Date: Wednesday, January 23, 2019 @ 06:53:34 Author: felixonmars Revision: 427167 archrelease: copy trunk to community-staging-x86_64 Added: tamarin-prover/repos/community-staging-x86_64/ tamarin-prover/repos/community-staging-x86_64/PKGBUILD (from rev 427166,

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

2019-01-22 Thread Felix Yan via arch-commits
Date: Tuesday, January 22, 2019 @ 11:39:00 Author: felixonmars Revision: 426977 archrelease: copy trunk to community-staging-x86_64 Added: tamarin-prover/repos/community-staging-x86_64/ tamarin-prover/repos/community-staging-x86_64/PKGBUILD (from rev 426976,

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

2019-01-21 Thread Felix Yan via arch-commits
Date: Tuesday, January 22, 2019 @ 07:53:43 Author: felixonmars Revision: 426863 archrelease: copy trunk to community-staging-x86_64 Added: tamarin-prover/repos/community-staging-x86_64/ tamarin-prover/repos/community-staging-x86_64/PKGBUILD (from rev 426862,

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

2019-01-21 Thread Felix Yan via arch-commits
Date: Monday, January 21, 2019 @ 20:04:38 Author: felixonmars Revision: 426754 archrelease: copy trunk to community-staging-x86_64 Added: tamarin-prover/repos/community-staging-x86_64/ tamarin-prover/repos/community-staging-x86_64/PKGBUILD (from rev 426753,

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

2019-01-21 Thread Felix Yan via arch-commits
Date: Monday, January 21, 2019 @ 17:39:17 Author: felixonmars Revision: 426247 archrelease: copy trunk to community-staging-x86_64 Added: tamarin-prover/repos/community-staging-x86_64/ tamarin-prover/repos/community-staging-x86_64/PKGBUILD (from rev 426246,

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

2019-01-20 Thread Felix Yan via arch-commits
Date: Sunday, January 20, 2019 @ 15:39:53 Author: felixonmars Revision: 425256 archrelease: copy trunk to community-staging-x86_64 Added: tamarin-prover/repos/community-staging-x86_64/ tamarin-prover/repos/community-staging-x86_64/PKGBUILD (from rev 425255,

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

2019-01-20 Thread Felix Yan via arch-commits
Date: Sunday, January 20, 2019 @ 11:19:29 Author: felixonmars Revision: 425039 archrelease: copy trunk to community-staging-x86_64 Added: tamarin-prover/repos/community-staging-x86_64/ tamarin-prover/repos/community-staging-x86_64/PKGBUILD (from rev 425038,

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

2019-01-19 Thread Felix Yan via arch-commits
Date: Sunday, January 20, 2019 @ 00:10:06 Author: felixonmars Revision: 424968 archrelease: copy trunk to community-staging-x86_64 Added: tamarin-prover/repos/community-staging-x86_64/ tamarin-prover/repos/community-staging-x86_64/PKGBUILD (from rev 424967,

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

2019-01-19 Thread Felix Yan via arch-commits
Date: Saturday, January 19, 2019 @ 13:51:02 Author: felixonmars Revision: 424638 archrelease: copy trunk to community-staging-x86_64 Added: tamarin-prover/repos/community-staging-x86_64/ tamarin-prover/repos/community-staging-x86_64/PKGBUILD (from rev 424637,

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

2019-01-18 Thread Felix Yan via arch-commits
Date: Friday, January 18, 2019 @ 14:59:32 Author: felixonmars Revision: 424144 archrelease: copy trunk to community-staging-x86_64 Added: tamarin-prover/repos/community-staging-x86_64/ tamarin-prover/repos/community-staging-x86_64/PKGBUILD (from rev 424143,

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

2019-01-17 Thread Felix Yan via arch-commits
Date: Thursday, January 17, 2019 @ 21:11:11 Author: felixonmars Revision: 423954 archrelease: copy trunk to community-staging-x86_64 Added: tamarin-prover/repos/community-staging-x86_64/ tamarin-prover/repos/community-staging-x86_64/PKGBUILD (from rev 423953,

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

2019-01-10 Thread Felix Yan via arch-commits
Date: Thursday, January 10, 2019 @ 19:02:51 Author: felixonmars Revision: 422039 archrelease: copy trunk to community-staging-x86_64 Added: tamarin-prover/repos/community-staging-x86_64/ tamarin-prover/repos/community-staging-x86_64/PKGBUILD (from rev 422038,

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

2019-01-10 Thread Felix Yan via arch-commits
Date: Thursday, January 10, 2019 @ 13:34:42 Author: felixonmars Revision: 421723 archrelease: copy trunk to community-staging-x86_64 Added: tamarin-prover/repos/community-staging-x86_64/ tamarin-prover/repos/community-staging-x86_64/PKGBUILD (from rev 421722,

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

2019-01-09 Thread Felix Yan via arch-commits
Date: Wednesday, January 9, 2019 @ 14:28:30 Author: felixonmars Revision: 421231 archrelease: copy trunk to community-staging-x86_64 Added: tamarin-prover/repos/community-staging-x86_64/ tamarin-prover/repos/community-staging-x86_64/PKGBUILD (from rev 421230,

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

2018-12-31 Thread Felix Yan via arch-commits
Date: Monday, December 31, 2018 @ 19:03:21 Author: felixonmars Revision: 420092 archrelease: copy trunk to community-staging-x86_64 Added: tamarin-prover/repos/community-staging-x86_64/ tamarin-prover/repos/community-staging-x86_64/PKGBUILD (from rev 420091,

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

2018-12-30 Thread Felix Yan via arch-commits
Date: Sunday, December 30, 2018 @ 23:47:27 Author: felixonmars Revision: 419924 archrelease: copy trunk to community-staging-x86_64 Added: tamarin-prover/repos/community-staging-x86_64/ tamarin-prover/repos/community-staging-x86_64/PKGBUILD (from rev 419923,

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

2018-12-30 Thread Felix Yan via arch-commits
Date: Sunday, December 30, 2018 @ 20:38:37 Author: felixonmars Revision: 419692 archrelease: copy trunk to community-staging-x86_64 Added: tamarin-prover/repos/community-staging-x86_64/ tamarin-prover/repos/community-staging-x86_64/PKGBUILD (from rev 419691,

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

2018-12-30 Thread Felix Yan via arch-commits
Date: Sunday, December 30, 2018 @ 17:29:43 Author: felixonmars Revision: 419397 archrelease: copy trunk to community-staging-x86_64 Added: tamarin-prover/repos/community-staging-x86_64/ tamarin-prover/repos/community-staging-x86_64/PKGBUILD (from rev 419396,

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

2018-12-28 Thread Felix Yan via arch-commits
Date: Friday, December 28, 2018 @ 20:54:36 Author: felixonmars Revision: 418780 archrelease: copy trunk to community-staging-x86_64 Added: tamarin-prover/repos/community-staging-x86_64/ tamarin-prover/repos/community-staging-x86_64/PKGBUILD (from rev 418779,

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

2018-12-28 Thread Felix Yan via arch-commits
Date: Friday, December 28, 2018 @ 16:31:13 Author: felixonmars Revision: 418688 archrelease: copy trunk to community-staging-x86_64 Added: tamarin-prover/repos/community-staging-x86_64/ tamarin-prover/repos/community-staging-x86_64/PKGBUILD (from rev 418687,

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

2018-12-26 Thread Felix Yan via arch-commits
Date: Thursday, December 27, 2018 @ 06:39:12 Author: felixonmars Revision: 418443 archrelease: copy trunk to community-staging-x86_64 Added: tamarin-prover/repos/community-staging-x86_64/ tamarin-prover/repos/community-staging-x86_64/PKGBUILD (from rev 418442,

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

2018-12-25 Thread Felix Yan via arch-commits
Date: Tuesday, December 25, 2018 @ 12:55:44 Author: felixonmars Revision: 418010 archrelease: copy trunk to community-staging-x86_64 Added: tamarin-prover/repos/community-staging-x86_64/ tamarin-prover/repos/community-staging-x86_64/PKGBUILD (from rev 418009,

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

2018-12-23 Thread Felix Yan via arch-commits
Date: Monday, December 24, 2018 @ 07:52:03 Author: felixonmars Revision: 417782 archrelease: copy trunk to community-staging-x86_64 Added: tamarin-prover/repos/community-staging-x86_64/ tamarin-prover/repos/community-staging-x86_64/PKGBUILD (from rev 417781,

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

2018-12-21 Thread Felix Yan via arch-commits
Date: Friday, December 21, 2018 @ 14:19:39 Author: felixonmars Revision: 417319 archrelease: copy trunk to community-staging-x86_64 Added: tamarin-prover/repos/community-staging-x86_64/ tamarin-prover/repos/community-staging-x86_64/PKGBUILD (from rev 417318,

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

2018-12-21 Thread Felix Yan via arch-commits
Date: Friday, December 21, 2018 @ 11:11:23 Author: felixonmars Revision: 417134 archrelease: copy trunk to community-staging-x86_64 Added: tamarin-prover/repos/community-staging-x86_64/ tamarin-prover/repos/community-staging-x86_64/PKGBUILD (from rev 417133,

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

2018-12-20 Thread Felix Yan via arch-commits
Date: Thursday, December 20, 2018 @ 13:27:32 Author: felixonmars Revision: 416972 archrelease: copy trunk to community-staging-x86_64 Added: tamarin-prover/repos/community-staging-x86_64/ tamarin-prover/repos/community-staging-x86_64/PKGBUILD (from rev 416971,

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

2018-12-13 Thread Felix Yan via arch-commits
Date: Thursday, December 13, 2018 @ 22:05:27 Author: felixonmars Revision: 416160 archrelease: copy trunk to community-staging-x86_64 Added: tamarin-prover/repos/community-staging-x86_64/ tamarin-prover/repos/community-staging-x86_64/PKGBUILD (from rev 416159,

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

2018-12-12 Thread Felix Yan via arch-commits
Date: Thursday, December 13, 2018 @ 01:25:53 Author: felixonmars Revision: 415964 archrelease: copy trunk to community-staging-x86_64 Added: tamarin-prover/repos/community-staging-x86_64/ tamarin-prover/repos/community-staging-x86_64/PKGBUILD (from rev 415963,

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

2018-12-12 Thread Felix Yan via arch-commits
Date: Wednesday, December 12, 2018 @ 20:54:01 Author: felixonmars Revision: 415777 archrelease: copy trunk to community-staging-x86_64 Added: tamarin-prover/repos/community-staging-x86_64/ tamarin-prover/repos/community-staging-x86_64/PKGBUILD (from rev 415776,

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

2018-12-11 Thread Felix Yan via arch-commits
Date: Tuesday, December 11, 2018 @ 17:57:25 Author: felixonmars Revision: 415473 archrelease: copy trunk to community-staging-x86_64 Added: tamarin-prover/repos/community-staging-x86_64/ tamarin-prover/repos/community-staging-x86_64/PKGBUILD (from rev 415472,

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

2018-12-10 Thread Felix Yan via arch-commits
Date: Monday, December 10, 2018 @ 20:51:31 Author: felixonmars Revision: 414502 archrelease: copy trunk to community-staging-x86_64 Added: tamarin-prover/repos/community-staging-x86_64/ tamarin-prover/repos/community-staging-x86_64/PKGBUILD (from rev 414501,

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

2018-12-08 Thread Felix Yan via arch-commits
Date: Saturday, December 8, 2018 @ 23:16:06 Author: felixonmars Revision: 412767 archrelease: copy trunk to community-staging-x86_64 Added: tamarin-prover/repos/community-staging-x86_64/ tamarin-prover/repos/community-staging-x86_64/PKGBUILD (from rev 412766,

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

2018-12-07 Thread Felix Yan via arch-commits
Date: Friday, December 7, 2018 @ 10:34:16 Author: felixonmars Revision: 412092 archrelease: copy trunk to community-staging-x86_64 Added: tamarin-prover/repos/community-staging-x86_64/ tamarin-prover/repos/community-staging-x86_64/PKGBUILD (from rev 412091,

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

2018-12-06 Thread Felix Yan via arch-commits
Date: Thursday, December 6, 2018 @ 18:14:30 Author: felixonmars Revision: 411911 archrelease: copy trunk to community-staging-x86_64 Added: tamarin-prover/repos/community-staging-x86_64/ tamarin-prover/repos/community-staging-x86_64/PKGBUILD (from rev 411909,

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

2018-12-05 Thread Felix Yan via arch-commits
Date: Wednesday, December 5, 2018 @ 13:11:21 Author: felixonmars Revision: 411435 archrelease: copy trunk to community-staging-x86_64 Added: tamarin-prover/repos/community-staging-x86_64/ tamarin-prover/repos/community-staging-x86_64/PKGBUILD (from rev 411434,

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

2018-12-03 Thread Felix Yan via arch-commits
Date: Monday, December 3, 2018 @ 12:34:00 Author: felixonmars Revision: 410957 archrelease: copy trunk to community-staging-x86_64 Added: tamarin-prover/repos/community-staging-x86_64/ tamarin-prover/repos/community-staging-x86_64/PKGBUILD (from rev 410956,

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

2018-11-27 Thread Felix Yan via arch-commits
Date: Tuesday, November 27, 2018 @ 22:57:15 Author: felixonmars Revision: 410243 archrelease: copy trunk to community-staging-x86_64 Added: tamarin-prover/repos/community-staging-x86_64/ tamarin-prover/repos/community-staging-x86_64/PKGBUILD (from rev 410242,

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

2018-11-22 Thread Felix Yan via arch-commits
Date: Thursday, November 22, 2018 @ 22:44:03 Author: felixonmars Revision: 409422 archrelease: copy trunk to community-staging-x86_64 Added: tamarin-prover/repos/community-staging-x86_64/ tamarin-prover/repos/community-staging-x86_64/PKGBUILD (from rev 409421,

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

2018-11-20 Thread Felix Yan via arch-commits
Date: Tuesday, November 20, 2018 @ 13:24:25 Author: felixonmars Revision: 409109 archrelease: copy trunk to community-staging-x86_64 Added: tamarin-prover/repos/community-staging-x86_64/ tamarin-prover/repos/community-staging-x86_64/PKGBUILD (from rev 409108,

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

2018-11-19 Thread Felix Yan via arch-commits
Date: Monday, November 19, 2018 @ 17:41:26 Author: felixonmars Revision: 408902 archrelease: copy trunk to community-staging-x86_64 Added: tamarin-prover/repos/community-staging-x86_64/ tamarin-prover/repos/community-staging-x86_64/PKGBUILD (from rev 408901,

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

2018-11-17 Thread Felix Yan via arch-commits
Date: Saturday, November 17, 2018 @ 13:15:21 Author: felixonmars Revision: 408543 archrelease: copy trunk to community-staging-x86_64 Added: tamarin-prover/repos/community-staging-x86_64/ tamarin-prover/repos/community-staging-x86_64/PKGBUILD (from rev 408542,

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

2018-11-16 Thread Felix Yan via arch-commits
Date: Friday, November 16, 2018 @ 14:27:01 Author: felixonmars Revision: 408261 archrelease: copy trunk to community-staging-x86_64 Added: tamarin-prover/repos/community-staging-x86_64/ tamarin-prover/repos/community-staging-x86_64/PKGBUILD (from rev 408260,

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

2018-11-14 Thread Felix Yan via arch-commits
Date: Wednesday, November 14, 2018 @ 23:09:21 Author: felixonmars Revision: 407605 archrelease: copy trunk to community-staging-x86_64 Added: tamarin-prover/repos/community-staging-x86_64/ tamarin-prover/repos/community-staging-x86_64/PKGBUILD (from rev 407604,

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

2018-11-14 Thread Felix Yan via arch-commits
Date: Wednesday, November 14, 2018 @ 12:13:42 Author: felixonmars Revision: 407374 archrelease: copy trunk to community-staging-x86_64 Added: tamarin-prover/repos/community-staging-x86_64/ tamarin-prover/repos/community-staging-x86_64/PKGBUILD (from rev 407373,

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

2018-11-07 Thread Felix Yan via arch-commits
Date: Wednesday, November 7, 2018 @ 20:45:06 Author: felixonmars Revision: 403193 archrelease: copy trunk to community-staging-x86_64 Added: tamarin-prover/repos/community-staging-x86_64/ tamarin-prover/repos/community-staging-x86_64/PKGBUILD (from rev 403192,

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

2018-11-03 Thread Felix Yan via arch-commits
Date: Sunday, November 4, 2018 @ 02:23:14 Author: felixonmars Revision: 401414 archrelease: copy trunk to community-staging-x86_64 Added: tamarin-prover/repos/community-staging-x86_64/ tamarin-prover/repos/community-staging-x86_64/PKGBUILD (from rev 401413,

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

2018-11-02 Thread Felix Yan via arch-commits
Date: Friday, November 2, 2018 @ 18:39:58 Author: felixonmars Revision: 401290 archrelease: copy trunk to community-staging-x86_64 Added: tamarin-prover/repos/community-staging-x86_64/ tamarin-prover/repos/community-staging-x86_64/PKGBUILD (from rev 401289,

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

2018-11-01 Thread Felix Yan via arch-commits
Date: Thursday, November 1, 2018 @ 07:11:09 Author: felixonmars Revision: 400989 archrelease: copy trunk to community-staging-x86_64 Added: tamarin-prover/repos/community-staging-x86_64/ tamarin-prover/repos/community-staging-x86_64/PKGBUILD (from rev 400988,

<    1   2   3   4   5   6   7   >