[arch-commits] Commit in haskell-tamarin-prover-theory/repos (2 files)

2022-09-10 Thread Felix Yan via arch-commits
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

[arch-commits] Commit in haskell-tamarin-prover-theory/repos (2 files)

2022-09-09 Thread Felix Yan via arch-commits
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

[arch-commits] Commit in haskell-tamarin-prover-theory/repos (2 files)

2022-09-06 Thread Felix Yan via arch-commits
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

[arch-commits] Commit in haskell-tamarin-prover-theory/repos (2 files)

2022-09-03 Thread Felix Yan via arch-commits
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

[arch-commits] Commit in haskell-tamarin-prover-theory/repos (2 files)

2022-08-29 Thread Felix Yan via arch-commits
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

[arch-commits] Commit in haskell-tamarin-prover-theory/repos (2 files)

2022-08-26 Thread Felix Yan via arch-commits
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

[arch-commits] Commit in haskell-tamarin-prover-theory/repos (2 files)

2022-08-25 Thread Felix Yan via arch-commits
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

[arch-commits] Commit in haskell-tamarin-prover-theory/repos (2 files)

2022-08-24 Thread Felix Yan via arch-commits
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

[arch-commits] Commit in haskell-tamarin-prover-theory/repos (2 files)

2022-08-21 Thread Felix Yan via arch-commits
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

[arch-commits] Commit in haskell-tamarin-prover-theory/repos (2 files)

2022-08-20 Thread Felix Yan via arch-commits
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

[arch-commits] Commit in haskell-tamarin-prover-theory/repos (2 files)

2022-08-18 Thread Felix Yan via arch-commits
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

[arch-commits] Commit in haskell-tamarin-prover-theory/repos (2 files)

2022-08-18 Thread Felix Yan via arch-commits
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

[arch-commits] Commit in haskell-tamarin-prover-theory/repos (2 files)

2022-08-09 Thread Felix Yan via arch-commits
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

[arch-commits] Commit in haskell-tamarin-prover-theory/repos (2 files)

2022-08-08 Thread Felix Yan via arch-commits
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

[arch-commits] Commit in haskell-tamarin-prover-theory/repos (2 files)

2022-07-25 Thread Felix Yan via arch-commits
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

[arch-commits] Commit in haskell-tamarin-prover-theory/repos (2 files)

2022-07-15 Thread Felix Yan via arch-commits
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

[arch-commits] Commit in haskell-tamarin-prover-theory/repos (2 files)

2022-07-12 Thread Felix Yan via arch-commits
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

[arch-commits] Commit in haskell-tamarin-prover-theory/repos (2 files)

2022-07-06 Thread Felix Yan via arch-commits
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

[arch-commits] Commit in haskell-tamarin-prover-theory/repos (2 files)

2022-07-05 Thread Felix Yan via arch-commits
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

[arch-commits] Commit in haskell-tamarin-prover-theory/repos (2 files)

2022-06-29 Thread Felix Yan via arch-commits
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

[arch-commits] Commit in haskell-tamarin-prover-theory/repos (2 files)

2022-06-11 Thread Felix Yan via arch-commits
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

[arch-commits] Commit in haskell-tamarin-prover-theory/repos (2 files)

2022-06-11 Thread Felix Yan via arch-commits
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

[arch-commits] Commit in haskell-tamarin-prover-theory/repos (2 files)

2022-06-10 Thread Felix Yan via arch-commits
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

[arch-commits] Commit in haskell-tamarin-prover-theory/repos (2 files)

2022-06-06 Thread Felix Yan via arch-commits
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

[arch-commits] Commit in haskell-tamarin-prover-theory/repos (2 files)

2022-06-06 Thread Felix Yan via arch-commits
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

[arch-commits] Commit in haskell-tamarin-prover-theory/repos (2 files)

2022-06-05 Thread Felix Yan via arch-commits
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

[arch-commits] Commit in haskell-tamarin-prover-theory/repos (2 files)

2022-06-04 Thread Felix Yan via arch-commits
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

[arch-commits] Commit in haskell-tamarin-prover-theory/repos (2 files)

2022-06-03 Thread Felix Yan via arch-commits
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

[arch-commits] Commit in haskell-tamarin-prover-theory/repos (2 files)

2022-05-30 Thread Felix Yan via arch-commits
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

[arch-commits] Commit in haskell-tamarin-prover-theory/repos (2 files)

2022-05-28 Thread Felix Yan via arch-commits
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

[arch-commits] Commit in haskell-tamarin-prover-theory/repos (2 files)

2022-05-18 Thread Felix Yan via arch-commits
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

[arch-commits] Commit in haskell-tamarin-prover-theory/repos (2 files)

2022-05-14 Thread Felix Yan via arch-commits
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

[arch-commits] Commit in haskell-tamarin-prover-theory/repos (2 files)

2022-05-13 Thread Felix Yan via arch-commits
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

[arch-commits] Commit in haskell-tamarin-prover-theory/repos (2 files)

