[arch-commits] Commit in agda/repos (2 files)

2022-09-10 Thread Felix Yan via arch-commits
Date: Saturday, September 10, 2022 @ 15:55:00 Author: felixonmars Revision: 1299557 archrelease: copy trunk to community-staging-x86_64 Added: agda/repos/community-staging-x86_64/ agda/repos/community-staging-x86_64/PKGBUILD (from rev 1299556, agda/trunk/PKGBUILD) --+ PKGB

[arch-commits] Commit in agda/repos (2 files)

2022-09-09 Thread Felix Yan via arch-commits
Date: Friday, September 9, 2022 @ 22:55:53 Author: felixonmars Revision: 1297932 archrelease: copy trunk to community-staging-x86_64 Added: agda/repos/community-staging-x86_64/ agda/repos/community-staging-x86_64/PKGBUILD (from rev 1297931, agda/trunk/PKGBUILD) --+ PKGBUIL

[arch-commits] Commit in agda/repos (2 files)

2022-09-08 Thread Felix Yan via arch-commits
Date: Thursday, September 8, 2022 @ 09:48:04 Author: felixonmars Revision: 1296434 archrelease: copy trunk to community-staging-x86_64 Added: agda/repos/community-staging-x86_64/ agda/repos/community-staging-x86_64/PKGBUILD (from rev 1296433, agda/trunk/PKGBUILD) --+ PKGBU

[arch-commits] Commit in agda/repos (2 files)

2022-09-06 Thread Felix Yan via arch-commits
Date: Tuesday, September 6, 2022 @ 19:25:39 Author: felixonmars Revision: 1294671 archrelease: copy trunk to community-staging-x86_64 Added: agda/repos/community-staging-x86_64/ agda/repos/community-staging-x86_64/PKGBUILD (from rev 1294670, agda/trunk/PKGBUILD) --+ PKGBUI

[arch-commits] Commit in agda/repos (2 files)

2022-09-03 Thread Felix Yan via arch-commits
Date: Saturday, September 3, 2022 @ 10:02:23 Author: felixonmars Revision: 1291468 archrelease: copy trunk to community-staging-x86_64 Added: agda/repos/community-staging-x86_64/ agda/repos/community-staging-x86_64/PKGBUILD (from rev 1291467, agda/trunk/PKGBUILD) --+ PKGBU

[arch-commits] Commit in agda/repos (2 files)

2022-08-31 Thread Felix Yan via arch-commits
Date: Wednesday, August 31, 2022 @ 20:19:59 Author: felixonmars Revision: 1289347 archrelease: copy trunk to community-staging-x86_64 Added: agda/repos/community-staging-x86_64/ agda/repos/community-staging-x86_64/PKGBUILD (from rev 1289346, agda/trunk/PKGBUILD) --+ PKGBUI

[arch-commits] Commit in agda/repos (2 files)

2022-08-29 Thread Felix Yan via arch-commits
Date: Tuesday, August 30, 2022 @ 00:12:54 Author: felixonmars Revision: 1287141 archrelease: copy trunk to community-staging-x86_64 Added: agda/repos/community-staging-x86_64/ agda/repos/community-staging-x86_64/PKGBUILD (from rev 1287140, agda/trunk/PKGBUILD) --+ PKGBUILD

[arch-commits] Commit in agda/repos (2 files)

2022-08-29 Thread Felix Yan via arch-commits
Date: Monday, August 29, 2022 @ 14:35:29 Author: felixonmars Revision: 1285261 archrelease: copy trunk to community-staging-x86_64 Added: agda/repos/community-staging-x86_64/ agda/repos/community-staging-x86_64/PKGBUILD (from rev 1285260, agda/trunk/PKGBUILD) --+ PKGBUILD

[arch-commits] Commit in agda/repos (2 files)

2022-08-26 Thread Felix Yan via arch-commits
Date: Friday, August 26, 2022 @ 16:51:53 Author: felixonmars Revision: 1283224 archrelease: copy trunk to community-staging-x86_64 Added: agda/repos/community-staging-x86_64/ agda/repos/community-staging-x86_64/PKGBUILD (from rev 1283223, agda/trunk/PKGBUILD) --+ PKGBUILD

[arch-commits] Commit in agda/repos (2 files)

2022-08-26 Thread Felix Yan via arch-commits
Date: Friday, August 26, 2022 @ 07:18:31 Author: felixonmars Revision: 1280985 archrelease: copy trunk to community-staging-x86_64 Added: agda/repos/community-staging-x86_64/ agda/repos/community-staging-x86_64/PKGBUILD (from rev 1280984, agda/trunk/PKGBUILD) --+ PKGBUILD

[arch-commits] Commit in agda/repos (2 files)

2022-08-25 Thread Felix Yan via arch-commits
Date: Thursday, August 25, 2022 @ 18:39:57 Author: felixonmars Revision: 1279895 archrelease: copy trunk to community-staging-x86_64 Added: agda/repos/community-staging-x86_64/ agda/repos/community-staging-x86_64/PKGBUILD (from rev 1279894, agda/trunk/PKGBUILD) --+ PKGBUIL

[arch-commits] Commit in agda/repos (2 files)

2022-08-24 Thread Felix Yan via arch-commits
Date: Thursday, August 25, 2022 @ 00:16:51 Author: felixonmars Revision: 1278121 archrelease: copy trunk to community-staging-x86_64 Added: agda/repos/community-staging-x86_64/ agda/repos/community-staging-x86_64/PKGBUILD (from rev 1278120, agda/trunk/PKGBUILD) --+ PKGBUIL

[arch-commits] Commit in agda/repos (2 files)

