Date: Monday, December 10, 2018 @ 01:44:28
Author: felixonmars
Revision: 413712
archrelease: copy trunk to community-staging-x86_64
Added:
haskell-tamarin-prover-utils/repos/community-staging-x86_64/
haskell-tamarin-prover-utils/repos/community-staging-x86_64/PKGBUILD
(from rev
Date: Wednesday, December 5, 2018 @ 09:08:35
Author: felixonmars
Revision: 411287
archrelease: copy trunk to community-staging-x86_64
Added:
haskell-tamarin-prover-utils/repos/community-staging-x86_64/
haskell-tamarin-prover-utils/repos/community-staging-x86_64/PKGBUILD
(from rev
Date: Tuesday, November 6, 2018 @ 21:36:56
Author: felixonmars
Revision: 402239
archrelease: copy trunk to community-staging-x86_64
Added:
haskell-tamarin-prover-utils/repos/community-staging-x86_64/
haskell-tamarin-prover-utils/repos/community-staging-x86_64/PKGBUILD
(from rev
Date: Monday, October 15, 2018 @ 00:13:04
Author: felixonmars
Revision: 393982
archrelease: copy trunk to community-staging-x86_64
Added:
haskell-tamarin-prover-utils/repos/community-staging-x86_64/
haskell-tamarin-prover-utils/repos/community-staging-x86_64/PKGBUILD
(from rev
Date: Thursday, September 13, 2018 @ 15:56:15
Author: felixonmars
Revision: 380335
archrelease: copy trunk to community-staging-x86_64
Added:
haskell-tamarin-prover-utils/repos/community-staging-x86_64/
haskell-tamarin-prover-utils/repos/community-staging-x86_64/PKGBUILD
(from rev
Date: Saturday, June 2, 2018 @ 10:25:26
Author: felixonmars
Revision: 337298
archrelease: copy trunk to community-staging-x86_64
Added:
haskell-tamarin-prover-utils/repos/community-staging-x86_64/
haskell-tamarin-prover-utils/repos/community-staging-x86_64/PKGBUILD
(from rev
Date: Friday, June 1, 2018 @ 07:47:32
Author: felixonmars
Revision: 335635
archrelease: copy trunk to community-staging-x86_64
Added:
haskell-tamarin-prover-utils/repos/community-staging-x86_64/
haskell-tamarin-prover-utils/repos/community-staging-x86_64/PKGBUILD
(from rev 335634,
Date: Wednesday, May 23, 2018 @ 07:51:12
Author: felixonmars
Revision: 328050
archrelease: copy trunk to community-staging-x86_64
Added:
haskell-tamarin-prover-utils/repos/community-staging-x86_64/
haskell-tamarin-prover-utils/repos/community-staging-x86_64/PKGBUILD
(from rev
Date: Friday, May 18, 2018 @ 07:43:49
Author: felixonmars
Revision: 324258
archrelease: copy trunk to community-staging-x86_64
Added:
haskell-tamarin-prover-utils/repos/community-staging-x86_64/
haskell-tamarin-prover-utils/repos/community-staging-x86_64/PKGBUILD
(from rev 324257,