2022-05-12 Thread Felix Yan via arch-commits
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

[arch-commits] Commit in haskell-tamarin-prover-theory/repos (2 files)

2022-05-10 Thread Felix Yan via arch-commits
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

[arch-commits] Commit in haskell-tamarin-prover-theory/repos (2 files)

2022-05-04 Thread Felix Yan via arch-commits
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

[arch-commits] Commit in haskell-tamarin-prover-theory/repos (2 files)

2022-04-23 Thread Felix Yan via arch-commits
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

[arch-commits] Commit in haskell-tamarin-prover-theory/repos (2 files)

2022-04-10 Thread Felix Yan via arch-commits
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

[arch-commits] Commit in haskell-tamarin-prover-theory/repos (2 files)

2022-04-06 Thread Felix Yan via arch-commits
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

[arch-commits] Commit in haskell-tamarin-prover-theory/repos (2 files)

2022-03-31 Thread Felix Yan via arch-commits
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

[arch-commits] Commit in haskell-tamarin-prover-theory/repos (2 files)

2022-03-24 Thread Felix Yan via arch-commits
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

[arch-commits] Commit in haskell-tamarin-prover-theory/repos (2 files)

2022-03-24 Thread Felix Yan via arch-commits
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

[arch-commits] Commit in haskell-tamarin-prover-theory/repos (2 files)

2022-03-21 Thread Felix Yan via arch-commits
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

[arch-commits] Commit in haskell-tamarin-prover-theory/repos (2 files)

2022-03-20 Thread Felix Yan via arch-commits
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

[arch-commits] Commit in haskell-tamarin-prover-theory/repos (2 files)

2022-03-19 Thread Felix Yan via arch-commits
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

[arch-commits] Commit in haskell-tamarin-prover-theory/repos (2 files)

2022-03-18 Thread Felix Yan via arch-commits
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

[arch-commits] Commit in haskell-tamarin-prover-theory/repos (2 files)

2022-03-15 Thread Felix Yan via arch-commits
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

[arch-commits] Commit in haskell-tamarin-prover-theory/repos (2 files)

2022-03-14 Thread Felix Yan via arch-commits
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

[arch-commits] Commit in haskell-tamarin-prover-theory/repos (2 files)

2022-03-11 Thread Felix Yan via arch-commits
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

[arch-commits] Commit in haskell-tamarin-prover-theory/repos (2 files)

2022-03-09 Thread Felix Yan via arch-commits
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

[arch-commits] Commit in haskell-tamarin-prover-theory/repos (2 files)

2022-03-03 Thread Felix Yan via arch-commits
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

[arch-commits] Commit in haskell-tamarin-prover-theory/repos (2 files)

2022-02-21 Thread Felix Yan via arch-commits
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

[arch-commits] Commit in haskell-tamarin-prover-theory/repos (2 files)

2022-02-10 Thread Felix Yan via arch-commits
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

[arch-commits] Commit in haskell-tamarin-prover-theory/repos (2 files)

2022-02-09 Thread Felix Yan via arch-commits
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

[arch-commits] Commit in haskell-tamarin-prover-theory/repos (2 files)

2022-02-08 Thread Felix Yan via arch-commits
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

[arch-commits] Commit in haskell-tamarin-prover-theory/repos (2 files)

2022-02-04 Thread Felix Yan via arch-commits
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

[arch-commits] Commit in haskell-tamarin-prover-theory/repos (2 files)

2022-02-03 Thread Felix Yan via arch-commits
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

[arch-commits] Commit in haskell-tamarin-prover-theory/repos (2 files)

2022-02-02 Thread Felix Yan via arch-commits
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

[arch-commits] Commit in haskell-tamarin-prover-theory/repos (2 files)

2022-01-28 Thread Felix Yan via arch-commits
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

[arch-commits] Commit in haskell-tamarin-prover-theory/repos (2 files)

2022-01-26 Thread Felix Yan via arch-commits
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

[arch-commits] Commit in haskell-tamarin-prover-theory/repos (2 files)

2022-01-21 Thread Felix Yan via arch-commits
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

[arch-commits] Commit in haskell-tamarin-prover-theory/repos (2 files)

2022-01-18 Thread Felix Yan via arch-commits
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

[arch-commits] Commit in haskell-tamarin-prover-theory/repos (2 files)

2022-01-16 Thread Felix Yan via arch-commits
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

[arch-commits] Commit in haskell-tamarin-prover-theory/repos (2 files)

2022-01-15 Thread Felix Yan via arch-commits
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

[arch-commits] Commit in haskell-tamarin-prover-theory/repos (2 files)

2022-01-14 Thread Felix Yan via arch-commits
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

[arch-commits] Commit in haskell-tamarin-prover-theory/repos (2 files)

2022-01-11 Thread Felix Yan via arch-commits
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

[arch-commits] Commit in haskell-tamarin-prover-theory/repos (2 files)

