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,
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,
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
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
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
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
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
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
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
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
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
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
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
101 - 113 of 113 matches
Mail list logo