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)
--+
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
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
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)
--+
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
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)
--+
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
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
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)
--+
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
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)
--+
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)
--+
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
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
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
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
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
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
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)
--+
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 |
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 |
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
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 |
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
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
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)
--+
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
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 |
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 |
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)
--+
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)
--+
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)
--+
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)
--+
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)
--+
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)
--+
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)
--+
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)
--+
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)
--+
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)
--+
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)
--+
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)
--+
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)
--+
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)
--+
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)
--+
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)
--+
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)
--+
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)
--+
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)
--+
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)
--+
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)
--+
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)
--+
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)
--+
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)
--+
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)
--+
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)
--+
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)
--+
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)
--+
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)
--+
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)
--+
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)
--+
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)
--+
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)
--+
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)
--+
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)
--+
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)
--+
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)
--+
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)
--+
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)
--+
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)
--+
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)
--+
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)
--+
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)
--+
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)
--+
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)
--+
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
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
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
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
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
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
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)
--+
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)
--+
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
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)
--+
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 |
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
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)
--+
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)
--+
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
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
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
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
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)
--+
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)
--+
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)
--+
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)
--+
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
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
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
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)
--+
101 - 200 of 443 matches
Mail list logo