[arch-commits] Commit in haskell-tamarin-prover-term/repos (3 files)

2022-09-05 Thread Felix Yan via arch-commits
Date: Tuesday, September 6, 2022 @ 00:06:40 Author: felixonmars Revision: 1294038 archrelease: copy trunk to community-staging-x86_64 Added: haskell-tamarin-prover-term/repos/community-staging-x86_64/ haskell-tamarin-prover-term/repos/community-staging-x86_64/PKGBUILD (from rev 1294

[arch-commits] Commit in haskell-tamarin-prover-term/repos (3 files)

2022-08-29 Thread Felix Yan via arch-commits
Date: Monday, August 29, 2022 @ 22:18:12 Author: felixonmars Revision: 1286513 archrelease: copy trunk to community-staging-x86_64 Added: haskell-tamarin-prover-term/repos/community-staging-x86_64/ haskell-tamarin-prover-term/repos/community-staging-x86_64/PKGBUILD (from rev 1286512

[arch-commits] Commit in haskell-tamarin-prover-term/repos (3 files)

2022-08-26 Thread Felix Yan via arch-commits
Date: Friday, August 26, 2022 @ 14:37:11 Author: felixonmars Revision: 1282617 archrelease: copy trunk to community-staging-x86_64 Added: haskell-tamarin-prover-term/repos/community-staging-x86_64/ haskell-tamarin-prover-term/repos/community-staging-x86_64/PKGBUILD (from rev 1282616

[arch-commits] Commit in haskell-tamarin-prover-term/repos (3 files)

2022-08-24 Thread Felix Yan via arch-commits
Date: Wednesday, August 24, 2022 @ 22:23:38 Author: felixonmars Revision: 1277567 archrelease: copy trunk to community-staging-x86_64 Added: haskell-tamarin-prover-term/repos/community-staging-x86_64/ haskell-tamarin-prover-term/repos/community-staging-x86_64/PKGBUILD (from rev 1277

[arch-commits] Commit in haskell-tamarin-prover-term/repos (3 files)

2022-08-21 Thread Felix Yan via arch-commits
Date: Sunday, August 21, 2022 @ 15:35:42 Author: felixonmars Revision: 1272622 archrelease: copy trunk to community-staging-x86_64 Added: haskell-tamarin-prover-term/repos/community-staging-x86_64/ haskell-tamarin-prover-term/repos/community-staging-x86_64/PKGBUILD (from rev 1272621

[arch-commits] Commit in haskell-tamarin-prover-term/repos (3 files)

2022-08-18 Thread Felix Yan via arch-commits
Date: Thursday, August 18, 2022 @ 21:10:46 Author: felixonmars Revision: 1269022 archrelease: copy trunk to community-staging-x86_64 Added: haskell-tamarin-prover-term/repos/community-staging-x86_64/ haskell-tamarin-prover-term/repos/community-staging-x86_64/PKGBUILD (from rev 12690

[arch-commits] Commit in haskell-tamarin-prover-term/repos (3 files)

2022-08-08 Thread Felix Yan via arch-commits
Date: Monday, August 8, 2022 @ 17:21:29 Author: felixonmars Revision: 1261491 archrelease: copy trunk to community-staging-x86_64 Added: haskell-tamarin-prover-term/repos/community-staging-x86_64/ haskell-tamarin-prover-term/repos/community-staging-x86_64/PKGBUILD (from rev 1261490,

[arch-commits] Commit in haskell-tamarin-prover-term/repos (3 files)

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

[arch-commits] Commit in haskell-tamarin-prover-term/repos (3 files)

2022-07-12 Thread Felix Yan via arch-commits
Date: Tuesday, July 12, 2022 @ 18:32:51 Author: felixonmars Revision: 1250803 archrelease: copy trunk to community-staging-x86_64 Added: haskell-tamarin-prover-term/repos/community-staging-x86_64/ haskell-tamarin-prover-term/repos/community-staging-x86_64/PKGBUILD (from rev 1250802,

[arch-commits] Commit in haskell-tamarin-prover-term/repos (3 files)

2022-07-05 Thread Felix Yan via arch-commits
Date: Tuesday, July 5, 2022 @ 17:45:06 Author: felixonmars Revision: 1244973 archrelease: copy trunk to community-staging-x86_64 Added: haskell-tamarin-prover-term/repos/community-staging-x86_64/ haskell-tamarin-prover-term/repos/community-staging-x86_64/PKGBUILD (from rev 1244972,

[arch-commits] Commit in haskell-tamarin-prover-term/repos (3 files)

2022-06-29 Thread Felix Yan via arch-commits
Date: Wednesday, June 29, 2022 @ 19:46:02 Author: felixonmars Revision: 1241282 archrelease: copy trunk to community-staging-x86_64 Added: haskell-tamarin-prover-term/repos/community-staging-x86_64/ haskell-tamarin-prover-term/repos/community-staging-x86_64/PKGBUILD (from rev 124128

[arch-commits] Commit in haskell-tamarin-prover-term/repos (3 files)

2022-06-11 Thread Felix Yan via arch-commits
Date: Saturday, June 11, 2022 @ 22:09:25 Author: felixonmars Revision: 1235225 archrelease: copy trunk to community-staging-x86_64 Added: haskell-tamarin-prover-term/repos/community-staging-x86_64/ haskell-tamarin-prover-term/repos/community-staging-x86_64/PKGBUILD (from rev 1235224

[arch-commits] Commit in haskell-tamarin-prover-term/repos (3 files)

2022-06-10 Thread Felix Yan via arch-commits
Date: Friday, June 10, 2022 @ 18:21:13 Author: felixonmars Revision: 1231263 archrelease: copy trunk to community-staging-x86_64 Added: haskell-tamarin-prover-term/repos/community-staging-x86_64/ haskell-tamarin-prover-term/repos/community-staging-x86_64/PKGBUILD (from rev 1231262,

[arch-commits] Commit in haskell-tamarin-prover-term/repos (3 files)

2022-06-05 Thread Felix Yan via arch-commits
Date: Sunday, June 5, 2022 @ 18:20:56 Author: felixonmars Revision: 1223786 archrelease: copy trunk to community-staging-x86_64 Added: haskell-tamarin-prover-term/repos/community-staging-x86_64/ haskell-tamarin-prover-term/repos/community-staging-x86_64/PKGBUILD (from rev 1223785, h

[arch-commits] Commit in haskell-tamarin-prover-term/repos (3 files)

2022-06-03 Thread Felix Yan via arch-commits
Date: Friday, June 3, 2022 @ 09:27:56 Author: felixonmars Revision: 1219830 archrelease: copy trunk to community-staging-x86_64 Added: haskell-tamarin-prover-term/repos/community-staging-x86_64/ haskell-tamarin-prover-term/repos/community-staging-x86_64/PKGBUILD (from rev 1219829, h

[arch-commits] Commit in haskell-tamarin-prover-term/repos (3 files)

2022-05-30 Thread Felix Yan via arch-commits
Date: Monday, May 30, 2022 @ 10:15:45 Author: felixonmars Revision: 1215658 archrelease: copy trunk to community-staging-x86_64 Added: haskell-tamarin-prover-term/repos/community-staging-x86_64/ haskell-tamarin-prover-term/repos/community-staging-x86_64/PKGBUILD (from rev 1215657, h

[arch-commits] Commit in haskell-tamarin-prover-term/repos (3 files)

2022-05-28 Thread Felix Yan via arch-commits
Date: Saturday, May 28, 2022 @ 15:46:17 Author: felixonmars Revision: 1211940 archrelease: copy trunk to community-staging-x86_64 Added: haskell-tamarin-prover-term/repos/community-staging-x86_64/ haskell-tamarin-prover-term/repos/community-staging-x86_64/PKGBUILD (from rev 1211939,

[arch-commits] Commit in haskell-tamarin-prover-term/repos (3 files)

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

[arch-commits] Commit in haskell-tamarin-prover-term/repos (3 files)

2022-05-13 Thread Felix Yan via arch-commits
Date: Friday, May 13, 2022 @ 08:27:36 Author: felixonmars Revision: 1201015 archrelease: copy trunk to community-staging-x86_64 Added: haskell-tamarin-prover-term/repos/community-staging-x86_64/ haskell-tamarin-prover-term/repos/community-staging-x86_64/PKGBUILD (from rev 1201014, h

[arch-commits] Commit in haskell-tamarin-prover-term/repos (3 files)

2022-05-04 Thread Felix Yan via arch-commits
Date: Wednesday, May 4, 2022 @ 12:23:53 Author: felixonmars Revision: 1193619 archrelease: copy trunk to community-staging-x86_64 Added: haskell-tamarin-prover-term/repos/community-staging-x86_64/ haskell-tamarin-prover-term/repos/community-staging-x86_64/PKGBUILD (from rev 1193618,

[arch-commits] Commit in haskell-tamarin-prover-term/repos (3 files)

2022-04-23 Thread Felix Yan via arch-commits
Date: Saturday, April 23, 2022 @ 21:17:52 Author: felixonmars Revision: 1188611 archrelease: copy trunk to community-staging-x86_64 Added: haskell-tamarin-prover-term/repos/community-staging-x86_64/ haskell-tamarin-prover-term/repos/community-staging-x86_64/PKGBUILD (from rev 118861

[arch-commits] Commit in haskell-tamarin-prover-term/repos (3 files)

2022-04-09 Thread Felix Yan via arch-commits
Date: Sunday, April 10, 2022 @ 00:55:34 Author: felixonmars Revision: 1184077 archrelease: copy trunk to community-staging-x86_64 Added: haskell-tamarin-prover-term/repos/community-staging-x86_64/ haskell-tamarin-prover-term/repos/community-staging-x86_64/PKGBUILD (from rev 1184076,

[arch-commits] Commit in haskell-tamarin-prover-term/repos (3 files)

2022-03-31 Thread Felix Yan via arch-commits
Date: Friday, April 1, 2022 @ 04:48:16 Author: felixonmars Revision: 1178921 archrelease: copy trunk to community-staging-x86_64 Added: haskell-tamarin-prover-term/repos/community-staging-x86_64/ haskell-tamarin-prover-term/repos/community-staging-x86_64/PKGBUILD (from rev 1178920,

[arch-commits] Commit in haskell-tamarin-prover-term/repos (3 files)

2022-03-23 Thread Felix Yan via arch-commits
Date: Thursday, March 24, 2022 @ 01:08:32 Author: felixonmars Revision: 1172990 archrelease: copy trunk to community-staging-x86_64 Added: haskell-tamarin-prover-term/repos/community-staging-x86_64/ haskell-tamarin-prover-term/repos/community-staging-x86_64/PKGBUILD (from rev 117298

[arch-commits] Commit in haskell-tamarin-prover-term/repos (3 files)

2022-03-21 Thread Felix Yan via arch-commits
Date: Monday, March 21, 2022 @ 18:07:02 Author: felixonmars Revision: 1167829 archrelease: copy trunk to community-staging-x86_64 Added: haskell-tamarin-prover-term/repos/community-staging-x86_64/ haskell-tamarin-prover-term/repos/community-staging-x86_64/PKGBUILD (from rev 1167828,

[arch-commits] Commit in haskell-tamarin-prover-term/repos (3 files)

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

[arch-commits] Commit in haskell-tamarin-prover-term/repos (3 files)

2022-03-19 Thread Felix Yan via arch-commits
Date: Saturday, March 19, 2022 @ 15:13:14 Author: felixonmars Revision: 1161300 archrelease: copy trunk to community-staging-x86_64 Added: haskell-tamarin-prover-term/repos/community-staging-x86_64/ haskell-tamarin-prover-term/repos/community-staging-x86_64/PKGBUILD (from rev 116129

[arch-commits] Commit in haskell-tamarin-prover-term/repos (3 files)

2022-03-18 Thread Felix Yan via arch-commits
Date: Friday, March 18, 2022 @ 11:27:24 Author: felixonmars Revision: 1158380 archrelease: copy trunk to community-staging-x86_64 Added: haskell-tamarin-prover-term/repos/community-staging-x86_64/ haskell-tamarin-prover-term/repos/community-staging-x86_64/PKGBUILD (from rev 1158379,

[arch-commits] Commit in haskell-tamarin-prover-term/repos (3 files)

2022-03-14 Thread Felix Yan via arch-commits
Date: Monday, March 14, 2022 @ 10:38:30 Author: felixonmars Revision: 1152319 archrelease: copy trunk to community-staging-x86_64 Added: haskell-tamarin-prover-term/repos/community-staging-x86_64/ haskell-tamarin-prover-term/repos/community-staging-x86_64/PKGBUILD (from rev 1152318,

[arch-commits] Commit in haskell-tamarin-prover-term/repos (3 files)

2022-03-11 Thread Felix Yan via arch-commits
Date: Friday, March 11, 2022 @ 08:14:53 Author: felixonmars Revision: 1147984 archrelease: copy trunk to community-staging-x86_64 Added: haskell-tamarin-prover-term/repos/community-staging-x86_64/ haskell-tamarin-prover-term/repos/community-staging-x86_64/PKGBUILD (from rev 1147983,

[arch-commits] Commit in haskell-tamarin-prover-term/repos (3 files)

2022-03-07 Thread Felix Yan via arch-commits
Date: Monday, March 7, 2022 @ 20:45:52 Author: felixonmars Revision: 1145012 archrelease: copy trunk to community-staging-x86_64 Added: haskell-tamarin-prover-term/repos/community-staging-x86_64/ haskell-tamarin-prover-term/repos/community-staging-x86_64/PKGBUILD (from rev 1145011,

[arch-commits] Commit in haskell-tamarin-prover-term/repos (3 files)

2022-03-03 Thread Felix Yan via arch-commits
Date: Thursday, March 3, 2022 @ 19:57:24 Author: felixonmars Revision: 114 archrelease: copy trunk to community-staging-x86_64 Added: haskell-tamarin-prover-term/repos/community-staging-x86_64/ haskell-tamarin-prover-term/repos/community-staging-x86_64/PKGBUILD (from rev 1141110

[arch-commits] Commit in haskell-tamarin-prover-term/repos (3 files)

2022-02-19 Thread Felix Yan via arch-commits
Date: Saturday, February 19, 2022 @ 21:27:47 Author: felixonmars Revision: 1135046 archrelease: copy trunk to community-staging-x86_64 Added: haskell-tamarin-prover-term/repos/community-staging-x86_64/ haskell-tamarin-prover-term/repos/community-staging-x86_64/PKGBUILD (from rev 113

[arch-commits] Commit in haskell-tamarin-prover-term/repos (3 files)

2022-02-09 Thread Felix Yan via arch-commits
Date: Wednesday, February 9, 2022 @ 23:18:54 Author: felixonmars Revision: 1130442 archrelease: copy trunk to community-staging-x86_64 Added: haskell-tamarin-prover-term/repos/community-staging-x86_64/ haskell-tamarin-prover-term/repos/community-staging-x86_64/PKGBUILD (from rev 113

[arch-commits] Commit in haskell-tamarin-prover-term/repos (3 files)

2022-02-07 Thread Felix Yan via arch-commits
Date: Monday, February 7, 2022 @ 17:36:05 Author: felixonmars Revision: 1128426 archrelease: copy trunk to community-staging-x86_64 Added: haskell-tamarin-prover-term/repos/community-staging-x86_64/ haskell-tamarin-prover-term/repos/community-staging-x86_64/PKGBUILD (from rev 112842

[arch-commits] Commit in haskell-tamarin-prover-term/repos (3 files)

2022-02-02 Thread Felix Yan via arch-commits
Date: Wednesday, February 2, 2022 @ 19:47:10 Author: felixonmars Revision: 1123193 archrelease: copy trunk to community-staging-x86_64 Added: haskell-tamarin-prover-term/repos/community-staging-x86_64/ haskell-tamarin-prover-term/repos/community-staging-x86_64/PKGBUILD (from rev 112

[arch-commits] Commit in haskell-tamarin-prover-term/repos (3 files)

2022-01-27 Thread Felix Yan via arch-commits
Date: Friday, January 28, 2022 @ 05:54:53 Author: felixonmars Revision: 1118037 archrelease: copy trunk to community-staging-x86_64 Added: haskell-tamarin-prover-term/repos/community-staging-x86_64/ haskell-tamarin-prover-term/repos/community-staging-x86_64/PKGBUILD (from rev 111803

[arch-commits] Commit in haskell-tamarin-prover-term/repos (3 files)

2022-01-24 Thread Felix Yan via arch-commits
Date: Tuesday, January 25, 2022 @ 06:53:40 Author: felixonmars Revision: 1115108 archrelease: copy trunk to community-staging-x86_64 Added: haskell-tamarin-prover-term/repos/community-staging-x86_64/ haskell-tamarin-prover-term/repos/community-staging-x86_64/PKGBUILD (from rev 11151

[arch-commits] Commit in haskell-tamarin-prover-term/repos (3 files)

2022-01-18 Thread Felix Yan via arch-commits
Date: Tuesday, January 18, 2022 @ 11:26:03 Author: felixonmars Revision: 1108545 archrelease: copy trunk to community-staging-x86_64 Added: haskell-tamarin-prover-term/repos/community-staging-x86_64/ haskell-tamarin-prover-term/repos/community-staging-x86_64/PKGBUILD (from rev 11085

[arch-commits] Commit in haskell-tamarin-prover-term/repos (3 files)

2022-01-16 Thread Felix Yan via arch-commits
Date: Sunday, January 16, 2022 @ 21:44:32 Author: felixonmars Revision: 1106477 archrelease: copy trunk to community-staging-x86_64 Added: haskell-tamarin-prover-term/repos/community-staging-x86_64/ haskell-tamarin-prover-term/repos/community-staging-x86_64/PKGBUILD (from rev 110647

[arch-commits] Commit in haskell-tamarin-prover-term/repos (3 files)

2022-01-11 Thread Felix Yan via arch-commits
Date: Tuesday, January 11, 2022 @ 19:34:23 Author: felixonmars Revision: 1100875 archrelease: copy trunk to community-staging-x86_64 Added: haskell-tamarin-prover-term/repos/community-staging-x86_64/ haskell-tamarin-prover-term/repos/community-staging-x86_64/PKGBUILD (from rev 11008

[arch-commits] Commit in haskell-tamarin-prover-term/repos (3 files)

2022-01-07 Thread Felix Yan via arch-commits
Date: Friday, January 7, 2022 @ 23:35:45 Author: felixonmars Revision: 1096610 archrelease: copy trunk to community-staging-x86_64 Added: haskell-tamarin-prover-term/repos/community-staging-x86_64/ haskell-tamarin-prover-term/repos/community-staging-x86_64/PKGBUILD (from rev 1096609

[arch-commits] Commit in haskell-tamarin-prover-term/repos (3 files)

2022-01-05 Thread Felix Yan via arch-commits
Date: Thursday, January 6, 2022 @ 01:11:13 Author: felixonmars Revision: 1094021 archrelease: copy trunk to community-staging-x86_64 Added: haskell-tamarin-prover-term/repos/community-staging-x86_64/ haskell-tamarin-prover-term/repos/community-staging-x86_64/PKGBUILD (from rev 10940

[arch-commits] Commit in haskell-tamarin-prover-term/repos (3 files)

2021-12-30 Thread Felix Yan via arch-commits
Date: Friday, December 31, 2021 @ 07:09:24 Author: felixonmars Revision: 1089688 archrelease: copy trunk to community-staging-x86_64 Added: haskell-tamarin-prover-term/repos/community-staging-x86_64/ haskell-tamarin-prover-term/repos/community-staging-x86_64/PKGBUILD (from rev 10896

[arch-commits] Commit in haskell-tamarin-prover-term/repos (3 files)

2021-12-28 Thread Felix Yan via arch-commits
Date: Tuesday, December 28, 2021 @ 01:29:39 Author: felixonmars Revision: 1084747 archrelease: copy trunk to community-staging-x86_64 Added: haskell-tamarin-prover-term/repos/community-staging-x86_64/ haskell-tamarin-prover-term/repos/community-staging-x86_64/PKGBUILD (from rev 1084

[arch-commits] Commit in haskell-tamarin-prover-term/repos (3 files)

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

[arch-commits] Commit in haskell-tamarin-prover-term/repos (3 files)

2021-12-19 Thread Felix Yan via arch-commits
Date: Monday, December 20, 2021 @ 02:08:34 Author: felixonmars Revision: 1079249 archrelease: copy trunk to community-staging-x86_64 Added: haskell-tamarin-prover-term/repos/community-staging-x86_64/ haskell-tamarin-prover-term/repos/community-staging-x86_64/PKGBUILD (from rev 10792

[arch-commits] Commit in haskell-tamarin-prover-term/repos (3 files)

2021-12-18 Thread Felix Yan via arch-commits
Date: Saturday, December 18, 2021 @ 17:58:19 Author: felixonmars Revision: 1077429 archrelease: copy trunk to community-staging-x86_64 Added: haskell-tamarin-prover-term/repos/community-staging-x86_64/ haskell-tamarin-prover-term/repos/community-staging-x86_64/PKGBUILD (from rev 107

[arch-commits] Commit in haskell-tamarin-prover-term/repos (3 files)

2021-12-15 Thread Felix Yan via arch-commits
Date: Thursday, December 16, 2021 @ 04:22:56 Author: felixonmars Revision: 1073761 archrelease: copy trunk to community-staging-x86_64 Added: haskell-tamarin-prover-term/repos/community-staging-x86_64/ haskell-tamarin-prover-term/repos/community-staging-x86_64/PKGBUILD (from rev 107

[arch-commits] Commit in haskell-tamarin-prover-term/repos (3 files)

2021-11-28 Thread Felix Yan via arch-commits
Date: Monday, November 29, 2021 @ 00:23:23 Author: felixonmars Revision: 1055959 archrelease: copy trunk to community-staging-x86_64 Added: haskell-tamarin-prover-term/repos/community-staging-x86_64/ haskell-tamarin-prover-term/repos/community-staging-x86_64/PKGBUILD (from rev 10559

[arch-commits] Commit in haskell-tamarin-prover-term/repos (3 files)

2021-11-17 Thread Felix Yan via arch-commits
Date: Thursday, November 18, 2021 @ 04:50:53 Author: felixonmars Revision: 1051945 archrelease: copy trunk to community-staging-x86_64 Added: haskell-tamarin-prover-term/repos/community-staging-x86_64/ haskell-tamarin-prover-term/repos/community-staging-x86_64/PKGBUILD (from rev 105

[arch-commits] Commit in haskell-tamarin-prover-term/repos (3 files)

2021-11-16 Thread Felix Yan via arch-commits
Date: Wednesday, November 17, 2021 @ 04:28:04 Author: felixonmars Revision: 1049529 archrelease: copy trunk to community-staging-x86_64 Added: haskell-tamarin-prover-term/repos/community-staging-x86_64/ haskell-tamarin-prover-term/repos/community-staging-x86_64/PKGBUILD (from rev 10

[arch-commits] Commit in haskell-tamarin-prover-term/repos (3 files)

2021-11-13 Thread Felix Yan via arch-commits
Date: Saturday, November 13, 2021 @ 16:13:39 Author: felixonmars Revision: 1045582 archrelease: copy trunk to community-staging-x86_64 Added: haskell-tamarin-prover-term/repos/community-staging-x86_64/ haskell-tamarin-prover-term/repos/community-staging-x86_64/PKGBUILD (from rev 104

[arch-commits] Commit in haskell-tamarin-prover-term/repos (3 files)

2021-11-11 Thread Felix Yan via arch-commits
Date: Friday, November 12, 2021 @ 03:23:20 Author: felixonmars Revision: 1043047 archrelease: copy trunk to community-staging-x86_64 Added: haskell-tamarin-prover-term/repos/community-staging-x86_64/ haskell-tamarin-prover-term/repos/community-staging-x86_64/PKGBUILD (from rev 10430

[arch-commits] Commit in haskell-tamarin-prover-term/repos (3 files)

2021-11-10 Thread Felix Yan via arch-commits
Date: Wednesday, November 10, 2021 @ 20:47:24 Author: felixonmars Revision: 1040322 archrelease: copy trunk to community-staging-x86_64 Added: haskell-tamarin-prover-term/repos/community-staging-x86_64/ haskell-tamarin-prover-term/repos/community-staging-x86_64/PKGBUILD (from rev 10

[arch-commits] Commit in haskell-tamarin-prover-term/repos (3 files)

2021-11-06 Thread Felix Yan via arch-commits
Date: Sunday, November 7, 2021 @ 00:30:19 Author: felixonmars Revision: 1037983 archrelease: copy trunk to community-staging-x86_64 Added: haskell-tamarin-prover-term/repos/community-staging-x86_64/ haskell-tamarin-prover-term/repos/community-staging-x86_64/PKGBUILD (from rev 103798

[arch-commits] Commit in haskell-tamarin-prover-term/repos (3 files)

2021-10-26 Thread Felix Yan via arch-commits
Date: Tuesday, October 26, 2021 @ 19:55:42 Author: felixonmars Revision: 1034403 archrelease: copy trunk to community-staging-x86_64 Added: haskell-tamarin-prover-term/repos/community-staging-x86_64/ haskell-tamarin-prover-term/repos/community-staging-x86_64/PKGBUILD (from rev 10344

[arch-commits] Commit in haskell-tamarin-prover-term/repos (3 files)

2021-09-24 Thread Felix Yan via arch-commits
Date: Friday, September 24, 2021 @ 09:50:04 Author: felixonmars Revision: 1023565 archrelease: copy trunk to community-staging-x86_64 Added: haskell-tamarin-prover-term/repos/community-staging-x86_64/ haskell-tamarin-prover-term/repos/community-staging-x86_64/PKGBUILD (from rev 1023

[arch-commits] Commit in haskell-tamarin-prover-term/repos (3 files)

2021-09-21 Thread Felix Yan via arch-commits
Date: Tuesday, September 21, 2021 @ 19:54:45 Author: felixonmars Revision: 1020851 archrelease: copy trunk to community-staging-x86_64 Added: haskell-tamarin-prover-term/repos/community-staging-x86_64/ haskell-tamarin-prover-term/repos/community-staging-x86_64/PKGBUILD (from rev 102

[arch-commits] Commit in haskell-tamarin-prover-term/repos (3 files)

2021-09-19 Thread Felix Yan via arch-commits
Date: Monday, September 20, 2021 @ 00:32:34 Author: felixonmars Revision: 1018015 archrelease: copy trunk to community-staging-x86_64 Added: haskell-tamarin-prover-term/repos/community-staging-x86_64/ haskell-tamarin-prover-term/repos/community-staging-x86_64/PKGBUILD (from rev 1018

[arch-commits] Commit in haskell-tamarin-prover-term/repos (3 files)

2021-08-28 Thread Felix Yan via arch-commits
Date: Sunday, August 29, 2021 @ 01:57:52 Author: felixonmars Revision: 1008431 archrelease: copy trunk to community-staging-x86_64 Added: haskell-tamarin-prover-term/repos/community-staging-x86_64/ haskell-tamarin-prover-term/repos/community-staging-x86_64/PKGBUILD (from rev 1008430

[arch-commits] Commit in haskell-tamarin-prover-term/repos (3 files)

2021-08-25 Thread Felix Yan via arch-commits
Date: Thursday, August 26, 2021 @ 05:21:53 Author: felixonmars Revision: 1005588 archrelease: copy trunk to community-staging-x86_64 Added: haskell-tamarin-prover-term/repos/community-staging-x86_64/ haskell-tamarin-prover-term/repos/community-staging-x86_64/PKGBUILD (from rev 10055

[arch-commits] Commit in haskell-tamarin-prover-term/repos (3 files)

2021-08-23 Thread Felix Yan via arch-commits
Date: Monday, August 23, 2021 @ 20:44:35 Author: felixonmars Revision: 1004466 archrelease: copy trunk to community-staging-x86_64 Added: haskell-tamarin-prover-term/repos/community-staging-x86_64/ haskell-tamarin-prover-term/repos/community-staging-x86_64/PKGBUILD (from rev 1004465

[arch-commits] Commit in haskell-tamarin-prover-term/repos (3 files)

2021-08-17 Thread Felix Yan via arch-commits
Date: Tuesday, August 17, 2021 @ 16:22:02 Author: felixonmars Revision: 1002031 archrelease: copy trunk to community-staging-x86_64 Added: haskell-tamarin-prover-term/repos/community-staging-x86_64/ haskell-tamarin-prover-term/repos/community-staging-x86_64/PKGBUILD (from rev 100203

[arch-commits] Commit in haskell-tamarin-prover-term/repos (3 files)

2021-08-15 Thread Felix Yan via arch-commits
Date: Sunday, August 15, 2021 @ 21:40:25 Author: felixonmars Revision: 999405 archrelease: copy trunk to community-staging-x86_64 Added: haskell-tamarin-prover-term/repos/community-staging-x86_64/ haskell-tamarin-prover-term/repos/community-staging-x86_64/PKGBUILD (from rev 999404,

[arch-commits] Commit in haskell-tamarin-prover-term/repos (3 files)

2021-08-13 Thread Felix Yan via arch-commits
Date: Friday, August 13, 2021 @ 14:57:00 Author: felixonmars Revision: 998071 archrelease: copy trunk to community-staging-x86_64 Added: haskell-tamarin-prover-term/repos/community-staging-x86_64/ haskell-tamarin-prover-term/repos/community-staging-x86_64/PKGBUILD (from rev 998070,

[arch-commits] Commit in haskell-tamarin-prover-term/repos (3 files)

2021-08-08 Thread Felix Yan via arch-commits
Date: Sunday, August 8, 2021 @ 19:27:36 Author: felixonmars Revision: 995637 archrelease: copy trunk to community-staging-x86_64 Added: haskell-tamarin-prover-term/repos/community-staging-x86_64/ haskell-tamarin-prover-term/repos/community-staging-x86_64/PKGBUILD (from rev 995635, h

[arch-commits] Commit in haskell-tamarin-prover-term/repos (3 files)

2021-07-26 Thread Felix Yan via arch-commits
Date: Monday, July 26, 2021 @ 22:50:57 Author: felixonmars Revision: 986138 archrelease: copy trunk to community-staging-x86_64 Added: haskell-tamarin-prover-term/repos/community-staging-x86_64/ haskell-tamarin-prover-term/repos/community-staging-x86_64/PKGBUILD (from rev 986137, ha

[arch-commits] Commit in haskell-tamarin-prover-term/repos (3 files)

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

[arch-commits] Commit in haskell-tamarin-prover-term/repos (3 files)

2021-07-20 Thread Felix Yan via arch-commits
Date: Tuesday, July 20, 2021 @ 13:33:16 Author: felixonmars Revision: 980031 archrelease: copy trunk to community-staging-x86_64 Added: haskell-tamarin-prover-term/repos/community-staging-x86_64/ haskell-tamarin-prover-term/repos/community-staging-x86_64/PKGBUILD (from rev 980030, h

[arch-commits] Commit in haskell-tamarin-prover-term/repos (3 files)

2021-07-06 Thread Felix Yan via arch-commits
Date: Tuesday, July 6, 2021 @ 17:32:50 Author: felixonmars Revision: 973633 archrelease: copy trunk to community-staging-x86_64 Added: haskell-tamarin-prover-term/repos/community-staging-x86_64/ haskell-tamarin-prover-term/repos/community-staging-x86_64/PKGBUILD (from rev 973632, ha

[arch-commits] Commit in haskell-tamarin-prover-term/repos (3 files)

2021-07-01 Thread Felix Yan via arch-commits
Date: Friday, July 2, 2021 @ 01:51:29 Author: felixonmars Revision: 970103 archrelease: copy trunk to community-staging-x86_64 Added: haskell-tamarin-prover-term/repos/community-staging-x86_64/ haskell-tamarin-prover-term/repos/community-staging-x86_64/PKGBUILD (from rev 970102, has

[arch-commits] Commit in haskell-tamarin-prover-term/repos (3 files)

2021-06-22 Thread Felix Yan via arch-commits
Date: Wednesday, June 23, 2021 @ 01:51:07 Author: felixonmars Revision: 966977 archrelease: copy trunk to community-staging-x86_64 Added: haskell-tamarin-prover-term/repos/community-staging-x86_64/ haskell-tamarin-prover-term/repos/community-staging-x86_64/PKGBUILD (from rev 966976,

[arch-commits] Commit in haskell-tamarin-prover-term/repos (3 files)

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

[arch-commits] Commit in haskell-tamarin-prover-term/repos (3 files)

2021-06-07 Thread Felix Yan via arch-commits
Date: Monday, June 7, 2021 @ 12:17:44 Author: felixonmars Revision: 957523 archrelease: copy trunk to community-staging-x86_64 Added: haskell-tamarin-prover-term/repos/community-staging-x86_64/ haskell-tamarin-prover-term/repos/community-staging-x86_64/PKGBUILD (from rev 957522, has

[arch-commits] Commit in haskell-tamarin-prover-term/repos (3 files)

2021-06-02 Thread Felix Yan via arch-commits
Date: Thursday, June 3, 2021 @ 02:40:44 Author: felixonmars Revision: 954230 archrelease: copy trunk to community-staging-x86_64 Added: haskell-tamarin-prover-term/repos/community-staging-x86_64/ haskell-tamarin-prover-term/repos/community-staging-x86_64/PKGBUILD (from rev 954229, h

[arch-commits] Commit in haskell-tamarin-prover-term/repos (3 files)

2021-05-30 Thread Felix Yan via arch-commits
Date: Monday, May 31, 2021 @ 01:19:40 Author: felixonmars Revision: 951273 archrelease: copy trunk to community-staging-x86_64 Added: haskell-tamarin-prover-term/repos/community-staging-x86_64/ haskell-tamarin-prover-term/repos/community-staging-x86_64/PKGBUILD (from rev 951272, has

[arch-commits] Commit in haskell-tamarin-prover-term/repos (3 files)

2021-05-27 Thread Felix Yan via arch-commits
Date: Thursday, May 27, 2021 @ 21:58:51 Author: felixonmars Revision: 949203 archrelease: copy trunk to community-staging-x86_64 Added: haskell-tamarin-prover-term/repos/community-staging-x86_64/ haskell-tamarin-prover-term/repos/community-staging-x86_64/PKGBUILD (from rev 949202, h

[arch-commits] Commit in haskell-tamarin-prover-term/repos (3 files)

2021-05-26 Thread Felix Yan via arch-commits
Date: Thursday, May 27, 2021 @ 00:20:39 Author: felixonmars Revision: 947505 archrelease: copy trunk to community-staging-x86_64 Added: haskell-tamarin-prover-term/repos/community-staging-x86_64/ haskell-tamarin-prover-term/repos/community-staging-x86_64/PKGBUILD (from rev 947504, h

[arch-commits] Commit in haskell-tamarin-prover-term/repos (3 files)

2021-05-23 Thread Felix Yan via arch-commits
Date: Sunday, May 23, 2021 @ 14:01:29 Author: felixonmars Revision: 943376 archrelease: copy trunk to community-staging-x86_64 Added: haskell-tamarin-prover-term/repos/community-staging-x86_64/ haskell-tamarin-prover-term/repos/community-staging-x86_64/PKGBUILD (from rev 943375, has

[arch-commits] Commit in haskell-tamarin-prover-term/repos (3 files)

2021-05-20 Thread Felix Yan via arch-commits
Date: Friday, May 21, 2021 @ 04:36:37 Author: felixonmars Revision: 940165 archrelease: copy trunk to community-staging-x86_64 Added: haskell-tamarin-prover-term/repos/community-staging-x86_64/ haskell-tamarin-prover-term/repos/community-staging-x86_64/PKGBUILD (from rev 940164, has

[arch-commits] Commit in haskell-tamarin-prover-term/repos (3 files)

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

[arch-commits] Commit in haskell-tamarin-prover-term/repos (3 files)

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

[arch-commits] Commit in haskell-tamarin-prover-term/repos (3 files)

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

[arch-commits] Commit in haskell-tamarin-prover-term/repos (3 files)

2021-04-22 Thread Felix Yan via arch-commits
Date: Thursday, April 22, 2021 @ 17:30:24 Author: felixonmars Revision: 921345 archrelease: copy trunk to community-staging-x86_64 Added: haskell-tamarin-prover-term/repos/community-staging-x86_64/ haskell-tamarin-prover-term/repos/community-staging-x86_64/PKGBUILD (from rev 921344,

[arch-commits] Commit in haskell-tamarin-prover-term/repos (3 files)

2021-04-13 Thread Felix Yan via arch-commits
Date: Tuesday, April 13, 2021 @ 08:39:37 Author: felixonmars Revision: 916760 archrelease: copy trunk to community-staging-x86_64 Added: haskell-tamarin-prover-term/repos/community-staging-x86_64/ haskell-tamarin-prover-term/repos/community-staging-x86_64/PKGBUILD (from rev 916759,

[arch-commits] Commit in haskell-tamarin-prover-term/repos (3 files)

2021-04-07 Thread Felix Yan via arch-commits
Date: Wednesday, April 7, 2021 @ 23:39:25 Author: felixonmars Revision: 913058 archrelease: copy trunk to community-staging-x86_64 Added: haskell-tamarin-prover-term/repos/community-staging-x86_64/ haskell-tamarin-prover-term/repos/community-staging-x86_64/PKGBUILD (from rev 913057,

[arch-commits] Commit in haskell-tamarin-prover-term/repos (3 files)

2021-03-29 Thread Felix Yan via arch-commits
Date: Monday, March 29, 2021 @ 06:27:27 Author: felixonmars Revision: 908570 archrelease: copy trunk to community-staging-x86_64 Added: haskell-tamarin-prover-term/repos/community-staging-x86_64/ haskell-tamarin-prover-term/repos/community-staging-x86_64/PKGBUILD (from rev 908569, h

[arch-commits] Commit in haskell-tamarin-prover-term/repos (3 files)

2021-03-27 Thread Felix Yan via arch-commits
Date: Sunday, March 28, 2021 @ 05:41:18 Author: felixonmars Revision: 906326 archrelease: copy trunk to community-staging-x86_64 Added: haskell-tamarin-prover-term/repos/community-staging-x86_64/ haskell-tamarin-prover-term/repos/community-staging-x86_64/PKGBUILD (from rev 906325, h

[arch-commits] Commit in haskell-tamarin-prover-term/repos (3 files)

2021-03-26 Thread Felix Yan via arch-commits
Date: Friday, March 26, 2021 @ 22:14:19 Author: felixonmars Revision: 904814 archrelease: copy trunk to community-staging-x86_64 Added: haskell-tamarin-prover-term/repos/community-staging-x86_64/ haskell-tamarin-prover-term/repos/community-staging-x86_64/PKGBUILD (from rev 904813, h

[arch-commits] Commit in haskell-tamarin-prover-term/repos (3 files)

2021-03-25 Thread Felix Yan via arch-commits
Date: Thursday, March 25, 2021 @ 15:56:57 Author: felixonmars Revision: 903189 archrelease: copy trunk to community-staging-x86_64 Added: haskell-tamarin-prover-term/repos/community-staging-x86_64/ haskell-tamarin-prover-term/repos/community-staging-x86_64/PKGBUILD (from rev 903188,

[arch-commits] Commit in haskell-tamarin-prover-term/repos (3 files)

2021-03-22 Thread Felix Yan via arch-commits
Date: Tuesday, March 23, 2021 @ 03:01:10 Author: felixonmars Revision: 899739 archrelease: copy trunk to community-staging-x86_64 Added: haskell-tamarin-prover-term/repos/community-staging-x86_64/ haskell-tamarin-prover-term/repos/community-staging-x86_64/PKGBUILD (from rev 899738,

[arch-commits] Commit in haskell-tamarin-prover-term/repos (3 files)

2021-03-20 Thread Felix Yan via arch-commits
Date: Sunday, March 21, 2021 @ 04:35:59 Author: felixonmars Revision: 896830 archrelease: copy trunk to community-staging-x86_64 Added: haskell-tamarin-prover-term/repos/community-staging-x86_64/ haskell-tamarin-prover-term/repos/community-staging-x86_64/PKGBUILD (from rev 896829, h

[arch-commits] Commit in haskell-tamarin-prover-term/repos (3 files)

2021-03-16 Thread Felix Yan via arch-commits
Date: Tuesday, March 16, 2021 @ 21:07:33 Author: felixonmars Revision: 892297 archrelease: copy trunk to community-staging-x86_64 Added: haskell-tamarin-prover-term/repos/community-staging-x86_64/ haskell-tamarin-prover-term/repos/community-staging-x86_64/PKGBUILD (from rev 892296,

[arch-commits] Commit in haskell-tamarin-prover-term/repos (3 files)

2021-03-11 Thread Felix Yan via arch-commits
Date: Friday, March 12, 2021 @ 04:39:28 Author: felixonmars Revision: 888106 archrelease: copy trunk to community-staging-x86_64 Added: haskell-tamarin-prover-term/repos/community-staging-x86_64/ haskell-tamarin-prover-term/repos/community-staging-x86_64/PKGBUILD (from rev 888105, h

[arch-commits] Commit in haskell-tamarin-prover-term/repos (3 files)

2021-03-06 Thread Felix Yan via arch-commits
Date: Sunday, March 7, 2021 @ 03:41:15 Author: felixonmars Revision: 885305 archrelease: copy trunk to community-staging-x86_64 Added: haskell-tamarin-prover-term/repos/community-staging-x86_64/ haskell-tamarin-prover-term/repos/community-staging-x86_64/PKGBUILD (from rev 885304, ha

[arch-commits] Commit in haskell-tamarin-prover-term/repos (3 files)

2021-03-05 Thread Felix Yan via arch-commits
Date: Friday, March 5, 2021 @ 23:30:13 Author: felixonmars Revision: 882751 archrelease: copy trunk to community-staging-x86_64 Added: haskell-tamarin-prover-term/repos/community-staging-x86_64/ haskell-tamarin-prover-term/repos/community-staging-x86_64/PKGBUILD (from rev 882750, ha

[arch-commits] Commit in haskell-tamarin-prover-term/repos (3 files)

2021-03-03 Thread Felix Yan via arch-commits
Date: Thursday, March 4, 2021 @ 01:37:13 Author: felixonmars Revision: 879941 archrelease: copy trunk to community-staging-x86_64 Added: haskell-tamarin-prover-term/repos/community-staging-x86_64/ haskell-tamarin-prover-term/repos/community-staging-x86_64/PKGBUILD (from rev 879940,

[arch-commits] Commit in haskell-tamarin-prover-term/repos (3 files)

2021-03-01 Thread Felix Yan via arch-commits
Date: Monday, March 1, 2021 @ 20:21:58 Author: felixonmars Revision: 876762 archrelease: copy trunk to community-staging-x86_64 Added: haskell-tamarin-prover-term/repos/community-staging-x86_64/ haskell-tamarin-prover-term/repos/community-staging-x86_64/PKGBUILD (from rev 876761, ha

[arch-commits] Commit in haskell-tamarin-prover-term/repos (3 files)

2021-02-24 Thread Felix Yan via arch-commits
Date: Thursday, February 25, 2021 @ 03:05:30 Author: felixonmars Revision: 872639 archrelease: copy trunk to community-staging-x86_64 Added: haskell-tamarin-prover-term/repos/community-staging-x86_64/ haskell-tamarin-prover-term/repos/community-staging-x86_64/PKGBUILD (from rev 8726

  1   2   >