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

2020-11-16 Thread Felix Yan via arch-commits
Date: Monday, November 16, 2020 @ 16:29:23 Author: felixonmars Revision: 755394 archrelease: copy trunk to community-staging-x86_64 Added: haskell-tamarin-prover-term/repos/community-staging-x86_64/ haskell-tamarin-prover-term/repos/community-staging-x86_64/PKGBUILD (from rev

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

2020-11-07 Thread Felix Yan via arch-commits
Date: Saturday, November 7, 2020 @ 10:48:56 Author: felixonmars Revision: 745651 archrelease: copy trunk to community-staging-x86_64 Added: haskell-tamarin-prover-term/repos/community-staging-x86_64/ haskell-tamarin-prover-term/repos/community-staging-x86_64/PKGBUILD (from rev

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

2020-11-06 Thread Felix Yan via arch-commits
Date: Friday, November 6, 2020 @ 11:33:45 Author: felixonmars Revision: 744021 archrelease: copy trunk to community-staging-x86_64 Added: haskell-tamarin-prover-term/repos/community-staging-x86_64/ haskell-tamarin-prover-term/repos/community-staging-x86_64/PKGBUILD (from rev

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

2020-11-02 Thread Felix Yan via arch-commits
Date: Monday, November 2, 2020 @ 14:54:45 Author: felixonmars Revision: 739812 archrelease: copy trunk to community-staging-x86_64 Added: haskell-tamarin-prover-term/repos/community-staging-x86_64/ haskell-tamarin-prover-term/repos/community-staging-x86_64/PKGBUILD (from rev

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

2020-10-31 Thread Felix Yan via arch-commits
Date: Saturday, October 31, 2020 @ 14:15:40 Author: felixonmars Revision: 737715 archrelease: copy trunk to community-staging-x86_64 Added: haskell-tamarin-prover-term/repos/community-staging-x86_64/ haskell-tamarin-prover-term/repos/community-staging-x86_64/PKGBUILD (from rev

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

2020-10-27 Thread Felix Yan via arch-commits
Date: Tuesday, October 27, 2020 @ 19:25:52 Author: felixonmars Revision: 734914 archrelease: copy trunk to community-staging-x86_64 Added: haskell-tamarin-prover-term/repos/community-staging-x86_64/ haskell-tamarin-prover-term/repos/community-staging-x86_64/PKGBUILD (from rev

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

2020-10-25 Thread Felix Yan via arch-commits
Date: Sunday, October 25, 2020 @ 20:50:44 Author: felixonmars Revision: 732984 archrelease: copy trunk to community-staging-x86_64 Added: haskell-tamarin-prover-term/repos/community-staging-x86_64/ haskell-tamarin-prover-term/repos/community-staging-x86_64/PKGBUILD (from rev

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

2020-10-21 Thread Felix Yan via arch-commits
Date: Wednesday, October 21, 2020 @ 19:41:05 Author: felixonmars Revision: 728301 archrelease: copy trunk to community-staging-x86_64 Added: haskell-tamarin-prover-term/repos/community-staging-x86_64/ haskell-tamarin-prover-term/repos/community-staging-x86_64/PKGBUILD (from rev

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

2020-10-16 Thread Felix Yan via arch-commits
Date: Friday, October 16, 2020 @ 21:44:49 Author: felixonmars Revision: 725079 archrelease: copy trunk to community-staging-x86_64 Added: haskell-tamarin-prover-term/repos/community-staging-x86_64/ haskell-tamarin-prover-term/repos/community-staging-x86_64/PKGBUILD (from rev

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

2020-10-06 Thread Felix Yan via arch-commits
Date: Wednesday, October 7, 2020 @ 00:31:13 Author: felixonmars Revision: 720071 archrelease: copy trunk to community-staging-x86_64 Added: haskell-tamarin-prover-term/repos/community-staging-x86_64/ haskell-tamarin-prover-term/repos/community-staging-x86_64/PKGBUILD (from rev

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

2020-10-03 Thread Felix Yan via arch-commits
Date: Sunday, October 4, 2020 @ 00:07:27 Author: felixonmars Revision: 717085 archrelease: copy trunk to community-staging-x86_64 Added: haskell-tamarin-prover-term/repos/community-staging-x86_64/ haskell-tamarin-prover-term/repos/community-staging-x86_64/PKGBUILD (from rev 717084,

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

2020-10-01 Thread Felix Yan via arch-commits
Date: Friday, October 2, 2020 @ 00:42:17 Author: felixonmars Revision: 714815 archrelease: copy trunk to community-staging-x86_64 Added: haskell-tamarin-prover-term/repos/community-staging-x86_64/ haskell-tamarin-prover-term/repos/community-staging-x86_64/PKGBUILD (from rev 714814,

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

2020-09-17 Thread Felix Yan via arch-commits
Date: Thursday, September 17, 2020 @ 19:55:51 Author: felixonmars Revision: 709236 archrelease: copy trunk to community-staging-x86_64 Added: haskell-tamarin-prover-term/repos/community-staging-x86_64/ haskell-tamarin-prover-term/repos/community-staging-x86_64/PKGBUILD (from rev

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

2020-09-16 Thread Felix Yan via arch-commits
Date: Wednesday, September 16, 2020 @ 14:40:04 Author: felixonmars Revision: 708071 archrelease: copy trunk to community-staging-x86_64 Added: haskell-tamarin-prover-term/repos/community-staging-x86_64/ haskell-tamarin-prover-term/repos/community-staging-x86_64/PKGBUILD (from rev

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

2020-09-14 Thread Felix Yan via arch-commits
Date: Monday, September 14, 2020 @ 20:07:47 Author: felixonmars Revision: 706527 archrelease: copy trunk to community-staging-x86_64 Added: haskell-tamarin-prover-term/repos/community-staging-x86_64/ haskell-tamarin-prover-term/repos/community-staging-x86_64/PKGBUILD (from rev

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

2020-09-12 Thread Felix Yan via arch-commits
Date: Saturday, September 12, 2020 @ 16:44:58 Author: felixonmars Revision: 704339 archrelease: copy trunk to community-staging-x86_64 Added: haskell-tamarin-prover-term/repos/community-staging-x86_64/ haskell-tamarin-prover-term/repos/community-staging-x86_64/PKGBUILD (from rev

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

2020-09-10 Thread Felix Yan via arch-commits
Date: Thursday, September 10, 2020 @ 18:46:34 Author: felixonmars Revision: 702180 archrelease: copy trunk to community-staging-x86_64 Added: haskell-tamarin-prover-term/repos/community-staging-x86_64/ haskell-tamarin-prover-term/repos/community-staging-x86_64/PKGBUILD (from rev

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

2020-09-07 Thread Felix Yan via arch-commits
Date: Monday, September 7, 2020 @ 13:44:47 Author: felixonmars Revision: 699801 archrelease: copy trunk to community-staging-x86_64 Added: haskell-tamarin-prover-term/repos/community-staging-x86_64/ haskell-tamarin-prover-term/repos/community-staging-x86_64/PKGBUILD (from rev

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

2020-09-02 Thread Felix Yan via arch-commits
Date: Wednesday, September 2, 2020 @ 19:35:54 Author: felixonmars Revision: 696903 archrelease: copy trunk to community-staging-x86_64 Added: haskell-tamarin-prover-term/repos/community-staging-x86_64/ haskell-tamarin-prover-term/repos/community-staging-x86_64/PKGBUILD (from rev

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

2020-08-30 Thread Felix Yan via arch-commits
Date: Monday, August 31, 2020 @ 05:13:35 Author: felixonmars Revision: 693623 archrelease: copy trunk to community-staging-x86_64 Added: haskell-tamarin-prover-term/repos/community-staging-x86_64/ haskell-tamarin-prover-term/repos/community-staging-x86_64/PKGBUILD (from rev 693622,

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

2020-08-28 Thread Felix Yan via arch-commits
Date: Friday, August 28, 2020 @ 11:54:08 Author: felixonmars Revision: 690613 archrelease: copy trunk to community-staging-x86_64 Added: haskell-tamarin-prover-term/repos/community-staging-x86_64/ haskell-tamarin-prover-term/repos/community-staging-x86_64/PKGBUILD (from rev 690612,

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

2020-08-25 Thread Felix Yan via arch-commits
Date: Tuesday, August 25, 2020 @ 14:23:07 Author: felixonmars Revision: 688306 archrelease: copy trunk to community-staging-x86_64 Added: haskell-tamarin-prover-term/repos/community-staging-x86_64/ haskell-tamarin-prover-term/repos/community-staging-x86_64/PKGBUILD (from rev

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

2020-08-23 Thread Felix Yan via arch-commits
Date: Sunday, August 23, 2020 @ 07:29:42 Author: felixonmars Revision: 686945 archrelease: copy trunk to community-staging-x86_64 Added: haskell-tamarin-prover-term/repos/community-staging-x86_64/ haskell-tamarin-prover-term/repos/community-staging-x86_64/PKGBUILD (from rev 686944,

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

2020-08-21 Thread Felix Yan via arch-commits
Date: Friday, August 21, 2020 @ 08:45:55 Author: felixonmars Revision: 685834 archrelease: copy trunk to community-staging-x86_64 Added: haskell-tamarin-prover-term/repos/community-staging-x86_64/ haskell-tamarin-prover-term/repos/community-staging-x86_64/PKGBUILD (from rev 685833,

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

2020-08-17 Thread Felix Yan via arch-commits
Date: Monday, August 17, 2020 @ 20:03:59 Author: felixonmars Revision: 683175 archrelease: copy trunk to community-staging-x86_64 Added: haskell-tamarin-prover-term/repos/community-staging-x86_64/ haskell-tamarin-prover-term/repos/community-staging-x86_64/PKGBUILD (from rev 683174,

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

2020-08-15 Thread Felix Yan via arch-commits
Date: Saturday, August 15, 2020 @ 22:18:44 Author: felixonmars Revision: 680183 archrelease: copy trunk to community-staging-x86_64 Added: haskell-tamarin-prover-term/repos/community-staging-x86_64/ haskell-tamarin-prover-term/repos/community-staging-x86_64/PKGBUILD (from rev

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

2020-08-13 Thread Felix Yan via arch-commits
Date: Thursday, August 13, 2020 @ 17:06:56 Author: felixonmars Revision: 677711 archrelease: copy trunk to community-staging-x86_64 Added: haskell-tamarin-prover-term/repos/community-staging-x86_64/ haskell-tamarin-prover-term/repos/community-staging-x86_64/PKGBUILD (from rev

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

2020-08-11 Thread Felix Yan via arch-commits
Date: Tuesday, August 11, 2020 @ 21:55:19 Author: felixonmars Revision: 674981 archrelease: copy trunk to community-staging-x86_64 Added: haskell-tamarin-prover-term/repos/community-staging-x86_64/ haskell-tamarin-prover-term/repos/community-staging-x86_64/PKGBUILD (from rev

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

2020-07-31 Thread Felix Yan via arch-commits
Date: Friday, July 31, 2020 @ 23:31:03 Author: felixonmars Revision: 666755 archrelease: copy trunk to community-staging-x86_64 Added: haskell-tamarin-prover-term/repos/community-staging-x86_64/ haskell-tamarin-prover-term/repos/community-staging-x86_64/PKGBUILD (from rev 666754,

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

2020-06-28 Thread Felix Yan via arch-commits
Date: Sunday, June 28, 2020 @ 23:05:25 Author: felixonmars Revision: 655610 archrelease: copy trunk to community-staging-x86_64 Added: haskell-tamarin-prover-term/repos/community-staging-x86_64/ haskell-tamarin-prover-term/repos/community-staging-x86_64/PKGBUILD (from rev 655609,

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

2020-06-23 Thread Felix Yan via arch-commits
Date: Tuesday, June 23, 2020 @ 22:38:29 Author: felixonmars Revision: 651805 archrelease: copy trunk to community-staging-x86_64 Added: haskell-tamarin-prover-term/repos/community-staging-x86_64/ haskell-tamarin-prover-term/repos/community-staging-x86_64/PKGBUILD (from rev 651804,

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

2020-06-13 Thread Felix Yan via arch-commits
Date: Saturday, June 13, 2020 @ 23:18:24 Author: felixonmars Revision: 643401 archrelease: copy trunk to community-staging-x86_64 Added: haskell-tamarin-prover-term/repos/community-staging-x86_64/ haskell-tamarin-prover-term/repos/community-staging-x86_64/PKGBUILD (from rev 643400,

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

2020-05-24 Thread Felix Yan via arch-commits
Date: Monday, May 25, 2020 @ 03:44:12 Author: felixonmars Revision: 633745 archrelease: copy trunk to community-staging-x86_64 Added: haskell-tamarin-prover-term/repos/community-staging-x86_64/ haskell-tamarin-prover-term/repos/community-staging-x86_64/PKGBUILD (from rev 633744,

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

2020-05-23 Thread Felix Yan via arch-commits
Date: Saturday, May 23, 2020 @ 16:28:32 Author: felixonmars Revision: 632197 archrelease: copy trunk to community-staging-x86_64 Added: haskell-tamarin-prover-term/repos/community-staging-x86_64/ haskell-tamarin-prover-term/repos/community-staging-x86_64/PKGBUILD (from rev 632196,

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

2020-05-22 Thread Felix Yan via arch-commits
Date: Saturday, May 23, 2020 @ 02:01:55 Author: felixonmars Revision: 631758 archrelease: copy trunk to community-staging-x86_64 Added: haskell-tamarin-prover-term/repos/community-staging-x86_64/ haskell-tamarin-prover-term/repos/community-staging-x86_64/PKGBUILD (from rev 631757,

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

2020-05-20 Thread Felix Yan via arch-commits
Date: Wednesday, May 20, 2020 @ 16:02:15 Author: felixonmars Revision: 630860 archrelease: copy trunk to community-staging-x86_64 Added: haskell-tamarin-prover-term/repos/community-staging-x86_64/ haskell-tamarin-prover-term/repos/community-staging-x86_64/PKGBUILD (from rev 630859,

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

2020-05-12 Thread Felix Yan via arch-commits
Date: Tuesday, May 12, 2020 @ 11:09:48 Author: felixonmars Revision: 626819 archrelease: copy trunk to community-staging-x86_64 Added: haskell-tamarin-prover-term/repos/community-staging-x86_64/ haskell-tamarin-prover-term/repos/community-staging-x86_64/PKGBUILD (from rev 626818,

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

2020-04-30 Thread Felix Yan via arch-commits
Date: Thursday, April 30, 2020 @ 10:24:31 Author: felixonmars Revision: 622437 archrelease: copy trunk to community-testing-x86_64 Added: haskell-tamarin-prover-term/repos/community-testing-x86_64/ haskell-tamarin-prover-term/repos/community-testing-x86_64/PKGBUILD (from rev

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

2020-04-03 Thread Felix Yan via arch-commits
Date: Friday, April 3, 2020 @ 15:25:14 Author: felixonmars Revision: 610839 archrelease: copy trunk to community-staging-x86_64 Added: haskell-tamarin-prover-term/repos/community-staging-x86_64/ haskell-tamarin-prover-term/repos/community-staging-x86_64/PKGBUILD (from rev 610838,

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

2020-04-01 Thread Felix Yan via arch-commits
Date: Wednesday, April 1, 2020 @ 10:49:51 Author: felixonmars Revision: 608725 archrelease: copy trunk to community-staging-x86_64 Added: haskell-tamarin-prover-term/repos/community-staging-x86_64/ haskell-tamarin-prover-term/repos/community-staging-x86_64/PKGBUILD (from rev

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

2020-03-28 Thread Felix Yan via arch-commits
Date: Saturday, March 28, 2020 @ 16:05:51 Author: felixonmars Revision: 605273 archrelease: copy trunk to community-staging-x86_64 Added: haskell-tamarin-prover-term/repos/community-staging-x86_64/ haskell-tamarin-prover-term/repos/community-staging-x86_64/PKGBUILD (from rev

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

2020-03-15 Thread Felix Yan via arch-commits
Date: Sunday, March 15, 2020 @ 15:26:11 Author: felixonmars Revision: 598250 archrelease: copy trunk to community-staging-x86_64 Added: haskell-tamarin-prover-term/repos/community-staging-x86_64/ haskell-tamarin-prover-term/repos/community-staging-x86_64/PKGBUILD (from rev 598249,

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

2020-03-01 Thread Felix Yan via arch-commits
Date: Sunday, March 1, 2020 @ 18:57:00 Author: felixonmars Revision: 587976 archrelease: copy trunk to community-staging-x86_64 Added: haskell-tamarin-prover-term/repos/community-staging-x86_64/ haskell-tamarin-prover-term/repos/community-staging-x86_64/PKGBUILD (from rev 587975,

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

2020-02-27 Thread Felix Yan via arch-commits
Date: Thursday, February 27, 2020 @ 15:32:54 Author: felixonmars Revision: 584279 archrelease: copy trunk to community-staging-x86_64 Added: haskell-tamarin-prover-term/repos/community-staging-x86_64/ haskell-tamarin-prover-term/repos/community-staging-x86_64/PKGBUILD (from rev

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

2020-02-25 Thread Felix Yan via arch-commits
Date: Tuesday, February 25, 2020 @ 17:16:59 Author: felixonmars Revision: 581644 archrelease: copy trunk to community-staging-x86_64 Added: haskell-tamarin-prover-term/repos/community-staging-x86_64/ haskell-tamarin-prover-term/repos/community-staging-x86_64/PKGBUILD (from rev

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

2020-02-23 Thread Felix Yan via arch-commits
Date: Sunday, February 23, 2020 @ 17:23:11 Author: felixonmars Revision: 579894 archrelease: copy trunk to community-staging-x86_64 Added: haskell-tamarin-prover-term/repos/community-staging-x86_64/ haskell-tamarin-prover-term/repos/community-staging-x86_64/PKGBUILD (from rev

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

2020-02-16 Thread Felix Yan via arch-commits
Date: Sunday, February 16, 2020 @ 09:53:02 Author: felixonmars Revision: 572192 archrelease: copy trunk to community-staging-x86_64 Added: haskell-tamarin-prover-term/repos/community-staging-x86_64/ haskell-tamarin-prover-term/repos/community-staging-x86_64/PKGBUILD (from rev

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

2020-02-11 Thread Felix Yan via arch-commits
Date: Tuesday, February 11, 2020 @ 09:15:58 Author: felixonmars Revision: 566869 archrelease: copy trunk to community-staging-x86_64 Added: haskell-tamarin-prover-term/repos/community-staging-x86_64/ haskell-tamarin-prover-term/repos/community-staging-x86_64/PKGBUILD (from rev

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

2020-02-09 Thread Felix Yan via arch-commits
Date: Sunday, February 9, 2020 @ 16:23:16 Author: felixonmars Revision: 565459 archrelease: copy trunk to community-staging-x86_64 Added: haskell-tamarin-prover-term/repos/community-staging-x86_64/ haskell-tamarin-prover-term/repos/community-staging-x86_64/PKGBUILD (from rev

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

2020-02-05 Thread Felix Yan via arch-commits
Date: Wednesday, February 5, 2020 @ 19:09:47 Author: felixonmars Revision: 563391 archrelease: copy trunk to community-staging-x86_64 Added: haskell-tamarin-prover-term/repos/community-staging-x86_64/ haskell-tamarin-prover-term/repos/community-staging-x86_64/PKGBUILD (from rev

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

2020-02-01 Thread Felix Yan via arch-commits
Date: Saturday, February 1, 2020 @ 19:25:08 Author: felixonmars Revision: 56 archrelease: copy trunk to community-staging-x86_64 Added: haskell-tamarin-prover-term/repos/community-staging-x86_64/ haskell-tamarin-prover-term/repos/community-staging-x86_64/PKGBUILD (from rev

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

2020-01-29 Thread Felix Yan via arch-commits
Date: Wednesday, January 29, 2020 @ 12:25:11 Author: felixonmars Revision: 558762 archrelease: copy trunk to community-staging-x86_64 Added: haskell-tamarin-prover-term/repos/community-staging-x86_64/ haskell-tamarin-prover-term/repos/community-staging-x86_64/PKGBUILD (from rev

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

2020-01-27 Thread Felix Yan via arch-commits
Date: Monday, January 27, 2020 @ 23:50:32 Author: felixonmars Revision: 556744 archrelease: copy trunk to community-staging-x86_64 Added: haskell-tamarin-prover-term/repos/community-staging-x86_64/ haskell-tamarin-prover-term/repos/community-staging-x86_64/PKGBUILD (from rev

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

2020-01-22 Thread Felix Yan via arch-commits
Date: Wednesday, January 22, 2020 @ 19:47:13 Author: felixonmars Revision: 554463 archrelease: copy trunk to community-staging-x86_64 Added: haskell-tamarin-prover-term/repos/community-staging-x86_64/ haskell-tamarin-prover-term/repos/community-staging-x86_64/PKGBUILD (from rev

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

2020-01-09 Thread Felix Yan via arch-commits
Date: Thursday, January 9, 2020 @ 18:13:39 Author: felixonmars Revision: 551402 archrelease: copy trunk to community-staging-x86_64 Added: haskell-tamarin-prover-term/repos/community-staging-x86_64/ haskell-tamarin-prover-term/repos/community-staging-x86_64/PKGBUILD (from rev

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

2020-01-04 Thread Felix Yan via arch-commits
Date: Saturday, January 4, 2020 @ 16:58:39 Author: felixonmars Revision: 548120 archrelease: copy trunk to community-staging-x86_64 Added: haskell-tamarin-prover-term/repos/community-staging-x86_64/ haskell-tamarin-prover-term/repos/community-staging-x86_64/PKGBUILD (from rev

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

2020-01-02 Thread Felix Yan via arch-commits
Date: Thursday, January 2, 2020 @ 15:53:25 Author: felixonmars Revision: 546279 archrelease: copy trunk to community-staging-x86_64 Added: haskell-tamarin-prover-term/repos/community-staging-x86_64/ haskell-tamarin-prover-term/repos/community-staging-x86_64/PKGBUILD (from rev

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

2019-12-30 Thread Felix Yan via arch-commits
Date: Monday, December 30, 2019 @ 09:44:48 Author: felixonmars Revision: 544285 archrelease: copy trunk to community-staging-x86_64 Added: haskell-tamarin-prover-term/repos/community-staging-x86_64/ haskell-tamarin-prover-term/repos/community-staging-x86_64/PKGBUILD (from rev

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

2019-12-25 Thread Felix Yan via arch-commits
Date: Wednesday, December 25, 2019 @ 11:18:55 Author: felixonmars Revision: 540825 archrelease: copy trunk to community-staging-x86_64 Added: haskell-tamarin-prover-term/repos/community-staging-x86_64/ haskell-tamarin-prover-term/repos/community-staging-x86_64/PKGBUILD (from rev

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

2019-12-23 Thread Felix Yan via arch-commits
Date: Monday, December 23, 2019 @ 14:22:06 Author: felixonmars Revision: 539267 archrelease: copy trunk to community-staging-x86_64 Added: haskell-tamarin-prover-term/repos/community-staging-x86_64/ haskell-tamarin-prover-term/repos/community-staging-x86_64/PKGBUILD (from rev

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

2019-12-06 Thread Felix Yan via arch-commits
Date: Friday, December 6, 2019 @ 18:04:14 Author: felixonmars Revision: 535920 archrelease: copy trunk to community-staging-x86_64 Added: haskell-tamarin-prover-term/repos/community-staging-x86_64/ haskell-tamarin-prover-term/repos/community-staging-x86_64/PKGBUILD (from rev

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

2019-11-21 Thread Felix Yan via arch-commits
Date: Thursday, November 21, 2019 @ 17:04:29 Author: felixonmars Revision: 531184 archrelease: copy trunk to community-staging-x86_64 Added: haskell-tamarin-prover-term/repos/community-staging-x86_64/ haskell-tamarin-prover-term/repos/community-staging-x86_64/PKGBUILD (from rev

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

2019-09-02 Thread Felix Yan via arch-commits
Date: Monday, September 2, 2019 @ 06:01:56 Author: felixonmars Revision: 506578 archrelease: copy trunk to community-staging-x86_64 Added: haskell-tamarin-prover-term/repos/community-staging-x86_64/ haskell-tamarin-prover-term/repos/community-staging-x86_64/PKGBUILD (from rev

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

2019-09-01 Thread Felix Yan via arch-commits
Date: Sunday, September 1, 2019 @ 09:50:53 Author: felixonmars Revision: 505961 archrelease: copy trunk to community-staging-x86_64 Added: haskell-tamarin-prover-term/repos/community-staging-x86_64/ haskell-tamarin-prover-term/repos/community-staging-x86_64/PKGBUILD (from rev

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

2019-08-26 Thread Felix Yan via arch-commits
Date: Monday, August 26, 2019 @ 09:42:23 Author: felixonmars Revision: 502039 archrelease: copy trunk to community-staging-x86_64 Added: haskell-tamarin-prover-term/repos/community-staging-x86_64/ haskell-tamarin-prover-term/repos/community-staging-x86_64/PKGBUILD (from rev 502038,

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

2019-08-06 Thread Felix Yan via arch-commits
Date: Tuesday, August 6, 2019 @ 13:55:48 Author: felixonmars Revision: 497771 archrelease: copy trunk to community-staging-x86_64 Added: haskell-tamarin-prover-term/repos/community-staging-x86_64/ haskell-tamarin-prover-term/repos/community-staging-x86_64/PKGBUILD (from rev 497770,

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

2019-07-31 Thread Felix Yan via arch-commits
Date: Wednesday, July 31, 2019 @ 18:00:04 Author: felixonmars Revision: 495769 archrelease: copy trunk to community-staging-x86_64 Added: haskell-tamarin-prover-term/repos/community-staging-x86_64/ haskell-tamarin-prover-term/repos/community-staging-x86_64/PKGBUILD (from rev

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

2019-07-27 Thread Felix Yan via arch-commits
Date: Saturday, July 27, 2019 @ 11:28:13 Author: felixonmars Revision: 493170 archrelease: copy trunk to community-staging-x86_64 Added: haskell-tamarin-prover-term/repos/community-staging-x86_64/ haskell-tamarin-prover-term/repos/community-staging-x86_64/PKGBUILD (from rev 493169,

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

2019-07-17 Thread Felix Yan via arch-commits
Date: Wednesday, July 17, 2019 @ 17:07:47 Author: felixonmars Revision: 490356 archrelease: copy trunk to community-staging-x86_64 Added: haskell-tamarin-prover-term/repos/community-staging-x86_64/ haskell-tamarin-prover-term/repos/community-staging-x86_64/PKGBUILD (from rev

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

2019-06-30 Thread Felix Yan via arch-commits
Date: Sunday, June 30, 2019 @ 17:17:45 Author: felixonmars Revision: 486417 archrelease: copy trunk to community-staging-x86_64 Added: haskell-tamarin-prover-term/repos/community-staging-x86_64/ haskell-tamarin-prover-term/repos/community-staging-x86_64/PKGBUILD (from rev 486416,

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

2019-06-27 Thread Felix Yan via arch-commits
Date: Thursday, June 27, 2019 @ 08:15:57 Author: felixonmars Revision: 484796 archrelease: copy trunk to community-staging-x86_64 Added: haskell-tamarin-prover-term/repos/community-staging-x86_64/ haskell-tamarin-prover-term/repos/community-staging-x86_64/PKGBUILD (from rev 484795,

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

2019-06-08 Thread Felix Yan via arch-commits
Date: Sunday, June 9, 2019 @ 00:40:41 Author: felixonmars Revision: 478511 archrelease: copy trunk to community-staging-x86_64 Added: haskell-tamarin-prover-term/repos/community-staging-x86_64/ haskell-tamarin-prover-term/repos/community-staging-x86_64/PKGBUILD (from rev 478509,

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

2019-05-30 Thread Felix Yan via arch-commits
Date: Thursday, May 30, 2019 @ 14:45:56 Author: felixonmars Revision: 474643 archrelease: copy trunk to community-staging-x86_64 Added: haskell-tamarin-prover-term/repos/community-staging-x86_64/ haskell-tamarin-prover-term/repos/community-staging-x86_64/PKGBUILD (from rev 474642,

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

2019-05-28 Thread Felix Yan via arch-commits
Date: Tuesday, May 28, 2019 @ 19:57:39 Author: felixonmars Revision: 473048 archrelease: copy trunk to community-staging-x86_64 Added: haskell-tamarin-prover-term/repos/community-staging-x86_64/ haskell-tamarin-prover-term/repos/community-staging-x86_64/PKGBUILD (from rev 473047,

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

2019-05-27 Thread Felix Yan via arch-commits
Date: Monday, May 27, 2019 @ 12:15:03 Author: felixonmars Revision: 471347 archrelease: copy trunk to community-staging-x86_64 Added: haskell-tamarin-prover-term/repos/community-staging-x86_64/ haskell-tamarin-prover-term/repos/community-staging-x86_64/PKGBUILD (from rev 471346,

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

2019-05-22 Thread Felix Yan via arch-commits
Date: Wednesday, May 22, 2019 @ 20:32:19 Author: felixonmars Revision: 468684 archrelease: copy trunk to community-staging-x86_64 Added: haskell-tamarin-prover-term/repos/community-staging-x86_64/ haskell-tamarin-prover-term/repos/community-staging-x86_64/PKGBUILD (from rev 468683,

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

2019-05-12 Thread Felix Yan via arch-commits
Date: Sunday, May 12, 2019 @ 10:31:29 Author: felixonmars Revision: 466139 archrelease: copy trunk to community-staging-x86_64 Added: haskell-tamarin-prover-term/repos/community-staging-x86_64/ haskell-tamarin-prover-term/repos/community-staging-x86_64/PKGBUILD (from rev 466138,

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

2019-05-08 Thread Felix Yan via arch-commits
Date: Wednesday, May 8, 2019 @ 22:49:26 Author: felixonmars Revision: 463485 archrelease: copy trunk to community-staging-x86_64 Added: haskell-tamarin-prover-term/repos/community-staging-x86_64/ haskell-tamarin-prover-term/repos/community-staging-x86_64/PKGBUILD (from rev 463484,

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

2019-05-06 Thread Felix Yan via arch-commits
Date: Monday, May 6, 2019 @ 13:50:59 Author: felixonmars Revision: 460931 archrelease: copy trunk to community-staging-x86_64 Added: haskell-tamarin-prover-term/repos/community-staging-x86_64/ haskell-tamarin-prover-term/repos/community-staging-x86_64/PKGBUILD (from rev 460930,

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

2019-05-02 Thread Felix Yan via arch-commits
Date: Friday, May 3, 2019 @ 02:55:59 Author: felixonmars Revision: 458094 archrelease: copy trunk to community-staging-x86_64 Added: haskell-tamarin-prover-term/repos/community-staging-x86_64/ haskell-tamarin-prover-term/repos/community-staging-x86_64/PKGBUILD (from rev 458093,

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

2019-04-27 Thread Felix Yan via arch-commits
Date: Saturday, April 27, 2019 @ 13:15:12 Author: felixonmars Revision: 454704 archrelease: copy trunk to community-staging-x86_64 Added: haskell-tamarin-prover-term/repos/community-staging-x86_64/ haskell-tamarin-prover-term/repos/community-staging-x86_64/PKGBUILD (from rev

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

2019-04-20 Thread Felix Yan via arch-commits
Date: Saturday, April 20, 2019 @ 21:37:46 Author: felixonmars Revision: 452438 archrelease: copy trunk to community-staging-x86_64 Added: haskell-tamarin-prover-term/repos/community-staging-x86_64/ haskell-tamarin-prover-term/repos/community-staging-x86_64/PKGBUILD (from rev

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

2019-04-03 Thread Felix Yan via arch-commits
Date: Thursday, April 4, 2019 @ 00:19:40 Author: felixonmars Revision: 448693 archrelease: copy trunk to community-staging-x86_64 Added: haskell-tamarin-prover-term/repos/community-staging-x86_64/ haskell-tamarin-prover-term/repos/community-staging-x86_64/PKGBUILD (from rev 448692,

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

2019-04-01 Thread Felix Yan via arch-commits
Date: Monday, April 1, 2019 @ 23:56:47 Author: felixonmars Revision: 447266 archrelease: copy trunk to community-staging-x86_64 Added: haskell-tamarin-prover-term/repos/community-staging-x86_64/ haskell-tamarin-prover-term/repos/community-staging-x86_64/PKGBUILD (from rev 447265,

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

2019-03-30 Thread Felix Yan via arch-commits
Date: Sunday, March 31, 2019 @ 05:18:03 Author: felixonmars Revision: 446469 archrelease: copy trunk to community-staging-x86_64 Added: haskell-tamarin-prover-term/repos/community-staging-x86_64/ haskell-tamarin-prover-term/repos/community-staging-x86_64/PKGBUILD (from rev 446468,

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

2019-03-28 Thread Felix Yan via arch-commits
Date: Thursday, March 28, 2019 @ 13:19:53 Author: felixonmars Revision: 445305 archrelease: copy trunk to community-staging-x86_64 Added: haskell-tamarin-prover-term/repos/community-staging-x86_64/ haskell-tamarin-prover-term/repos/community-staging-x86_64/PKGBUILD (from rev

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

2019-03-26 Thread Felix Yan via arch-commits
Date: Tuesday, March 26, 2019 @ 22:58:51 Author: felixonmars Revision: 443843 archrelease: copy trunk to community-staging-x86_64 Added: haskell-tamarin-prover-term/repos/community-staging-x86_64/ haskell-tamarin-prover-term/repos/community-staging-x86_64/PKGBUILD (from rev 443842,

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

2019-03-10 Thread Felix Yan via arch-commits
Date: Sunday, March 10, 2019 @ 11:19:14 Author: felixonmars Revision: 439209 archrelease: copy trunk to community-staging-x86_64 Added: haskell-tamarin-prover-term/repos/community-staging-x86_64/ haskell-tamarin-prover-term/repos/community-staging-x86_64/PKGBUILD (from rev 439208,

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

2019-02-15 Thread Felix Yan via arch-commits
Date: Friday, February 15, 2019 @ 09:29:00 Author: felixonmars Revision: 432506 archrelease: copy trunk to community-staging-x86_64 Added: haskell-tamarin-prover-term/repos/community-staging-x86_64/ haskell-tamarin-prover-term/repos/community-staging-x86_64/PKGBUILD (from rev

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

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

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

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

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

2018-05-10 Thread Felix Yan via arch-commits
Date: Thursday, May 10, 2018 @ 08:32:20 Author: felixonmars Revision: 320047 archrelease: copy trunk to community-staging-x86_64 Added: haskell-tamarin-prover-term/repos/community-staging-x86_64/ haskell-tamarin-prover-term/repos/community-staging-x86_64/PKGBUILD (from rev 320046,

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

2018-05-07 Thread Felix Yan via arch-commits
Date: Monday, May 7, 2018 @ 18:42:10 Author: felixonmars Revision: 319281 archrelease: copy trunk to community-staging-x86_64 Added: haskell-tamarin-prover-term/repos/community-staging-x86_64/ haskell-tamarin-prover-term/repos/community-staging-x86_64/PKGBUILD (from rev 319280,

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

2018-05-07 Thread Felix Yan via arch-commits
Date: Monday, May 7, 2018 @ 13:03:04 Author: felixonmars Revision: 319109 archrelease: copy trunk to community-staging-x86_64 Added: haskell-tamarin-prover-term/repos/community-staging-x86_64/ haskell-tamarin-prover-term/repos/community-staging-x86_64/PKGBUILD (from rev 319108,

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

2018-03-21 Thread Felix Yan via arch-commits
Date: Wednesday, March 21, 2018 @ 13:36:47 Author: felixonmars Revision: 309950 archrelease: copy trunk to community-staging-x86_64 Added: haskell-tamarin-prover-term/repos/community-staging-x86_64/ haskell-tamarin-prover-term/repos/community-staging-x86_64/PKGBUILD (from rev

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

2018-03-14 Thread Felix Yan via arch-commits
Date: Thursday, March 15, 2018 @ 04:40:56 Author: felixonmars Revision: 308048 archrelease: copy trunk to community-staging-x86_64 Added: haskell-tamarin-prover-term/repos/community-staging-x86_64/ haskell-tamarin-prover-term/repos/community-staging-x86_64/PKGBUILD (from rev

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

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

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

2018-03-09 Thread Felix Yan via arch-commits
Date: Saturday, March 10, 2018 @ 06:09:51 Author: felixonmars Revision: 305624 archrelease: copy trunk to community-staging-x86_64 Added: haskell-tamarin-prover-term/repos/community-staging-x86_64/ haskell-tamarin-prover-term/repos/community-staging-x86_64/PKGBUILD (from rev

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

2018-03-08 Thread Felix Yan via arch-commits
Date: Thursday, March 8, 2018 @ 09:30:24 Author: felixonmars Revision: 304510 archrelease: copy trunk to community-staging-x86_64 Added: haskell-tamarin-prover-term/repos/community-staging-x86_64/ haskell-tamarin-prover-term/repos/community-staging-x86_64/PKGBUILD (from rev 304509,

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

2018-03-07 Thread Felix Yan via arch-commits
Date: Wednesday, March 7, 2018 @ 11:42:41 Author: felixonmars Revision: 303736 archrelease: copy trunk to community-staging-x86_64 Added: haskell-tamarin-prover-term/repos/community-staging-x86_64/ haskell-tamarin-prover-term/repos/community-staging-x86_64/PKGBUILD (from rev

  1   2   >