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

2020-08-01 Thread Felix Yan via arch-commits
Date: Saturday, August 1, 2020 @ 16:02:51 Author: felixonmars Revision: 667509 archrelease: copy trunk to community-staging-x86_64 Added: idris/repos/community-staging-x86_64/ idris/repos/community-staging-x86_64/PKGBUILD (from rev 667508, idris/trunk/PKGBUILD) --+

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

2020-06-29 Thread Felix Yan via arch-commits
Date: Monday, June 29, 2020 @ 19:26:50 Author: felixonmars Revision: 656444 archrelease: copy trunk to community-staging-x86_64 Added: idris/repos/community-staging-x86_64/ idris/repos/community-staging-x86_64/PKGBUILD (from rev 656443, idris/trunk/PKGBUILD) --+ PKGBUILD

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

2020-06-27 Thread Felix Yan via arch-commits
Date: Friday, June 26, 2020 @ 03:53:21 Author: felixonmars Revision: 653414 archrelease: copy trunk to community-staging-x86_64 Added: idris/repos/community-staging-x86_64/ idris/repos/community-staging-x86_64/PKGBUILD (from rev 653413, idris/trunk/PKGBUILD) --+ PKGBUILD

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

2020-06-27 Thread Felix Yan via arch-commits
Date: Saturday, June 27, 2020 @ 08:00:21 Author: felixonmars Revision: 654647 archrelease: copy trunk to community-staging-x86_64 Added: idris/repos/community-staging-x86_64/ idris/repos/community-staging-x86_64/PKGBUILD (from rev 654646, idris/trunk/PKGBUILD) --+

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

2020-06-26 Thread Felix Yan via arch-commits
Date: Friday, June 26, 2020 @ 11:52:17 Author: felixonmars Revision: 653907 archrelease: copy trunk to community-staging-x86_64 Added: idris/repos/community-staging-x86_64/ idris/repos/community-staging-x86_64/PKGBUILD (from rev 653906, idris/trunk/PKGBUILD) --+ PKGBUILD

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

2020-06-24 Thread Felix Yan via arch-commits
Date: Thursday, June 25, 2020 @ 00:26:39 Author: felixonmars Revision: 652631 archrelease: copy trunk to community-staging-x86_64 Added: idris/repos/community-staging-x86_64/ idris/repos/community-staging-x86_64/PKGBUILD (from rev 652630, idris/trunk/PKGBUILD) --+

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

2020-06-22 Thread Felix Yan via arch-commits
Date: Monday, June 22, 2020 @ 16:32:59 Author: felixonmars Revision: 650661 archrelease: copy trunk to community-staging-x86_64 Added: idris/repos/community-staging-x86_64/ idris/repos/community-staging-x86_64/PKGBUILD (from rev 650660, idris/trunk/PKGBUILD) --+ PKGBUILD

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

2020-06-21 Thread Felix Yan via arch-commits
Date: Sunday, June 21, 2020 @ 12:29:46 Author: felixonmars Revision: 649253 archrelease: copy trunk to community-staging-x86_64 Added: idris/repos/community-staging-x86_64/ idris/repos/community-staging-x86_64/PKGBUILD (from rev 649252, idris/trunk/PKGBUILD) --+ PKGBUILD

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

2020-06-20 Thread Felix Yan via arch-commits
Date: Saturday, June 20, 2020 @ 13:09:39 Author: felixonmars Revision: 648409 archrelease: copy trunk to community-staging-x86_64 Added: idris/repos/community-staging-x86_64/ idris/repos/community-staging-x86_64/PKGBUILD (from rev 648408, idris/trunk/PKGBUILD) --+

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

2020-06-19 Thread Felix Yan via arch-commits
Date: Friday, June 19, 2020 @ 22:07:47 Author: felixonmars Revision: 647959 archrelease: copy trunk to community-staging-x86_64 Added: idris/repos/community-staging-x86_64/ idris/repos/community-staging-x86_64/PKGBUILD (from rev 647958, idris/trunk/PKGBUILD) --+ PKGBUILD

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

2020-06-18 Thread Felix Yan via arch-commits
Date: Thursday, June 18, 2020 @ 19:31:10 Author: felixonmars Revision: 647474 archrelease: copy trunk to community-staging-x86_64 Added: idris/repos/community-staging-x86_64/ idris/repos/community-staging-x86_64/PKGBUILD (from rev 647473, idris/trunk/PKGBUILD) --+

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

2020-06-18 Thread Felix Yan via arch-commits
Date: Thursday, June 18, 2020 @ 10:55:09 Author: felixonmars Revision: 646972 archrelease: copy trunk to community-staging-x86_64 Added: idris/repos/community-staging-x86_64/ idris/repos/community-staging-x86_64/PKGBUILD (from rev 646971, idris/trunk/PKGBUILD) --+

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

