Date: Monday, November 16, 2020 @ 16:29:23
Author: felixonmars
Revision: 755394
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 7, 2020 @ 10:48:56
Author: felixonmars
Revision: 745651
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 6, 2020 @ 11:33:45
Author: felixonmars
Revision: 744021
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 2, 2020 @ 14:54:45
Author: felixonmars
Revision: 739812
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, October 31, 2020 @ 14:15:40
Author: felixonmars
Revision: 737715
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, October 27, 2020 @ 19:25:52
Author: felixonmars
Revision: 734914
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, October 25, 2020 @ 20:50:44
Author: felixonmars
Revision: 732984
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 21, 2020 @ 19:41:05
Author: felixonmars
Revision: 728301
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 16, 2020 @ 21:44:49
Author: felixonmars
Revision: 725079
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 7, 2020 @ 00:31:13
Author: felixonmars
Revision: 720071
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, October 4, 2020 @ 00:07:27
Author: felixonmars
Revision: 717085
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 717084,
Date: Friday, October 2, 2020 @ 00:42:17
Author: felixonmars
Revision: 714815
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 714814,
Date: Thursday, September 17, 2020 @ 19:55:51
Author: felixonmars
Revision: 709236
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 16, 2020 @ 14:40:04
Author: felixonmars
Revision: 708071
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 14, 2020 @ 20:07:47
Author: felixonmars
Revision: 706527
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, September 12, 2020 @ 16:44:58
Author: felixonmars
Revision: 704339
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 10, 2020 @ 18:46:34
Author: felixonmars
Revision: 702180
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 7, 2020 @ 13:44:47
Author: felixonmars
Revision: 699801
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 2, 2020 @ 19:35:54
Author: felixonmars
Revision: 696903
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, August 31, 2020 @ 05:13:35
Author: felixonmars
Revision: 693623
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 693622,
Date: Friday, August 28, 2020 @ 11:54:08
Author: felixonmars
Revision: 690613
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 690612,
Date: Tuesday, August 25, 2020 @ 14:23:07
Author: felixonmars
Revision: 688306
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, August 23, 2020 @ 07:29:42
Author: felixonmars
Revision: 686945
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 686944,
Date: Friday, August 21, 2020 @ 08:45:55
Author: felixonmars
Revision: 685834
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 685833,
Date: Monday, August 17, 2020 @ 20:03:59
Author: felixonmars
Revision: 683175
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 683174,
Date: Saturday, August 15, 2020 @ 22:18:44
Author: felixonmars
Revision: 680183
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, August 13, 2020 @ 17:06:56
Author: felixonmars
Revision: 677711
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, August 11, 2020 @ 21:55:19
Author: felixonmars
Revision: 674981
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, July 31, 2020 @ 23:31:03
Author: felixonmars
Revision: 666755
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 666754,
Date: Sunday, June 28, 2020 @ 23:05:25
Author: felixonmars
Revision: 655610
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 655609,
Date: Tuesday, June 23, 2020 @ 22:38:29
Author: felixonmars
Revision: 651805
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 651804,
Date: Saturday, June 13, 2020 @ 23:18:24
Author: felixonmars
Revision: 643401
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 643400,
Date: Monday, May 25, 2020 @ 03:44:12
Author: felixonmars
Revision: 633745
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 633744,
Date: Saturday, May 23, 2020 @ 16:28:32
Author: felixonmars
Revision: 632197
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 632196,
Date: Saturday, May 23, 2020 @ 02:01:55
Author: felixonmars
Revision: 631758
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 631757,
Date: Wednesday, May 20, 2020 @ 16:02:15
Author: felixonmars
Revision: 630860
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 630859,
Date: Tuesday, May 12, 2020 @ 11:09:48
Author: felixonmars
Revision: 626819
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 626818,
Date: Thursday, April 30, 2020 @ 10:24:31
Author: felixonmars
Revision: 622437
archrelease: copy trunk to community-testing-x86_64
Added:
haskell-tamarin-prover-term/repos/community-testing-x86_64/
haskell-tamarin-prover-term/repos/community-testing-x86_64/PKGBUILD
(from rev
Date: Friday, April 3, 2020 @ 15:25:14
Author: felixonmars
Revision: 610839
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 610838,
Date: Wednesday, April 1, 2020 @ 10:49:51
Author: felixonmars
Revision: 608725
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, March 28, 2020 @ 16:05:51
Author: felixonmars
Revision: 605273
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, March 15, 2020 @ 15:26:11
Author: felixonmars
Revision: 598250
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 598249,
Date: Sunday, March 1, 2020 @ 18:57:00
Author: felixonmars
Revision: 587976
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 587975,
Date: Thursday, February 27, 2020 @ 15:32:54
Author: felixonmars
Revision: 584279
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 25, 2020 @ 17:16:59
Author: felixonmars
Revision: 581644
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 23, 2020 @ 17:23:11
Author: felixonmars
Revision: 579894
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 16, 2020 @ 09:53:02
Author: felixonmars
Revision: 572192
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 11, 2020 @ 09:15:58
Author: felixonmars
Revision: 566869
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 9, 2020 @ 16:23:16
Author: felixonmars
Revision: 565459
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 5, 2020 @ 19:09:47
Author: felixonmars
Revision: 563391
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 1, 2020 @ 19:25:08
Author: felixonmars
Revision: 56
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 29, 2020 @ 12:25:11
Author: felixonmars
Revision: 558762
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 27, 2020 @ 23:50:32
Author: felixonmars
Revision: 556744
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 22, 2020 @ 19:47:13
Author: felixonmars
Revision: 554463
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, January 9, 2020 @ 18:13:39
Author: felixonmars
Revision: 551402
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, January 4, 2020 @ 16:58:39
Author: felixonmars
Revision: 548120
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, January 2, 2020 @ 15:53:25
Author: felixonmars
Revision: 546279
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 30, 2019 @ 09:44:48
Author: felixonmars
Revision: 544285
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 25, 2019 @ 11:18:55
Author: felixonmars
Revision: 540825
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 23, 2019 @ 14:22:06
Author: felixonmars
Revision: 539267
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 6, 2019 @ 18:04:14
Author: felixonmars
Revision: 535920
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, November 21, 2019 @ 17:04:29
Author: felixonmars
Revision: 531184
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 2, 2019 @ 06:01:56
Author: felixonmars
Revision: 506578
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, September 1, 2019 @ 09:50:53
Author: felixonmars
Revision: 505961
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, August 26, 2019 @ 09:42:23
Author: felixonmars
Revision: 502039
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 502038,
Date: Tuesday, August 6, 2019 @ 13:55:48
Author: felixonmars
Revision: 497771
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 497770,
Date: Wednesday, July 31, 2019 @ 18:00:04
Author: felixonmars
Revision: 495769
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 27, 2019 @ 11:28:13
Author: felixonmars
Revision: 493170
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 493169,
Date: Wednesday, July 17, 2019 @ 17:07:47
Author: felixonmars
Revision: 490356
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, June 30, 2019 @ 17:17:45
Author: felixonmars
Revision: 486417
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 486416,
Date: Thursday, June 27, 2019 @ 08:15:57
Author: felixonmars
Revision: 484796
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 484795,
Date: Sunday, June 9, 2019 @ 00:40:41
Author: felixonmars
Revision: 478511
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 478509,
Date: Thursday, May 30, 2019 @ 14:45:56
Author: felixonmars
Revision: 474643
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 474642,
Date: Tuesday, May 28, 2019 @ 19:57:39
Author: felixonmars
Revision: 473048
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 473047,
Date: Monday, May 27, 2019 @ 12:15:03
Author: felixonmars
Revision: 471347
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 471346,
Date: Wednesday, May 22, 2019 @ 20:32:19
Author: felixonmars
Revision: 468684
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 468683,
Date: Sunday, May 12, 2019 @ 10:31:29
Author: felixonmars
Revision: 466139
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 466138,
Date: Wednesday, May 8, 2019 @ 22:49:26
Author: felixonmars
Revision: 463485
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 463484,
Date: Monday, May 6, 2019 @ 13:50:59
Author: felixonmars
Revision: 460931
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 460930,
Date: Friday, May 3, 2019 @ 02:55:59
Author: felixonmars
Revision: 458094
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 458093,
Date: Saturday, April 27, 2019 @ 13:15:12
Author: felixonmars
Revision: 454704
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, April 20, 2019 @ 21:37:46
Author: felixonmars
Revision: 452438
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, April 4, 2019 @ 00:19:40
Author: felixonmars
Revision: 448693
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 448692,
Date: Monday, April 1, 2019 @ 23:56:47
Author: felixonmars
Revision: 447266
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 447265,
Date: Sunday, March 31, 2019 @ 05:18:03
Author: felixonmars
Revision: 446469
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 446468,
Date: Thursday, March 28, 2019 @ 13:19:53
Author: felixonmars
Revision: 445305
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, March 26, 2019 @ 22:58:51
Author: felixonmars
Revision: 443843
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 443842,
Date: Sunday, March 10, 2019 @ 11:19:14
Author: felixonmars
Revision: 439209
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 439208,
Date: Friday, February 15, 2019 @ 09:29:00
Author: felixonmars
Revision: 432506
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 20, 2019 @ 22:37:39
Author: felixonmars
Revision: 425721
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 20, 2019 @ 11:14:05
Author: felixonmars
Revision: 425033
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, May 10, 2018 @ 08:32:20
Author: felixonmars
Revision: 320047
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 320046,
Date: Monday, May 7, 2018 @ 18:42:10
Author: felixonmars
Revision: 319281
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 319280,
Date: Monday, May 7, 2018 @ 13:03:04
Author: felixonmars
Revision: 319109
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 319108,
Date: Wednesday, March 21, 2018 @ 13:36:47
Author: felixonmars
Revision: 309950
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, March 15, 2018 @ 04:40:56
Author: felixonmars
Revision: 308048
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, March 15, 2018 @ 01:24:00
Author: felixonmars
Revision: 307870
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, March 10, 2018 @ 06:09:51
Author: felixonmars
Revision: 305624
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, March 8, 2018 @ 09:30:24
Author: felixonmars
Revision: 304510
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 304509,
Date: Wednesday, March 7, 2018 @ 11:42:41
Author: felixonmars
Revision: 303736
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 - 100 of 113 matches
Mail list logo