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

2018-06-14 Thread Felix Yan via arch-commits
Date: Thursday, June 14, 2018 @ 18:50:20 Author: felixonmars Revision: 343180 archrelease: copy trunk to community-staging-x86_64 Added: tamarin-prover/repos/community-staging-x86_64/ tamarin-prover/repos/community-staging-x86_64/PKGBUILD (from rev 343179,

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

2018-06-12 Thread Felix Yan via arch-commits
Date: Tuesday, June 12, 2018 @ 22:12:00 Author: felixonmars Revision: 342790 archrelease: copy trunk to community-staging-x86_64 Added: tamarin-prover/repos/community-staging-x86_64/ tamarin-prover/repos/community-staging-x86_64/PKGBUILD (from rev 342789,

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

2018-06-12 Thread Felix Yan via arch-commits
Date: Tuesday, June 12, 2018 @ 18:46:53 Author: felixonmars Revision: 342633 archrelease: copy trunk to community-staging-x86_64 Added: tamarin-prover/repos/community-staging-x86_64/ tamarin-prover/repos/community-staging-x86_64/PKGBUILD (from rev 342632,

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

2018-06-07 Thread Felix Yan via arch-commits
Date: Thursday, June 7, 2018 @ 12:18:39 Author: felixonmars Revision: 341814 archrelease: copy trunk to community-staging-x86_64 Added: tamarin-prover/repos/community-staging-x86_64/ tamarin-prover/repos/community-staging-x86_64/PKGBUILD (from rev 341813,

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

2018-06-07 Thread Felix Yan via arch-commits
Date: Thursday, June 7, 2018 @ 11:35:50 Author: felixonmars Revision: 341772 archrelease: copy trunk to community-staging-x86_64 Added: tamarin-prover/repos/community-staging-x86_64/ tamarin-prover/repos/community-staging-x86_64/PKGBUILD (from rev 341771,

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

2018-06-06 Thread Felix Yan via arch-commits
Date: Wednesday, June 6, 2018 @ 17:18:20 Author: felixonmars Revision: 341398 archrelease: copy trunk to community-staging-x86_64 Added: tamarin-prover/repos/community-staging-x86_64/ tamarin-prover/repos/community-staging-x86_64/PKGBUILD (from rev 341397,

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

2018-06-06 Thread Felix Yan via arch-commits
Date: Wednesday, June 6, 2018 @ 09:23:40 Author: felixonmars Revision: 340996 archrelease: copy trunk to community-staging-x86_64 Added: tamarin-prover/repos/community-staging-x86_64/ tamarin-prover/repos/community-staging-x86_64/PKGBUILD (from rev 340995,

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

2018-06-03 Thread Felix Yan via arch-commits
Date: Sunday, June 3, 2018 @ 15:19:58 Author: felixonmars Revision: 339169 archrelease: copy trunk to community-staging-x86_64 Added: tamarin-prover/repos/community-staging-x86_64/ tamarin-prover/repos/community-staging-x86_64/PKGBUILD (from rev 339168,

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

2018-06-02 Thread Felix Yan via arch-commits
Date: Saturday, June 2, 2018 @ 19:16:43 Author: felixonmars Revision: 338073 archrelease: copy trunk to community-staging-x86_64 Added: tamarin-prover/repos/community-staging-x86_64/ tamarin-prover/repos/community-staging-x86_64/PKGBUILD (from rev 338072,

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

2018-06-01 Thread Felix Yan via arch-commits
Date: Friday, June 1, 2018 @ 16:04:12 Author: felixonmars Revision: 336227 archrelease: copy trunk to community-staging-x86_64 Added: tamarin-prover/repos/community-staging-x86_64/ tamarin-prover/repos/community-staging-x86_64/PKGBUILD (from rev 336226,

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

2018-05-31 Thread Felix Yan via arch-commits
Date: Thursday, May 31, 2018 @ 09:23:57 Author: felixonmars Revision: 334688 archrelease: copy trunk to community-staging-x86_64 Added: tamarin-prover/repos/community-staging-x86_64/ tamarin-prover/repos/community-staging-x86_64/PKGBUILD (from rev 334687,

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

2018-05-31 Thread Felix Yan via arch-commits
Date: Thursday, May 31, 2018 @ 06:16:09 Author: felixonmars Revision: 334217 archrelease: copy trunk to community-staging-x86_64 Added: tamarin-prover/repos/community-staging-x86_64/ tamarin-prover/repos/community-staging-x86_64/PKGBUILD (from rev 334216,

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

2018-05-28 Thread Felix Yan via arch-commits
Date: Monday, May 28, 2018 @ 14:27:48 Author: felixonmars Revision: 332695 archrelease: copy trunk to community-staging-x86_64 Added: tamarin-prover/repos/community-staging-x86_64/ tamarin-prover/repos/community-staging-x86_64/PKGBUILD (from rev 332694,

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

2018-05-27 Thread Felix Yan via arch-commits
Date: Sunday, May 27, 2018 @ 19:17:11 Author: felixonmars Revision: 332076 archrelease: copy trunk to community-staging-x86_64 Added: tamarin-prover/repos/community-staging-x86_64/ tamarin-prover/repos/community-staging-x86_64/PKGBUILD (from rev 332075,

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

2018-05-27 Thread Felix Yan via arch-commits
Date: Sunday, May 27, 2018 @ 07:39:26 Author: felixonmars Revision: 331411 archrelease: copy trunk to community-staging-x86_64 Added: tamarin-prover/repos/community-staging-x86_64/ tamarin-prover/repos/community-staging-x86_64/PKGBUILD (from rev 331410,

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

2018-05-25 Thread Felix Yan via arch-commits
Date: Saturday, May 26, 2018 @ 04:24:39 Author: felixonmars Revision: 329670 archrelease: copy trunk to community-staging-x86_64 Added: tamarin-prover/repos/community-staging-x86_64/ tamarin-prover/repos/community-staging-x86_64/PKGBUILD (from rev 329669,

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

2018-05-24 Thread Felix Yan via arch-commits
Date: Thursday, May 24, 2018 @ 15:46:43 Author: felixonmars Revision: 328796 archrelease: copy trunk to community-staging-x86_64 Added: tamarin-prover/repos/community-staging-x86_64/ tamarin-prover/repos/community-staging-x86_64/PKGBUILD (from rev 328795,

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

2018-05-23 Thread Felix Yan via arch-commits
Date: Wednesday, May 23, 2018 @ 17:12:53 Author: felixonmars Revision: 328376 archrelease: copy trunk to community-staging-x86_64 Added: tamarin-prover/repos/community-staging-x86_64/ tamarin-prover/repos/community-staging-x86_64/PKGBUILD (from rev 328375,

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

2018-05-23 Thread Felix Yan via arch-commits
Date: Wednesday, May 23, 2018 @ 09:40:15 Author: felixonmars Revision: 328165 archrelease: copy trunk to community-staging-x86_64 Added: tamarin-prover/repos/community-staging-x86_64/ tamarin-prover/repos/community-staging-x86_64/PKGBUILD (from rev 328164,

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

2018-05-22 Thread Felix Yan via arch-commits
Date: Tuesday, May 22, 2018 @ 18:11:43 Author: felixonmars Revision: 327736 archrelease: copy trunk to community-staging-x86_64 Added: tamarin-prover/repos/community-staging-x86_64/ tamarin-prover/repos/community-staging-x86_64/PKGBUILD (from rev 327735,

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

2018-05-19 Thread Felix Yan via arch-commits
Date: Saturday, May 19, 2018 @ 21:02:10 Author: felixonmars Revision: 324903 archrelease: copy trunk to community-staging-x86_64 Added: tamarin-prover/repos/community-staging-x86_64/ tamarin-prover/repos/community-staging-x86_64/PKGBUILD (from rev 324902,

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

2018-05-16 Thread Felix Yan via arch-commits
Date: Wednesday, May 16, 2018 @ 10:03:30 Author: felixonmars Revision: 322683 archrelease: copy trunk to community-staging-x86_64 Added: tamarin-prover/repos/community-staging-x86_64/ tamarin-prover/repos/community-staging-x86_64/PKGBUILD (from rev 322682,

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

2018-05-15 Thread Felix Yan via arch-commits
Date: Tuesday, May 15, 2018 @ 05:59:41 Author: felixonmars Revision: 322303 archrelease: copy trunk to community-staging-x86_64 Added: tamarin-prover/repos/community-staging-x86_64/ tamarin-prover/repos/community-staging-x86_64/PKGBUILD (from rev 322302,

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

2018-05-14 Thread Felix Yan via arch-commits
Date: Monday, May 14, 2018 @ 07:53:45 Author: felixonmars Revision: 321833 archrelease: copy trunk to community-staging-x86_64 Added: tamarin-prover/repos/community-staging-x86_64/ tamarin-prover/repos/community-staging-x86_64/PKGBUILD (from rev 321832,

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

2018-05-12 Thread Felix Yan via arch-commits
Date: Saturday, May 12, 2018 @ 21:32:51 Author: felixonmars Revision: 321424 archrelease: copy trunk to community-staging-x86_64 Added: tamarin-prover/repos/community-staging-x86_64/ tamarin-prover/repos/community-staging-x86_64/PKGBUILD (from rev 321423,

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

2018-05-11 Thread Felix Yan via arch-commits
Date: Friday, May 11, 2018 @ 18:00:17 Author: felixonmars Revision: 320867 archrelease: copy trunk to community-staging-x86_64 Added: tamarin-prover/repos/community-staging-x86_64/ tamarin-prover/repos/community-staging-x86_64/PKGBUILD (from rev 320866,

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

2018-05-11 Thread Felix Yan via arch-commits
Date: Friday, May 11, 2018 @ 07:21:18 Author: felixonmars Revision: 320555 archrelease: copy trunk to community-staging-x86_64 Added: tamarin-prover/repos/community-staging-x86_64/ tamarin-prover/repos/community-staging-x86_64/PKGBUILD (from rev 320554,

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

2018-05-10 Thread Felix Yan via arch-commits
Date: Thursday, May 10, 2018 @ 10:21:21 Author: felixonmars Revision: 320165 archrelease: copy trunk to community-staging-x86_64 Added: tamarin-prover/repos/community-staging-x86_64/ tamarin-prover/repos/community-staging-x86_64/PKGBUILD (from rev 320164,

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

2018-05-07 Thread Felix Yan via arch-commits
Date: Monday, May 7, 2018 @ 20:29:13 Author: felixonmars Revision: 319407 archrelease: copy trunk to community-staging-x86_64 Added: tamarin-prover/repos/community-staging-x86_64/ tamarin-prover/repos/community-staging-x86_64/PKGBUILD (from rev 319406,

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

2018-05-07 Thread Felix Yan via arch-commits
Date: Monday, May 7, 2018 @ 13:24:49 Author: felixonmars Revision: 319115 archrelease: copy trunk to community-staging-x86_64 Added: tamarin-prover/repos/community-staging-x86_64/ tamarin-prover/repos/community-staging-x86_64/PKGBUILD (from rev 319114,

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

2018-04-25 Thread Felix Yan via arch-commits
Date: Wednesday, April 25, 2018 @ 07:29:26 Author: felixonmars Revision: 317810 archrelease: copy trunk to community-staging-x86_64 Added: tamarin-prover/repos/community-staging-x86_64/ tamarin-prover/repos/community-staging-x86_64/PKGBUILD (from rev 317809,

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

2018-04-17 Thread Felix Yan via arch-commits
Date: Tuesday, April 17, 2018 @ 13:12:44 Author: felixonmars Revision: 316671 archrelease: copy trunk to community-staging-x86_64 Added: tamarin-prover/repos/community-staging-x86_64/ tamarin-prover/repos/community-staging-x86_64/PKGBUILD (from rev 316670,

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

2018-04-14 Thread Felix Yan via arch-commits
Date: Saturday, April 14, 2018 @ 19:47:37 Author: felixonmars Revision: 316316 archrelease: copy trunk to community-staging-x86_64 Added: tamarin-prover/repos/community-staging-x86_64/ tamarin-prover/repos/community-staging-x86_64/PKGBUILD (from rev 316315,

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

2018-04-12 Thread Felix Yan via arch-commits
Date: Thursday, April 12, 2018 @ 08:13:37 Author: felixonmars Revision: 316017 archrelease: copy trunk to community-staging-x86_64 Added: tamarin-prover/repos/community-staging-x86_64/ tamarin-prover/repos/community-staging-x86_64/PKGBUILD (from rev 316016,

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

2018-04-11 Thread Felix Yan via arch-commits
Date: Thursday, April 12, 2018 @ 05:41:15 Author: felixonmars Revision: 315906 archrelease: copy trunk to community-staging-x86_64 Added: tamarin-prover/repos/community-staging-x86_64/ tamarin-prover/repos/community-staging-x86_64/PKGBUILD (from rev 315905,

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

2018-04-08 Thread Felix Yan via arch-commits
Date: Sunday, April 8, 2018 @ 21:15:03 Author: felixonmars Revision: 315302 archrelease: copy trunk to community-staging-x86_64 Added: tamarin-prover/repos/community-staging-x86_64/ tamarin-prover/repos/community-staging-x86_64/PKGBUILD (from rev 315301,

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

2018-04-07 Thread Felix Yan via arch-commits
Date: Saturday, April 7, 2018 @ 08:29:50 Author: felixonmars Revision: 314787 archrelease: copy trunk to community-staging-x86_64 Added: tamarin-prover/repos/community-staging-x86_64/ tamarin-prover/repos/community-staging-x86_64/PKGBUILD (from rev 314786,

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

2018-04-04 Thread Felix Yan via arch-commits
Date: Wednesday, April 4, 2018 @ 19:17:58 Author: felixonmars Revision: 314241 archrelease: copy trunk to community-staging-x86_64 Added: tamarin-prover/repos/community-staging-x86_64/ tamarin-prover/repos/community-staging-x86_64/PKGBUILD (from rev 314240,

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

2018-03-26 Thread Felix Yan via arch-commits
Date: Monday, March 26, 2018 @ 17:15:39 Author: felixonmars Revision: 312724 archrelease: copy trunk to community-staging-x86_64 Added: tamarin-prover/repos/community-staging-x86_64/ tamarin-prover/repos/community-staging-x86_64/PKGBUILD (from rev 312723,

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

2018-03-25 Thread Felix Yan via arch-commits
Date: Sunday, March 25, 2018 @ 06:37:01 Author: felixonmars Revision: 312248 archrelease: copy trunk to community-staging-x86_64 Added: tamarin-prover/repos/community-staging-x86_64/ tamarin-prover/repos/community-staging-x86_64/PKGBUILD (from rev 312247,

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

2018-03-23 Thread Felix Yan via arch-commits
Date: Saturday, March 24, 2018 @ 04:07:50 Author: felixonmars Revision: 311717 archrelease: copy trunk to community-staging-x86_64 Added: tamarin-prover/repos/community-staging-x86_64/ tamarin-prover/repos/community-staging-x86_64/PKGBUILD (from rev 311716,

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

2018-03-23 Thread Felix Yan via arch-commits
Date: Friday, March 23, 2018 @ 16:22:07 Author: felixonmars Revision: 311474 archrelease: copy trunk to community-staging-x86_64 Added: tamarin-prover/repos/community-staging-x86_64/ tamarin-prover/repos/community-staging-x86_64/PKGBUILD (from rev 311473,

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

2018-03-22 Thread Felix Yan via arch-commits
Date: Thursday, March 22, 2018 @ 21:06:52 Author: felixonmars Revision: 310862 archrelease: copy trunk to community-staging-x86_64 Added: tamarin-prover/repos/community-staging-x86_64/ tamarin-prover/repos/community-staging-x86_64/PKGBUILD (from rev 310861,

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

2018-03-22 Thread Felix Yan via arch-commits
Date: Thursday, March 22, 2018 @ 11:49:27 Author: felixonmars Revision: 310482 archrelease: copy trunk to community-staging-x86_64 Added: tamarin-prover/repos/community-staging-x86_64/ tamarin-prover/repos/community-staging-x86_64/PKGBUILD (from rev 310481,

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

2018-03-21 Thread Felix Yan via arch-commits
Date: Wednesday, March 21, 2018 @ 17:41:50 Author: felixonmars Revision: 310048 archrelease: copy trunk to community-staging-x86_64 Added: tamarin-prover/repos/community-staging-x86_64/ tamarin-prover/repos/community-staging-x86_64/PKGBUILD (from rev 310047,

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

2018-03-20 Thread Felix Yan via arch-commits
Date: Tuesday, March 20, 2018 @ 19:51:42 Author: felixonmars Revision: 309706 archrelease: copy trunk to community-staging-x86_64 Added: tamarin-prover/repos/community-staging-x86_64/ tamarin-prover/repos/community-staging-x86_64/PKGBUILD (from rev 309705,

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

2018-03-20 Thread Felix Yan via arch-commits
Date: Tuesday, March 20, 2018 @ 07:13:15 Author: felixonmars Revision: 309482 archrelease: copy trunk to community-staging-x86_64 Added: tamarin-prover/repos/community-staging-x86_64/ tamarin-prover/repos/community-staging-x86_64/PKGBUILD (from rev 309481,

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

2018-03-19 Thread Felix Yan via arch-commits
Date: Tuesday, March 20, 2018 @ 05:57:06 Author: felixonmars Revision: 309372 archrelease: copy trunk to community-staging-x86_64 Added: tamarin-prover/repos/community-staging-x86_64/ tamarin-prover/repos/community-staging-x86_64/PKGBUILD (from rev 309371,

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

2018-03-18 Thread Felix Yan via arch-commits
Date: Sunday, March 18, 2018 @ 10:01:36 Author: felixonmars Revision: 309028 archrelease: copy trunk to community-staging-x86_64 Added: tamarin-prover/repos/community-staging-x86_64/ tamarin-prover/repos/community-staging-x86_64/PKGBUILD (from rev 309027,

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

2018-03-15 Thread Felix Yan via arch-commits
Date: Thursday, March 15, 2018 @ 14:55:10 Author: felixonmars Revision: 308559 archrelease: copy trunk to community-staging-x86_64 Added: tamarin-prover/repos/community-staging-x86_64/ tamarin-prover/repos/community-staging-x86_64/PKGBUILD (from rev 308558,

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

2018-03-15 Thread Felix Yan via arch-commits
Date: Thursday, March 15, 2018 @ 06:15:41 Author: felixonmars Revision: 308164 archrelease: copy trunk to community-staging-x86_64 Added: tamarin-prover/repos/community-staging-x86_64/ tamarin-prover/repos/community-staging-x86_64/PKGBUILD (from rev 308163,

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

2018-03-14 Thread Felix Yan via arch-commits
Date: Thursday, March 15, 2018 @ 01:38:09 Author: felixonmars Revision: 307882 archrelease: copy trunk to community-staging-x86_64 Added: tamarin-prover/repos/community-staging-x86_64/ tamarin-prover/repos/community-staging-x86_64/PKGBUILD (from rev 307881,

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

2018-03-14 Thread Felix Yan via arch-commits
Date: Thursday, March 15, 2018 @ 01:01:00 Author: felixonmars Revision: 307850 archrelease: copy trunk to community-staging-x86_64 Added: tamarin-prover/repos/community-staging-x86_64/ tamarin-prover/repos/community-staging-x86_64/PKGBUILD (from rev 307849,

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

2018-03-14 Thread Felix Yan via arch-commits
Date: Wednesday, March 14, 2018 @ 07:51:25 Author: felixonmars Revision: 307632 archrelease: copy trunk to community-staging-x86_64 Added: tamarin-prover/repos/community-staging-x86_64/ tamarin-prover/repos/community-staging-x86_64/PKGBUILD (from rev 307631,

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

2018-03-13 Thread Felix Yan via arch-commits
Date: Tuesday, March 13, 2018 @ 23:05:48 Author: felixonmars Revision: 307466 archrelease: copy trunk to community-staging-x86_64 Added: tamarin-prover/repos/community-staging-x86_64/ tamarin-prover/repos/community-staging-x86_64/PKGBUILD (from rev 307465,

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

2018-03-13 Thread Felix Yan via arch-commits
Date: Tuesday, March 13, 2018 @ 10:40:56 Author: felixonmars Revision: 307053 archrelease: copy trunk to community-staging-x86_64 Added: tamarin-prover/repos/community-staging-x86_64/ tamarin-prover/repos/community-staging-x86_64/PKGBUILD (from rev 307052,

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

2018-03-12 Thread Felix Yan via arch-commits
Date: Tuesday, March 13, 2018 @ 00:02:07 Author: felixonmars Revision: 306707 archrelease: copy trunk to community-staging-x86_64 Added: tamarin-prover/repos/community-staging-x86_64/ tamarin-prover/repos/community-staging-x86_64/PKGBUILD (from rev 306706,

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

2018-03-12 Thread Felix Yan via arch-commits
Date: Monday, March 12, 2018 @ 18:37:28 Author: felixonmars Revision: 306514 archrelease: copy trunk to community-staging-x86_64 Added: tamarin-prover/repos/community-staging-x86_64/ tamarin-prover/repos/community-staging-x86_64/PKGBUILD (from rev 306513,

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

2018-03-12 Thread Felix Yan via arch-commits
Date: Monday, March 12, 2018 @ 12:07:44 Author: felixonmars Revision: 306368 archrelease: copy trunk to community-staging-x86_64 Added: tamarin-prover/repos/community-staging-x86_64/ tamarin-prover/repos/community-staging-x86_64/PKGBUILD (from rev 306367,

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

2018-03-10 Thread Felix Yan via arch-commits
Date: Saturday, March 10, 2018 @ 08:12:34 Author: felixonmars Revision: 305764 archrelease: copy trunk to community-staging-x86_64 Added: tamarin-prover/repos/community-staging-x86_64/ tamarin-prover/repos/community-staging-x86_64/PKGBUILD (from rev 305763,

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

2018-03-09 Thread Felix Yan via arch-commits
Date: Friday, March 9, 2018 @ 09:01:17 Author: felixonmars Revision: 305142 archrelease: copy trunk to community-staging-x86_64 Added: tamarin-prover/repos/community-staging-x86_64/ tamarin-prover/repos/community-staging-x86_64/PKGBUILD (from rev 305141,

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

2018-03-08 Thread Felix Yan via arch-commits
Date: Thursday, March 8, 2018 @ 11:26:13 Author: felixonmars Revision: 304671 archrelease: copy trunk to community-staging-x86_64 Added: tamarin-prover/repos/community-staging-x86_64/ tamarin-prover/repos/community-staging-x86_64/PKGBUILD (from rev 304670,

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

2018-03-07 Thread Felix Yan via arch-commits
Date: Thursday, March 8, 2018 @ 02:28:41 Author: felixonmars Revision: 304199 archrelease: copy trunk to community-staging-x86_64 Added: tamarin-prover/repos/community-staging-x86_64/ tamarin-prover/repos/community-staging-x86_64/PKGBUILD (from rev 304198,

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

2018-03-07 Thread Felix Yan via arch-commits
Date: Wednesday, March 7, 2018 @ 13:33:03 Author: felixonmars Revision: 303855 archrelease: copy trunk to community-staging-x86_64 Added: tamarin-prover/repos/community-staging-x86_64/ tamarin-prover/repos/community-staging-x86_64/PKGBUILD (from rev 303854,

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

2018-03-06 Thread Felix Yan via arch-commits
Date: Tuesday, March 6, 2018 @ 15:55:14 Author: felixonmars Revision: 303124 archrelease: copy trunk to community-staging-x86_64 Added: tamarin-prover/repos/community-staging-x86_64/ tamarin-prover/repos/community-staging-x86_64/PKGBUILD (from rev 303123,

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

2018-03-05 Thread Felix Yan via arch-commits
Date: Monday, March 5, 2018 @ 15:36:08 Author: felixonmars Revision: 302794 archrelease: copy trunk to community-staging-x86_64 Added: tamarin-prover/repos/community-staging-x86_64/ tamarin-prover/repos/community-staging-x86_64/PKGBUILD (from rev 302793,

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

2018-03-03 Thread Felix Yan via arch-commits
Date: Saturday, March 3, 2018 @ 14:52:15 Author: felixonmars Revision: 302073 archrelease: copy trunk to community-staging-x86_64 Added: tamarin-prover/repos/community-staging-x86_64/ tamarin-prover/repos/community-staging-x86_64/PKGBUILD (from rev 302072,

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

2018-03-02 Thread Felix Yan via arch-commits
Date: Friday, March 2, 2018 @ 19:56:20 Author: felixonmars Revision: 301568 archrelease: copy trunk to community-staging-x86_64 Added: tamarin-prover/repos/community-staging-x86_64/ tamarin-prover/repos/community-staging-x86_64/PKGBUILD (from rev 301567,

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

2018-03-01 Thread Felix Yan via arch-commits
Date: Thursday, March 1, 2018 @ 18:29:04 Author: felixonmars Revision: 301067 archrelease: copy trunk to community-staging-x86_64 Added: tamarin-prover/repos/community-staging-x86_64/ tamarin-prover/repos/community-staging-x86_64/PKGBUILD (from rev 301066,

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

2018-02-28 Thread Felix Yan via arch-commits
Date: Thursday, March 1, 2018 @ 06:39:05 Author: felixonmars Revision: 300897 archrelease: copy trunk to community-staging-x86_64 Added: tamarin-prover/repos/community-staging-x86_64/ tamarin-prover/repos/community-staging-x86_64/PKGBUILD (from rev 300896,

<    2   3   4   5   6   7