Date: Saturday, August 29, 2020 @ 13:17:33
Author: juergen
Revision: 692209
archrelease: copy trunk to community-x86_64
Added:
coq/repos/community-x86_64/PKGBUILD
(from rev 692208, coq/trunk/PKGBUILD)
Deleted:
coq/repos/community-x86_64/PKGBUILD
--+
PKGBUILD | 192
Date: Tuesday, January 28, 2020 @ 23:05:09
Author: zorun
Revision: 558368
archrelease: copy trunk to community-x86_64
Added:
coq/repos/community-x86_64/PKGBUILD
(from rev 558367, coq/trunk/PKGBUILD)
Deleted:
coq/repos/community-x86_64/PKGBUILD
--+
PKGBUILD | 194
Date: Thursday, December 26, 2019 @ 00:11:02
Author: felixonmars
Revision: 541537
archrelease: copy trunk to community-x86_64
Added:
coq/repos/community-x86_64/PKGBUILD
(from rev 541536, coq/trunk/PKGBUILD)
Deleted:
coq/repos/community-x86_64/PKGBUILD
--+
PKGBUILD | 194
Date: Friday, May 31, 2019 @ 16:26:31
Author: zorun
Revision: 475994
archrelease: copy trunk to community-x86_64
Added:
coq/repos/community-x86_64/PKGBUILD
(from rev 475993, coq/trunk/PKGBUILD)
Deleted:
coq/repos/community-x86_64/PKGBUILD
--+
PKGBUILD | 193
Date: Wednesday, January 23, 2019 @ 21:16:28
Author: zorun
Revision: 427403
archrelease: copy trunk to community-x86_64
Added:
coq/repos/community-x86_64/PKGBUILD
(from rev 427402, coq/trunk/PKGBUILD)
Deleted:
coq/repos/community-x86_64/PKGBUILD
--+
PKGBUILD | 191
Date: Thursday, November 29, 2018 @ 07:12:48
Author: juergen
Revision: 410505
archrelease: copy trunk to community-x86_64
Added:
coq/repos/community-x86_64/PKGBUILD
(from rev 410504, coq/trunk/PKGBUILD)
Deleted:
coq/repos/community-x86_64/PKGBUILD
--+
PKGBUILD | 190
Date: Monday, October 1, 2018 @ 00:52:43
Author: zorun
Revision: 388719
archrelease: copy trunk to community-x86_64
Added:
coq/repos/community-x86_64/PKGBUILD
(from rev 388718, coq/trunk/PKGBUILD)
Deleted:
coq/repos/community-x86_64/PKGBUILD
--+
PKGBUILD | 190
Date: Tuesday, August 14, 2018 @ 16:03:13
Author: juergen
Revision: 371599
archrelease: copy trunk to community-x86_64
Added:
coq/repos/community-x86_64/PKGBUILD
(from rev 371598, coq/trunk/PKGBUILD)
Deleted:
coq/repos/community-x86_64/PKGBUILD
--+
PKGBUILD | 190
Date: Thursday, July 5, 2018 @ 07:43:40
Author: zorun
Revision: 352458
archrelease: copy trunk to community-x86_64
Added:
coq/repos/community-x86_64/PKGBUILD
(from rev 352457, coq/trunk/PKGBUILD)
Deleted:
coq/repos/community-x86_64/PKGBUILD
--+
PKGBUILD | 190
Date: Friday, June 29, 2018 @ 20:51:08
Author: zorun
Revision: 347780
archrelease: copy trunk to community-x86_64
Added:
coq/repos/community-x86_64/PKGBUILD
(from rev 347779, coq/trunk/PKGBUILD)
Deleted:
coq/repos/community-x86_64/PKGBUILD
--+
PKGBUILD | 190
Date: Thursday, May 3, 2018 @ 07:20:27
Author: zorun
Revision: 318812
archrelease: copy trunk to community-x86_64
Added:
coq/repos/community-x86_64/PKGBUILD
(from rev 318811, coq/trunk/PKGBUILD)
Deleted:
coq/repos/community-x86_64/PKGBUILD
--+
PKGBUILD | 186
Date: Wednesday, April 18, 2018 @ 14:51:48
Author: zorun
Revision: 316881
archrelease: copy trunk to community-x86_64
Added:
coq/repos/community-x86_64/PKGBUILD
(from rev 316880, coq/trunk/PKGBUILD)
Deleted:
coq/repos/community-x86_64/PKGBUILD
--+
PKGBUILD | 180
Date: Saturday, December 16, 2017 @ 22:54:23
Author: zorun
Revision: 274621
archrelease: copy trunk to community-x86_64
Added:
coq/repos/community-x86_64/PKGBUILD
(from rev 274620, coq/trunk/PKGBUILD)
Deleted:
coq/repos/community-x86_64/PKGBUILD
--+
PKGBUILD | 176
13 matches
Mail list logo