[arch-commits] Commit in coq/repos (12 files)

2017-07-15 Thread Baptiste Jonglez 
Date: Saturday, July 15, 2017 @ 08:40:30
  Author: zorun
Revision: 245182

archrelease: copy trunk to community-i686, community-x86_64

Added:
  
coq/repos/community-i686/0001-Fix-incorrect-documentation-that-prevents-successful.patch
(from rev 245181, 
coq/trunk/0001-Fix-incorrect-documentation-that-prevents-successful.patch)
  
coq/repos/community-i686/0002-Avoid-concurrent-runs-when-producing-html-documentat.patch
(from rev 245181, 
coq/trunk/0002-Avoid-concurrent-runs-when-producing-html-documentat.patch)
  coq/repos/community-i686/PKGBUILD
(from rev 245181, coq/trunk/PKGBUILD)
  
coq/repos/community-x86_64/0001-Fix-incorrect-documentation-that-prevents-successful.patch
(from rev 245181, 
coq/trunk/0001-Fix-incorrect-documentation-that-prevents-successful.patch)
  
coq/repos/community-x86_64/0002-Avoid-concurrent-runs-when-producing-html-documentat.patch
(from rev 245181, 
coq/trunk/0002-Avoid-concurrent-runs-when-producing-html-documentat.patch)
  coq/repos/community-x86_64/PKGBUILD
(from rev 245181, coq/trunk/PKGBUILD)
Deleted:
  
coq/repos/community-i686/0001-Fix-incorrect-documentation-that-prevents-successful.patch
  
coq/repos/community-i686/0002-Avoid-concurrent-runs-when-producing-html-documentat.patch
  coq/repos/community-i686/PKGBUILD
  
coq/repos/community-x86_64/0001-Fix-incorrect-documentation-that-prevents-successful.patch
  
coq/repos/community-x86_64/0002-Avoid-concurrent-runs-when-producing-html-documentat.patch
  coq/repos/community-x86_64/PKGBUILD

--+
 /0001-Fix-incorrect-documentation-that-prevents-successful.patch   
  |   52 ++
 /0002-Avoid-concurrent-runs-when-producing-html-documentat.patch   
  |   92 
 /PKGBUILD  
  |  190 ++
 community-i686/0001-Fix-incorrect-documentation-that-prevents-successful.patch 
  |   26 -
 community-i686/0002-Avoid-concurrent-runs-when-producing-html-documentat.patch 
  |   46 --
 community-i686/PKGBUILD
  |   95 -
 
community-x86_64/0001-Fix-incorrect-documentation-that-prevents-successful.patch
 |   26 -
 
community-x86_64/0002-Avoid-concurrent-runs-when-producing-html-documentat.patch
 |   46 --
 community-x86_64/PKGBUILD  
  |   95 -
 9 files changed, 334 insertions(+), 334 deletions(-)