2022-08-21 Thread Felix Yan via arch-commits
Date: Sunday, August 21, 2022 @ 17:22:58 Author: felixonmars Revision: 1273057 archrelease: copy trunk to community-staging-x86_64 Added: agda/repos/community-staging-x86_64/ agda/repos/community-staging-x86_64/PKGBUILD (from rev 1273056, agda/trunk/PKGBUILD) --+ PKGBUILD

[arch-commits] Commit in agda/repos (2 files)

2022-08-21 Thread Felix Yan via arch-commits
Date: Sunday, August 21, 2022 @ 07:15:37 Author: felixonmars Revision: 1271597 archrelease: copy trunk to community-staging-x86_64 Added: agda/repos/community-staging-x86_64/ agda/repos/community-staging-x86_64/PKGBUILD (from rev 1271596, agda/trunk/PKGBUILD) --+ PKGBUILD

[arch-commits] Commit in agda/repos (2 files)

2022-08-19 Thread Felix Yan via arch-commits
Date: Friday, August 19, 2022 @ 07:53:07 Author: felixonmars Revision: 1269562 archrelease: copy trunk to community-staging-x86_64 Added: agda/repos/community-staging-x86_64/ agda/repos/community-staging-x86_64/PKGBUILD (from rev 1269561, agda/trunk/PKGBUILD) --+ PKGBUILD

[arch-commits] Commit in agda/repos (2 files)

2022-08-18 Thread Felix Yan via arch-commits
Date: Thursday, August 18, 2022 @ 12:59:29 Author: felixonmars Revision: 1267311 archrelease: copy trunk to community-staging-x86_64 Added: agda/repos/community-staging-x86_64/ agda/repos/community-staging-x86_64/PKGBUILD (from rev 1267310, agda/trunk/PKGBUILD) --+ PKGBUIL

[arch-commits] Commit in agda/repos (2 files)

2022-08-16 Thread Felix Yan via arch-commits
Date: Tuesday, August 16, 2022 @ 09:25:18 Author: felixonmars Revision: 1266615 archrelease: copy trunk to community-staging-x86_64 Added: agda/repos/community-staging-x86_64/ agda/repos/community-staging-x86_64/PKGBUILD (from rev 1266614, agda/trunk/PKGBUILD) --+ PKGBUILD

[arch-commits] Commit in agda/repos (2 files)

2022-08-12 Thread Felix Yan via arch-commits
Date: Friday, August 12, 2022 @ 17:48:51 Author: felixonmars Revision: 1265616 archrelease: copy trunk to community-staging-x86_64 Added: agda/repos/community-staging-x86_64/ agda/repos/community-staging-x86_64/PKGBUILD (from rev 1265615, agda/trunk/PKGBUILD) --+ PKGBUILD

[arch-commits] Commit in agda/repos (2 files)

2022-08-09 Thread Felix Yan via arch-commits
Date: Tuesday, August 9, 2022 @ 17:13:16 Author: felixonmars Revision: 1264100 archrelease: copy trunk to community-staging-x86_64 Added: agda/repos/community-staging-x86_64/ agda/repos/community-staging-x86_64/PKGBUILD (from rev 1264099, agda/trunk/PKGBUILD) --+ PKGBUILD

[arch-commits] Commit in agda/repos (2 files)

2022-08-08 Thread Felix Yan via arch-commits
Date: Monday, August 8, 2022 @ 19:07:14 Author: felixonmars Revision: 1262045 archrelease: copy trunk to community-staging-x86_64 Added: agda/repos/community-staging-x86_64/ agda/repos/community-staging-x86_64/PKGBUILD (from rev 1262044, agda/trunk/PKGBUILD) --+ PKGBUILD |

[arch-commits] Commit in agda/repos (2 files)

2022-07-31 Thread Felix Yan via arch-commits
Date: Sunday, July 31, 2022 @ 18:45:51 Author: felixonmars Revision: 1259426 archrelease: copy trunk to community-staging-x86_64 Added: agda/repos/community-staging-x86_64/ agda/repos/community-staging-x86_64/PKGBUILD (from rev 1259425, agda/trunk/PKGBUILD) --+ PKGBUILD |

[arch-commits] Commit in agda/repos (2 files)

2022-07-25 Thread Felix Yan via arch-commits
Date: Monday, July 25, 2022 @ 10:34:17 Author: felixonmars Revision: 1257437 archrelease: copy trunk to community-staging-x86_64 Added: agda/repos/community-staging-x86_64/ agda/repos/community-staging-x86_64/PKGBUILD (from rev 1257436, agda/trunk/PKGBUILD) --+ PKGBUILD |

[arch-commits] Commit in agda/repos (2 files)

2022-07-23 Thread Felix Yan via arch-commits
Date: Saturday, July 23, 2022 @ 07:36:21 Author: felixonmars Revision: 1255506 archrelease: copy trunk to community-staging-x86_64 Added: agda/repos/community-staging-x86_64/ agda/repos/community-staging-x86_64/PKGBUILD (from rev 1255505, agda/trunk/PKGBUILD) --+ PKGBUILD

[arch-commits] Commit in agda/repos (2 files)

2022-07-19 Thread Felix Yan via arch-commits
Date: Tuesday, July 19, 2022 @ 09:53:48 Author: felixonmars Revision: 1254575 archrelease: copy trunk to community-staging-x86_64 Added: agda/repos/community-staging-x86_64/ agda/repos/community-staging-x86_64/PKGBUILD (from rev 1254574, agda/trunk/PKGBUILD) --+ PKGBUILD |

[arch-commits] Commit in agda/repos (2 files)

2022-07-15 Thread Felix Yan via arch-commits
Date: Saturday, July 16, 2022 @ 03:34:44 Author: felixonmars Revision: 1253416 archrelease: copy trunk to community-staging-x86_64 Added: agda/repos/community-staging-x86_64/ agda/repos/community-staging-x86_64/PKGBUILD (from rev 1253415, agda/trunk/PKGBUILD) --+ PKGBUILD