2022-01-09 Thread Felix Yan via arch-commits
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

[arch-commits] Commit in haskell-tamarin-prover-theory/repos (2 files)

2022-01-08 Thread Felix Yan via arch-commits
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

[arch-commits] Commit in haskell-tamarin-prover-theory/repos (2 files)

2022-01-05 Thread Felix Yan via arch-commits
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

[arch-commits] Commit in haskell-tamarin-prover-theory/repos (2 files)

2021-12-31 Thread Felix Yan via arch-commits
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

[arch-commits] Commit in haskell-tamarin-prover-theory/repos (2 files)

2021-12-29 Thread Felix Yan via arch-commits
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

[arch-commits] Commit in haskell-tamarin-prover-theory/repos (2 files)

2021-12-28 Thread Felix Yan via arch-commits
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

[arch-commits] Commit in haskell-tamarin-prover-theory/repos (2 files)

2021-12-21 Thread Felix Yan via arch-commits
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

[arch-commits] Commit in haskell-tamarin-prover-theory/repos (2 files)

2021-12-19 Thread Felix Yan via arch-commits
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

[arch-commits] Commit in haskell-tamarin-prover-theory/repos (2 files)

2021-12-18 Thread Felix Yan via arch-commits
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

[arch-commits] Commit in haskell-tamarin-prover-theory/repos (2 files)

2021-12-16 Thread Felix Yan via arch-commits
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

[arch-commits] Commit in haskell-tamarin-prover-theory/repos (2 files)

2021-12-13 Thread Felix Yan via arch-commits
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

[arch-commits] Commit in haskell-tamarin-prover-theory/repos (2 files)

2021-11-28 Thread Felix Yan via arch-commits
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

[arch-commits] Commit in haskell-tamarin-prover-theory/repos (2 files)

2021-11-18 Thread Felix Yan via arch-commits
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

[arch-commits] Commit in haskell-tamarin-prover-theory/repos (2 files)

2021-11-17 Thread Felix Yan via arch-commits
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

[arch-commits] Commit in haskell-tamarin-prover-theory/repos (2 files)

2021-11-13 Thread Felix Yan via arch-commits
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

[arch-commits] Commit in haskell-tamarin-prover-theory/repos (2 files)

2021-11-12 Thread Felix Yan via arch-commits
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

[arch-commits] Commit in haskell-tamarin-prover-theory/repos (2 files)

2021-11-10 Thread Felix Yan via arch-commits
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

[arch-commits] Commit in haskell-tamarin-prover-theory/repos (2 files)

2021-11-08 Thread Felix Yan via arch-commits
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

[arch-commits] Commit in haskell-tamarin-prover-theory/repos (2 files)

2021-11-06 Thread Felix Yan via arch-commits
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

[arch-commits] Commit in haskell-tamarin-prover-theory/repos (2 files)

2021-11-02 Thread Felix Yan via arch-commits
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

[arch-commits] Commit in haskell-tamarin-prover-theory/repos (2 files)

2021-09-24 Thread Felix Yan via arch-commits
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

[arch-commits] Commit in haskell-tamarin-prover-theory/repos (2 files)

2021-09-21 Thread Felix Yan via arch-commits
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

[arch-commits] Commit in haskell-tamarin-prover-theory/repos (2 files)

2021-09-19 Thread Felix Yan via arch-commits
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

[arch-commits] Commit in haskell-tamarin-prover-theory/repos (2 files)

2021-09-15 Thread Felix Yan via arch-commits
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

[arch-commits] Commit in haskell-tamarin-prover-theory/repos (2 files)

2021-09-07 Thread Felix Yan via arch-commits
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

[arch-commits] Commit in haskell-tamarin-prover-theory/repos (2 files)

2021-09-04 Thread Felix Yan via arch-commits
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

[arch-commits] Commit in haskell-tamarin-prover-theory/repos (2 files)

2021-08-28 Thread Felix Yan via arch-commits
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

[arch-commits] Commit in haskell-tamarin-prover-theory/repos (2 files)

2021-08-26 Thread Felix Yan via arch-commits
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

[arch-commits] Commit in haskell-tamarin-prover-theory/repos (2 files)

2021-08-23 Thread Felix Yan via arch-commits
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

[arch-commits] Commit in haskell-tamarin-prover-theory/repos (2 files)

2021-06-10 Thread Felix Yan via arch-commits
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

[arch-commits] Commit in haskell-tamarin-prover-theory/repos (2 files)

2021-06-07 Thread Felix Yan via arch-commits
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,

[arch-commits] Commit in haskell-tamarin-prover-theory/repos (2 files)

2021-06-02 Thread Felix Yan via arch-commits
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

[arch-commits] Commit in haskell-tamarin-prover-theory/repos (2 files)

2021-05-31 Thread Felix Yan via arch-commits
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,

[arch-commits] Commit in haskell-tamarin-prover-theory/repos (2 files)

2021-05-27 Thread Felix Yan via arch-commits
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   2   >