Date: Wednesday, September 7, 2022 @ 09:23:30
Author: kgizdov
Revision: 1296039
upgpkg: coq 8.16.0-2: FS#75831
Modified:
coq/trunk/PKGBUILD
--+
PKGBUILD |6 +++---
1 file changed, 3 insertions(+), 3 deletions(-)
Modified: PKGBUILD
===
Date: Monday, September 5, 2022 @ 21:40:35
Author: kgizdov
Revision: 1293379
upgpkg: coq 8.16.0-1
Modified:
coq/trunk/PKGBUILD
--+
PKGBUILD |4 ++--
1 file changed, 2 insertions(+), 2 deletions(-)
Modified: PKGBUILD
==
Date: Sunday, September 4, 2022 @ 16:00:56
Author: kgizdov
Revision: 1292838
upgpkg: coq 8.15.2-1
Modified:
coq/trunk/PKGBUILD
--+
PKGBUILD |6 +++---
1 file changed, 3 insertions(+), 3 deletions(-)
Modified: PKGBUILD
Date: Tuesday, August 9, 2022 @ 18:50:15
Author: juergen
Revision: 1264486
OCaml 4.14.0 rebuild. Disable broken PDF docs.
Modified:
coq/trunk/PKGBUILD
--+
PKGBUILD | 11 +++
1 file changed, 7 insertions(+), 4 deletions(-)
Modified: PKGBUILD
===
Date: Tuesday, March 8, 2022 @ 14:31:25
Author: kgizdov
Revision: 1145479
fix FTBFS
Modified:
coq/trunk/PKGBUILD
--+
PKGBUILD | 13 +
1 file changed, 5 insertions(+), 8 deletions(-)
Modified: PKGBUILD
===
Date: Friday, January 21, 2022 @ 08:38:59
Author: kgizdov
Revision: 951
upgpkg: coq 8.15.0-1
Modified:
coq/trunk/PKGBUILD
--+
PKGBUILD | 16 +---
1 file changed, 9 insertions(+), 7 deletions(-)
Modified: PKGBUILD
===
Date: Saturday, December 11, 2021 @ 12:30:14
Author: juergen
Revision: 1068252
OCaml 4.13.1 rebuild
Modified:
coq/trunk/PKGBUILD
--+
PKGBUILD |4 ++--
1 file changed, 2 insertions(+), 2 deletions(-)
Modified: PKGBUILD
Date: Sunday, December 5, 2021 @ 16:31:56
Author: kgizdov
Revision: 1065192
upgpkg: coq 8.14.1-1
Modified:
coq/trunk/PKGBUILD
--+
PKGBUILD |6 +++---
1 file changed, 3 insertions(+), 3 deletions(-)
Modified: PKGBUILD
=
Date: Wednesday, October 20, 2021 @ 20:19:20
Author: kgizdov
Revision: 1031458
upgpkg: coq 8.14.0-2: fix file conflict
Modified:
coq/trunk/PKGBUILD
--+
PKGBUILD |4 +++-
1 file changed, 3 insertions(+), 1 deletion(-)
Modified: PKGBUILD
==
Date: Tuesday, October 19, 2021 @ 21:57:41
Author: kgizdov
Revision: 1031002
upgpkg: coq 8.14.0-1: upgpkg: coq 8.14.0-1
Modified:
coq/trunk/PKGBUILD
--+
PKGBUILD | 25 +
1 file changed, 17 insertions(+), 8 deletions(-)
Modified: PKGBUILD
==
Date: Tuesday, July 27, 2021 @ 15:56:07
Author: juergen
Revision: 987799
ocaml-4.12.0 rebuild
Modified:
coq/trunk/PKGBUILD
--+
PKGBUILD |4 ++--
1 file changed, 2 insertions(+), 2 deletions(-)
Modified: PKGBUILD
==
Date: Friday, May 28, 2021 @ 15:46:06
Author: felixonmars
Revision: 949957
upgpkg: coq 8.13.2-1
Modified:
coq/trunk/PKGBUILD
--+
PKGBUILD |4 ++--
1 file changed, 2 insertions(+), 2 deletions(-)
Modified: PKGBUILD
Date: Thursday, March 4, 2021 @ 17:13:50
Author: kgizdov
Revision: 880453
upgpkg: coq 8.13.1-1
Modified:
coq/trunk/PKGBUILD
--+
PKGBUILD | 17 ++---
1 file changed, 10 insertions(+), 7 deletions(-)
Modified: PKGBUILD
===
Date: Monday, January 18, 2021 @ 12:08:12
Author: kgizdov
Revision: 822828
upgpkg: coq 8.13.0-1
Modified:
coq/trunk/PKGBUILD
--+
PKGBUILD | 45 +
1 file changed, 25 insertions(+), 20 deletions(-)
Modified: PKGBUILD
=
14 matches
Mail list logo