2020-06-16 Thread Felix Yan via arch-commits
Date: Tuesday, June 16, 2020 @ 08:25:51 Author: felixonmars Revision: 646010 archrelease: copy trunk to community-staging-x86_64 Added: idris/repos/community-staging-x86_64/ idris/repos/community-staging-x86_64/PKGBUILD (from rev 646009, idris/trunk/PKGBUILD) --+ PKGBUILD

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

2020-06-15 Thread Felix Yan via arch-commits
Date: Monday, June 15, 2020 @ 22:11:32 Author: felixonmars Revision: 645578 archrelease: copy trunk to community-staging-x86_64 Added: idris/repos/community-staging-x86_64/ idris/repos/community-staging-x86_64/PKGBUILD (from rev 645577, idris/trunk/PKGBUILD) --+ PKGBUILD

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

2020-06-15 Thread Felix Yan via arch-commits
Date: Monday, June 15, 2020 @ 13:34:21 Author: felixonmars Revision: 645124 archrelease: copy trunk to community-staging-x86_64 Added: idris/repos/community-staging-x86_64/ idris/repos/community-staging-x86_64/PKGBUILD (from rev 645123, idris/trunk/PKGBUILD) --+ PKGBUILD

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

2020-06-14 Thread Felix Yan via arch-commits
Date: Sunday, June 14, 2020 @ 13:19:22 Author: felixonmars Revision: 644138 archrelease: copy trunk to community-staging-x86_64 Added: idris/repos/community-staging-x86_64/ idris/repos/community-staging-x86_64/PKGBUILD (from rev 644137, idris/trunk/PKGBUILD) --+ PKGBUILD

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

2020-06-12 Thread Felix Yan via arch-commits
Date: Friday, June 12, 2020 @ 21:48:48 Author: felixonmars Revision: 642658 archrelease: copy trunk to community-staging-x86_64 Added: idris/repos/community-staging-x86_64/ idris/repos/community-staging-x86_64/PKGBUILD (from rev 642657, idris/trunk/PKGBUILD) --+ PKGBUILD

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

2020-06-12 Thread Felix Yan via arch-commits
Date: Friday, June 12, 2020 @ 06:24:43 Author: felixonmars Revision: 642252 archrelease: copy trunk to community-staging-x86_64 Added: idris/repos/community-staging-x86_64/ idris/repos/community-staging-x86_64/PKGBUILD (from rev 642251, idris/trunk/PKGBUILD) --+ PKGBUILD

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

2020-06-10 Thread Felix Yan via arch-commits
Date: Wednesday, June 10, 2020 @ 14:46:54 Author: felixonmars Revision: 641510 archrelease: copy trunk to community-staging-x86_64 Added: idris/repos/community-staging-x86_64/ idris/repos/community-staging-x86_64/PKGBUILD (from rev 641509, idris/trunk/PKGBUILD) --+

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

2020-06-08 Thread Felix Yan via arch-commits
Date: Monday, June 8, 2020 @ 08:05:48 Author: felixonmars Revision: 640377 archrelease: copy trunk to community-staging-x86_64 Added: idris/repos/community-staging-x86_64/ idris/repos/community-staging-x86_64/PKGBUILD (from rev 640376, idris/trunk/PKGBUILD) --+ PKGBUILD |

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

2020-06-07 Thread Felix Yan via arch-commits
Date: Sunday, June 7, 2020 @ 07:59:56 Author: felixonmars Revision: 639718 archrelease: copy trunk to community-staging-x86_64 Added: idris/repos/community-staging-x86_64/ idris/repos/community-staging-x86_64/PKGBUILD (from rev 639717, idris/trunk/PKGBUILD) --+ PKGBUILD |

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

2020-06-04 Thread Felix Yan via arch-commits
Date: Thursday, June 4, 2020 @ 07:10:33 Author: felixonmars Revision: 638678 archrelease: copy trunk to community-staging-x86_64 Added: idris/repos/community-staging-x86_64/ idris/repos/community-staging-x86_64/PKGBUILD (from rev 638677, idris/trunk/PKGBUILD) --+ PKGBUILD

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

2020-05-29 Thread Felix Yan via arch-commits
Date: Friday, May 29, 2020 @ 18:40:12 Author: felixonmars Revision: 637261 archrelease: copy trunk to community-staging-x86_64 Added: idris/repos/community-staging-x86_64/ idris/repos/community-staging-x86_64/PKGBUILD (from rev 637260, idris/trunk/PKGBUILD) --+ PKGBUILD |

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

2020-05-28 Thread Felix Yan via arch-commits
Date: Thursday, May 28, 2020 @ 21:38:53 Author: felixonmars Revision: 636761 archrelease: copy trunk to community-staging-x86_64 Added: idris/repos/community-staging-x86_64/ idris/repos/community-staging-x86_64/PKGBUILD (from rev 636760, idris/trunk/PKGBUILD) --+ PKGBUILD

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

2020-05-28 Thread Felix Yan via arch-commits
Date: Thursday, May 28, 2020 @ 15:08:39 Author: felixonmars Revision: 636384 archrelease: copy trunk to community-staging-x86_64 Added: idris/repos/community-staging-x86_64/ idris/repos/community-staging-x86_64/PKGBUILD (from rev 636383, idris/trunk/PKGBUILD) --+ PKGBUILD

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

