Date: Thursday, October 19, 2017 @ 05:39:40
Author: felixonmars
Revision: 263465
archrelease: copy trunk to community-staging-i686, community-staging-x86_64
Added:
haskell-tamarin-prover-theory/repos/community-staging-i686/
Date: Monday, September 25, 2017 @ 01:28:08
Author: felixonmars
Revision: 260470
archrelease: copy trunk to community-staging-i686, community-staging-x86_64
Added:
haskell-tamarin-prover-theory/repos/community-staging-i686/
Date: Thursday, September 21, 2017 @ 09:10:10
Author: felixonmars
Revision: 259135
archrelease: copy trunk to community-staging-i686, community-staging-x86_64
Added:
haskell-tamarin-prover-theory/repos/community-staging-i686/
Date: Wednesday, August 30, 2017 @ 19:43:34
Author: felixonmars
Revision: 254878
archrelease: copy trunk to community-staging-i686, community-staging-x86_64
Added:
haskell-tamarin-prover-theory/repos/community-staging-i686/
Date: Wednesday, August 16, 2017 @ 08:08:58
Author: felixonmars
Revision: 251262
archrelease: copy trunk to community-staging-i686, community-staging-x86_64
Added:
haskell-tamarin-prover-theory/repos/community-staging-i686/
Date: Monday, August 14, 2017 @ 08:05:06
Author: felixonmars
Revision: 250230
archrelease: copy trunk to community-staging-i686, community-staging-x86_64
Added:
haskell-tamarin-prover-theory/repos/community-staging-i686/
Date: Sunday, August 6, 2017 @ 16:35:07
Author: felixonmars
Revision: 249050
archrelease: copy trunk to community-i686, community-x86_64
Added:
haskell-tamarin-prover-theory/repos/community-i686/
haskell-tamarin-prover-theory/repos/community-i686/PKGBUILD
(from rev 249049,