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

2020-12-29 Thread Felix Yan via arch-commits
Date: Tuesday, December 29, 2020 @ 09:30:42 Author: felixonmars Revision: 796631 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 (3 files)

2020-12-28 Thread Felix Yan via arch-commits
Date: Monday, December 28, 2020 @ 08:56:53 Author: felixonmars Revision: 794387 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 (3 files)

2020-12-25 Thread Felix Yan via arch-commits
Date: Saturday, December 26, 2020 @ 03:11:33 Author: felixonmars Revision: 791728 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 (3 files)

2020-12-24 Thread Felix Yan via arch-commits
Date: Friday, December 25, 2020 @ 03:13:20 Author: felixonmars Revision: 789506 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 (3 files)

2020-12-24 Thread Felix Yan via arch-commits
Date: Thursday, December 24, 2020 @ 13:02:32 Author: felixonmars Revision: 787203 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 (3 files)

2020-12-22 Thread Felix Yan via arch-commits
Date: Wednesday, December 23, 2020 @ 05:36:39 Author: felixonmars Revision: 783719 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 (3 files)

2020-12-21 Thread Felix Yan via arch-commits
Date: Monday, December 21, 2020 @ 13:54:48 Author: felixonmars Revision: 781080 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 (3 files)

2020-12-17 Thread Felix Yan via arch-commits
Date: Thursday, December 17, 2020 @ 19:49:10 Author: felixonmars Revision: 777923 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 (3 files)

2020-12-13 Thread Felix Yan via arch-commits
Date: Sunday, December 13, 2020 @ 14:03:12 Author: felixonmars Revision: 774304 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 (3 files)

2020-11-28 Thread Felix Yan via arch-commits
Date: Saturday, November 28, 2020 @ 18:52:25 Author: felixonmars Revision: 765439 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 (3 files)

2020-11-22 Thread Felix Yan via arch-commits
Date: Sunday, November 22, 2020 @ 18:48:13 Author: felixonmars Revision: 759407 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 (3 files)

2020-11-20 Thread Felix Yan via arch-commits
Date: Friday, November 20, 2020 @ 23:24:24 Author: felixonmars Revision: 758235 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 (3 files)

2018-12-10 Thread Felix Yan via arch-commits
Date: Monday, December 10, 2018 @ 10:08:53 Author: felixonmars Revision: 413967 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 (3 files)

2018-12-08 Thread Felix Yan via arch-commits
Date: Saturday, December 8, 2018 @ 18:50:46 Author: felixonmars Revision: 412485 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 (3 files)

2018-12-05 Thread Felix Yan via arch-commits
Date: Wednesday, December 5, 2018 @ 09:09:50 Author: felixonmars Revision: 411289 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 (3 files)

2018-11-06 Thread Felix Yan via arch-commits
Date: Tuesday, November 6, 2018 @ 23:11:24 Author: felixonmars Revision: 402428 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 (3 files)

2018-10-31 Thread Felix Yan via arch-commits
Date: Wednesday, October 31, 2018 @ 07:58:09 Author: felixonmars Revision: 399769 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 (3 files)

2018-10-15 Thread Felix Yan via arch-commits
Date: Monday, October 15, 2018 @ 14:33:04 Author: felixonmars Revision: 394196 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 (3 files)

2018-10-11 Thread Felix Yan via arch-commits
Date: Thursday, October 11, 2018 @ 06:58:21 Author: felixonmars Revision: 392194 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 (3 files)

2018-10-05 Thread Felix Yan via arch-commits
Date: Friday, October 5, 2018 @ 10:28:22 Author: felixonmars Revision: 389785 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 389784,

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

2018-09-14 Thread Felix Yan via arch-commits
Date: Saturday, September 15, 2018 @ 05:22:39 Author: felixonmars Revision: 381082 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 (3 files)

2018-09-13 Thread Felix Yan via arch-commits
Date: Thursday, September 13, 2018 @ 15:57:41 Author: felixonmars Revision: 380337 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 (3 files)

2018-09-10 Thread Felix Yan via arch-commits
Date: Monday, September 10, 2018 @ 12:16:26 Author: felixonmars Revision: 379166 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 (3 files)

2018-09-05 Thread Felix Yan via arch-commits
Date: Wednesday, September 5, 2018 @ 22:25:35 Author: felixonmars Revision: 377126 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 (3 files)

2018-07-28 Thread Felix Yan via arch-commits
Date: Saturday, July 28, 2018 @ 15:23:45 Author: felixonmars Revision: 363826 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 363825,

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

2018-07-02 Thread Felix Yan via arch-commits
Date: Tuesday, July 3, 2018 @ 05:05:40 Author: felixonmars Revision: 350389 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 350388,

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

2018-06-24 Thread Felix Yan via arch-commits
Date: Sunday, June 24, 2018 @ 06:36:52 Author: felixonmars Revision: 344927 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 344926,

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

2018-06-03 Thread Felix Yan via arch-commits
Date: Sunday, June 3, 2018 @ 07:29:24 Author: felixonmars Revision: 338833 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 338832,

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

2018-06-02 Thread Felix Yan via arch-commits
Date: Saturday, June 2, 2018 @ 13:50:16 Author: felixonmars Revision: 337580 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 337579,

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

2018-06-01 Thread Felix Yan via arch-commits
Date: Friday, June 1, 2018 @ 09:42:20 Author: felixonmars Revision: 335805 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 335804,

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

2018-05-26 Thread Felix Yan via arch-commits
Date: Saturday, May 26, 2018 @ 20:45:13 Author: felixonmars Revision: 331156 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 331155,

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

2018-05-23 Thread Felix Yan via arch-commits
Date: Wednesday, May 23, 2018 @ 08:15:53 Author: felixonmars Revision: 328075 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 328074,

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

2018-05-18 Thread Felix Yan via arch-commits
Date: Friday, May 18, 2018 @ 07:54:43 Author: felixonmars Revision: 324260 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 324259,