2020-05-26 Thread Felix Yan via arch-commits
Date: Wednesday, May 27, 2020 @ 01:15:44 Author: felixonmars Revision: 635620 archrelease: copy trunk to community-staging-x86_64 Added: idris/repos/community-staging-x86_64/ idris/repos/community-staging-x86_64/PKGBUILD (from rev 635619, idris/trunk/PKGBUILD) --+

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

2020-05-26 Thread Felix Yan via arch-commits
Date: Tuesday, May 26, 2020 @ 14:16:42 Author: felixonmars Revision: 635096 archrelease: copy trunk to community-staging-x86_64 Added: idris/repos/community-staging-x86_64/ idris/repos/community-staging-x86_64/PKGBUILD (from rev 635095, idris/trunk/PKGBUILD) --+ PKGBUILD

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

2020-05-25 Thread Felix Yan via arch-commits
Date: Monday, May 25, 2020 @ 16:44:29 Author: felixonmars Revision: 634685 archrelease: copy trunk to community-staging-x86_64 Added: idris/repos/community-staging-x86_64/ idris/repos/community-staging-x86_64/PKGBUILD (from rev 634684, idris/trunk/PKGBUILD) --+ PKGBUILD |

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

2020-05-25 Thread Felix Yan via arch-commits
Date: Monday, May 25, 2020 @ 07:07:47 Author: felixonmars Revision: 633901 archrelease: copy trunk to community-staging-x86_64 Added: idris/repos/community-staging-x86_64/ idris/repos/community-staging-x86_64/PKGBUILD (from rev 633900, idris/trunk/PKGBUILD) --+ PKGBUILD |

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

2020-01-08 Thread Felix Yan via arch-commits
Date: Wednesday, January 8, 2020 @ 11:03:00 Author: felixonmars Revision: 550226 archrelease: copy trunk to community-staging-x86_64 Added: idris/repos/community-staging-x86_64/ idris/repos/community-staging-x86_64/PKGBUILD (from rev 550225, idris/trunk/PKGBUILD) --+

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

2020-01-06 Thread Felix Yan via arch-commits
Date: Monday, January 6, 2020 @ 22:17:24 Author: felixonmars Revision: 549796 archrelease: copy trunk to community-staging-x86_64 Added: idris/repos/community-staging-x86_64/ idris/repos/community-staging-x86_64/PKGBUILD (from rev 549795, idris/trunk/PKGBUILD) --+

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

2020-01-05 Thread Felix Yan via arch-commits
Date: Monday, January 6, 2020 @ 00:03:22 Author: felixonmars Revision: 549534 archrelease: copy trunk to community-staging-x86_64 Added: idris/repos/community-staging-x86_64/ idris/repos/community-staging-x86_64/PKGBUILD (from rev 549533, idris/trunk/PKGBUILD) --+

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

2020-01-04 Thread Felix Yan via arch-commits
Date: Sunday, January 5, 2020 @ 04:29:06 Author: felixonmars Revision: 548816 archrelease: copy trunk to community-staging-x86_64 Added: idris/repos/community-staging-x86_64/ idris/repos/community-staging-x86_64/PKGBUILD (from rev 548815, idris/trunk/PKGBUILD) --+

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

2020-01-03 Thread Felix Yan via arch-commits
Date: Friday, January 3, 2020 @ 09:32:42 Author: felixonmars Revision: 547097 archrelease: copy trunk to community-staging-x86_64 Added: idris/repos/community-staging-x86_64/ idris/repos/community-staging-x86_64/PKGBUILD (from rev 547096, idris/trunk/PKGBUILD) --+

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

2019-12-31 Thread Felix Yan via arch-commits
Date: Tuesday, December 31, 2019 @ 12:11:17 Author: felixonmars Revision: 545618 archrelease: copy trunk to community-staging-x86_64 Added: idris/repos/community-staging-x86_64/ idris/repos/community-staging-x86_64/PKGBUILD (from rev 545617, idris/trunk/PKGBUILD) --+

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

2019-12-30 Thread Felix Yan via arch-commits
Date: Monday, December 30, 2019 @ 20:40:16 Author: felixonmars Revision: 544986 archrelease: copy trunk to community-staging-x86_64 Added: idris/repos/community-staging-x86_64/ idris/repos/community-staging-x86_64/PKGBUILD (from rev 544984, idris/trunk/PKGBUILD) --+

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

2019-12-29 Thread Felix Yan via arch-commits
Date: Sunday, December 29, 2019 @ 21:05:11 Author: felixonmars Revision: 543864 archrelease: copy trunk to community-staging-x86_64 Added: idris/repos/community-staging-x86_64/ idris/repos/community-staging-x86_64/PKGBUILD (from rev 543863, idris/trunk/PKGBUILD) --+

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

