Date: Saturday, September 10, 2022 @ 15:39:24
Author: felixonmars
Revision: 1299469
archrelease: copy trunk to community-staging-x86_64
Added:
haskell-tamarin-prover-theory/repos/community-staging-x86_64/
haskell-tamarin-prover-theory/repos/community-staging-x86_64/PKGBUILD
(from re
Date: Friday, September 9, 2022 @ 22:31:50
Author: felixonmars
Revision: 1297830
archrelease: copy trunk to community-staging-x86_64
Added:
haskell-tamarin-prover-theory/repos/community-staging-x86_64/
haskell-tamarin-prover-theory/repos/community-staging-x86_64/PKGBUILD
(from rev 1
Date: Tuesday, September 6, 2022 @ 19:12:43
Author: felixonmars
Revision: 1294611
archrelease: copy trunk to community-staging-x86_64
Added:
haskell-tamarin-prover-theory/repos/community-staging-x86_64/
haskell-tamarin-prover-theory/repos/community-staging-x86_64/PKGBUILD
(from rev
Date: Saturday, September 3, 2022 @ 09:34:53
Author: felixonmars
Revision: 1291369
archrelease: copy trunk to community-staging-x86_64
Added:
haskell-tamarin-prover-theory/repos/community-staging-x86_64/
haskell-tamarin-prover-theory/repos/community-staging-x86_64/PKGBUILD
(from rev
Date: Monday, August 29, 2022 @ 23:48:44
Author: felixonmars
Revision: 1287023
archrelease: copy trunk to community-staging-x86_64
Added:
haskell-tamarin-prover-theory/repos/community-staging-x86_64/
haskell-tamarin-prover-theory/repos/community-staging-x86_64/PKGBUILD
(from rev 128
Date: Friday, August 26, 2022 @ 16:17:39
Author: felixonmars
Revision: 1283076
archrelease: copy trunk to community-staging-x86_64
Added:
haskell-tamarin-prover-theory/repos/community-staging-x86_64/
haskell-tamarin-prover-theory/repos/community-staging-x86_64/PKGBUILD
(from rev 128
Date: Thursday, August 25, 2022 @ 18:28:57
Author: felixonmars
Revision: 1279851
archrelease: copy trunk to community-staging-x86_64
Added:
haskell-tamarin-prover-theory/repos/community-staging-x86_64/
haskell-tamarin-prover-theory/repos/community-staging-x86_64/PKGBUILD
(from rev 1
Date: Wednesday, August 24, 2022 @ 23:53:58
Author: felixonmars
Revision: 1278037
archrelease: copy trunk to community-staging-x86_64
Added:
haskell-tamarin-prover-theory/repos/community-staging-x86_64/
haskell-tamarin-prover-theory/repos/community-staging-x86_64/PKGBUILD
(from rev
Date: Sunday, August 21, 2022 @ 17:11:09
Author: felixonmars
Revision: 1272999
archrelease: copy trunk to community-staging-x86_64
Added:
haskell-tamarin-prover-theory/repos/community-staging-x86_64/
haskell-tamarin-prover-theory/repos/community-staging-x86_64/PKGBUILD
(from rev 127
Date: Saturday, August 20, 2022 @ 22:17:07
Author: felixonmars
Revision: 1271481
archrelease: copy trunk to community-staging-x86_64
Added:
haskell-tamarin-prover-theory/repos/community-staging-x86_64/
haskell-tamarin-prover-theory/repos/community-staging-x86_64/PKGBUILD
(from rev 1
Date: Thursday, August 18, 2022 @ 22:30:54
Author: felixonmars
Revision: 1269454
archrelease: copy trunk to community-staging-x86_64
Added:
haskell-tamarin-prover-theory/repos/community-staging-x86_64/
haskell-tamarin-prover-theory/repos/community-staging-x86_64/PKGBUILD
(from rev 1
Date: Thursday, August 18, 2022 @ 12:45:49
Author: felixonmars
Revision: 1267267
archrelease: copy trunk to community-staging-x86_64
Added:
haskell-tamarin-prover-theory/repos/community-staging-x86_64/
haskell-tamarin-prover-theory/repos/community-staging-x86_64/PKGBUILD
(from rev 1
Date: Tuesday, August 9, 2022 @ 17:00:59
Author: felixonmars
Revision: 1264047
archrelease: copy trunk to community-staging-x86_64
Added:
haskell-tamarin-prover-theory/repos/community-staging-x86_64/
haskell-tamarin-prover-theory/repos/community-staging-x86_64/PKGBUILD
(from rev 126
Date: Monday, August 8, 2022 @ 18:32:18
Author: felixonmars
Revision: 1261869
archrelease: copy trunk to community-staging-x86_64
Added:
haskell-tamarin-prover-theory/repos/community-staging-x86_64/
haskell-tamarin-prover-theory/repos/community-staging-x86_64/PKGBUILD
(from rev 1261
Date: Monday, July 25, 2022 @ 09:17:09
Author: felixonmars
Revision: 1257317
archrelease: copy trunk to community-staging-x86_64
Added:
haskell-tamarin-prover-theory/repos/community-staging-x86_64/
haskell-tamarin-prover-theory/repos/community-staging-x86_64/PKGBUILD
(from rev 12573
Date: Saturday, July 16, 2022 @ 03:24:50
Author: felixonmars
Revision: 1253366
archrelease: copy trunk to community-staging-x86_64
Added:
haskell-tamarin-prover-theory/repos/community-staging-x86_64/
haskell-tamarin-prover-theory/repos/community-staging-x86_64/PKGBUILD
(from rev 125
Date: Tuesday, July 12, 2022 @ 20:02:13
Author: felixonmars
Revision: 1251218
archrelease: copy trunk to community-staging-x86_64
Added:
haskell-tamarin-prover-theory/repos/community-staging-x86_64/
haskell-tamarin-prover-theory/repos/community-staging-x86_64/PKGBUILD
(from rev 1251
Date: Wednesday, July 6, 2022 @ 23:05:44
Author: felixonmars
Revision: 1247141
archrelease: copy trunk to community-staging-x86_64
Added:
haskell-tamarin-prover-theory/repos/community-staging-x86_64/
haskell-tamarin-prover-theory/repos/community-staging-x86_64/PKGBUILD
(from rev 124
Date: Tuesday, July 5, 2022 @ 20:01:47
Author: felixonmars
Revision: 1245443
archrelease: copy trunk to community-staging-x86_64
Added:
haskell-tamarin-prover-theory/repos/community-staging-x86_64/
haskell-tamarin-prover-theory/repos/community-staging-x86_64/PKGBUILD
(from rev 12454
Date: Wednesday, June 29, 2022 @ 22:44:57
Author: felixonmars
Revision: 1241688
archrelease: copy trunk to community-staging-x86_64
Added:
haskell-tamarin-prover-theory/repos/community-staging-x86_64/
haskell-tamarin-prover-theory/repos/community-staging-x86_64/PKGBUILD
(from rev 12
Date: Saturday, June 11, 2022 @ 23:31:44
Author: felixonmars
Revision: 1235679
archrelease: copy trunk to community-staging-x86_64
Added:
haskell-tamarin-prover-theory/repos/community-staging-x86_64/
haskell-tamarin-prover-theory/repos/community-staging-x86_64/PKGBUILD
(from rev 123
Date: Saturday, June 11, 2022 @ 12:48:50
Author: felixonmars
Revision: 1233407
archrelease: copy trunk to community-staging-x86_64
Added:
haskell-tamarin-prover-theory/repos/community-staging-x86_64/
haskell-tamarin-prover-theory/repos/community-staging-x86_64/PKGBUILD
(from rev 123
Date: Friday, June 10, 2022 @ 22:09:11
Author: felixonmars
Revision: 1231687
archrelease: copy trunk to community-staging-x86_64
Added:
haskell-tamarin-prover-theory/repos/community-staging-x86_64/
haskell-tamarin-prover-theory/repos/community-staging-x86_64/PKGBUILD
(from rev 12316
Date: Tuesday, June 7, 2022 @ 06:18:16
Author: felixonmars
Revision: 1227571
archrelease: copy trunk to community-staging-x86_64
Added:
haskell-tamarin-prover-theory/repos/community-staging-x86_64/
haskell-tamarin-prover-theory/repos/community-staging-x86_64/PKGBUILD
(from rev 12275
Date: Monday, June 6, 2022 @ 10:51:44
Author: felixonmars
Revision: 1225887
archrelease: copy trunk to community-staging-x86_64
Added:
haskell-tamarin-prover-theory/repos/community-staging-x86_64/
haskell-tamarin-prover-theory/repos/community-staging-x86_64/PKGBUILD
(from rev 122588
Date: Sunday, June 5, 2022 @ 19:38:38
Author: felixonmars
Revision: 1224194
archrelease: copy trunk to community-staging-x86_64
Added:
haskell-tamarin-prover-theory/repos/community-staging-x86_64/
haskell-tamarin-prover-theory/repos/community-staging-x86_64/PKGBUILD
(from rev 122419
Date: Saturday, June 4, 2022 @ 18:53:38
Author: felixonmars
Revision: 1221950
archrelease: copy trunk to community-staging-x86_64
Added:
haskell-tamarin-prover-theory/repos/community-staging-x86_64/
haskell-tamarin-prover-theory/repos/community-staging-x86_64/PKGBUILD
(from rev 1221
Date: Friday, June 3, 2022 @ 11:33:55
Author: felixonmars
Revision: 1220213
archrelease: copy trunk to community-staging-x86_64
Added:
haskell-tamarin-prover-theory/repos/community-staging-x86_64/
haskell-tamarin-prover-theory/repos/community-staging-x86_64/PKGBUILD
(from rev 122021
Date: Monday, May 30, 2022 @ 11:28:14
Author: felixonmars
Revision: 1216080
archrelease: copy trunk to community-staging-x86_64
Added:
haskell-tamarin-prover-theory/repos/community-staging-x86_64/
haskell-tamarin-prover-theory/repos/community-staging-x86_64/PKGBUILD
(from rev 121607
Date: Saturday, May 28, 2022 @ 16:55:43
Author: felixonmars
Revision: 1212374
archrelease: copy trunk to community-staging-x86_64
Added:
haskell-tamarin-prover-theory/repos/community-staging-x86_64/
haskell-tamarin-prover-theory/repos/community-staging-x86_64/PKGBUILD
(from rev 1212
Date: Wednesday, May 18, 2022 @ 13:54:13
Author: felixonmars
Revision: 1208225
archrelease: copy trunk to community-staging-x86_64
Added:
haskell-tamarin-prover-theory/repos/community-staging-x86_64/
haskell-tamarin-prover-theory/repos/community-staging-x86_64/PKGBUILD
(from rev 120
Date: Saturday, May 14, 2022 @ 14:36:31
Author: felixonmars
Revision: 1204895
archrelease: copy trunk to community-staging-x86_64
Added:
haskell-tamarin-prover-theory/repos/community-staging-x86_64/
haskell-tamarin-prover-theory/repos/community-staging-x86_64/PKGBUILD
(from rev 1204
Date: Friday, May 13, 2022 @ 10:29:38
Author: felixonmars
Revision: 1201432
archrelease: copy trunk to community-staging-x86_64
Added:
haskell-tamarin-prover-theory/repos/community-staging-x86_64/
haskell-tamarin-prover-theory/repos/community-staging-x86_64/PKGBUILD
(from rev 120143
Date: Thursday, May 12, 2022 @ 09:18:25
Author: felixonmars
Revision: 1198688
archrelease: copy trunk to community-staging-x86_64
Added:
haskell-tamarin-prover-theory/repos/community-staging-x86_64/
haskell-tamarin-prover-theory/repos/community-staging-x86_64/PKGBUILD
(from rev 1198
Date: Tuesday, May 10, 2022 @ 08:00:58
Author: felixonmars
Revision: 1197030
archrelease: copy trunk to community-staging-x86_64
Added:
haskell-tamarin-prover-theory/repos/community-staging-x86_64/
haskell-tamarin-prover-theory/repos/community-staging-x86_64/PKGBUILD
(from rev 11970
Date: Wednesday, May 4, 2022 @ 13:25:16
Author: felixonmars
Revision: 1194045
archrelease: copy trunk to community-staging-x86_64
Added:
haskell-tamarin-prover-theory/repos/community-staging-x86_64/
haskell-tamarin-prover-theory/repos/community-staging-x86_64/PKGBUILD
(from rev 1194
Date: Saturday, April 23, 2022 @ 22:35:45
Author: felixonmars
Revision: 1189013
archrelease: copy trunk to community-staging-x86_64
Added:
haskell-tamarin-prover-theory/repos/community-staging-x86_64/
haskell-tamarin-prover-theory/repos/community-staging-x86_64/PKGBUILD
(from rev 11
Date: Sunday, April 10, 2022 @ 11:33:58
Author: felixonmars
Revision: 1184475
archrelease: copy trunk to community-staging-x86_64
Added:
haskell-tamarin-prover-theory/repos/community-staging-x86_64/
haskell-tamarin-prover-theory/repos/community-staging-x86_64/PKGBUILD
(from rev 1184
Date: Wednesday, April 6, 2022 @ 21:00:11
Author: felixonmars
Revision: 1181886
archrelease: copy trunk to community-staging-x86_64
Added:
haskell-tamarin-prover-theory/repos/community-staging-x86_64/
haskell-tamarin-prover-theory/repos/community-staging-x86_64/PKGBUILD
(from rev 11
Date: Friday, April 1, 2022 @ 06:09:16
Author: felixonmars
Revision: 1179306
archrelease: copy trunk to community-staging-x86_64
Added:
haskell-tamarin-prover-theory/repos/community-staging-x86_64/
haskell-tamarin-prover-theory/repos/community-staging-x86_64/PKGBUILD
(from rev 11793
Date: Thursday, March 24, 2022 @ 20:30:04
Author: felixonmars
Revision: 1175283
archrelease: copy trunk to community-staging-x86_64
Added:
haskell-tamarin-prover-theory/repos/community-staging-x86_64/
haskell-tamarin-prover-theory/repos/community-staging-x86_64/PKGBUILD
(from rev 11
Date: Thursday, March 24, 2022 @ 02:26:32
Author: felixonmars
Revision: 1173431
archrelease: copy trunk to community-staging-x86_64
Added:
haskell-tamarin-prover-theory/repos/community-staging-x86_64/
haskell-tamarin-prover-theory/repos/community-staging-x86_64/PKGBUILD
(from rev 11
Date: Monday, March 21, 2022 @ 19:53:32
Author: felixonmars
Revision: 1168225
archrelease: copy trunk to community-staging-x86_64
Added:
haskell-tamarin-prover-theory/repos/community-staging-x86_64/
haskell-tamarin-prover-theory/repos/community-staging-x86_64/PKGBUILD
(from rev 1168
Date: Sunday, March 20, 2022 @ 19:41:30
Author: felixonmars
Revision: 1165068
archrelease: copy trunk to community-staging-x86_64
Added:
haskell-tamarin-prover-theory/repos/community-staging-x86_64/
haskell-tamarin-prover-theory/repos/community-staging-x86_64/PKGBUILD
(from rev 1165
Date: Saturday, March 19, 2022 @ 18:49:46
Author: felixonmars
Revision: 1161750
archrelease: copy trunk to community-staging-x86_64
Added:
haskell-tamarin-prover-theory/repos/community-staging-x86_64/
haskell-tamarin-prover-theory/repos/community-staging-x86_64/PKGBUILD
(from rev 11
Date: Friday, March 18, 2022 @ 18:42:37
Author: felixonmars
Revision: 1158858
archrelease: copy trunk to community-staging-x86_64
Added:
haskell-tamarin-prover-theory/repos/community-staging-x86_64/
haskell-tamarin-prover-theory/repos/community-staging-x86_64/PKGBUILD
(from rev 1158
Date: Tuesday, March 15, 2022 @ 11:22:47
Author: felixonmars
Revision: 1154254
archrelease: copy trunk to community-staging-x86_64
Added:
haskell-tamarin-prover-theory/repos/community-staging-x86_64/
haskell-tamarin-prover-theory/repos/community-staging-x86_64/PKGBUILD
(from rev 115
Date: Monday, March 14, 2022 @ 13:53:36
Author: felixonmars
Revision: 1152794
archrelease: copy trunk to community-staging-x86_64
Added:
haskell-tamarin-prover-theory/repos/community-staging-x86_64/
haskell-tamarin-prover-theory/repos/community-staging-x86_64/PKGBUILD
(from rev 1152
Date: Friday, March 11, 2022 @ 16:55:37
Author: felixonmars
Revision: 1148410
archrelease: copy trunk to community-staging-x86_64
Added:
haskell-tamarin-prover-theory/repos/community-staging-x86_64/
haskell-tamarin-prover-theory/repos/community-staging-x86_64/PKGBUILD
(from rev 1148
Date: Wednesday, March 9, 2022 @ 20:49:36
Author: felixonmars
Revision: 1145754
archrelease: copy trunk to community-staging-x86_64
Added:
haskell-tamarin-prover-theory/repos/community-staging-x86_64/
haskell-tamarin-prover-theory/repos/community-staging-x86_64/PKGBUILD
(from rev 11
Date: Friday, March 4, 2022 @ 02:56:13
Author: felixonmars
Revision: 1141568
archrelease: copy trunk to community-staging-x86_64
Added:
haskell-tamarin-prover-theory/repos/community-staging-x86_64/
haskell-tamarin-prover-theory/repos/community-staging-x86_64/PKGBUILD
(from rev 11415
Date: Monday, February 21, 2022 @ 21:31:26
Author: felixonmars
Revision: 1135673
archrelease: copy trunk to community-staging-x86_64
Added:
haskell-tamarin-prover-theory/repos/community-staging-x86_64/
haskell-tamarin-prover-theory/repos/community-staging-x86_64/PKGBUILD
(from rev 1
Date: Friday, February 11, 2022 @ 04:59:59
Author: felixonmars
Revision: 1131807
archrelease: copy trunk to community-staging-x86_64
Added:
haskell-tamarin-prover-theory/repos/community-staging-x86_64/
haskell-tamarin-prover-theory/repos/community-staging-x86_64/PKGBUILD
(from rev 1
Date: Thursday, February 10, 2022 @ 00:40:59
Author: felixonmars
Revision: 1130635
archrelease: copy trunk to community-staging-x86_64
Added:
haskell-tamarin-prover-theory/repos/community-staging-x86_64/
haskell-tamarin-prover-theory/repos/community-staging-x86_64/PKGBUILD
(from rev
Date: Tuesday, February 8, 2022 @ 08:46:21
Author: felixonmars
Revision: 1129024
archrelease: copy trunk to community-staging-x86_64
Added:
haskell-tamarin-prover-theory/repos/community-staging-x86_64/
haskell-tamarin-prover-theory/repos/community-staging-x86_64/PKGBUILD
(from rev 1
Date: Friday, February 4, 2022 @ 21:37:04
Author: felixonmars
Revision: 1126081
archrelease: copy trunk to community-staging-x86_64
Added:
haskell-tamarin-prover-theory/repos/community-staging-x86_64/
haskell-tamarin-prover-theory/repos/community-staging-x86_64/PKGBUILD
(from rev 11
Date: Friday, February 4, 2022 @ 00:33:48
Author: felixonmars
Revision: 1125078
archrelease: copy trunk to community-staging-x86_64
Added:
haskell-tamarin-prover-theory/repos/community-staging-x86_64/
haskell-tamarin-prover-theory/repos/community-staging-x86_64/PKGBUILD
(from rev 11
Date: Thursday, February 3, 2022 @ 00:08:24
Author: felixonmars
Revision: 1123662
archrelease: copy trunk to community-staging-x86_64
Added:
haskell-tamarin-prover-theory/repos/community-staging-x86_64/
haskell-tamarin-prover-theory/repos/community-staging-x86_64/PKGBUILD
(from rev
Date: Friday, January 28, 2022 @ 20:08:38
Author: felixonmars
Revision: 1118571
archrelease: copy trunk to community-staging-x86_64
Added:
haskell-tamarin-prover-theory/repos/community-staging-x86_64/
haskell-tamarin-prover-theory/repos/community-staging-x86_64/PKGBUILD
(from rev 11
Date: Wednesday, January 26, 2022 @ 13:44:36
Author: felixonmars
Revision: 1115725
archrelease: copy trunk to community-staging-x86_64
Added:
haskell-tamarin-prover-theory/repos/community-staging-x86_64/
haskell-tamarin-prover-theory/repos/community-staging-x86_64/PKGBUILD
(from rev
Date: Friday, January 21, 2022 @ 20:19:26
Author: felixonmars
Revision: 1112588
archrelease: copy trunk to community-staging-x86_64
Added:
haskell-tamarin-prover-theory/repos/community-staging-x86_64/
haskell-tamarin-prover-theory/repos/community-staging-x86_64/PKGBUILD
(from rev 11
Date: Tuesday, January 18, 2022 @ 14:34:55
Author: felixonmars
Revision: 1108988
archrelease: copy trunk to community-staging-x86_64
Added:
haskell-tamarin-prover-theory/repos/community-staging-x86_64/
haskell-tamarin-prover-theory/repos/community-staging-x86_64/PKGBUILD
(from rev 1
Date: Sunday, January 16, 2022 @ 23:10:33
Author: felixonmars
Revision: 1106668
archrelease: copy trunk to community-staging-x86_64
Added:
haskell-tamarin-prover-theory/repos/community-staging-x86_64/
haskell-tamarin-prover-theory/repos/community-staging-x86_64/PKGBUILD
(from rev 11
Date: Saturday, January 15, 2022 @ 15:38:38
Author: felixonmars
Revision: 1104319
archrelease: copy trunk to community-staging-x86_64
Added:
haskell-tamarin-prover-theory/repos/community-staging-x86_64/
haskell-tamarin-prover-theory/repos/community-staging-x86_64/PKGBUILD
(from rev
Date: Friday, January 14, 2022 @ 15:19:10
Author: felixonmars
Revision: 1103311
archrelease: copy trunk to community-staging-x86_64
Added:
haskell-tamarin-prover-theory/repos/community-staging-x86_64/
haskell-tamarin-prover-theory/repos/community-staging-x86_64/PKGBUILD
(from rev 11
Date: Wednesday, January 12, 2022 @ 01:28:05
Author: felixonmars
Revision: 1101329
archrelease: copy trunk to community-staging-x86_64
Added:
haskell-tamarin-prover-theory/repos/community-staging-x86_64/
haskell-tamarin-prover-theory/repos/community-staging-x86_64/PKGBUILD
(from rev
Date: Sunday, January 9, 2022 @ 22:20:52
Author: felixonmars
Revision: 1098656
archrelease: copy trunk to community-staging-x86_64
Added:
haskell-tamarin-prover-theory/repos/community-staging-x86_64/
haskell-tamarin-prover-theory/repos/community-staging-x86_64/PKGBUILD
(from rev 109
Date: Saturday, January 8, 2022 @ 15:02:15
Author: felixonmars
Revision: 1097073
archrelease: copy trunk to community-staging-x86_64
Added:
haskell-tamarin-prover-theory/repos/community-staging-x86_64/
haskell-tamarin-prover-theory/repos/community-staging-x86_64/PKGBUILD
(from rev 1
Date: Thursday, January 6, 2022 @ 05:26:25
Author: felixonmars
Revision: 1094416
archrelease: copy trunk to community-staging-x86_64
Added:
haskell-tamarin-prover-theory/repos/community-staging-x86_64/
haskell-tamarin-prover-theory/repos/community-staging-x86_64/PKGBUILD
(from rev 1
Date: Friday, December 31, 2021 @ 11:59:55
Author: felixonmars
Revision: 1090134
archrelease: copy trunk to community-staging-x86_64
Added:
haskell-tamarin-prover-theory/repos/community-staging-x86_64/
haskell-tamarin-prover-theory/repos/community-staging-x86_64/PKGBUILD
(from rev 1
Date: Wednesday, December 29, 2021 @ 13:13:54
Author: felixonmars
Revision: 1087163
archrelease: copy trunk to community-staging-x86_64
Added:
haskell-tamarin-prover-theory/repos/community-staging-x86_64/
haskell-tamarin-prover-theory/repos/community-staging-x86_64/PKGBUILD
(from re
Date: Tuesday, December 28, 2021 @ 06:20:18
Author: felixonmars
Revision: 1085206
archrelease: copy trunk to community-staging-x86_64
Added:
haskell-tamarin-prover-theory/repos/community-staging-x86_64/
haskell-tamarin-prover-theory/repos/community-staging-x86_64/PKGBUILD
(from rev
Date: Tuesday, December 21, 2021 @ 11:20:31
Author: felixonmars
Revision: 1081400
archrelease: copy trunk to community-staging-x86_64
Added:
haskell-tamarin-prover-theory/repos/community-staging-x86_64/
haskell-tamarin-prover-theory/repos/community-staging-x86_64/PKGBUILD
(from rev
Date: Monday, December 20, 2021 @ 04:08:36
Author: felixonmars
Revision: 1079435
archrelease: copy trunk to community-staging-x86_64
Added:
haskell-tamarin-prover-theory/repos/community-staging-x86_64/
haskell-tamarin-prover-theory/repos/community-staging-x86_64/PKGBUILD
(from rev 1
Date: Saturday, December 18, 2021 @ 22:47:12
Author: felixonmars
Revision: 1077896
archrelease: copy trunk to community-staging-x86_64
Added:
haskell-tamarin-prover-theory/repos/community-staging-x86_64/
haskell-tamarin-prover-theory/repos/community-staging-x86_64/PKGBUILD
(from rev
Date: Thursday, December 16, 2021 @ 09:42:29
Author: felixonmars
Revision: 1074149
archrelease: copy trunk to community-staging-x86_64
Added:
haskell-tamarin-prover-theory/repos/community-staging-x86_64/
haskell-tamarin-prover-theory/repos/community-staging-x86_64/PKGBUILD
(from rev
Date: Monday, December 13, 2021 @ 14:48:11
Author: felixonmars
Revision: 1071793
archrelease: copy trunk to community-staging-x86_64
Added:
haskell-tamarin-prover-theory/repos/community-staging-x86_64/
haskell-tamarin-prover-theory/repos/community-staging-x86_64/PKGBUILD
(from rev 1
Date: Monday, November 29, 2021 @ 04:45:33
Author: felixonmars
Revision: 1056387
archrelease: copy trunk to community-staging-x86_64
Added:
haskell-tamarin-prover-theory/repos/community-staging-x86_64/
haskell-tamarin-prover-theory/repos/community-staging-x86_64/PKGBUILD
(from rev 1
Date: Thursday, November 18, 2021 @ 15:24:22
Author: felixonmars
Revision: 1052431
archrelease: copy trunk to community-staging-x86_64
Added:
haskell-tamarin-prover-theory/repos/community-staging-x86_64/
haskell-tamarin-prover-theory/repos/community-staging-x86_64/PKGBUILD
(from rev
Date: Wednesday, November 17, 2021 @ 12:06:32
Author: felixonmars
Revision: 1049937
archrelease: copy trunk to community-staging-x86_64
Added:
haskell-tamarin-prover-theory/repos/community-staging-x86_64/
haskell-tamarin-prover-theory/repos/community-staging-x86_64/PKGBUILD
(from re
Date: Saturday, November 13, 2021 @ 21:02:02
Author: felixonmars
Revision: 1046157
archrelease: copy trunk to community-staging-x86_64
Added:
haskell-tamarin-prover-theory/repos/community-staging-x86_64/
haskell-tamarin-prover-theory/repos/community-staging-x86_64/PKGBUILD
(from rev
Date: Friday, November 12, 2021 @ 10:04:57
Author: felixonmars
Revision: 1043523
archrelease: copy trunk to community-staging-x86_64
Added:
haskell-tamarin-prover-theory/repos/community-staging-x86_64/
haskell-tamarin-prover-theory/repos/community-staging-x86_64/PKGBUILD
(from rev 1
Date: Thursday, November 11, 2021 @ 01:36:58
Author: felixonmars
Revision: 1040810
archrelease: copy trunk to community-staging-x86_64
Added:
haskell-tamarin-prover-theory/repos/community-staging-x86_64/
haskell-tamarin-prover-theory/repos/community-staging-x86_64/PKGBUILD
(from rev
Date: Monday, November 8, 2021 @ 16:43:11
Author: felixonmars
Revision: 1038850
archrelease: copy trunk to community-staging-x86_64
Added:
haskell-tamarin-prover-theory/repos/community-staging-x86_64/
haskell-tamarin-prover-theory/repos/community-staging-x86_64/PKGBUILD
(from rev 10
Date: Sunday, November 7, 2021 @ 01:12:52
Author: felixonmars
Revision: 1038036
archrelease: copy trunk to community-staging-x86_64
Added:
haskell-tamarin-prover-theory/repos/community-staging-x86_64/
haskell-tamarin-prover-theory/repos/community-staging-x86_64/PKGBUILD
(from rev 10
Date: Wednesday, November 3, 2021 @ 00:25:08
Author: felixonmars
Revision: 1035590
archrelease: copy trunk to community-staging-x86_64
Added:
haskell-tamarin-prover-theory/repos/community-staging-x86_64/
haskell-tamarin-prover-theory/repos/community-staging-x86_64/PKGBUILD
(from rev
Date: Friday, September 24, 2021 @ 22:00:33
Author: felixonmars
Revision: 1024032
archrelease: copy trunk to community-staging-x86_64
Added:
haskell-tamarin-prover-theory/repos/community-staging-x86_64/
haskell-tamarin-prover-theory/repos/community-staging-x86_64/PKGBUILD
(from rev
Date: Tuesday, September 21, 2021 @ 23:55:01
Author: felixonmars
Revision: 1021255
archrelease: copy trunk to community-staging-x86_64
Added:
haskell-tamarin-prover-theory/repos/community-staging-x86_64/
haskell-tamarin-prover-theory/repos/community-staging-x86_64/PKGBUILD
(from rev
Date: Monday, September 20, 2021 @ 06:28:11
Author: felixonmars
Revision: 1018439
archrelease: copy trunk to community-staging-x86_64
Added:
haskell-tamarin-prover-theory/repos/community-staging-x86_64/
haskell-tamarin-prover-theory/repos/community-staging-x86_64/PKGBUILD
(from rev
Date: Wednesday, September 15, 2021 @ 07:45:11
Author: felixonmars
Revision: 1015235
archrelease: copy trunk to community-staging-x86_64
Added:
haskell-tamarin-prover-theory/repos/community-staging-x86_64/
haskell-tamarin-prover-theory/repos/community-staging-x86_64/PKGBUILD
(from r
Date: Wednesday, September 8, 2021 @ 02:31:59
Author: felixonmars
Revision: 1012291
archrelease: copy trunk to community-staging-x86_64
Added:
haskell-tamarin-prover-theory/repos/community-staging-x86_64/
haskell-tamarin-prover-theory/repos/community-staging-x86_64/PKGBUILD
(from re
Date: Saturday, September 4, 2021 @ 10:27:36
Author: felixonmars
Revision: 1010981
archrelease: copy trunk to community-staging-x86_64
Added:
haskell-tamarin-prover-theory/repos/community-staging-x86_64/
haskell-tamarin-prover-theory/repos/community-staging-x86_64/PKGBUILD
(from rev
Date: Sunday, August 29, 2021 @ 06:14:05
Author: felixonmars
Revision: 1008831
archrelease: copy trunk to community-staging-x86_64
Added:
haskell-tamarin-prover-theory/repos/community-staging-x86_64/
haskell-tamarin-prover-theory/repos/community-staging-x86_64/PKGBUILD
(from rev 100
Date: Thursday, August 26, 2021 @ 12:45:58
Author: felixonmars
Revision: 1006061
archrelease: copy trunk to community-staging-x86_64
Added:
haskell-tamarin-prover-theory/repos/community-staging-x86_64/
haskell-tamarin-prover-theory/repos/community-staging-x86_64/PKGBUILD
(from rev 1
Date: Monday, August 23, 2021 @ 20:50:39
Author: felixonmars
Revision: 1004468
archrelease: copy trunk to community-staging-x86_64
Added:
haskell-tamarin-prover-theory/repos/community-staging-x86_64/
haskell-tamarin-prover-theory/repos/community-staging-x86_64/PKGBUILD
(from rev 100
Date: Thursday, June 10, 2021 @ 17:04:07
Author: felixonmars
Revision: 961505
archrelease: copy trunk to community-staging-x86_64
Added:
haskell-tamarin-prover-theory/repos/community-staging-x86_64/
haskell-tamarin-prover-theory/repos/community-staging-x86_64/PKGBUILD
(from rev 9615
Date: Monday, June 7, 2021 @ 14:35:37
Author: felixonmars
Revision: 957719
archrelease: copy trunk to community-staging-x86_64
Added:
haskell-tamarin-prover-theory/repos/community-staging-x86_64/
haskell-tamarin-prover-theory/repos/community-staging-x86_64/PKGBUILD
(from rev 957718,
Date: Thursday, June 3, 2021 @ 05:59:10
Author: felixonmars
Revision: 954646
archrelease: copy trunk to community-staging-x86_64
Added:
haskell-tamarin-prover-theory/repos/community-staging-x86_64/
haskell-tamarin-prover-theory/repos/community-staging-x86_64/PKGBUILD
(from rev 95464
Date: Monday, May 31, 2021 @ 05:51:46
Author: felixonmars
Revision: 951781
archrelease: copy trunk to community-staging-x86_64
Added:
haskell-tamarin-prover-theory/repos/community-staging-x86_64/
haskell-tamarin-prover-theory/repos/community-staging-x86_64/PKGBUILD
(from rev 951780,
Date: Thursday, May 27, 2021 @ 22:01:21
Author: felixonmars
Revision: 949205
archrelease: copy trunk to community-staging-x86_64
Added:
haskell-tamarin-prover-theory/repos/community-staging-x86_64/
haskell-tamarin-prover-theory/repos/community-staging-x86_64/PKGBUILD
(from rev 94920
1 - 100 of 162 matches
Mail list logo