Date: Saturday, August 29, 2020 @ 13:17:27
Author: juergen
Revision: 692208
OCaml 4.11.0 rebuild
Modified:
coq/trunk/PKGBUILD
--+
PKGBUILD |4 ++--
1 file changed, 2 insertions(+), 2 deletions(-)
Modified: PKGBUILD
Date: Monday, May 25, 2020 @ 19:03:51
Author: felixonmars
Revision: 634917
upgpkg: coq 8.11.2-1
Modified:
coq/trunk/PKGBUILD
--+
PKGBUILD |4 ++--
1 file changed, 2 insertions(+), 2 deletions(-)
Modified: PKGBUILD
Date: Tuesday, January 28, 2020 @ 23:04:59
Author: zorun
Revision: 558367
upgpkg: coq 8.11.0-1
Modified:
coq/trunk/PKGBUILD
--+
PKGBUILD |4 ++--
1 file changed, 2 insertions(+), 2 deletions(-)
Modified: PKGBUILD
Date: Thursday, December 26, 2019 @ 00:10:43
Author: felixonmars
Revision: 541536
upgpkg: coq 8.10.2-1
Modified:
coq/trunk/PKGBUILD
--+
PKGBUILD |4 ++--
1 file changed, 2 insertions(+), 2 deletions(-)
Modified: PKGBUILD
Date: Friday, November 1, 2019 @ 17:40:15
Author: zorun
Revision: 522065
upgpkg: coq 8.10.1-1
Modified:
coq/trunk/PKGBUILD
Deleted:
coq/trunk/ocaml408_compat.patch
---+
PKGBUILD | 19 ---
ocaml408_compat.patch | 13 -
2
Date: Thursday, October 10, 2019 @ 09:42:06
Author: juergen
Revision: 514432
OCaml 4.09 rebuild
Modified:
coq/trunk/PKGBUILD
--+
PKGBUILD |2 +-
1 file changed, 1 insertion(+), 1 deletion(-)
Modified: PKGBUILD
Date: Saturday, August 24, 2019 @ 12:40:02
Author: juergen
Revision: 501485
OCaml 4.08.1 rebuild
Modified:
coq/trunk/PKGBUILD
--+
PKGBUILD |2 +-
1 file changed, 1 insertion(+), 1 deletion(-)
Modified: PKGBUILD
Date: Friday, August 16, 2019 @ 06:20:44
Author: juergen
Revision: 499730
OCaml 4.08 rebuild
Added:
coq/trunk/ocaml408_compat.patch
Modified:
coq/trunk/PKGBUILD
---+
PKGBUILD |9 ++---
ocaml408_compat.patch | 13 +
2 files
Date: Friday, May 31, 2019 @ 16:26:22
Author: zorun
Revision: 475993
upgpkg: coq 8.9.1-1
Modified:
coq/trunk/PKGBUILD
--+
PKGBUILD |5 +++--
1 file changed, 3 insertions(+), 2 deletions(-)
Modified: PKGBUILD
Date: Wednesday, January 23, 2019 @ 21:16:11
Author: zorun
Revision: 427402
upgpkg: coq 8.9.0-1
Modified:
coq/trunk/PKGBUILD
--+
PKGBUILD |7 ---
1 file changed, 4 insertions(+), 3 deletions(-)
Modified: PKGBUILD
Date: Thursday, November 29, 2018 @ 07:12:38
Author: juergen
Revision: 410504
OCaml 4.07.1 rebuild
Modified:
coq/trunk/PKGBUILD
--+
PKGBUILD |2 +-
1 file changed, 1 insertion(+), 1 deletion(-)
Modified: PKGBUILD
Date: Monday, October 1, 2018 @ 00:52:22
Author: zorun
Revision: 388718
upgpkg: coq 8.8.2-1
Modified:
coq/trunk/PKGBUILD
--+
PKGBUILD |6 +++---
1 file changed, 3 insertions(+), 3 deletions(-)
Modified: PKGBUILD
Date: Tuesday, August 14, 2018 @ 16:02:00
Author: juergen
Revision: 371598
OCaml 4.07.0 rebuild
Modified:
coq/trunk/PKGBUILD
--+
PKGBUILD |2 +-
1 file changed, 1 insertion(+), 1 deletion(-)
Modified: PKGBUILD
Date: Thursday, July 5, 2018 @ 07:43:27
Author: zorun
Revision: 352457
upgpkg: coq 8.8.1-2
camlp5 4.06 rebuild
Modified:
coq/trunk/PKGBUILD
--+
PKGBUILD |2 +-
1 file changed, 1 insertion(+), 1 deletion(-)
Modified: PKGBUILD
Date: Friday, June 29, 2018 @ 20:50:46
Author: zorun
Revision: 347779
upgpkg: coq 8.8.1-1
Modified:
coq/trunk/PKGBUILD
--+
PKGBUILD |6 +++---
1 file changed, 3 insertions(+), 3 deletions(-)
Modified: PKGBUILD
Date: Thursday, May 3, 2018 @ 07:20:08
Author: zorun
Revision: 318811
upgpkg: coq 8.8.0-2
Fix FS#58203 and FS#57905
Modified:
coq/trunk/PKGBUILD
--+
PKGBUILD |8 ++--
1 file changed, 6 insertions(+), 2 deletions(-)
Modified: PKGBUILD
Date: Thursday, April 19, 2018 @ 21:08:55
Author: zorun
Revision: 317072
coq: switch back to parallel build
Modified:
coq/trunk/PKGBUILD
--+
PKGBUILD |2 +-
1 file changed, 1 insertion(+), 1 deletion(-)
Modified: PKGBUILD
Date: Wednesday, April 18, 2018 @ 14:51:30
Author: zorun
Revision: 316880
upgpkg: coq 8.8.0-1
Also fix FS#58203
Modified:
coq/trunk/PKGBUILD
--+
PKGBUILD | 12 +++-
1 file changed, 7 insertions(+), 5 deletions(-)
Modified: PKGBUILD
Date: Friday, February 16, 2018 @ 09:00:00
Author: zorun
Revision: 294969
upgpkg: coq 8.7.2-1
Modified:
coq/trunk/PKGBUILD
--+
PKGBUILD | 15 ---
1 file changed, 4 insertions(+), 11 deletions(-)
Modified: PKGBUILD
Date: Saturday, December 16, 2017 @ 22:53:55
Author: zorun
Revision: 274620
upgpkg: coq 8.7.1-1
Modified:
coq/trunk/PKGBUILD
--+
PKGBUILD |4 ++--
1 file changed, 2 insertions(+), 2 deletions(-)
Modified: PKGBUILD
Date: Tuesday, October 24, 2017 @ 06:05:09
Author: zorun
Revision: 264085
coq: Fix source URL
Modified:
coq/trunk/PKGBUILD
--+
PKGBUILD |2 +-
1 file changed, 1 insertion(+), 1 deletion(-)
Modified: PKGBUILD
Date: Wednesday, October 18, 2017 @ 10:04:23
Author: zorun
Revision: 263227
upgpkg: coq 8.7.0-1
Modified:
coq/trunk/PKGBUILD
--+
PKGBUILD | 17 +
1 file changed, 9 insertions(+), 8 deletions(-)
Modified: PKGBUILD
Date: Saturday, July 15, 2017 @ 08:40:02
Author: zorun
Revision: 245180
upgpkg: coq 8.6-8
Rebuild for ocaml 4.05.0
Modified:
coq/trunk/PKGBUILD
--+
PKGBUILD |2 +-
1 file changed, 1 insertion(+), 1 deletion(-)
Modified: PKGBUILD
Date: Wednesday, July 12, 2017 @ 18:33:55
Author: jelle
Revision: 244824
upgpkg: coq 8.6-7
PIE rebuild
Modified:
coq/trunk/PKGBUILD
--+
PKGBUILD |2 +-
1 file changed, 1 insertion(+), 1 deletion(-)
Modified: PKGBUILD
Date: Friday, July 7, 2017 @ 22:32:01
Author: zorun
Revision: 243105
upgpkg: coq 8.6-6
Rebuild against ocaml 4.04.1
Modified:
coq/trunk/PKGBUILD
--+
PKGBUILD |2 +-
1 file changed, 1 insertion(+), 1 deletion(-)
Modified: PKGBUILD
Date: Wednesday, February 22, 2017 @ 19:37:19
Author: demize
Revision: 213545
upgpkg: coq 8.6-5
Modified:
coq/trunk/PKGBUILD
--+
PKGBUILD |1 -
1 file changed, 1 deletion(-)
Modified: PKGBUILD
===
--- PKGBUILD
26 matches
Mail list logo