2019-12-27 Thread Felix Yan via arch-commits
Date: Friday, December 27, 2019 @ 16:41:17 Author: felixonmars Revision: 543150 archrelease: copy trunk to community-staging-x86_64 Added: idris/repos/community-staging-x86_64/ idris/repos/community-staging-x86_64/PKGBUILD (from rev 543148, idris/trunk/PKGBUILD) --+

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

2019-12-26 Thread Felix Yan via arch-commits
Date: Thursday, December 26, 2019 @ 18:44:26 Author: felixonmars Revision: 542799 archrelease: copy trunk to community-staging-x86_64 Added: idris/repos/community-staging-x86_64/ idris/repos/community-staging-x86_64/PKGBUILD (from rev 542798, idris/trunk/PKGBUILD) --+

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

2019-12-25 Thread Felix Yan via arch-commits
Date: Thursday, December 26, 2019 @ 01:24:24 Author: felixonmars Revision: 541759 archrelease: copy trunk to community-staging-x86_64 Added: idris/repos/community-staging-x86_64/ idris/repos/community-staging-x86_64/PKGBUILD (from rev 541758, idris/trunk/PKGBUILD) --+

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

2019-12-24 Thread Felix Yan via arch-commits
Date: Tuesday, December 24, 2019 @ 18:22:32 Author: felixonmars Revision: 53 archrelease: copy trunk to community-staging-x86_64 Added: idris/repos/community-staging-x86_64/ idris/repos/community-staging-x86_64/PKGBUILD (from rev 539998, idris/trunk/PKGBUILD) --+

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

2019-12-11 Thread Felix Yan via arch-commits
Date: Wednesday, December 11, 2019 @ 09:27:45 Author: felixonmars Revision: 536778 archrelease: copy trunk to community-staging-x86_64 Added: idris/repos/community-staging-x86_64/ idris/repos/community-staging-x86_64/PKGBUILD (from rev 536777, idris/trunk/PKGBUILD) --+

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

2019-12-06 Thread Felix Yan via arch-commits
Date: Friday, December 6, 2019 @ 20:55:16 Author: felixonmars Revision: 536088 archrelease: copy trunk to community-staging-x86_64 Added: idris/repos/community-staging-x86_64/ idris/repos/community-staging-x86_64/PKGBUILD (from rev 536087, idris/trunk/PKGBUILD) --+

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

2019-12-02 Thread Felix Yan via arch-commits
Date: Monday, December 2, 2019 @ 22:47:37 Author: felixonmars Revision: 534900 archrelease: copy trunk to community-staging-x86_64 Added: idris/repos/community-staging-x86_64/ idris/repos/community-staging-x86_64/PKGBUILD (from rev 534899, idris/trunk/PKGBUILD) --+

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

2019-11-27 Thread Felix Yan via arch-commits
Date: Wednesday, November 27, 2019 @ 09:35:26 Author: felixonmars Revision: 533993 archrelease: copy trunk to community-staging-x86_64 Added: idris/repos/community-staging-x86_64/ idris/repos/community-staging-x86_64/PKGBUILD (from rev 533992, idris/trunk/PKGBUILD) --+

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

2019-11-26 Thread Felix Yan via arch-commits
Date: Tuesday, November 26, 2019 @ 21:13:09 Author: felixonmars Revision: 533649 archrelease: copy trunk to community-staging-x86_64 Added: idris/repos/community-staging-x86_64/ idris/repos/community-staging-x86_64/PKGBUILD (from rev 533648, idris/trunk/PKGBUILD) --+

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

2019-11-26 Thread Felix Yan via arch-commits
Date: Tuesday, November 26, 2019 @ 19:22:49 Author: felixonmars Revision: 533540 archrelease: copy trunk to community-staging-x86_64 Added: idris/repos/community-staging-x86_64/ idris/repos/community-staging-x86_64/PKGBUILD (from rev 533539, idris/trunk/PKGBUILD) --+

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

2019-11-25 Thread Felix Yan via arch-commits
Date: Monday, November 25, 2019 @ 16:59:21 Author: felixonmars Revision: 533255 archrelease: copy trunk to community-staging-x86_64 Added: idris/repos/community-staging-x86_64/ idris/repos/community-staging-x86_64/PKGBUILD (from rev 533254, idris/trunk/PKGBUILD) --+

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

2019-11-23 Thread Felix Yan via arch-commits
Date: Sunday, November 24, 2019 @ 07:51:36 Author: felixonmars Revision: 532646 archrelease: copy trunk to community-staging-x86_64 Added: idris/repos/community-staging-x86_64/ idris/repos/community-staging-x86_64/PKGBUILD (from rev 532645, idris/trunk/PKGBUILD) --+

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

2019-11-21 Thread Felix Yan via arch-commits
Date: Friday, November 22, 2019 @ 00:15:15 Author: felixonmars Revision: 531518 archrelease: copy trunk to community-staging-x86_64 Added: idris/repos/community-staging-x86_64/ idris/repos/community-staging-x86_64/PKGBUILD (from rev 531517, idris/trunk/PKGBUILD) --+

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