[arch-commits] Commit in agda/repos (2 files)

2022-07-12 Thread Felix Yan via arch-commits
Date: Tuesday, July 12, 2022 @ 20:13:36 Author: felixonmars Revision: 1251267 archrelease: copy trunk to community-staging-x86_64 Added: agda/repos/community-staging-x86_64/ agda/repos/community-staging-x86_64/PKGBUILD (from rev 1251266, agda/trunk/PKGBUILD) --+ PKGBUILD |

[arch-commits] Commit in agda/repos (2 files)

2022-07-06 Thread Felix Yan via arch-commits
Date: Wednesday, July 6, 2022 @ 23:25:15 Author: felixonmars Revision: 1247153 archrelease: copy trunk to community-staging-x86_64 Added: agda/repos/community-staging-x86_64/ agda/repos/community-staging-x86_64/PKGBUILD (from rev 1247152, agda/trunk/PKGBUILD) --+ PKGBUILD

[arch-commits] Commit in agda/repos (2 files)

2022-07-05 Thread Felix Yan via arch-commits
Date: Tuesday, July 5, 2022 @ 20:25:30 Author: felixonmars Revision: 1245535 archrelease: copy trunk to community-staging-x86_64 Added: agda/repos/community-staging-x86_64/ agda/repos/community-staging-x86_64/PKGBUILD (from rev 1245534, agda/trunk/PKGBUILD) --+ PKGBUILD |

[arch-commits] Commit in agda/repos (2 files)

2022-06-29 Thread Felix Yan via arch-commits
Date: Wednesday, June 29, 2022 @ 22:59:59 Author: felixonmars Revision: 1241743 archrelease: copy trunk to community-staging-x86_64 Added: agda/repos/community-staging-x86_64/ agda/repos/community-staging-x86_64/PKGBUILD (from rev 1241742, agda/trunk/PKGBUILD) --+ PKGBUILD

[arch-commits] Commit in agda/repos (2 files)

2022-06-11 Thread Felix Yan via arch-commits
Date: Saturday, June 11, 2022 @ 23:42:08 Author: felixonmars Revision: 1235723 archrelease: copy trunk to community-staging-x86_64 Added: agda/repos/community-staging-x86_64/ agda/repos/community-staging-x86_64/PKGBUILD (from rev 1235722, agda/trunk/PKGBUILD) --+ PKGBUILD

[arch-commits] Commit in agda/repos (2 files)

2022-06-11 Thread Felix Yan via arch-commits
Date: Saturday, June 11, 2022 @ 12:59:51 Author: felixonmars Revision: 1233459 archrelease: copy trunk to community-staging-x86_64 Added: agda/repos/community-staging-x86_64/ agda/repos/community-staging-x86_64/PKGBUILD (from rev 1233458, agda/trunk/PKGBUILD) --+ PKGBUILD

[arch-commits] Commit in agda/repos (2 files)

2022-06-10 Thread Felix Yan via arch-commits
Date: Friday, June 10, 2022 @ 22:24:31 Author: felixonmars Revision: 1231759 archrelease: copy trunk to community-staging-x86_64 Added: agda/repos/community-staging-x86_64/ agda/repos/community-staging-x86_64/PKGBUILD (from rev 1231758, agda/trunk/PKGBUILD) --+ PKGBUILD |

[arch-commits] Commit in agda/repos (2 files)

2022-06-09 Thread Felix Yan via arch-commits
Date: Thursday, June 9, 2022 @ 20:38:17 Author: felixonmars Revision: 1229800 archrelease: copy trunk to community-staging-x86_64 Added: agda/repos/community-staging-x86_64/ agda/repos/community-staging-x86_64/PKGBUILD (from rev 1229799, agda/trunk/PKGBUILD) --+ PKGBUILD |

[arch-commits] Commit in agda/repos (2 files)

2022-06-06 Thread Felix Yan via arch-commits
Date: Tuesday, June 7, 2022 @ 06:12:34 Author: felixonmars Revision: 1227535 archrelease: copy trunk to community-staging-x86_64 Added: agda/repos/community-staging-x86_64/ agda/repos/community-staging-x86_64/PKGBUILD (from rev 1227534, agda/trunk/PKGBUILD) --+ PKGBUILD |

[arch-commits] Commit in agda/repos (2 files)

2022-06-06 Thread Felix Yan via arch-commits
Date: Monday, June 6, 2022 @ 10:47:56 Author: felixonmars Revision: 1225863 archrelease: copy trunk to community-staging-x86_64 Added: agda/repos/community-staging-x86_64/ agda/repos/community-staging-x86_64/PKGBUILD (from rev 1225862, agda/trunk/PKGBUILD) --+ PKGBUILD |

[arch-commits] Commit in agda/repos (2 files)

2022-06-05 Thread Felix Yan via arch-commits
Date: Sunday, June 5, 2022 @ 19:29:06 Author: felixonmars Revision: 1224136 archrelease: copy trunk to community-staging-x86_64 Added: agda/repos/community-staging-x86_64/ agda/repos/community-staging-x86_64/PKGBUILD (from rev 1224135, agda/trunk/PKGBUILD) --+ PKGBUILD |

[arch-commits] Commit in agda/repos (2 files)

2022-06-04 Thread Felix Yan via arch-commits
Date: Saturday, June 4, 2022 @ 16:13:20 Author: felixonmars Revision: 1221894 archrelease: copy trunk to community-staging-x86_64 Added: agda/repos/community-staging-x86_64/ agda/repos/community-staging-x86_64/PKGBUILD (from rev 1221893, agda/trunk/PKGBUILD) --+ PKGBUILD |

[arch-commits] Commit in agda/repos (2 files)

