Date: Tuesday, September 6, 2022 @ 00:06:40
Author: felixonmars
Revision: 1294038
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 1294
Date: Monday, August 29, 2022 @ 22:18:12
Author: felixonmars
Revision: 1286513
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 1286512
Date: Friday, August 26, 2022 @ 14:37:11
Author: felixonmars
Revision: 1282617
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 1282616
Date: Wednesday, August 24, 2022 @ 22:23:38
Author: felixonmars
Revision: 1277567
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 1277
Date: Sunday, August 21, 2022 @ 15:35:42
Author: felixonmars
Revision: 1272622
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 1272621
Date: Thursday, August 18, 2022 @ 21:10:46
Author: felixonmars
Revision: 1269022
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 12690
Date: Monday, August 8, 2022 @ 17:21:29
Author: felixonmars
Revision: 1261491
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 1261490,
Date: Monday, July 25, 2022 @ 06:48:07
Author: felixonmars
Revision: 1256893
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 1256892,
Date: Tuesday, July 12, 2022 @ 18:32:51
Author: felixonmars
Revision: 1250803
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 1250802,
Date: Tuesday, July 5, 2022 @ 17:45:06
Author: felixonmars
Revision: 1244973
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 1244972,
Date: Wednesday, June 29, 2022 @ 19:46:02
Author: felixonmars
Revision: 1241282
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 124128
Date: Saturday, June 11, 2022 @ 22:09:25
Author: felixonmars
Revision: 1235225
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 1235224
Date: Friday, June 10, 2022 @ 18:21:13
Author: felixonmars
Revision: 1231263
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 1231262,
Date: Sunday, June 5, 2022 @ 18:20:56
Author: felixonmars
Revision: 1223786
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 1223785, h
Date: Friday, June 3, 2022 @ 09:27:56
Author: felixonmars
Revision: 1219830
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 1219829, h
Date: Monday, May 30, 2022 @ 10:15:45
Author: felixonmars
Revision: 1215658
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 1215657, h
Date: Saturday, May 28, 2022 @ 15:46:17
Author: felixonmars
Revision: 1211940
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 1211939,
Date: Saturday, May 14, 2022 @ 13:18:02
Author: felixonmars
Revision: 1204477
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 1204476,
Date: Friday, May 13, 2022 @ 08:27:36
Author: felixonmars
Revision: 1201015
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 1201014, h
Date: Wednesday, May 4, 2022 @ 12:23:53
Author: felixonmars
Revision: 1193619
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 1193618,
Date: Saturday, April 23, 2022 @ 21:17:52
Author: felixonmars
Revision: 1188611
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 118861
Date: Sunday, April 10, 2022 @ 00:55:34
Author: felixonmars
Revision: 1184077
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 1184076,
Date: Friday, April 1, 2022 @ 04:48:16
Author: felixonmars
Revision: 1178921
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 1178920,
Date: Thursday, March 24, 2022 @ 01:08:32
Author: felixonmars
Revision: 1172990
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 117298
Date: Monday, March 21, 2022 @ 18:07:02
Author: felixonmars
Revision: 1167829
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 1167828,
Date: Sunday, March 20, 2022 @ 17:56:03
Author: felixonmars
Revision: 1164575
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 1164574,
Date: Saturday, March 19, 2022 @ 15:13:14
Author: felixonmars
Revision: 1161300
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 116129
Date: Friday, March 18, 2022 @ 11:27:24
Author: felixonmars
Revision: 1158380
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 1158379,
Date: Monday, March 14, 2022 @ 10:38:30
Author: felixonmars
Revision: 1152319
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 1152318,
Date: Friday, March 11, 2022 @ 08:14:53
Author: felixonmars
Revision: 1147984
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 1147983,
Date: Monday, March 7, 2022 @ 20:45:52
Author: felixonmars
Revision: 1145012
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 1145011,
Date: Thursday, March 3, 2022 @ 19:57:24
Author: felixonmars
Revision: 114
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 1141110
Date: Saturday, February 19, 2022 @ 21:27:47
Author: felixonmars
Revision: 1135046
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 113
Date: Wednesday, February 9, 2022 @ 23:18:54
Author: felixonmars
Revision: 1130442
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 113
Date: Monday, February 7, 2022 @ 17:36:05
Author: felixonmars
Revision: 1128426
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 112842
Date: Wednesday, February 2, 2022 @ 19:47:10
Author: felixonmars
Revision: 1123193
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 112
Date: Friday, January 28, 2022 @ 05:54:53
Author: felixonmars
Revision: 1118037
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 111803
Date: Tuesday, January 25, 2022 @ 06:53:40
Author: felixonmars
Revision: 1115108
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 11151
Date: Tuesday, January 18, 2022 @ 11:26:03
Author: felixonmars
Revision: 1108545
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 11085
Date: Sunday, January 16, 2022 @ 21:44:32
Author: felixonmars
Revision: 1106477
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 110647
Date: Tuesday, January 11, 2022 @ 19:34:23
Author: felixonmars
Revision: 1100875
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 11008
Date: Friday, January 7, 2022 @ 23:35:45
Author: felixonmars
Revision: 1096610
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 1096609
Date: Thursday, January 6, 2022 @ 01:11:13
Author: felixonmars
Revision: 1094021
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 10940
Date: Friday, December 31, 2021 @ 07:09:24
Author: felixonmars
Revision: 1089688
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 10896
Date: Tuesday, December 28, 2021 @ 01:29:39
Author: felixonmars
Revision: 1084747
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 1084
Date: Monday, December 20, 2021 @ 21:22:58
Author: felixonmars
Revision: 1080904
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 10809
Date: Monday, December 20, 2021 @ 02:08:34
Author: felixonmars
Revision: 1079249
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 10792
Date: Saturday, December 18, 2021 @ 17:58:19
Author: felixonmars
Revision: 1077429
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 107
Date: Thursday, December 16, 2021 @ 04:22:56
Author: felixonmars
Revision: 1073761
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 107
Date: Monday, November 29, 2021 @ 00:23:23
Author: felixonmars
Revision: 1055959
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 10559
Date: Thursday, November 18, 2021 @ 04:50:53
Author: felixonmars
Revision: 1051945
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 105
Date: Wednesday, November 17, 2021 @ 04:28:04
Author: felixonmars
Revision: 1049529
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 10
Date: Saturday, November 13, 2021 @ 16:13:39
Author: felixonmars
Revision: 1045582
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 104
Date: Friday, November 12, 2021 @ 03:23:20
Author: felixonmars
Revision: 1043047
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 10430
Date: Wednesday, November 10, 2021 @ 20:47:24
Author: felixonmars
Revision: 1040322
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 10
Date: Sunday, November 7, 2021 @ 00:30:19
Author: felixonmars
Revision: 1037983
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 103798
Date: Tuesday, October 26, 2021 @ 19:55:42
Author: felixonmars
Revision: 1034403
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 10344
Date: Friday, September 24, 2021 @ 09:50:04
Author: felixonmars
Revision: 1023565
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 1023
Date: Tuesday, September 21, 2021 @ 19:54:45
Author: felixonmars
Revision: 1020851
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 102
Date: Monday, September 20, 2021 @ 00:32:34
Author: felixonmars
Revision: 1018015
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 1018
Date: Sunday, August 29, 2021 @ 01:57:52
Author: felixonmars
Revision: 1008431
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 1008430
Date: Thursday, August 26, 2021 @ 05:21:53
Author: felixonmars
Revision: 1005588
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 10055
Date: Monday, August 23, 2021 @ 20:44:35
Author: felixonmars
Revision: 1004466
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 1004465
Date: Tuesday, August 17, 2021 @ 16:22:02
Author: felixonmars
Revision: 1002031
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 100203
Date: Sunday, August 15, 2021 @ 21:40:25
Author: felixonmars
Revision: 999405
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 999404,
Date: Friday, August 13, 2021 @ 14:57:00
Author: felixonmars
Revision: 998071
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 998070,
Date: Sunday, August 8, 2021 @ 19:27:36
Author: felixonmars
Revision: 995637
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 995635, h
Date: Monday, July 26, 2021 @ 22:50:57
Author: felixonmars
Revision: 986138
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 986137, ha
Date: Wednesday, July 21, 2021 @ 17:37:07
Author: felixonmars
Revision: 982476
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 982475,
Date: Tuesday, July 20, 2021 @ 13:33:16
Author: felixonmars
Revision: 980031
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 980030, h
Date: Tuesday, July 6, 2021 @ 17:32:50
Author: felixonmars
Revision: 973633
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 973632, ha
Date: Friday, July 2, 2021 @ 01:51:29
Author: felixonmars
Revision: 970103
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 970102, has
Date: Wednesday, June 23, 2021 @ 01:51:07
Author: felixonmars
Revision: 966977
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 966976,
Date: Thursday, June 10, 2021 @ 03:12:41
Author: felixonmars
Revision: 961036
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 961035,
Date: Monday, June 7, 2021 @ 12:17:44
Author: felixonmars
Revision: 957523
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 957522, has
Date: Thursday, June 3, 2021 @ 02:40:44
Author: felixonmars
Revision: 954230
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 954229, h
Date: Monday, May 31, 2021 @ 01:19:40
Author: felixonmars
Revision: 951273
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 951272, has
Date: Thursday, May 27, 2021 @ 21:58:51
Author: felixonmars
Revision: 949203
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 949202, h
Date: Thursday, May 27, 2021 @ 00:20:39
Author: felixonmars
Revision: 947505
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 947504, h
Date: Sunday, May 23, 2021 @ 14:01:29
Author: felixonmars
Revision: 943376
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 943375, has
Date: Friday, May 21, 2021 @ 04:36:37
Author: felixonmars
Revision: 940165
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 940164, has
Date: Wednesday, May 19, 2021 @ 21:56:05
Author: felixonmars
Revision: 936993
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 936992,
Date: Thursday, May 13, 2021 @ 17:34:55
Author: felixonmars
Revision: 933376
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 933375, h
Date: Wednesday, May 12, 2021 @ 00:46:08
Author: felixonmars
Revision: 931116
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 931115,
Date: Thursday, April 22, 2021 @ 17:30:24
Author: felixonmars
Revision: 921345
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 921344,
Date: Tuesday, April 13, 2021 @ 08:39:37
Author: felixonmars
Revision: 916760
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 916759,
Date: Wednesday, April 7, 2021 @ 23:39:25
Author: felixonmars
Revision: 913058
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 913057,
Date: Monday, March 29, 2021 @ 06:27:27
Author: felixonmars
Revision: 908570
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 908569, h
Date: Sunday, March 28, 2021 @ 05:41:18
Author: felixonmars
Revision: 906326
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 906325, h
Date: Friday, March 26, 2021 @ 22:14:19
Author: felixonmars
Revision: 904814
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 904813, h
Date: Thursday, March 25, 2021 @ 15:56:57
Author: felixonmars
Revision: 903189
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 903188,
Date: Tuesday, March 23, 2021 @ 03:01:10
Author: felixonmars
Revision: 899739
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 899738,
Date: Sunday, March 21, 2021 @ 04:35:59
Author: felixonmars
Revision: 896830
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 896829, h
Date: Tuesday, March 16, 2021 @ 21:07:33
Author: felixonmars
Revision: 892297
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 892296,
Date: Friday, March 12, 2021 @ 04:39:28
Author: felixonmars
Revision: 888106
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 888105, h
Date: Sunday, March 7, 2021 @ 03:41:15
Author: felixonmars
Revision: 885305
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 885304, ha
Date: Friday, March 5, 2021 @ 23:30:13
Author: felixonmars
Revision: 882751
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 882750, ha
Date: Thursday, March 4, 2021 @ 01:37:13
Author: felixonmars
Revision: 879941
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 879940,
Date: Monday, March 1, 2021 @ 20:21:58
Author: felixonmars
Revision: 876762
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 876761, ha
Date: Thursday, February 25, 2021 @ 03:05:30
Author: felixonmars
Revision: 872639
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 8726
1 - 100 of 126 matches
Mail list logo