2019-11-20 Thread Felix Yan via arch-commits
Date: Wednesday, November 20, 2019 @ 18:25:48 Author: felixonmars Revision: 530753 archrelease: copy trunk to community-staging-x86_64 Added: idris/repos/community-staging-x86_64/ idris/repos/community-staging-x86_64/PKGBUILD (from rev 530752, idris/trunk/PKGBUILD) --+

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

2019-11-17 Thread Felix Yan via arch-commits
Date: Sunday, November 17, 2019 @ 18:29:21 Author: felixonmars Revision: 530143 archrelease: copy trunk to community-staging-x86_64 Added: idris/repos/community-staging-x86_64/ idris/repos/community-staging-x86_64/PKGBUILD (from rev 530142, idris/trunk/PKGBUILD) --+

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

2019-11-16 Thread Felix Yan via arch-commits
Date: Saturday, November 16, 2019 @ 18:16:31 Author: felixonmars Revision: 529699 archrelease: copy trunk to community-staging-x86_64 Added: idris/repos/community-staging-x86_64/ idris/repos/community-staging-x86_64/PKGBUILD (from rev 529698, idris/trunk/PKGBUILD) --+

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

2019-10-20 Thread Felix Yan via arch-commits
Date: Sunday, October 20, 2019 @ 19:31:15 Author: felixonmars Revision: 517957 archrelease: copy trunk to community-staging-x86_64 Added: idris/repos/community-staging-x86_64/ idris/repos/community-staging-x86_64/PKGBUILD (from rev 517956, idris/trunk/PKGBUILD) --+

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

2019-10-20 Thread Felix Yan via arch-commits
Date: Sunday, October 20, 2019 @ 10:18:52 Author: felixonmars Revision: 517753 archrelease: copy trunk to community-staging-x86_64 Added: idris/repos/community-staging-x86_64/ idris/repos/community-staging-x86_64/PKGBUILD (from rev 517752, idris/trunk/PKGBUILD) --+

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

2019-10-18 Thread Felix Yan via arch-commits
Date: Friday, October 18, 2019 @ 23:02:45 Author: felixonmars Revision: 517240 archrelease: copy trunk to community-staging-x86_64 Added: idris/repos/community-staging-x86_64/ idris/repos/community-staging-x86_64/PKGBUILD (from rev 517239, idris/trunk/PKGBUILD) --+

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

2019-10-18 Thread Felix Yan via arch-commits
Date: Friday, October 18, 2019 @ 13:35:34 Author: felixonmars Revision: 516857 archrelease: copy trunk to community-staging-x86_64 Added: idris/repos/community-staging-x86_64/ idris/repos/community-staging-x86_64/PKGBUILD (from rev 516856, idris/trunk/PKGBUILD) --+

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

2019-10-14 Thread Felix Yan via arch-commits
Date: Monday, October 14, 2019 @ 19:29:27 Author: felixonmars Revision: 515883 archrelease: copy trunk to community-staging-x86_64 Added: idris/repos/community-staging-x86_64/ idris/repos/community-staging-x86_64/PKGBUILD (from rev 515882, idris/trunk/PKGBUILD) --+

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

2019-10-10 Thread Felix Yan via arch-commits
Date: Thursday, October 10, 2019 @ 21:37:03 Author: felixonmars Revision: 514624 archrelease: copy trunk to community-staging-x86_64 Added: idris/repos/community-staging-x86_64/ idris/repos/community-staging-x86_64/PKGBUILD (from rev 514623, idris/trunk/PKGBUILD) --+

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

2019-10-07 Thread Felix Yan via arch-commits
Date: Monday, October 7, 2019 @ 17:52:49 Author: felixonmars Revision: 513955 archrelease: copy trunk to community-staging-x86_64 Added: idris/repos/community-staging-x86_64/ idris/repos/community-staging-x86_64/PKGBUILD (from rev 513954, idris/trunk/PKGBUILD) --+

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

2019-10-06 Thread Felix Yan via arch-commits
Date: Sunday, October 6, 2019 @ 15:02:21 Author: felixonmars Revision: 513419 archrelease: copy trunk to community-staging-x86_64 Added: idris/repos/community-staging-x86_64/ idris/repos/community-staging-x86_64/PKGBUILD (from rev 513418, idris/trunk/PKGBUILD) --+

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

2019-09-15 Thread Felix Yan via arch-commits
Date: Sunday, September 15, 2019 @ 07:56:26 Author: felixonmars Revision: 510691 archrelease: copy trunk to community-staging-x86_64 Added: idris/repos/community-staging-x86_64/ idris/repos/community-staging-x86_64/PKGBUILD (from rev 510690, idris/trunk/PKGBUILD) --+

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

2019-09-12 Thread Felix Yan via arch-commits
Date: Thursday, September 12, 2019 @ 19:11:25 Author: felixonmars Revision: 509776 archrelease: copy trunk to community-staging-x86_64 Added: idris/repos/community-staging-x86_64/ idris/repos/community-staging-x86_64/PKGBUILD (from rev 509775, idris/trunk/PKGBUILD) --+

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

