[arch-commits] Commit in idris/repos/community-x86_64 (PKGBUILD PKGBUILD)

2018-10-23 Thread Felix Yan via arch-commits
Date: Tuesday, October 23, 2018 @ 16:33:27 Author: felixonmars Revision: 398683 archrelease: copy trunk to community-x86_64 Added: idris/repos/community-x86_64/PKGBUILD (from rev 398682, idris/trunk/PKGBUILD) Deleted: idris/repos/community-x86_64/PKGBUILD --+ PKGBUILD |

[arch-commits] Commit in idris/repos/community-x86_64 (PKGBUILD PKGBUILD)

2018-05-27 Thread Felix Yan via arch-commits
Date: Sunday, May 27, 2018 @ 16:28:26 Author: felixonmars Revision: 331920 archrelease: copy trunk to community-x86_64 Added: idris/repos/community-x86_64/PKGBUILD (from rev 331919, idris/trunk/PKGBUILD) Deleted: idris/repos/community-x86_64/PKGBUILD --+ PKGBUILD | 124

[arch-commits] Commit in idris/repos/community-x86_64 (PKGBUILD PKGBUILD)

2018-01-09 Thread Felix Yan via arch-commits
Date: Tuesday, January 9, 2018 @ 16:25:43 Author: felixonmars Revision: 280707 archrelease: copy trunk to community-x86_64 Added: idris/repos/community-x86_64/PKGBUILD (from rev 280706, idris/trunk/PKGBUILD) Deleted: idris/repos/community-x86_64/PKGBUILD --+ PKGBUILD |