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

2018-03-05 Thread Felix Yan via arch-commits
Date: Monday, March 5, 2018 @ 12:31:05 Author: felixonmars Revision: 302632 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 302631,

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

2018-02-28 Thread Felix Yan via arch-commits
Date: Thursday, March 1, 2018 @ 05:58:15 Author: felixonmars Revision: 300893 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 300892,

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

2018-02-28 Thread Felix Yan via arch-commits
Date: Wednesday, February 28, 2018 @ 22:55:08 Author: felixonmars Revision: 300474 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-02-27 Thread Felix Yan via arch-commits
Date: Tuesday, February 27, 2018 @ 09:12:24 Author: felixonmars Revision: 299059 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-02-23 Thread Felix Yan via arch-commits
Date: Saturday, February 24, 2018 @ 07:23:29 Author: felixonmars Revision: 297461 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-02-16 Thread Felix Yan via arch-commits
Date: Friday, February 16, 2018 @ 18:23:56 Author: felixonmars Revision: 295033 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-02-13 Thread Felix Yan via arch-commits
Date: Wednesday, February 14, 2018 @ 06:31:14 Author: felixonmars Revision: 294033 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-02-10 Thread Felix Yan via arch-commits
Date: Sunday, February 11, 2018 @ 07:45:39 Author: felixonmars Revision: 291945 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-01-24 Thread Felix Yan via arch-commits
Date: Wednesday, January 24, 2018 @ 12:39:14 Author: felixonmars Revision: 286366 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-01-22 Thread Felix Yan via arch-commits
Date: Monday, January 22, 2018 @ 21:24:58 Author: felixonmars Revision: 285303 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-01-14 Thread Felix Yan via arch-commits
Date: Sunday, January 14, 2018 @ 16:41:47 Author: felixonmars Revision: 282167 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)

2017-12-28 Thread Felix Yan via arch-commits
Date: Friday, December 29, 2017 @ 00:08:17 Author: felixonmars Revision: 276668 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)

2017-11-26 Thread Felix Yan via arch-commits
Date: Monday, November 27, 2017 @ 06:03:12 Author: felixonmars Revision: 269235 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