2019-09-03 Thread Felix Yan via arch-commits
Date: Tuesday, September 3, 2019 @ 10:01:20 Author: felixonmars Revision: 507364 archrelease: copy trunk to community-staging-x86_64 Added: idris/repos/community-staging-x86_64/ idris/repos/community-staging-x86_64/PKGBUILD (from rev 507363, idris/trunk/PKGBUILD) --+

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

2019-09-01 Thread Felix Yan via arch-commits
Date: Sunday, September 1, 2019 @ 12:27:13 Author: felixonmars Revision: 506117 archrelease: copy trunk to community-staging-x86_64 Added: idris/repos/community-staging-x86_64/ idris/repos/community-staging-x86_64/PKGBUILD (from rev 506116, idris/trunk/PKGBUILD) --+

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

2019-08-31 Thread Felix Yan via arch-commits
Date: Saturday, August 31, 2019 @ 08:09:46 Author: felixonmars Revision: 505568 archrelease: copy trunk to community-staging-x86_64 Added: idris/repos/community-staging-x86_64/ idris/repos/community-staging-x86_64/PKGBUILD (from rev 505567, idris/trunk/PKGBUILD) --+

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

2019-08-29 Thread Felix Yan via arch-commits
Date: Thursday, August 29, 2019 @ 10:43:54 Author: felixonmars Revision: 504751 archrelease: copy trunk to community-staging-x86_64 Added: idris/repos/community-staging-x86_64/ idris/repos/community-staging-x86_64/PKGBUILD (from rev 504750, idris/trunk/PKGBUILD) --+

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

2019-08-28 Thread Felix Yan via arch-commits
Date: Wednesday, August 28, 2019 @ 17:05:43 Author: felixonmars Revision: 504326 archrelease: copy trunk to community-staging-x86_64 Added: idris/repos/community-staging-x86_64/ idris/repos/community-staging-x86_64/PKGBUILD (from rev 504325, idris/trunk/PKGBUILD) --+

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

2019-08-28 Thread Felix Yan via arch-commits
Date: Wednesday, August 28, 2019 @ 11:47:44 Author: felixonmars Revision: 503855 archrelease: copy trunk to community-staging-x86_64 Added: idris/repos/community-staging-x86_64/ idris/repos/community-staging-x86_64/PKGBUILD (from rev 503854, idris/trunk/PKGBUILD) --+

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

2019-08-27 Thread Felix Yan via arch-commits
Date: Tuesday, August 27, 2019 @ 13:30:48 Author: felixonmars Revision: 502812 archrelease: copy trunk to community-staging-x86_64 Added: idris/repos/community-staging-x86_64/ idris/repos/community-staging-x86_64/PKGBUILD (from rev 502811, idris/trunk/PKGBUILD) --+

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

2019-08-23 Thread Felix Yan via arch-commits
Date: Friday, August 23, 2019 @ 06:42:44 Author: felixonmars Revision: 500988 archrelease: copy trunk to community-staging-x86_64 Added: idris/repos/community-staging-x86_64/ idris/repos/community-staging-x86_64/PKGBUILD (from rev 500987, idris/trunk/PKGBUILD) --+

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

2019-08-13 Thread Felix Yan via arch-commits
Date: Wednesday, August 14, 2019 @ 05:21:33 Author: felixonmars Revision: 499145 archrelease: copy trunk to community-staging-x86_64 Added: idris/repos/community-staging-x86_64/ idris/repos/community-staging-x86_64/PKGBUILD (from rev 499144, idris/trunk/PKGBUILD) --+

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

2019-08-11 Thread Felix Yan via arch-commits
Date: Sunday, August 11, 2019 @ 06:56:06 Author: felixonmars Revision: 498838 archrelease: copy trunk to community-staging-x86_64 Added: idris/repos/community-staging-x86_64/ idris/repos/community-staging-x86_64/PKGBUILD (from rev 498837, idris/trunk/PKGBUILD) --+

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

2019-08-06 Thread Felix Yan via arch-commits
Date: Tuesday, August 6, 2019 @ 17:20:30 Author: felixonmars Revision: 497901 archrelease: copy trunk to community-staging-x86_64 Added: idris/repos/community-staging-x86_64/ idris/repos/community-staging-x86_64/PKGBUILD (from rev 497900, idris/trunk/PKGBUILD) --+

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

2019-08-03 Thread Felix Yan via arch-commits
Date: Sunday, August 4, 2019 @ 03:44:35 Author: felixonmars Revision: 497267 archrelease: copy trunk to community-staging-x86_64 Added: idris/repos/community-staging-x86_64/ idris/repos/community-staging-x86_64/PKGBUILD (from rev 497266, idris/trunk/PKGBUILD) --+ PKGBUILD

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