Deleted: 
community-i686/0001-Fix-incorrect-documentation-that-prevents-successful.patch
===
--- 
community-i686/0001-Fix-incorrect-documentation-that-prevents-successful.patch  
2017-07-15 08:40:16 UTC (rev 245181)
+++ 
community-i686/0001-Fix-incorrect-documentation-that-prevents-successful.patch  
2017-07-15 08:40:30 UTC (rev 245182)
@@ -1,26 +0,0 @@
-From 42f27beb63a629dcef514abb0b31dea193f35a38 Mon Sep 17 00:00:00 2001
-From: Guillaume Melquiond 
-Date: Fri, 16 Dec 2016 11:27:42 +0100
-Subject: [PATCH] Fix incorrect documentation that prevents successful
- compilation (bug #5265).
-

- doc/refman/RefMan-syn.tex | 2 +-
- 1 file changed, 1 insertion(+), 1 deletion(-)
-
-diff --git a/doc/refman/RefMan-syn.tex b/doc/refman/RefMan-syn.tex
-index 1fcc1c0..21c39de 100644
 a/doc/refman/RefMan-syn.tex
-+++ b/doc/refman/RefMan-syn.tex
-@@ -649,7 +649,7 @@ A recursive pattern for binders can be used in position of 
a recursive
- pattern for terms. Here is an example:
- 
- \begin{coq_example*}
--Notation ``'FUNAPP' x .. y , f'' :=
-+Notation "'FUNAPP' x .. y , f" :=
-   (fun x => .. (fun y => (.. (f x) ..) y ) ..)
-   (at level 200, x binder, y binder, right associativity).
- \end{coq_example*}
--- 
-2.10.2
-

Copied: 
coq/repos/community-i686/0001-Fix-incorrect-documentation-that-prevents-successful.patch
 (from rev 245181, 
coq/trunk/0001-Fix-incorrect-documentation-that-prevents-successful.patch)
===
--- 
community-i686/0001-Fix-incorrect-documentation-that-prevents-successful.patch  
(rev 0)
+++ 
community-i686/0001-Fix-incorrect-documentation-that-prevents-successful.patch  
2017-07-15 08:40:30 UTC (rev 245182)
@@ -0,0 +1,26 @@
+From 42f27beb63a629dcef514abb0b31dea193f35a38 Mon Sep 17 00:00:00 2001
+From: Guillaume Melquiond 
+Date: Fri, 16 Dec 2016 11:27:42 +0100
+Subject: [PATCH] Fix incorrect documentation that prevents successful
+ compilation (bug #5265).
+
+---
+ doc/refman/RefMan-syn.tex | 2 +-
+ 1 file changed, 1 insertion(+), 1 deletion(-)
+
+diff --git a/doc/refman/RefMan-syn.tex b/doc/refman/RefMan-syn.tex
+index 1fcc1c0..21c39de 100644
+--- a/doc/refman/RefMan-syn.tex
 b/doc/refman/RefMan-syn.tex
+@@ -649,7 +649,7 @@ A recursive pattern for binders can be used in position of 
a recursive
+

[arch-commits] Commit in coq/repos (12 files)

2017-07-12 Thread Jelle van der Waa 
Date: Wednesday, July 12, 2017 @ 18:34:13
  Author: jelle
Revision: 244825

archrelease: copy trunk to community-i686, community-x86_64

Added:
  
coq/repos/community-i686/0001-Fix-incorrect-documentation-that-prevents-successful.patch
(from rev 244824, 
coq/trunk/0001-Fix-incorrect-documentation-that-prevents-successful.patch)
  
coq/repos/community-i686/0002-Avoid-concurrent-runs-when-producing-html-documentat.patch
(from rev 244824, 
coq/trunk/0002-Avoid-concurrent-runs-when-producing-html-documentat.patch)
  coq/repos/community-i686/PKGBUILD
(from rev 244824, coq/trunk/PKGBUILD)
  
coq/repos/community-x86_64/0001-Fix-incorrect-documentation-that-prevents-successful.patch
(from rev 244824, 
coq/trunk/0001-Fix-incorrect-documentation-that-prevents-successful.patch)
  
coq/repos/community-x86_64/0002-Avoid-concurrent-runs-when-producing-html-documentat.patch
(from rev 244824, 
coq/trunk/0002-Avoid-concurrent-runs-when-producing-html-documentat.patch)
  coq/repos/community-x86_64/PKGBUILD
(from rev 244824, coq/trunk/PKGBUILD)
Deleted:
  
coq/repos/community-i686/0001-Fix-incorrect-documentation-that-prevents-successful.patch
  
coq/repos/community-i686/0002-Avoid-concurrent-runs-when-producing-html-documentat.patch
  coq/repos/community-i686/PKGBUILD
  
coq/repos/community-x86_64/0001-Fix-incorrect-documentation-that-prevents-successful.patch
  
coq/repos/community-x86_64/0002-Avoid-concurrent-runs-when-producing-html-documentat.patch
  coq/repos/community-x86_64/PKGBUILD

--+
 /0001-Fix-incorrect-documentation-that-prevents-successful.patch   
  |   52 ++
 /0002-Avoid-concurrent-runs-when-producing-html-documentat.patch   
  |   92 
 /PKGBUILD  
  |  190 ++
 community-i686/0001-Fix-incorrect-documentation-that-prevents-successful.patch 
  |   26 -
 community-i686/0002-Avoid-concurrent-runs-when-producing-html-documentat.patch 
  |   46 --
 community-i686/PKGBUILD
  |   95 -
 
community-x86_64/0001-Fix-incorrect-documentation-that-prevents-successful.patch
 |   26 -
 
community-x86_64/0002-Avoid-concurrent-runs-when-producing-html-documentat.patch
 |   46 --
 community-x86_64/PKGBUILD  
  |   95 -
 9 files changed, 334 insertions(+), 334 deletions(-)

Deleted: 
community-i686/0001-Fix-incorrect-documentation-that-prevents-successful.patch
===
--- 
community-i686/0001-Fix-incorrect-documentation-that-prevents-successful.patch  
2017-07-12 18:33:55 UTC (rev 244824)
+++ 
community-i686/0001-Fix-incorrect-documentation-that-prevents-successful.patch  
2017-07-12 18:34:13 UTC (rev 244825)
@@ -1,26 +0,0 @@
-From 42f27beb63a629dcef514abb0b31dea193f35a38 Mon Sep 17 00:00:00 2001
-From: Guillaume Melquiond 
-Date: Fri, 16 Dec 2016 11:27:42 +0100
-Subject: [PATCH] Fix incorrect documentation that prevents successful
- compilation (bug #5265).
-

- doc/refman/RefMan-syn.tex | 2 +-
- 1 file changed, 1 insertion(+), 1 deletion(-)
-
-diff --git a/doc/refman/RefMan-syn.tex b/doc/refman/RefMan-syn.tex
-index 1fcc1c0..21c39de 100644
 a/doc/refman/RefMan-syn.tex
-+++ b/doc/refman/RefMan-syn.tex
-@@ -649,7 +649,7 @@ A recursive pattern for binders can be used in position of 
a recursive
- pattern for terms. Here is an example:
- 
- \begin{coq_example*}
--Notation ``'FUNAPP' x .. y , f'' :=
-+Notation "'FUNAPP' x .. y , f" :=
-   (fun x => .. (fun y => (.. (f x) ..) y ) ..)
-   (at level 200, x binder, y binder, right associativity).
- \end{coq_example*}
--- 
-2.10.2
-

Copied: 
coq/repos/community-i686/0001-Fix-incorrect-documentation-that-prevents-successful.patch
 (from rev 244824, 
coq/trunk/0001-Fix-incorrect-documentation-that-prevents-successful.patch)
===
--- 
community-i686/0001-Fix-incorrect-documentation-that-prevents-successful.patch  
(rev 0)
+++ 
community-i686/0001-Fix-incorrect-documentation-that-prevents-successful.patch  
2017-07-12 18:34:13 UTC (rev 244825)
@@ -0,0 +1,26 @@
+From 42f27beb63a629dcef514abb0b31dea193f35a38 Mon Sep 17 00:00:00 2001
+From: Guillaume Melquiond 
+Date: Fri, 16 Dec 2016 11:27:42 +0100
+Subject: [PATCH] Fix incorrect documentation that prevents successful
+ compilation (bug #5265).
+
+---
+ doc/refman/RefMan-syn.tex | 2 +-
+ 1 file changed, 1 insertion(+), 1 deletion(-)
+
+diff --git a/doc/refman/RefMan-syn.tex b/doc/refman/RefMan-syn.tex
+index 1fcc1c0..21c39de 100644
+--- a/doc/refman/RefMan-syn.tex
 b/doc/refman/RefMan-syn.tex
+@@ -649,7 +649,7 @@ A recursive pattern for binders can be used in position of 
a recursive
+

[arch-commits] Commit in coq/repos (12 files)

2017-07-07 Thread Baptiste Jonglez 
Date: Friday, July 7, 2017 @ 22:32:21
  Author: zorun
Revision: 243106

archrelease: copy trunk to community-i686, community-x86_64

Added:
  
coq/repos/community-i686/0001-Fix-incorrect-documentation-that-prevents-successful.patch
(from rev 243105, 
coq/trunk/0001-Fix-incorrect-documentation-that-prevents-successful.patch)
  
coq/repos/community-i686/0002-Avoid-concurrent-runs-when-producing-html-documentat.patch
(from rev 243105, 
coq/trunk/0002-Avoid-concurrent-runs-when-producing-html-documentat.patch)
  coq/repos/community-i686/PKGBUILD
(from rev 243105, coq/trunk/PKGBUILD)
  
coq/repos/community-x86_64/0001-Fix-incorrect-documentation-that-prevents-successful.patch
(from rev 243105, 
coq/trunk/0001-Fix-incorrect-documentation-that-prevents-successful.patch)
  
coq/repos/community-x86_64/0002-Avoid-concurrent-runs-when-producing-html-documentat.patch
(from rev 243105, 
coq/trunk/0002-Avoid-concurrent-runs-when-producing-html-documentat.patch)
  coq/repos/community-x86_64/PKGBUILD
(from rev 243105, coq/trunk/PKGBUILD)
Deleted:
  
coq/repos/community-i686/0001-Fix-incorrect-documentation-that-prevents-successful.patch
  
coq/repos/community-i686/0002-Avoid-concurrent-runs-when-producing-html-documentat.patch
  coq/repos/community-i686/PKGBUILD
  
coq/repos/community-x86_64/0001-Fix-incorrect-documentation-that-prevents-successful.patch
  
coq/repos/community-x86_64/0002-Avoid-concurrent-runs-when-producing-html-documentat.patch
  coq/repos/community-x86_64/PKGBUILD

--+
 /0001-Fix-incorrect-documentation-that-prevents-successful.patch   
  |   52 ++
 /0002-Avoid-concurrent-runs-when-producing-html-documentat.patch   
  |   92 
 /PKGBUILD  
  |  190 ++
 community-i686/0001-Fix-incorrect-documentation-that-prevents-successful.patch 
  |   26 -
 community-i686/0002-Avoid-concurrent-runs-when-producing-html-documentat.patch 
  |   46 --
 community-i686/PKGBUILD
  |   95 -
 
community-x86_64/0001-Fix-incorrect-documentation-that-prevents-successful.patch
 |   26 -
 
community-x86_64/0002-Avoid-concurrent-runs-when-producing-html-documentat.patch
 |   46 --
 community-x86_64/PKGBUILD  
  |   95 -
 9 files changed, 334 insertions(+), 334 deletions(-)

Deleted: 
community-i686/0001-Fix-incorrect-documentation-that-prevents-successful.patch
===
--- 
community-i686/0001-Fix-incorrect-documentation-that-prevents-successful.patch  
2017-07-07 22:32:01 UTC (rev 243105)
+++ 
community-i686/0001-Fix-incorrect-documentation-that-prevents-successful.patch  
2017-07-07 22:32:21 UTC (rev 243106)
@@ -1,26 +0,0 @@
-From 42f27beb63a629dcef514abb0b31dea193f35a38 Mon Sep 17 00:00:00 2001
-From: Guillaume Melquiond 
-Date: Fri, 16 Dec 2016 11:27:42 +0100
-Subject: [PATCH] Fix incorrect documentation that prevents successful
- compilation (bug #5265).
-

- doc/refman/RefMan-syn.tex | 2 +-
- 1 file changed, 1 insertion(+), 1 deletion(-)
-
-diff --git a/doc/refman/RefMan-syn.tex b/doc/refman/RefMan-syn.tex
-index 1fcc1c0..21c39de 100644
 a/doc/refman/RefMan-syn.tex
-+++ b/doc/refman/RefMan-syn.tex
-@@ -649,7 +649,7 @@ A recursive pattern for binders can be used in position of 
a recursive
- pattern for terms. Here is an example:
- 
- \begin{coq_example*}
--Notation ``'FUNAPP' x .. y , f'' :=
-+Notation "'FUNAPP' x .. y , f" :=
-   (fun x => .. (fun y => (.. (f x) ..) y ) ..)
-   (at level 200, x binder, y binder, right associativity).
- \end{coq_example*}
--- 
-2.10.2
-

Copied: 
coq/repos/community-i686/0001-Fix-incorrect-documentation-that-prevents-successful.patch
 (from rev 243105, 
coq/trunk/0001-Fix-incorrect-documentation-that-prevents-successful.patch)
===
--- 
community-i686/0001-Fix-incorrect-documentation-that-prevents-successful.patch  
(rev 0)
+++ 
community-i686/0001-Fix-incorrect-documentation-that-prevents-successful.patch  
2017-07-07 22:32:21 UTC (rev 243106)
@@ -0,0 +1,26 @@
+From 42f27beb63a629dcef514abb0b31dea193f35a38 Mon Sep 17 00:00:00 2001
+From: Guillaume Melquiond 
+Date: Fri, 16 Dec 2016 11:27:42 +0100
+Subject: [PATCH] Fix incorrect documentation that prevents successful
+ compilation (bug #5265).
+
+---
+ doc/refman/RefMan-syn.tex | 2 +-
+ 1 file changed, 1 insertion(+), 1 deletion(-)
+
+diff --git a/doc/refman/RefMan-syn.tex b/doc/refman/RefMan-syn.tex
+index 1fcc1c0..21c39de 100644
+--- a/doc/refman/RefMan-syn.tex
 b/doc/refman/RefMan-syn.tex
+@@ -649,7 +649,7 @@ A recursive pattern for binders can be used in position of 
a recursive
+

[arch-commits] Commit in coq/repos (12 files)

2017-02-22 Thread Johannes Löthberg 
Date: Wednesday, February 22, 2017 @ 19:37:35
  Author: demize
Revision: 213547

archrelease: copy trunk to community-i686, community-x86_64

Added:
  
coq/repos/community-i686/0001-Fix-incorrect-documentation-that-prevents-successful.patch
(from rev 213546, 
coq/trunk/0001-Fix-incorrect-documentation-that-prevents-successful.patch)
  
coq/repos/community-i686/0002-Avoid-concurrent-runs-when-producing-html-documentat.patch
(from rev 213546, 
coq/trunk/0002-Avoid-concurrent-runs-when-producing-html-documentat.patch)
  coq/repos/community-i686/PKGBUILD
(from rev 213546, coq/trunk/PKGBUILD)
  
coq/repos/community-x86_64/0001-Fix-incorrect-documentation-that-prevents-successful.patch
(from rev 213546, 
coq/trunk/0001-Fix-incorrect-documentation-that-prevents-successful.patch)
  
coq/repos/community-x86_64/0002-Avoid-concurrent-runs-when-producing-html-documentat.patch
(from rev 213546, 
coq/trunk/0002-Avoid-concurrent-runs-when-producing-html-documentat.patch)
  coq/repos/community-x86_64/PKGBUILD
(from rev 213546, coq/trunk/PKGBUILD)
Deleted:
  
coq/repos/community-i686/0001-Fix-incorrect-documentation-that-prevents-successful.patch
  
coq/repos/community-i686/0002-Avoid-concurrent-runs-when-producing-html-documentat.patch
  coq/repos/community-i686/PKGBUILD
  
coq/repos/community-x86_64/0001-Fix-incorrect-documentation-that-prevents-successful.patch
  
coq/repos/community-x86_64/0002-Avoid-concurrent-runs-when-producing-html-documentat.patch
  coq/repos/community-x86_64/PKGBUILD

--+
 /0001-Fix-incorrect-documentation-that-prevents-successful.patch   
  |   52 ++
 /0002-Avoid-concurrent-runs-when-producing-html-documentat.patch   
  |   92 
 /PKGBUILD  
  |  190 ++
 community-i686/0001-Fix-incorrect-documentation-that-prevents-successful.patch 
  |   26 -
 community-i686/0002-Avoid-concurrent-runs-when-producing-html-documentat.patch 
  |   46 --
 community-i686/PKGBUILD
  |   96 -
 
community-x86_64/0001-Fix-incorrect-documentation-that-prevents-successful.patch
 |   26 -
 
community-x86_64/0002-Avoid-concurrent-runs-when-producing-html-documentat.patch
 |   46 --
 community-x86_64/PKGBUILD  
  |   96 -
 9 files changed, 334 insertions(+), 336 deletions(-)

Deleted: 
community-i686/0001-Fix-incorrect-documentation-that-prevents-successful.patch
===
--- 
community-i686/0001-Fix-incorrect-documentation-that-prevents-successful.patch  
2017-02-22 19:37:22 UTC (rev 213546)
+++ 
community-i686/0001-Fix-incorrect-documentation-that-prevents-successful.patch  
2017-02-22 19:37:35 UTC (rev 213547)
@@ -1,26 +0,0 @@
-From 42f27beb63a629dcef514abb0b31dea193f35a38 Mon Sep 17 00:00:00 2001
-From: Guillaume Melquiond 
-Date: Fri, 16 Dec 2016 11:27:42 +0100
-Subject: [PATCH] Fix incorrect documentation that prevents successful
- compilation (bug #5265).
-

- doc/refman/RefMan-syn.tex | 2 +-
- 1 file changed, 1 insertion(+), 1 deletion(-)
-
-diff --git a/doc/refman/RefMan-syn.tex b/doc/refman/RefMan-syn.tex
-index 1fcc1c0..21c39de 100644
 a/doc/refman/RefMan-syn.tex
-+++ b/doc/refman/RefMan-syn.tex
-@@ -649,7 +649,7 @@ A recursive pattern for binders can be used in position of 
a recursive
- pattern for terms. Here is an example:
- 
- \begin{coq_example*}
--Notation ``'FUNAPP' x .. y , f'' :=
-+Notation "'FUNAPP' x .. y , f" :=
-   (fun x => .. (fun y => (.. (f x) ..) y ) ..)
-   (at level 200, x binder, y binder, right associativity).
- \end{coq_example*}
--- 
-2.10.2
-

Copied: 
coq/repos/community-i686/0001-Fix-incorrect-documentation-that-prevents-successful.patch
 (from rev 213546, 
coq/trunk/0001-Fix-incorrect-documentation-that-prevents-successful.patch)
===
--- 
community-i686/0001-Fix-incorrect-documentation-that-prevents-successful.patch  
(rev 0)
+++ 
community-i686/0001-Fix-incorrect-documentation-that-prevents-successful.patch  
2017-02-22 19:37:35 UTC (rev 213547)
@@ -0,0 +1,26 @@
+From 42f27beb63a629dcef514abb0b31dea193f35a38 Mon Sep 17 00:00:00 2001
+From: Guillaume Melquiond 
+Date: Fri, 16 Dec 2016 11:27:42 +0100
+Subject: [PATCH] Fix incorrect documentation that prevents successful
+ compilation (bug #5265).
+
+---
+ doc/refman/RefMan-syn.tex | 2 +-
+ 1 file changed, 1 insertion(+), 1 deletion(-)
+
+diff --git a/doc/refman/RefMan-syn.tex b/doc/refman/RefMan-syn.tex
+index 1fcc1c0..21c39de 100644
+--- a/doc/refman/RefMan-syn.tex
 b/doc/refman/RefMan-syn.tex
+@@ -649,7 +649,7 @@ A recursive pattern for binders can be used in position of 
a