2022-06-03 Thread Felix Yan via arch-commits
Date: Friday, June 3, 2022 @ 10:24:50 Author: felixonmars Revision: 1220190 archrelease: copy trunk to community-staging-x86_64 Added: agda/repos/community-staging-x86_64/ agda/repos/community-staging-x86_64/PKGBUILD (from rev 1220189, agda/trunk/PKGBUILD) --+ PKGBUILD |

[arch-commits] Commit in agda/repos (2 files)

2022-05-30 Thread Felix Yan via arch-commits
Date: Monday, May 30, 2022 @ 11:22:28 Author: felixonmars Revision: 1216042 archrelease: copy trunk to community-staging-x86_64 Added: agda/repos/community-staging-x86_64/ agda/repos/community-staging-x86_64/PKGBUILD (from rev 1216041, agda/trunk/PKGBUILD) --+ PKGBUILD |

[arch-commits] Commit in agda/repos (2 files)

2022-05-28 Thread Felix Yan via arch-commits
Date: Sunday, May 29, 2022 @ 04:54:28 Author: felixonmars Revision: 1213822 archrelease: copy trunk to community-staging-x86_64 Added: agda/repos/community-staging-x86_64/ agda/repos/community-staging-x86_64/PKGBUILD (from rev 1213821, agda/trunk/PKGBUILD) --+ PKGBUILD |

[arch-commits] Commit in agda/repos (2 files)

2022-05-28 Thread Felix Yan via arch-commits
Date: Saturday, May 28, 2022 @ 16:51:51 Author: felixonmars Revision: 1212350 archrelease: copy trunk to community-staging-x86_64 Added: agda/repos/community-staging-x86_64/ agda/repos/community-staging-x86_64/PKGBUILD (from rev 1212349, agda/trunk/PKGBUILD) --+ PKGBUILD |

[arch-commits] Commit in agda/repos (2 files)

2022-05-18 Thread Felix Yan via arch-commits
Date: Wednesday, May 18, 2022 @ 13:52:22 Author: felixonmars Revision: 1208211 archrelease: copy trunk to community-staging-x86_64 Added: agda/repos/community-staging-x86_64/ agda/repos/community-staging-x86_64/PKGBUILD (from rev 1208210, agda/trunk/PKGBUILD) --+ PKGBUILD

[arch-commits] Commit in agda/repos (2 files)

2022-05-14 Thread Felix Yan via arch-commits
Date: Saturday, May 14, 2022 @ 14:30:24 Author: felixonmars Revision: 1204863 archrelease: copy trunk to community-staging-x86_64 Added: agda/repos/community-staging-x86_64/ agda/repos/community-staging-x86_64/PKGBUILD (from rev 1204862, agda/trunk/PKGBUILD) --+ PKGBUILD |

[arch-commits] Commit in agda/repos (2 files)

2022-05-13 Thread Felix Yan via arch-commits
Date: Friday, May 13, 2022 @ 10:26:32 Author: felixonmars Revision: 1201417 archrelease: copy trunk to community-staging-x86_64 Added: agda/repos/community-staging-x86_64/ agda/repos/community-staging-x86_64/PKGBUILD (from rev 1201416, agda/trunk/PKGBUILD) --+ PKGBUILD |

[arch-commits] Commit in agda/repos (2 files)

2022-05-12 Thread Felix Yan via arch-commits
Date: Thursday, May 12, 2022 @ 09:09:09 Author: felixonmars Revision: 1198648 archrelease: copy trunk to community-staging-x86_64 Added: agda/repos/community-staging-x86_64/ agda/repos/community-staging-x86_64/PKGBUILD (from rev 1198647, agda/trunk/PKGBUILD) --+ PKGBUILD |

[arch-commits] Commit in agda/repos (2 files)

2022-05-10 Thread Felix Yan via arch-commits
Date: Tuesday, May 10, 2022 @ 12:57:49 Author: felixonmars Revision: 1197842 archrelease: copy trunk to community-staging-x86_64 Added: agda/repos/community-staging-x86_64/ agda/repos/community-staging-x86_64/PKGBUILD (from rev 1197841, agda/trunk/PKGBUILD) --+ PKGBUILD |

[arch-commits] Commit in agda/repos (2 files)

2022-05-10 Thread Felix Yan via arch-commits
Date: Tuesday, May 10, 2022 @ 07:55:01 Author: felixonmars Revision: 1196988 archrelease: copy trunk to community-staging-x86_64 Added: agda/repos/community-staging-x86_64/ agda/repos/community-staging-x86_64/PKGBUILD (from rev 1196987, agda/trunk/PKGBUILD) --+ PKGBUILD |

[arch-commits] Commit in agda/repos (2 files)

2022-04-23 Thread Felix Yan via arch-commits
Date: Saturday, April 23, 2022 @ 22:30:37 Author: felixonmars Revision: 1188977 archrelease: copy trunk to community-staging-x86_64 Added: agda/repos/community-staging-x86_64/ agda/repos/community-staging-x86_64/PKGBUILD (from rev 1188976, agda/trunk/PKGBUILD) --+ PKGBUILD

[arch-commits] Commit in agda/repos (2 files)

2022-04-10 Thread Felix Yan via arch-commits
Date: Sunday, April 10, 2022 @ 11:29:46 Author: felixonmars Revision: 1184451 archrelease: copy trunk to community-staging-x86_64 Added: agda/repos/community-staging-x86_64/ agda/repos/community-staging-x86_64/PKGBUILD (from rev 1184450, agda/trunk/PKGBUILD) --+ PKGBUILD |

[arch-commits] Commit in agda/repos (2 files)

2022-04-06 Thread Felix Yan via arch-commits
Date: Wednesday, April 6, 2022 @ 21:01:01 Author: felixonmars Revision: 1181892 archrelease: copy trunk to community-staging-x86_64 Added: agda/repos/community-staging-x86_64/ agda/repos/community-staging-x86_64/PKGBUILD (from rev 1181891, agda/trunk/PKGBUILD) --+ PKGBUILD