2019-08-01 Thread Felix Yan via arch-commits
Date: Friday, August 2, 2019 @ 05:11:26 Author: felixonmars Revision: 496494 archrelease: copy trunk to community-staging-x86_64 Added: idris/repos/community-staging-x86_64/ idris/repos/community-staging-x86_64/PKGBUILD (from rev 496493, idris/trunk/PKGBUILD) --+ PKGBUILD

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

2019-07-30 Thread Felix Yan via arch-commits
Date: Tuesday, July 30, 2019 @ 06:54:55 Author: felixonmars Revision: 495125 archrelease: copy trunk to community-staging-x86_64 Added: idris/repos/community-staging-x86_64/ idris/repos/community-staging-x86_64/PKGBUILD (from rev 495124, idris/trunk/PKGBUILD) --+ PKGBUILD

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

2019-07-29 Thread Felix Yan via arch-commits
Date: Tuesday, July 30, 2019 @ 03:44:35 Author: felixonmars Revision: 494888 archrelease: copy trunk to community-staging-x86_64 Added: idris/repos/community-staging-x86_64/ idris/repos/community-staging-x86_64/PKGBUILD (from rev 494887, idris/trunk/PKGBUILD) --+ PKGBUILD

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

2019-07-28 Thread Felix Yan via arch-commits
Date: Sunday, July 28, 2019 @ 19:02:55 Author: felixonmars Revision: 493914 archrelease: copy trunk to community-staging-x86_64 Added: idris/repos/community-staging-x86_64/ idris/repos/community-staging-x86_64/PKGBUILD (from rev 493913, idris/trunk/PKGBUILD) --+ PKGBUILD

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

2019-07-20 Thread Felix Yan via arch-commits
Date: Sunday, July 21, 2019 @ 04:09:43 Author: felixonmars Revision: 492393 archrelease: copy trunk to community-staging-x86_64 Added: idris/repos/community-staging-x86_64/ idris/repos/community-staging-x86_64/PKGBUILD (from rev 492392, idris/trunk/PKGBUILD) --+ PKGBUILD

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

2019-07-18 Thread Felix Yan via arch-commits
Date: Thursday, July 18, 2019 @ 20:32:54 Author: felixonmars Revision: 491926 archrelease: copy trunk to community-staging-x86_64 Added: idris/repos/community-staging-x86_64/ idris/repos/community-staging-x86_64/PKGBUILD (from rev 491925, idris/trunk/PKGBUILD) --+

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

2019-07-18 Thread Felix Yan via arch-commits
Date: Thursday, July 18, 2019 @ 07:01:01 Author: felixonmars Revision: 491010 archrelease: copy trunk to community-staging-x86_64 Added: idris/repos/community-staging-x86_64/ idris/repos/community-staging-x86_64/PKGBUILD (from rev 491009, idris/trunk/PKGBUILD) --+

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

2019-07-13 Thread Felix Yan via arch-commits
Date: Sunday, July 14, 2019 @ 01:56:52 Author: felixonmars Revision: 489445 archrelease: copy trunk to community-staging-x86_64 Added: idris/repos/community-staging-x86_64/ idris/repos/community-staging-x86_64/PKGBUILD (from rev 489444, idris/trunk/PKGBUILD) --+ PKGBUILD

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

2019-07-11 Thread Felix Yan via arch-commits
Date: Thursday, July 11, 2019 @ 13:43:18 Author: felixonmars Revision: 488840 archrelease: copy trunk to community-staging-x86_64 Added: idris/repos/community-staging-x86_64/ idris/repos/community-staging-x86_64/PKGBUILD (from rev 488839, idris/trunk/PKGBUILD) --+

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

2019-07-01 Thread Felix Yan via arch-commits
Date: Monday, July 1, 2019 @ 16:10:57 Author: felixonmars Revision: 487138 archrelease: copy trunk to community-staging-x86_64 Added: idris/repos/community-staging-x86_64/ idris/repos/community-staging-x86_64/PKGBUILD (from rev 487137, idris/trunk/PKGBUILD) --+ PKGBUILD |

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

2019-06-27 Thread Felix Yan via arch-commits
Date: Friday, June 28, 2019 @ 05:33:34 Author: felixonmars Revision: 485335 archrelease: copy trunk to community-staging-x86_64 Added: idris/repos/community-staging-x86_64/ idris/repos/community-staging-x86_64/PKGBUILD (from rev 485334, idris/trunk/PKGBUILD) --+ PKGBUILD

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

2019-06-26 Thread Felix Yan via arch-commits
Date: Wednesday, June 26, 2019 @ 11:50:27 Author: felixonmars Revision: 484455 archrelease: copy trunk to community-staging-x86_64 Added: idris/repos/community-staging-x86_64/ idris/repos/community-staging-x86_64/PKGBUILD (from rev 484454, idris/trunk/PKGBUILD) --+

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

2019-06-25 Thread Felix Yan via arch-commits
Date: Wednesday, June 26, 2019 @ 02:44:46 Author: felixonmars Revision: 484157 archrelease: copy trunk to community-staging-x86_64 Added: idris/repos/community-staging-x86_64/ idris/repos/community-staging-x86_64/PKGBUILD (from rev 484156, idris/trunk/PKGBUILD) --+

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

