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

2022-09-05 Thread Felix Yan via arch-commits
Date: Monday, September 5, 2022 @ 23:47:06 Author: felixonmars Revision: 1293938 archrelease: copy trunk to community-staging-x86_64 Added: haskell-tamarin-prover-utils/repos/community-staging-x86_64/ haskell-tamarin-prover-utils/repos/community-staging-x86_64/PKGBUILD (from rev 129

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

2022-08-29 Thread Felix Yan via arch-commits
Date: Monday, August 29, 2022 @ 21:59:28 Author: felixonmars Revision: 1286407 archrelease: copy trunk to community-staging-x86_64 Added: haskell-tamarin-prover-utils/repos/community-staging-x86_64/ haskell-tamarin-prover-utils/repos/community-staging-x86_64/PKGBUILD (from rev 12864

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

2022-08-26 Thread Felix Yan via arch-commits
Date: Friday, August 26, 2022 @ 14:15:48 Author: felixonmars Revision: 1282529 archrelease: copy trunk to community-staging-x86_64 Added: haskell-tamarin-prover-utils/repos/community-staging-x86_64/ haskell-tamarin-prover-utils/repos/community-staging-x86_64/PKGBUILD (from rev 12825

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

2022-08-24 Thread Felix Yan via arch-commits
Date: Wednesday, August 24, 2022 @ 22:07:11 Author: felixonmars Revision: 1277481 archrelease: copy trunk to community-staging-x86_64 Added: haskell-tamarin-prover-utils/repos/community-staging-x86_64/ haskell-tamarin-prover-utils/repos/community-staging-x86_64/PKGBUILD (from rev 12

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

2022-08-21 Thread Felix Yan via arch-commits
Date: Sunday, August 21, 2022 @ 15:29:07 Author: felixonmars Revision: 1272592 archrelease: copy trunk to community-staging-x86_64 Added: haskell-tamarin-prover-utils/repos/community-staging-x86_64/ haskell-tamarin-prover-utils/repos/community-staging-x86_64/PKGBUILD (from rev 12725

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

2022-08-18 Thread Felix Yan via arch-commits
Date: Thursday, August 18, 2022 @ 20:51:12 Author: felixonmars Revision: 1268924 archrelease: copy trunk to community-staging-x86_64 Added: haskell-tamarin-prover-utils/repos/community-staging-x86_64/ haskell-tamarin-prover-utils/repos/community-staging-x86_64/PKGBUILD (from rev 126

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

2022-08-08 Thread Felix Yan via arch-commits
Date: Monday, August 8, 2022 @ 16:57:04 Author: felixonmars Revision: 1261373 archrelease: copy trunk to community-staging-x86_64 Added: haskell-tamarin-prover-utils/repos/community-staging-x86_64/ haskell-tamarin-prover-utils/repos/community-staging-x86_64/PKGBUILD (from rev 126137

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

2022-07-25 Thread Felix Yan via arch-commits
Date: Monday, July 25, 2022 @ 06:38:45 Author: felixonmars Revision: 1256843 archrelease: copy trunk to community-staging-x86_64 Added: haskell-tamarin-prover-utils/repos/community-staging-x86_64/ haskell-tamarin-prover-utils/repos/community-staging-x86_64/PKGBUILD (from rev 1256842

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

2022-07-12 Thread Felix Yan via arch-commits
Date: Tuesday, July 12, 2022 @ 15:50:17 Author: felixonmars Revision: 1250584 archrelease: copy trunk to community-staging-x86_64 Added: haskell-tamarin-prover-utils/repos/community-staging-x86_64/ haskell-tamarin-prover-utils/repos/community-staging-x86_64/PKGBUILD (from rev 125058

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

2022-07-05 Thread Felix Yan via arch-commits
Date: Tuesday, July 5, 2022 @ 16:06:15 Author: felixonmars Revision: 1244909 archrelease: copy trunk to community-staging-x86_64 Added: haskell-tamarin-prover-utils/repos/community-staging-x86_64/ haskell-tamarin-prover-utils/repos/community-staging-x86_64/PKGBUILD (from rev 1244908

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

2022-06-29 Thread Felix Yan via arch-commits
Date: Wednesday, June 29, 2022 @ 19:39:08 Author: felixonmars Revision: 1241240 archrelease: copy trunk to community-staging-x86_64 Added: haskell-tamarin-prover-utils/repos/community-staging-x86_64/ haskell-tamarin-prover-utils/repos/community-staging-x86_64/PKGBUILD (from rev 1241

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

2022-06-11 Thread Felix Yan via arch-commits
Date: Saturday, June 11, 2022 @ 21:49:40 Author: felixonmars Revision: 1235109 archrelease: copy trunk to community-staging-x86_64 Added: haskell-tamarin-prover-utils/repos/community-staging-x86_64/ haskell-tamarin-prover-utils/repos/community-staging-x86_64/PKGBUILD (from rev 12351

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

2022-06-10 Thread Felix Yan via arch-commits
Date: Friday, June 10, 2022 @ 18:01:48 Author: felixonmars Revision: 1231145 archrelease: copy trunk to community-staging-x86_64 Added: haskell-tamarin-prover-utils/repos/community-staging-x86_64/ haskell-tamarin-prover-utils/repos/community-staging-x86_64/PKGBUILD (from rev 1231144

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

2022-06-05 Thread Felix Yan via arch-commits
Date: Sunday, June 5, 2022 @ 18:07:16 Author: felixonmars Revision: 1223700 archrelease: copy trunk to community-staging-x86_64 Added: haskell-tamarin-prover-utils/repos/community-staging-x86_64/ haskell-tamarin-prover-utils/repos/community-staging-x86_64/PKGBUILD (from rev 1223699,

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

2022-06-03 Thread Felix Yan via arch-commits
Date: Friday, June 3, 2022 @ 09:20:47 Author: felixonmars Revision: 1219783 archrelease: copy trunk to community-staging-x86_64 Added: haskell-tamarin-prover-utils/repos/community-staging-x86_64/ haskell-tamarin-prover-utils/repos/community-staging-x86_64/PKGBUILD (from rev 1219782,

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

2022-05-30 Thread Felix Yan via arch-commits
Date: Monday, May 30, 2022 @ 09:58:09 Author: felixonmars Revision: 1215542 archrelease: copy trunk to community-staging-x86_64 Added: haskell-tamarin-prover-utils/repos/community-staging-x86_64/ haskell-tamarin-prover-utils/repos/community-staging-x86_64/PKGBUILD (from rev 1215541,

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

2022-05-28 Thread Felix Yan via arch-commits
Date: Saturday, May 28, 2022 @ 14:59:13 Author: felixonmars Revision: 1211822 archrelease: copy trunk to community-staging-x86_64 Added: haskell-tamarin-prover-utils/repos/community-staging-x86_64/ haskell-tamarin-prover-utils/repos/community-staging-x86_64/PKGBUILD (from rev 121182

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

2022-05-14 Thread Felix Yan via arch-commits
Date: Saturday, May 14, 2022 @ 13:02:54 Author: felixonmars Revision: 1204383 archrelease: copy trunk to community-staging-x86_64 Added: haskell-tamarin-prover-utils/repos/community-staging-x86_64/ haskell-tamarin-prover-utils/repos/community-staging-x86_64/PKGBUILD (from rev 120438

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

2022-05-13 Thread Felix Yan via arch-commits
Date: Friday, May 13, 2022 @ 08:09:01 Author: felixonmars Revision: 1200895 archrelease: copy trunk to community-staging-x86_64 Added: haskell-tamarin-prover-utils/repos/community-staging-x86_64/ haskell-tamarin-prover-utils/repos/community-staging-x86_64/PKGBUILD (from rev 1200894,

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

2022-05-04 Thread Felix Yan via arch-commits
Date: Wednesday, May 4, 2022 @ 12:14:07 Author: felixonmars Revision: 1193547 archrelease: copy trunk to community-staging-x86_64 Added: haskell-tamarin-prover-utils/repos/community-staging-x86_64/ haskell-tamarin-prover-utils/repos/community-staging-x86_64/PKGBUILD (from rev 119354

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

2022-04-23 Thread Felix Yan via arch-commits
Date: Saturday, April 23, 2022 @ 20:51:39 Author: felixonmars Revision: 1188493 archrelease: copy trunk to community-staging-x86_64 Added: haskell-tamarin-prover-utils/repos/community-staging-x86_64/ haskell-tamarin-prover-utils/repos/community-staging-x86_64/PKGBUILD (from rev 1188

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

2022-04-09 Thread Felix Yan via arch-commits
Date: Sunday, April 10, 2022 @ 00:41:25 Author: felixonmars Revision: 1183977 archrelease: copy trunk to community-staging-x86_64 Added: haskell-tamarin-prover-utils/repos/community-staging-x86_64/ haskell-tamarin-prover-utils/repos/community-staging-x86_64/PKGBUILD (from rev 118397

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

2022-03-31 Thread Felix Yan via arch-commits
Date: Friday, April 1, 2022 @ 04:32:24 Author: felixonmars Revision: 1178823 archrelease: copy trunk to community-staging-x86_64 Added: haskell-tamarin-prover-utils/repos/community-staging-x86_64/ haskell-tamarin-prover-utils/repos/community-staging-x86_64/PKGBUILD (from rev 1178822

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

2022-03-23 Thread Felix Yan via arch-commits
Date: Thursday, March 24, 2022 @ 00:55:09 Author: felixonmars Revision: 1172894 archrelease: copy trunk to community-staging-x86_64 Added: haskell-tamarin-prover-utils/repos/community-staging-x86_64/ haskell-tamarin-prover-utils/repos/community-staging-x86_64/PKGBUILD (from rev 1172

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

2022-03-21 Thread Felix Yan via arch-commits
Date: Monday, March 21, 2022 @ 17:43:23 Author: felixonmars Revision: 1167669 archrelease: copy trunk to community-staging-x86_64 Added: haskell-tamarin-prover-utils/repos/community-staging-x86_64/ haskell-tamarin-prover-utils/repos/community-staging-x86_64/PKGBUILD (from rev 116766

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

2022-03-20 Thread Felix Yan via arch-commits
Date: Sunday, March 20, 2022 @ 17:37:10 Author: felixonmars Revision: 1164427 archrelease: copy trunk to community-staging-x86_64 Added: haskell-tamarin-prover-utils/repos/community-staging-x86_64/ haskell-tamarin-prover-utils/repos/community-staging-x86_64/PKGBUILD (from rev 116442

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

2022-03-19 Thread Felix Yan via arch-commits
Date: Saturday, March 19, 2022 @ 15:01:36 Author: felixonmars Revision: 1161216 archrelease: copy trunk to community-staging-x86_64 Added: haskell-tamarin-prover-utils/repos/community-staging-x86_64/ haskell-tamarin-prover-utils/repos/community-staging-x86_64/PKGBUILD (from rev 1161

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

2022-03-18 Thread Felix Yan via arch-commits
Date: Friday, March 18, 2022 @ 04:10:18 Author: felixonmars Revision: 1158272 archrelease: copy trunk to community-staging-x86_64 Added: haskell-tamarin-prover-utils/repos/community-staging-x86_64/ haskell-tamarin-prover-utils/repos/community-staging-x86_64/PKGBUILD (from rev 115827

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

2022-03-14 Thread Felix Yan via arch-commits
Date: Monday, March 14, 2022 @ 10:05:07 Author: felixonmars Revision: 1152210 archrelease: copy trunk to community-staging-x86_64 Added: haskell-tamarin-prover-utils/repos/community-staging-x86_64/ haskell-tamarin-prover-utils/repos/community-staging-x86_64/PKGBUILD (from rev 115220

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

2022-03-10 Thread Felix Yan via arch-commits
Date: Friday, March 11, 2022 @ 07:40:07 Author: felixonmars Revision: 1147914 archrelease: copy trunk to community-staging-x86_64 Added: haskell-tamarin-prover-utils/repos/community-staging-x86_64/ haskell-tamarin-prover-utils/repos/community-staging-x86_64/PKGBUILD (from rev 114791

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

2022-03-07 Thread Felix Yan via arch-commits
Date: Monday, March 7, 2022 @ 19:42:43 Author: felixonmars Revision: 1144890 archrelease: copy trunk to community-staging-x86_64 Added: haskell-tamarin-prover-utils/repos/community-staging-x86_64/ haskell-tamarin-prover-utils/repos/community-staging-x86_64/PKGBUILD (from rev 1144889

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

2022-03-03 Thread Felix Yan via arch-commits
Date: Thursday, March 3, 2022 @ 19:05:21 Author: felixonmars Revision: 1141027 archrelease: copy trunk to community-staging-x86_64 Added: haskell-tamarin-prover-utils/repos/community-staging-x86_64/ haskell-tamarin-prover-utils/repos/community-staging-x86_64/PKGBUILD (from rev 11410

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

2022-02-19 Thread Felix Yan via arch-commits
Date: Saturday, February 19, 2022 @ 15:59:56 Author: felixonmars Revision: 1134936 archrelease: copy trunk to community-staging-x86_64 Added: haskell-tamarin-prover-utils/repos/community-staging-x86_64/ haskell-tamarin-prover-utils/repos/community-staging-x86_64/PKGBUILD (from rev 1

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

2022-02-07 Thread Felix Yan via arch-commits
Date: Monday, February 7, 2022 @ 16:41:36 Author: felixonmars Revision: 1128296 archrelease: copy trunk to community-staging-x86_64 Added: haskell-tamarin-prover-utils/repos/community-staging-x86_64/ haskell-tamarin-prover-utils/repos/community-staging-x86_64/PKGBUILD (from rev 1128

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

2022-02-02 Thread Felix Yan via arch-commits
Date: Wednesday, February 2, 2022 @ 19:16:23 Author: felixonmars Revision: 1123099 archrelease: copy trunk to community-staging-x86_64 Added: haskell-tamarin-prover-utils/repos/community-staging-x86_64/ haskell-tamarin-prover-utils/repos/community-staging-x86_64/PKGBUILD (from rev 1

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

2022-01-27 Thread Felix Yan via arch-commits
Date: Thursday, January 27, 2022 @ 22:20:25 Author: felixonmars Revision: 1117913 archrelease: copy trunk to community-staging-x86_64 Added: haskell-tamarin-prover-utils/repos/community-staging-x86_64/ haskell-tamarin-prover-utils/repos/community-staging-x86_64/PKGBUILD (from rev 11

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

2022-01-24 Thread Felix Yan via arch-commits
Date: Tuesday, January 25, 2022 @ 05:11:10 Author: felixonmars Revision: 1115014 archrelease: copy trunk to community-staging-x86_64 Added: haskell-tamarin-prover-utils/repos/community-staging-x86_64/ haskell-tamarin-prover-utils/repos/community-staging-x86_64/PKGBUILD (from rev 111

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

2022-01-17 Thread Felix Yan via arch-commits
Date: Monday, January 17, 2022 @ 23:41:14 Author: felixonmars Revision: 1108425 archrelease: copy trunk to community-staging-x86_64 Added: haskell-tamarin-prover-utils/repos/community-staging-x86_64/ haskell-tamarin-prover-utils/repos/community-staging-x86_64/PKGBUILD (from rev 1108

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

2022-01-11 Thread Felix Yan via arch-commits
Date: Tuesday, January 11, 2022 @ 18:23:22 Author: felixonmars Revision: 1100719 archrelease: copy trunk to community-staging-x86_64 Added: haskell-tamarin-prover-utils/repos/community-staging-x86_64/ haskell-tamarin-prover-utils/repos/community-staging-x86_64/PKGBUILD (from rev 110

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

2022-01-07 Thread Felix Yan via arch-commits
Date: Friday, January 7, 2022 @ 22:31:41 Author: felixonmars Revision: 1096462 archrelease: copy trunk to community-staging-x86_64 Added: haskell-tamarin-prover-utils/repos/community-staging-x86_64/ haskell-tamarin-prover-utils/repos/community-staging-x86_64/PKGBUILD (from rev 10964

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

2022-01-05 Thread Felix Yan via arch-commits
Date: Thursday, January 6, 2022 @ 00:08:04 Author: felixonmars Revision: 1093867 archrelease: copy trunk to community-staging-x86_64 Added: haskell-tamarin-prover-utils/repos/community-staging-x86_64/ haskell-tamarin-prover-utils/repos/community-staging-x86_64/PKGBUILD (from rev 109

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

2021-12-30 Thread Felix Yan via arch-commits
Date: Friday, December 31, 2021 @ 06:17:05 Author: felixonmars Revision: 1089584 archrelease: copy trunk to community-staging-x86_64 Added: haskell-tamarin-prover-utils/repos/community-staging-x86_64/ haskell-tamarin-prover-utils/repos/community-staging-x86_64/PKGBUILD (from rev 108

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

2021-12-27 Thread Felix Yan via arch-commits
Date: Tuesday, December 28, 2021 @ 00:25:22 Author: felixonmars Revision: 1084599 archrelease: copy trunk to community-staging-x86_64 Added: haskell-tamarin-prover-utils/repos/community-staging-x86_64/ haskell-tamarin-prover-utils/repos/community-staging-x86_64/PKGBUILD (from rev 10

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

2021-12-20 Thread Felix Yan via arch-commits
Date: Monday, December 20, 2021 @ 20:18:21 Author: felixonmars Revision: 1080748 archrelease: copy trunk to community-staging-x86_64 Added: haskell-tamarin-prover-utils/repos/community-staging-x86_64/ haskell-tamarin-prover-utils/repos/community-staging-x86_64/PKGBUILD (from rev 108

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

2021-12-18 Thread Felix Yan via arch-commits
Date: Saturday, December 18, 2021 @ 16:59:34 Author: felixonmars Revision: 1077301 archrelease: copy trunk to community-staging-x86_64 Added: haskell-tamarin-prover-utils/repos/community-staging-x86_64/ haskell-tamarin-prover-utils/repos/community-staging-x86_64/PKGBUILD (from rev 1

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

2021-12-15 Thread Felix Yan via arch-commits
Date: Thursday, December 16, 2021 @ 03:12:47 Author: felixonmars Revision: 1073643 archrelease: copy trunk to community-staging-x86_64 Added: haskell-tamarin-prover-utils/repos/community-staging-x86_64/ haskell-tamarin-prover-utils/repos/community-staging-x86_64/PKGBUILD (from rev 1

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

2021-11-28 Thread Felix Yan via arch-commits
Date: Sunday, November 28, 2021 @ 23:24:31 Author: felixonmars Revision: 1055833 archrelease: copy trunk to community-staging-x86_64 Added: haskell-tamarin-prover-utils/repos/community-staging-x86_64/ haskell-tamarin-prover-utils/repos/community-staging-x86_64/PKGBUILD (from rev 105

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

2021-11-17 Thread Felix Yan via arch-commits
Date: Thursday, November 18, 2021 @ 03:49:57 Author: felixonmars Revision: 1051811 archrelease: copy trunk to community-staging-x86_64 Added: haskell-tamarin-prover-utils/repos/community-staging-x86_64/ haskell-tamarin-prover-utils/repos/community-staging-x86_64/PKGBUILD (from rev 1

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

2021-11-16 Thread Felix Yan via arch-commits
Date: Wednesday, November 17, 2021 @ 03:32:58 Author: felixonmars Revision: 1049415 archrelease: copy trunk to community-staging-x86_64 Added: haskell-tamarin-prover-utils/repos/community-staging-x86_64/ haskell-tamarin-prover-utils/repos/community-staging-x86_64/PKGBUILD (from rev

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

2021-11-13 Thread Felix Yan via arch-commits
Date: Saturday, November 13, 2021 @ 15:06:50 Author: felixonmars Revision: 1045432 archrelease: copy trunk to community-staging-x86_64 Added: haskell-tamarin-prover-utils/repos/community-staging-x86_64/ haskell-tamarin-prover-utils/repos/community-staging-x86_64/PKGBUILD (from rev 1

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

2021-11-11 Thread Felix Yan via arch-commits
Date: Friday, November 12, 2021 @ 02:16:29 Author: felixonmars Revision: 1042905 archrelease: copy trunk to community-staging-x86_64 Added: haskell-tamarin-prover-utils/repos/community-staging-x86_64/ haskell-tamarin-prover-utils/repos/community-staging-x86_64/PKGBUILD (from rev 104

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

2021-11-10 Thread Felix Yan via arch-commits
Date: Wednesday, November 10, 2021 @ 19:51:13 Author: felixonmars Revision: 1040187 archrelease: copy trunk to community-staging-x86_64 Added: haskell-tamarin-prover-utils/repos/community-staging-x86_64/ haskell-tamarin-prover-utils/repos/community-staging-x86_64/PKGBUILD (from rev

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

2021-11-06 Thread Felix Yan via arch-commits
Date: Sunday, November 7, 2021 @ 00:04:48 Author: felixonmars Revision: 1037944 archrelease: copy trunk to community-staging-x86_64 Added: haskell-tamarin-prover-utils/repos/community-staging-x86_64/ haskell-tamarin-prover-utils/repos/community-staging-x86_64/PKGBUILD (from rev 1037

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

2021-10-26 Thread Felix Yan via arch-commits
Date: Tuesday, October 26, 2021 @ 18:31:27 Author: felixonmars Revision: 1034273 archrelease: copy trunk to community-staging-x86_64 Added: haskell-tamarin-prover-utils/repos/community-staging-x86_64/ haskell-tamarin-prover-utils/repos/community-staging-x86_64/PKGBUILD (from rev 103

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

2021-09-24 Thread Felix Yan via arch-commits
Date: Friday, September 24, 2021 @ 07:14:30 Author: felixonmars Revision: 1023421 archrelease: copy trunk to community-staging-x86_64 Added: haskell-tamarin-prover-utils/repos/community-staging-x86_64/ haskell-tamarin-prover-utils/repos/community-staging-x86_64/PKGBUILD (from rev 10

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

2021-09-21 Thread Felix Yan via arch-commits
Date: Tuesday, September 21, 2021 @ 18:58:49 Author: felixonmars Revision: 1020689 archrelease: copy trunk to community-staging-x86_64 Added: haskell-tamarin-prover-utils/repos/community-staging-x86_64/ haskell-tamarin-prover-utils/repos/community-staging-x86_64/PKGBUILD (from rev 1

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

2021-09-19 Thread Felix Yan via arch-commits
Date: Sunday, September 19, 2021 @ 23:08:40 Author: felixonmars Revision: 1017880 archrelease: copy trunk to community-staging-x86_64 Added: haskell-tamarin-prover-utils/repos/community-staging-x86_64/ haskell-tamarin-prover-utils/repos/community-staging-x86_64/PKGBUILD (from rev 10

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

2021-08-28 Thread Felix Yan via arch-commits
Date: Sunday, August 29, 2021 @ 00:52:30 Author: felixonmars Revision: 1008287 archrelease: copy trunk to community-staging-x86_64 Added: haskell-tamarin-prover-utils/repos/community-staging-x86_64/ haskell-tamarin-prover-utils/repos/community-staging-x86_64/PKGBUILD (from rev 10082

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

2021-08-25 Thread Felix Yan via arch-commits
Date: Thursday, August 26, 2021 @ 04:18:29 Author: felixonmars Revision: 1005448 archrelease: copy trunk to community-staging-x86_64 Added: haskell-tamarin-prover-utils/repos/community-staging-x86_64/ haskell-tamarin-prover-utils/repos/community-staging-x86_64/PKGBUILD (from rev 100

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

2021-08-23 Thread Felix Yan via arch-commits
Date: Monday, August 23, 2021 @ 20:42:07 Author: felixonmars Revision: 1004464 archrelease: copy trunk to community-staging-x86_64 Added: haskell-tamarin-prover-utils/repos/community-staging-x86_64/ haskell-tamarin-prover-utils/repos/community-staging-x86_64/PKGBUILD (from rev 10044

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

2021-08-17 Thread Felix Yan via arch-commits
Date: Tuesday, August 17, 2021 @ 15:35:10 Author: felixonmars Revision: 1001890 archrelease: copy trunk to community-staging-x86_64 Added: haskell-tamarin-prover-utils/repos/community-staging-x86_64/ haskell-tamarin-prover-utils/repos/community-staging-x86_64/PKGBUILD (from rev 1001

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

2021-08-15 Thread Felix Yan via arch-commits
Date: Sunday, August 15, 2021 @ 20:40:42 Author: felixonmars Revision: 999283 archrelease: copy trunk to community-staging-x86_64 Added: haskell-tamarin-prover-utils/repos/community-staging-x86_64/ haskell-tamarin-prover-utils/repos/community-staging-x86_64/PKGBUILD (from rev 999282

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

2021-08-13 Thread Felix Yan via arch-commits
Date: Friday, August 13, 2021 @ 14:37:03 Author: felixonmars Revision: 998041 archrelease: copy trunk to community-staging-x86_64 Added: haskell-tamarin-prover-utils/repos/community-staging-x86_64/ haskell-tamarin-prover-utils/repos/community-staging-x86_64/PKGBUILD (from rev 998040

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

2021-08-08 Thread Felix Yan via arch-commits
Date: Sunday, August 8, 2021 @ 18:29:19 Author: felixonmars Revision: 995465 archrelease: copy trunk to community-staging-x86_64 Added: haskell-tamarin-prover-utils/repos/community-staging-x86_64/ haskell-tamarin-prover-utils/repos/community-staging-x86_64/PKGBUILD (from rev 995464,

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

2021-07-26 Thread Felix Yan via arch-commits
Date: Monday, July 26, 2021 @ 22:49:32 Author: felixonmars Revision: 986136 archrelease: copy trunk to community-staging-x86_64 Added: haskell-tamarin-prover-utils/repos/community-staging-x86_64/ haskell-tamarin-prover-utils/repos/community-staging-x86_64/PKGBUILD (from rev 986135,

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

2021-07-21 Thread Felix Yan via arch-commits
Date: Wednesday, July 21, 2021 @ 17:35:53 Author: felixonmars Revision: 982474 archrelease: copy trunk to community-staging-x86_64 Added: haskell-tamarin-prover-utils/repos/community-staging-x86_64/ haskell-tamarin-prover-utils/repos/community-staging-x86_64/PKGBUILD (from rev 98247

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

2021-07-20 Thread Felix Yan via arch-commits
Date: Tuesday, July 20, 2021 @ 13:31:59 Author: felixonmars Revision: 980029 archrelease: copy trunk to community-staging-x86_64 Added: haskell-tamarin-prover-utils/repos/community-staging-x86_64/ haskell-tamarin-prover-utils/repos/community-staging-x86_64/PKGBUILD (from rev 980028,

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

2021-07-06 Thread Felix Yan via arch-commits
Date: Tuesday, July 6, 2021 @ 17:30:56 Author: felixonmars Revision: 973631 archrelease: copy trunk to community-staging-x86_64 Added: haskell-tamarin-prover-utils/repos/community-staging-x86_64/ haskell-tamarin-prover-utils/repos/community-staging-x86_64/PKGBUILD (from rev 973630,

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

2021-07-01 Thread Felix Yan via arch-commits
Date: Friday, July 2, 2021 @ 01:50:02 Author: felixonmars Revision: 970101 archrelease: copy trunk to community-staging-x86_64 Added: haskell-tamarin-prover-utils/repos/community-staging-x86_64/ haskell-tamarin-prover-utils/repos/community-staging-x86_64/PKGBUILD (from rev 970100, h

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

2021-06-22 Thread Felix Yan via arch-commits
Date: Wednesday, June 23, 2021 @ 01:49:00 Author: felixonmars Revision: 966975 archrelease: copy trunk to community-staging-x86_64 Added: haskell-tamarin-prover-utils/repos/community-staging-x86_64/ haskell-tamarin-prover-utils/repos/community-staging-x86_64/PKGBUILD (from rev 96697

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

2021-06-09 Thread Felix Yan via arch-commits
Date: Thursday, June 10, 2021 @ 03:10:45 Author: felixonmars Revision: 961034 archrelease: copy trunk to community-staging-x86_64 Added: haskell-tamarin-prover-utils/repos/community-staging-x86_64/ haskell-tamarin-prover-utils/repos/community-staging-x86_64/PKGBUILD (from rev 961033

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

2021-06-07 Thread Felix Yan via arch-commits
Date: Monday, June 7, 2021 @ 10:36:13 Author: felixonmars Revision: 957343 archrelease: copy trunk to community-staging-x86_64 Added: haskell-tamarin-prover-utils/repos/community-staging-x86_64/ haskell-tamarin-prover-utils/repos/community-staging-x86_64/PKGBUILD (from rev 957342, h

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

2021-06-02 Thread Felix Yan via arch-commits
Date: Thursday, June 3, 2021 @ 00:49:55 Author: felixonmars Revision: 953950 archrelease: copy trunk to community-staging-x86_64 Added: haskell-tamarin-prover-utils/repos/community-staging-x86_64/ haskell-tamarin-prover-utils/repos/community-staging-x86_64/PKGBUILD (from rev 953949,

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

2021-05-30 Thread Felix Yan via arch-commits
Date: Monday, May 31, 2021 @ 01:18:38 Author: felixonmars Revision: 951271 archrelease: copy trunk to community-staging-x86_64 Added: haskell-tamarin-prover-utils/repos/community-staging-x86_64/ haskell-tamarin-prover-utils/repos/community-staging-x86_64/PKGBUILD (from rev 951270, h

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

2021-05-27 Thread Felix Yan via arch-commits
Date: Thursday, May 27, 2021 @ 21:57:55 Author: felixonmars Revision: 949201 archrelease: copy trunk to community-staging-x86_64 Added: haskell-tamarin-prover-utils/repos/community-staging-x86_64/ haskell-tamarin-prover-utils/repos/community-staging-x86_64/PKGBUILD (from rev 949200,

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

2021-05-26 Thread Felix Yan via arch-commits
Date: Wednesday, May 26, 2021 @ 22:51:05 Author: felixonmars Revision: 947267 archrelease: copy trunk to community-staging-x86_64 Added: haskell-tamarin-prover-utils/repos/community-staging-x86_64/ haskell-tamarin-prover-utils/repos/community-staging-x86_64/PKGBUILD (from rev 947266

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

2021-05-20 Thread Felix Yan via arch-commits
Date: Friday, May 21, 2021 @ 04:35:24 Author: felixonmars Revision: 940163 archrelease: copy trunk to community-staging-x86_64 Added: haskell-tamarin-prover-utils/repos/community-staging-x86_64/ haskell-tamarin-prover-utils/repos/community-staging-x86_64/PKGBUILD (from rev 940162, h

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

2021-05-19 Thread Felix Yan via arch-commits
Date: Wednesday, May 19, 2021 @ 21:54:55 Author: felixonmars Revision: 936991 archrelease: copy trunk to community-staging-x86_64 Added: haskell-tamarin-prover-utils/repos/community-staging-x86_64/ haskell-tamarin-prover-utils/repos/community-staging-x86_64/PKGBUILD (from rev 936990

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

2021-05-13 Thread Felix Yan via arch-commits
Date: Thursday, May 13, 2021 @ 17:33:55 Author: felixonmars Revision: 933374 archrelease: copy trunk to community-staging-x86_64 Added: haskell-tamarin-prover-utils/repos/community-staging-x86_64/ haskell-tamarin-prover-utils/repos/community-staging-x86_64/PKGBUILD (from rev 933373,

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

2021-05-11 Thread Felix Yan via arch-commits
Date: Wednesday, May 12, 2021 @ 00:44:44 Author: felixonmars Revision: 931114 archrelease: copy trunk to community-staging-x86_64 Added: haskell-tamarin-prover-utils/repos/community-staging-x86_64/ haskell-tamarin-prover-utils/repos/community-staging-x86_64/PKGBUILD (from rev 931113

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

2021-04-22 Thread Felix Yan via arch-commits
Date: Thursday, April 22, 2021 @ 17:05:50 Author: felixonmars Revision: 921297 archrelease: copy trunk to community-staging-x86_64 Added: haskell-tamarin-prover-utils/repos/community-staging-x86_64/ haskell-tamarin-prover-utils/repos/community-staging-x86_64/PKGBUILD (from rev 92129

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

2021-04-13 Thread Felix Yan via arch-commits
Date: Tuesday, April 13, 2021 @ 08:38:20 Author: felixonmars Revision: 916758 archrelease: copy trunk to community-staging-x86_64 Added: haskell-tamarin-prover-utils/repos/community-staging-x86_64/ haskell-tamarin-prover-utils/repos/community-staging-x86_64/PKGBUILD (from rev 916757

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

2021-04-07 Thread Felix Yan via arch-commits
Date: Wednesday, April 7, 2021 @ 23:37:49 Author: felixonmars Revision: 913056 archrelease: copy trunk to community-staging-x86_64 Added: haskell-tamarin-prover-utils/repos/community-staging-x86_64/ haskell-tamarin-prover-utils/repos/community-staging-x86_64/PKGBUILD (from rev 91305

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

2021-03-29 Thread Felix Yan via arch-commits
Date: Monday, March 29, 2021 @ 06:25:56 Author: felixonmars Revision: 908568 archrelease: copy trunk to community-staging-x86_64 Added: haskell-tamarin-prover-utils/repos/community-staging-x86_64/ haskell-tamarin-prover-utils/repos/community-staging-x86_64/PKGBUILD (from rev 908567,

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

2021-03-28 Thread Felix Yan via arch-commits
Date: Sunday, March 28, 2021 @ 03:31:20 Author: felixonmars Revision: 906134 archrelease: copy trunk to community-staging-x86_64 Added: haskell-tamarin-prover-utils/repos/community-staging-x86_64/ haskell-tamarin-prover-utils/repos/community-staging-x86_64/PKGBUILD (from rev 906133,

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

2021-03-25 Thread Felix Yan via arch-commits
Date: Thursday, March 25, 2021 @ 15:55:00 Author: felixonmars Revision: 903187 archrelease: copy trunk to community-staging-x86_64 Added: haskell-tamarin-prover-utils/repos/community-staging-x86_64/ haskell-tamarin-prover-utils/repos/community-staging-x86_64/PKGBUILD (from rev 90318

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

2021-03-22 Thread Felix Yan via arch-commits
Date: Tuesday, March 23, 2021 @ 02:59:32 Author: felixonmars Revision: 899737 archrelease: copy trunk to community-staging-x86_64 Added: haskell-tamarin-prover-utils/repos/community-staging-x86_64/ haskell-tamarin-prover-utils/repos/community-staging-x86_64/PKGBUILD (from rev 899736

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

2021-03-20 Thread Felix Yan via arch-commits
Date: Sunday, March 21, 2021 @ 04:34:33 Author: felixonmars Revision: 896828 archrelease: copy trunk to community-staging-x86_64 Added: haskell-tamarin-prover-utils/repos/community-staging-x86_64/ haskell-tamarin-prover-utils/repos/community-staging-x86_64/PKGBUILD (from rev 896827,

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

2021-03-16 Thread Felix Yan via arch-commits
Date: Tuesday, March 16, 2021 @ 21:05:53 Author: felixonmars Revision: 892295 archrelease: copy trunk to community-staging-x86_64 Added: haskell-tamarin-prover-utils/repos/community-staging-x86_64/ haskell-tamarin-prover-utils/repos/community-staging-x86_64/PKGBUILD (from rev 892294

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

2021-03-11 Thread Felix Yan via arch-commits
Date: Friday, March 12, 2021 @ 03:15:19 Author: felixonmars Revision: 887950 archrelease: copy trunk to community-staging-x86_64 Added: haskell-tamarin-prover-utils/repos/community-staging-x86_64/ haskell-tamarin-prover-utils/repos/community-staging-x86_64/PKGBUILD (from rev 887949,

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

2021-03-06 Thread Felix Yan via arch-commits
Date: Sunday, March 7, 2021 @ 03:40:09 Author: felixonmars Revision: 885303 archrelease: copy trunk to community-staging-x86_64 Added: haskell-tamarin-prover-utils/repos/community-staging-x86_64/ haskell-tamarin-prover-utils/repos/community-staging-x86_64/PKGBUILD (from rev 885302,

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

2021-03-05 Thread Felix Yan via arch-commits
Date: Friday, March 5, 2021 @ 23:29:04 Author: felixonmars Revision: 882749 archrelease: copy trunk to community-staging-x86_64 Added: haskell-tamarin-prover-utils/repos/community-staging-x86_64/ haskell-tamarin-prover-utils/repos/community-staging-x86_64/PKGBUILD (from rev 882748,

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

2021-03-03 Thread Felix Yan via arch-commits
Date: Wednesday, March 3, 2021 @ 22:46:11 Author: felixonmars Revision: 879667 archrelease: copy trunk to community-staging-x86_64 Added: haskell-tamarin-prover-utils/repos/community-staging-x86_64/ haskell-tamarin-prover-utils/repos/community-staging-x86_64/PKGBUILD (from rev 87966

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

2021-03-01 Thread Felix Yan via arch-commits
Date: Monday, March 1, 2021 @ 20:20:52 Author: felixonmars Revision: 876760 archrelease: copy trunk to community-staging-x86_64 Added: haskell-tamarin-prover-utils/repos/community-staging-x86_64/ haskell-tamarin-prover-utils/repos/community-staging-x86_64/PKGBUILD (from rev 876759,

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

2021-02-24 Thread Felix Yan via arch-commits
Date: Thursday, February 25, 2021 @ 03:04:11 Author: felixonmars Revision: 872637 archrelease: copy trunk to community-staging-x86_64 Added: haskell-tamarin-prover-utils/repos/community-staging-x86_64/ haskell-tamarin-prover-utils/repos/community-staging-x86_64/PKGBUILD (from rev 87

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

2021-02-22 Thread Felix Yan via arch-commits
Date: Monday, February 22, 2021 @ 21:32:29 Author: felixonmars Revision: 869021 archrelease: copy trunk to community-staging-x86_64 Added: haskell-tamarin-prover-utils/repos/community-staging-x86_64/ haskell-tamarin-prover-utils/repos/community-staging-x86_64/PKGBUILD (from rev 8690

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

2021-02-17 Thread Felix Yan via arch-commits
Date: Thursday, February 18, 2021 @ 01:22:40 Author: felixonmars Revision: 863264 archrelease: copy trunk to community-staging-x86_64 Added: haskell-tamarin-prover-utils/repos/community-staging-x86_64/ haskell-tamarin-prover-utils/repos/community-staging-x86_64/PKGBUILD (from rev 86

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

2021-02-15 Thread Felix Yan via arch-commits
Date: Monday, February 15, 2021 @ 09:45:56 Author: felixonmars Revision: 860894 archrelease: copy trunk to community-staging-x86_64 Added: haskell-tamarin-prover-utils/repos/community-staging-x86_64/ haskell-tamarin-prover-utils/repos/community-staging-x86_64/PKGBUILD (from rev 8608

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

2021-02-12 Thread Felix Yan via arch-commits
Date: Saturday, February 13, 2021 @ 03:18:34 Author: felixonmars Revision: 857655 archrelease: copy trunk to community-staging-x86_64 Added: haskell-tamarin-prover-utils/repos/community-staging-x86_64/ haskell-tamarin-prover-utils/repos/community-staging-x86_64/PKGBUILD (from rev 85

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

2021-02-10 Thread Felix Yan via arch-commits
Date: Thursday, February 11, 2021 @ 04:15:04 Author: felixonmars Revision: 855294 archrelease: copy trunk to community-staging-x86_64 Added: haskell-tamarin-prover-utils/repos/community-staging-x86_64/ haskell-tamarin-prover-utils/repos/community-staging-x86_64/PKGBUILD (from rev 85

  1   2   >