[arch-commits] Commit in agda/repos (2 files)

2022-03-31 Thread Felix Yan via arch-commits
Date: Friday, April 1, 2022 @ 06:06:15 Author: felixonmars Revision: 1179286 archrelease: copy trunk to community-staging-x86_64 Added: agda/repos/community-staging-x86_64/ agda/repos/community-staging-x86_64/PKGBUILD (from rev 1179285, agda/trunk/PKGBUILD) --+ PKGBUILD |

[arch-commits] Commit in agda/repos (2 files)

2022-03-24 Thread Felix Yan via arch-commits
Date: Thursday, March 24, 2022 @ 20:11:44 Author: felixonmars Revision: 1175167 archrelease: copy trunk to community-staging-x86_64 Added: agda/repos/community-staging-x86_64/ agda/repos/community-staging-x86_64/PKGBUILD (from rev 1175166, agda/trunk/PKGBUILD) --+ PKGBUILD

[arch-commits] Commit in agda/repos (2 files)

2022-03-24 Thread Felix Yan via arch-commits
Date: Thursday, March 24, 2022 @ 02:24:40 Author: felixonmars Revision: 1173417 archrelease: copy trunk to community-staging-x86_64 Added: agda/repos/community-staging-x86_64/ agda/repos/community-staging-x86_64/PKGBUILD (from rev 1173416, agda/trunk/PKGBUILD) --+ PKGBUILD

[arch-commits] Commit in agda/repos (2 files)

2022-03-20 Thread Felix Yan via arch-commits
Date: Sunday, March 20, 2022 @ 19:01:38 Author: felixonmars Revision: 1164960 archrelease: copy trunk to community-staging-x86_64 Added: agda/repos/community-staging-x86_64/ agda/repos/community-staging-x86_64/PKGBUILD (from rev 1164959, agda/trunk/PKGBUILD) --+ PKGBUILD |

[arch-commits] Commit in agda/repos (2 files)

2022-03-19 Thread Felix Yan via arch-commits
Date: Saturday, March 19, 2022 @ 16:15:46 Author: felixonmars Revision: 1161662 archrelease: copy trunk to community-staging-x86_64 Added: agda/repos/community-staging-x86_64/ agda/repos/community-staging-x86_64/PKGBUILD (from rev 1161661, agda/trunk/PKGBUILD) --+ PKGBUILD

[arch-commits] Commit in agda/repos (2 files)

2022-03-18 Thread Felix Yan via arch-commits
Date: Friday, March 18, 2022 @ 17:26:03 Author: felixonmars Revision: 1158736 archrelease: copy trunk to community-staging-x86_64 Added: agda/repos/community-staging-x86_64/ agda/repos/community-staging-x86_64/PKGBUILD (from rev 1158735, agda/trunk/PKGBUILD) --+ PKGBUILD |

[arch-commits] Commit in agda/repos (2 files)

2022-03-15 Thread Felix Yan via arch-commits
Date: Tuesday, March 15, 2022 @ 10:50:48 Author: felixonmars Revision: 1154174 archrelease: copy trunk to community-staging-x86_64 Added: agda/repos/community-staging-x86_64/ agda/repos/community-staging-x86_64/PKGBUILD (from rev 1154172, agda/trunk/PKGBUILD) --+ PKGBUILD

[arch-commits] Commit in agda/repos (2 files)

2022-03-14 Thread Felix Yan via arch-commits
Date: Monday, March 14, 2022 @ 13:04:33 Author: felixonmars Revision: 1152682 archrelease: copy trunk to community-staging-x86_64 Added: agda/repos/community-staging-x86_64/ agda/repos/community-staging-x86_64/PKGBUILD (from rev 1152681, agda/trunk/PKGBUILD) --+ PKGBUILD |

[arch-commits] Commit in agda/repos (2 files)

2022-03-11 Thread Felix Yan via arch-commits
Date: Friday, March 11, 2022 @ 12:55:25 Author: felixonmars Revision: 1148257 archrelease: copy trunk to community-staging-x86_64 Added: agda/repos/community-staging-x86_64/ agda/repos/community-staging-x86_64/PKGBUILD (from rev 1148256, agda/trunk/PKGBUILD) --+ PKGBUILD |

[arch-commits] Commit in agda/repos (2 files)

2022-03-08 Thread Felix Yan via arch-commits
Date: Tuesday, March 8, 2022 @ 08:22:10 Author: felixonmars Revision: 1145402 archrelease: copy trunk to community-staging-x86_64 Added: agda/repos/community-staging-x86_64/ agda/repos/community-staging-x86_64/PKGBUILD (from rev 1145401, agda/trunk/PKGBUILD) --+ PKGBUILD |

[arch-commits] Commit in agda/repos (2 files)

2022-03-03 Thread Felix Yan via arch-commits
Date: Thursday, March 3, 2022 @ 23:49:31 Author: felixonmars Revision: 1141470 archrelease: copy trunk to community-staging-x86_64 Added: agda/repos/community-staging-x86_64/ agda/repos/community-staging-x86_64/PKGBUILD (from rev 1141469, agda/trunk/PKGBUILD) --+ PKGBUILD

[arch-commits] Commit in agda/repos (2 files)

2022-02-28 Thread Felix Yan via arch-commits
Date: Monday, February 28, 2022 @ 08:04:30 Author: felixonmars Revision: 1138218 archrelease: copy trunk to community-staging-x86_64 Added: agda/repos/community-staging-x86_64/ agda/repos/community-staging-x86_64/PKGBUILD (from rev 1138217, agda/trunk/PKGBUILD) --+ PKGBUIL

[arch-commits] Commit in agda/repos (2 files)