2019-06-25 Thread Felix Yan via arch-commits
Date: Tuesday, June 25, 2019 @ 17:40:54 Author: felixonmars Revision: 484036 archrelease: copy trunk to community-staging-x86_64 Added: idris/repos/community-staging-x86_64/ idris/repos/community-staging-x86_64/PKGBUILD (from rev 484035, idris/trunk/PKGBUILD) --+ PKGBUILD

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

2019-06-24 Thread Felix Yan via arch-commits
Date: Tuesday, June 25, 2019 @ 05:39:05 Author: felixonmars Revision: 483860 archrelease: copy trunk to community-staging-x86_64 Added: idris/repos/community-staging-x86_64/ idris/repos/community-staging-x86_64/PKGBUILD (from rev 483859, idris/trunk/PKGBUILD) --+ PKGBUILD

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

2019-06-24 Thread Felix Yan via arch-commits
Date: Monday, June 24, 2019 @ 18:54:54 Author: felixonmars Revision: 483678 archrelease: copy trunk to community-staging-x86_64 Added: idris/repos/community-staging-x86_64/ idris/repos/community-staging-x86_64/PKGBUILD (from rev 483677, idris/trunk/PKGBUILD) --+ PKGBUILD

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

2019-06-22 Thread Felix Yan via arch-commits
Date: Sunday, June 23, 2019 @ 05:39:04 Author: felixonmars Revision: 483000 archrelease: copy trunk to community-staging-x86_64 Added: idris/repos/community-staging-x86_64/ idris/repos/community-staging-x86_64/PKGBUILD (from rev 482999, idris/trunk/PKGBUILD) --+ PKGBUILD

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

2019-06-15 Thread Felix Yan via arch-commits
Date: Saturday, June 15, 2019 @ 16:40:08 Author: felixonmars Revision: 481689 archrelease: copy trunk to community-staging-x86_64 Added: idris/repos/community-staging-x86_64/ idris/repos/community-staging-x86_64/PKGBUILD (from rev 481688, idris/trunk/PKGBUILD) --+

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

2019-06-13 Thread Felix Yan via arch-commits
Date: Thursday, June 13, 2019 @ 20:41:42 Author: felixonmars Revision: 481356 archrelease: copy trunk to community-staging-x86_64 Added: idris/repos/community-staging-x86_64/ idris/repos/community-staging-x86_64/PKGBUILD (from rev 481355, idris/trunk/PKGBUILD) --+

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

2019-06-13 Thread Felix Yan via arch-commits
Date: Thursday, June 13, 2019 @ 09:27:21 Author: felixonmars Revision: 481200 archrelease: copy trunk to community-staging-x86_64 Added: idris/repos/community-staging-x86_64/ idris/repos/community-staging-x86_64/PKGBUILD (from rev 481199, idris/trunk/PKGBUILD) --+

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

2019-06-12 Thread Felix Yan via arch-commits
Date: Wednesday, June 12, 2019 @ 19:13:58 Author: felixonmars Revision: 481010 archrelease: copy trunk to community-staging-x86_64 Added: idris/repos/community-staging-x86_64/ idris/repos/community-staging-x86_64/PKGBUILD (from rev 481009, idris/trunk/PKGBUILD) --+

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

2019-06-11 Thread Felix Yan via arch-commits
Date: Tuesday, June 11, 2019 @ 17:08:59 Author: felixonmars Revision: 480493 archrelease: copy trunk to community-staging-x86_64 Added: idris/repos/community-staging-x86_64/ idris/repos/community-staging-x86_64/PKGBUILD (from rev 480492, idris/trunk/PKGBUILD) --+ PKGBUILD

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

2019-06-10 Thread Felix Yan via arch-commits
Date: Monday, June 10, 2019 @ 08:09:15 Author: felixonmars Revision: 479250 archrelease: copy trunk to community-staging-x86_64 Added: idris/repos/community-staging-x86_64/ idris/repos/community-staging-x86_64/PKGBUILD (from rev 479249, idris/trunk/PKGBUILD) --+ PKGBUILD

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

2019-06-06 Thread Felix Yan via arch-commits
Date: Thursday, June 6, 2019 @ 16:08:04 Author: felixonmars Revision: 477636 archrelease: copy trunk to community-staging-x86_64 Added: idris/repos/community-staging-x86_64/ idris/repos/community-staging-x86_64/PKGBUILD (from rev 477635, idris/trunk/PKGBUILD) --+ PKGBUILD

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

2019-06-05 Thread Felix Yan via arch-commits
Date: Wednesday, June 5, 2019 @ 19:01:06 Author: felixonmars Revision: 477227 archrelease: copy trunk to community-staging-x86_64 Added: idris/repos/community-staging-x86_64/ idris/repos/community-staging-x86_64/PKGBUILD (from rev 477226, idris/trunk/PKGBUILD) --+

<    1   2   3   4   5   >