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
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
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
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
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
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
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
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
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
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
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
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
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
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
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
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
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
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
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
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,
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
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
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
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
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,
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,
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,
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,
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,
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,
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,
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,
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,
33 matches
Mail list logo