2022-02-20 Thread Felix Yan via arch-commits
Date: Monday, February 21, 2022 @ 00:12:34 Author: felixonmars Revision: 1135505 archrelease: copy trunk to community-staging-x86_64 Added: agda/repos/community-staging-x86_64/ agda/repos/community-staging-x86_64/PKGBUILD (from rev 1135504, agda/trunk/PKGBUILD) --+ PKGBUIL

[arch-commits] Commit in agda/repos (2 files)

2022-02-10 Thread Felix Yan via arch-commits
Date: Friday, February 11, 2022 @ 04:17:28 Author: felixonmars Revision: 1131705 archrelease: copy trunk to community-staging-x86_64 Added: agda/repos/community-staging-x86_64/ agda/repos/community-staging-x86_64/PKGBUILD (from rev 1131704, agda/trunk/PKGBUILD) --+ PKGBUIL

[arch-commits] Commit in agda/repos (2 files)

2022-02-10 Thread Felix Yan via arch-commits
Date: Thursday, February 10, 2022 @ 20:17:30 Author: felixonmars Revision: 1131365 archrelease: copy trunk to community-staging-x86_64 Added: agda/repos/community-staging-x86_64/ agda/repos/community-staging-x86_64/PKGBUILD (from rev 1131364, agda/trunk/PKGBUILD) --+ PKGBU

[arch-commits] Commit in agda/repos (2 files)

2022-02-09 Thread Felix Yan via arch-commits
Date: Wednesday, February 9, 2022 @ 23:47:29 Author: felixonmars Revision: 1130510 archrelease: copy trunk to community-staging-x86_64 Added: agda/repos/community-staging-x86_64/ agda/repos/community-staging-x86_64/PKGBUILD (from rev 1130509, agda/trunk/PKGBUILD) --+ PKGBU

[arch-commits] Commit in agda/repos (2 files)

2022-02-07 Thread Felix Yan via arch-commits
Date: Monday, February 7, 2022 @ 22:49:10 Author: felixonmars Revision: 1128850 archrelease: copy trunk to community-staging-x86_64 Added: agda/repos/community-staging-x86_64/ agda/repos/community-staging-x86_64/PKGBUILD (from rev 1128849, agda/trunk/PKGBUILD) --+ PKGBUILD

[arch-commits] Commit in agda/repos (2 files)

2022-02-04 Thread Felix Yan via arch-commits
Date: Friday, February 4, 2022 @ 20:59:18 Author: felixonmars Revision: 1126011 archrelease: copy trunk to community-staging-x86_64 Added: agda/repos/community-staging-x86_64/ agda/repos/community-staging-x86_64/PKGBUILD (from rev 1126010, agda/trunk/PKGBUILD) --+ PKGBUILD

[arch-commits] Commit in agda/repos (2 files)

2022-02-03 Thread Felix Yan via arch-commits
Date: Friday, February 4, 2022 @ 00:07:20 Author: felixonmars Revision: 1125036 archrelease: copy trunk to community-staging-x86_64 Added: agda/repos/community-staging-x86_64/ agda/repos/community-staging-x86_64/PKGBUILD (from rev 1125035, agda/trunk/PKGBUILD) --+ PKGBUILD

[arch-commits] Commit in agda/repos (2 files)

2022-02-02 Thread Felix Yan via arch-commits
Date: Wednesday, February 2, 2022 @ 23:14:41 Author: felixonmars Revision: 1123538 archrelease: copy trunk to community-staging-x86_64 Added: agda/repos/community-staging-x86_64/ agda/repos/community-staging-x86_64/PKGBUILD (from rev 1123537, agda/trunk/PKGBUILD) --+ PKGBU

[arch-commits] Commit in agda/repos (2 files)

2022-01-28 Thread Felix Yan via arch-commits
Date: Friday, January 28, 2022 @ 18:54:58 Author: felixonmars Revision: 1118430 archrelease: copy trunk to community-staging-x86_64 Added: agda/repos/community-staging-x86_64/ agda/repos/community-staging-x86_64/PKGBUILD (from rev 1118429, agda/trunk/PKGBUILD) --+ PKGBUILD

[arch-commits] Commit in agda/repos (2 files)

2022-01-25 Thread Felix Yan via arch-commits
Date: Tuesday, January 25, 2022 @ 09:01:32 Author: felixonmars Revision: 1115429 archrelease: copy trunk to community-staging-x86_64 Added: agda/repos/community-staging-x86_64/ agda/repos/community-staging-x86_64/PKGBUILD (from rev 1115428, agda/trunk/PKGBUILD) --+ PKGBUIL

[arch-commits] Commit in agda/repos (2 files)

2022-01-21 Thread Felix Yan via arch-commits
Date: Friday, January 21, 2022 @ 19:50:45 Author: felixonmars Revision: 1112512 archrelease: copy trunk to community-staging-x86_64 Added: agda/repos/community-staging-x86_64/ agda/repos/community-staging-x86_64/PKGBUILD (from rev 1112511, agda/trunk/PKGBUILD) --+ PKGBUILD

[arch-commits] Commit in agda/repos (2 files)

2022-01-18 Thread Felix Yan via arch-commits
Date: Tuesday, January 18, 2022 @ 13:54:55 Author: felixonmars Revision: 1108892 archrelease: copy trunk to community-staging-x86_64 Added: agda/repos/community-staging-x86_64/ agda/repos/community-staging-x86_64/PKGBUILD (from rev 1108891, agda/trunk/PKGBUILD) --+ PKGBUIL

[arch-commits] Commit in agda/repos (2 files)

2022-01-16 Thread Felix Yan via arch-commits
Date: Sunday, January 16, 2022 @ 22:31:19 Author: felixonmars Revision: 1106580 archrelease: copy trunk to community-staging-x86_64 Added: agda/repos/community-staging-x86_64/ agda/repos/community-staging-x86_64/PKGBUILD (from rev 1106579, agda/trunk/PKGBUILD) --+ PKGBUILD

[arch-commits] Commit in agda/repos (2 files)

2022-01-15 Thread Felix Yan via arch-commits
Date: Saturday, January 15, 2022 @ 15:08:18 Author: felixonmars Revision: 1104249 archrelease: copy trunk to community-staging-x86_64 Added: agda/repos/community-staging-x86_64/ agda/repos/community-staging-x86_64/PKGBUILD (from rev 1104248, agda/trunk/PKGBUILD) --+ PKGBUI

[arch-commits] Commit in agda/repos (2 files)

2022-01-14 Thread Felix Yan via arch-commits
Date: Friday, January 14, 2022 @ 14:16:03 Author: felixonmars Revision: 1103255 archrelease: copy trunk to community-staging-x86_64 Added: agda/repos/community-staging-x86_64/ agda/repos/community-staging-x86_64/PKGBUILD (from rev 1103254, agda/trunk/PKGBUILD) --+ PKGBUILD

[arch-commits] Commit in agda/repos (2 files)

2022-01-11 Thread Felix Yan via arch-commits
Date: Tuesday, January 11, 2022 @ 23:01:50 Author: felixonmars Revision: 1101229 archrelease: copy trunk to community-staging-x86_64 Added: agda/repos/community-staging-x86_64/ agda/repos/community-staging-x86_64/PKGBUILD (from rev 1101227, agda/trunk/PKGBUILD) --+ PKGBUIL

[arch-commits] Commit in agda/repos (2 files)

2022-01-09 Thread Felix Yan via arch-commits
Date: Sunday, January 9, 2022 @ 21:52:50 Author: felixonmars Revision: 1098624 archrelease: copy trunk to community-staging-x86_64 Added: agda/repos/community-staging-x86_64/ agda/repos/community-staging-x86_64/PKGBUILD (from rev 1098623, agda/trunk/PKGBUILD) --+ PKGBUILD

[arch-commits] Commit in agda/repos (2 files)

2022-01-07 Thread Felix Yan via arch-commits
Date: Saturday, January 8, 2022 @ 02:29:26 Author: felixonmars Revision: 1096894 archrelease: copy trunk to community-staging-x86_64 Added: agda/repos/community-staging-x86_64/ agda/repos/community-staging-x86_64/PKGBUILD (from rev 1096893, agda/trunk/PKGBUILD) --+ PKGBUIL

[arch-commits] Commit in agda/repos (2 files)

2022-01-05 Thread Felix Yan via arch-commits
Date: Thursday, January 6, 2022 @ 04:29:55 Author: felixonmars Revision: 1094342 archrelease: copy trunk to community-staging-x86_64 Added: agda/repos/community-staging-x86_64/ agda/repos/community-staging-x86_64/PKGBUILD (from rev 1094341, agda/trunk/PKGBUILD) --+ PKGBUIL

[arch-commits] Commit in agda/repos (2 files)

2021-12-31 Thread Felix Yan via arch-commits
Date: Friday, December 31, 2021 @ 10:31:19 Author: felixonmars Revision: 1090004 archrelease: copy trunk to community-staging-x86_64 Added: agda/repos/community-staging-x86_64/ agda/repos/community-staging-x86_64/PKGBUILD (from rev 1090003, agda/trunk/PKGBUILD) --+ PKGBUIL

[arch-commits] Commit in agda/repos (2 files)

2021-12-29 Thread Felix Yan via arch-commits
Date: Wednesday, December 29, 2021 @ 11:56:08 Author: felixonmars Revision: 1087015 archrelease: copy trunk to community-staging-x86_64 Added: agda/repos/community-staging-x86_64/ agda/repos/community-staging-x86_64/PKGBUILD (from rev 1087014, agda/trunk/PKGBUILD) --+ PKGB

[arch-commits] Commit in agda/repos (2 files)

2021-12-28 Thread Felix Yan via arch-commits
Date: Tuesday, December 28, 2021 @ 05:20:13 Author: felixonmars Revision: 1085118 archrelease: copy trunk to community-staging-x86_64 Added: agda/repos/community-staging-x86_64/ agda/repos/community-staging-x86_64/PKGBUILD (from rev 1085117, agda/trunk/PKGBUILD) --+ PKGBUI

[arch-commits] Commit in agda/repos (2 files)

2021-12-20 Thread Felix Yan via arch-commits
Date: Tuesday, December 21, 2021 @ 01:29:42 Author: felixonmars Revision: 1081308 archrelease: copy trunk to community-staging-x86_64 Added: agda/repos/community-staging-x86_64/ agda/repos/community-staging-x86_64/PKGBUILD (from rev 1081307, agda/trunk/PKGBUILD) --+ PKGBUI

[arch-commits] Commit in agda/repos (2 files)

2021-12-19 Thread Felix Yan via arch-commits
Date: Monday, December 20, 2021 @ 03:00:37 Author: felixonmars Revision: 1079333 archrelease: copy trunk to community-staging-x86_64 Added: agda/repos/community-staging-x86_64/ agda/repos/community-staging-x86_64/PKGBUILD (from rev 1079332, agda/trunk/PKGBUILD) --+ PKGBUIL

[arch-commits] Commit in agda/repos (2 files)

2021-12-18 Thread Felix Yan via arch-commits
Date: Saturday, December 18, 2021 @ 21:48:03 Author: felixonmars Revision: 1077820 archrelease: copy trunk to community-staging-x86_64 Added: agda/repos/community-staging-x86_64/ agda/repos/community-staging-x86_64/PKGBUILD (from rev 1077819, agda/trunk/PKGBUILD) --+ PKGBU

[arch-commits] Commit in agda/repos (2 files)

2021-12-16 Thread Felix Yan via arch-commits
Date: Thursday, December 16, 2021 @ 08:32:46 Author: felixonmars Revision: 1074049 archrelease: copy trunk to community-staging-x86_64 Added: agda/repos/community-staging-x86_64/ agda/repos/community-staging-x86_64/PKGBUILD (from rev 1074048, agda/trunk/PKGBUILD) --+ PKGBU

[arch-commits] Commit in agda/repos (2 files)

2021-12-13 Thread Felix Yan via arch-commits
Date: Monday, December 13, 2021 @ 13:38:27 Author: felixonmars Revision: 1071686 archrelease: copy trunk to community-staging-x86_64 Added: agda/repos/community-staging-x86_64/ agda/repos/community-staging-x86_64/PKGBUILD (from rev 1071685, agda/trunk/PKGBUILD) --+ PKGBUIL

[arch-commits] Commit in agda/repos (2 files)

2021-11-28 Thread Felix Yan via arch-commits
Date: Monday, November 29, 2021 @ 03:32:55 Author: felixonmars Revision: 1056285 archrelease: copy trunk to community-staging-x86_64 Added: agda/repos/community-staging-x86_64/ agda/repos/community-staging-x86_64/PKGBUILD (from rev 1056284, agda/trunk/PKGBUILD) --+ PKGBUIL

[arch-commits] Commit in agda/repos (2 files)

2021-11-18 Thread Felix Yan via arch-commits
Date: Thursday, November 18, 2021 @ 14:16:04 Author: felixonmars Revision: 1052325 archrelease: copy trunk to community-staging-x86_64 Added: agda/repos/community-staging-x86_64/ agda/repos/community-staging-x86_64/PKGBUILD (from rev 1052324, agda/trunk/PKGBUILD) --+ PKGBU

[arch-commits] Commit in agda/repos (2 files)

2021-11-17 Thread Felix Yan via arch-commits
Date: Wednesday, November 17, 2021 @ 10:56:36 Author: felixonmars Revision: 1049831 archrelease: copy trunk to community-staging-x86_64 Added: agda/repos/community-staging-x86_64/ agda/repos/community-staging-x86_64/PKGBUILD (from rev 1049830, agda/trunk/PKGBUILD) --+ PKGB

[arch-commits] Commit in agda/repos (2 files)

2021-11-13 Thread Felix Yan via arch-commits
Date: Saturday, November 13, 2021 @ 19:24:30 Author: felixonmars Revision: 1045923 archrelease: copy trunk to community-staging-x86_64 Added: agda/repos/community-staging-x86_64/ agda/repos/community-staging-x86_64/PKGBUILD (from rev 1045922, agda/trunk/PKGBUILD) --+ PKGBU

[arch-commits] Commit in agda/repos (2 files)

2021-11-12 Thread Felix Yan via arch-commits
Date: Friday, November 12, 2021 @ 08:25:55 Author: felixonmars Revision: 1043372 archrelease: copy trunk to community-staging-x86_64 Added: agda/repos/community-staging-x86_64/ agda/repos/community-staging-x86_64/PKGBUILD (from rev 1043371, agda/trunk/PKGBUILD) --+ PKGBUIL

[arch-commits] Commit in agda/repos (2 files)

2021-11-11 Thread Felix Yan via arch-commits
Date: Thursday, November 11, 2021 @ 11:46:08 Author: felixonmars Revision: 1041992 archrelease: copy trunk to community-staging-x86_64 Added: agda/repos/community-staging-x86_64/ agda/repos/community-staging-x86_64/PKGBUILD (from rev 1041991, agda/trunk/PKGBUILD) --+ PKGBU

[arch-commits] Commit in agda/repos (2 files)

2021-11-10 Thread Felix Yan via arch-commits
Date: Thursday, November 11, 2021 @ 00:28:56 Author: felixonmars Revision: 1040714 archrelease: copy trunk to community-staging-x86_64 Added: agda/repos/community-staging-x86_64/ agda/repos/community-staging-x86_64/PKGBUILD (from rev 1040713, agda/trunk/PKGBUILD) --+ PKGBU

[arch-commits] Commit in agda/repos (2 files)

2021-11-06 Thread Felix Yan via arch-commits
Date: Sunday, November 7, 2021 @ 01:23:50 Author: felixonmars Revision: 1038038 archrelease: copy trunk to community-staging-x86_64 Added: agda/repos/community-staging-x86_64/ agda/repos/community-staging-x86_64/PKGBUILD (from rev 1038037, agda/trunk/PKGBUILD) --+ PKGBUILD

[arch-commits] Commit in agda/repos (2 files)

2021-11-06 Thread Felix Yan via arch-commits
Date: Saturday, November 6, 2021 @ 23:34:25 Author: felixonmars Revision: 1037920 archrelease: copy trunk to community-staging-x86_64 Added: agda/repos/community-staging-x86_64/ agda/repos/community-staging-x86_64/PKGBUILD (from rev 1037919, agda/trunk/PKGBUILD) --+ PKGBUI

[arch-commits] Commit in agda/repos (2 files)

2021-11-02 Thread Felix Yan via arch-commits
Date: Tuesday, November 2, 2021 @ 22:31:02 Author: felixonmars Revision: 1035426 archrelease: copy trunk to community-staging-x86_64 Added: agda/repos/community-staging-x86_64/ agda/repos/community-staging-x86_64/PKGBUILD (from rev 1035425, agda/trunk/PKGBUILD) --+ PKGBUIL

[arch-commits] Commit in agda/repos (2 files)

2021-10-12 Thread Felix Yan via arch-commits
Date: Tuesday, October 12, 2021 @ 11:59:37 Author: felixonmars Revision: 1029802 archrelease: copy trunk to community-staging-x86_64 Added: agda/repos/community-staging-x86_64/ agda/repos/community-staging-x86_64/PKGBUILD (from rev 1029801, agda/trunk/PKGBUILD) --+ PKGBUIL

  1   2   >