Coq 8.17.0, repo released, mode clean.

coq-bench · Feb 26, 2024 · c6b420d · c6b420d
1 parent c978fb1
commit c6b420d
Show file tree

Hide file tree

Showing 5,763 changed files with 50,029 additions and 39,123 deletions.
diff --git a/clean/Linux-x86_64-5.0.0-2.1.5/released/8.17.0/aac-tactics/8.10.0.html b/clean/Linux-x86_64-5.0.0-2.1.5/released/8.17.0/aac-tactics/8.10.0.html
@@ -55,7 +55,7 @@ <h2>Context</h2>
 coq-core              8.17.0      The Coq Proof Assistant -- Core Binaries and Tools
 coq-stdlib            8.17.0      The Coq Proof Assistant -- Standard Library
 coqide-server         8.17.0      The Coq Proof Assistant, XML protocol server
-dune                  3.13.0      Fast, portable, and opinionated build system
+dune                  3.14.0      Fast, portable, and opinionated build system
 ocaml                 5.0.0       The OCaml compiler (virtual package)
 ocaml-base-compiler   5.0.0       Official release 5.0.0
 ocaml-config          3           OCaml Switch Configuration
@@ -128,7 +128,7 @@ <h2>Dry install 🏜️</h2>
     You can temporarily relax the switch invariant with `--update-invariant&#39;
   * No agreement on the version of ocaml-base-compiler:
     - (invariant) -&gt; ocaml-base-compiler = 5.0.0
-    - coq-aac-tactics = 8.10.0 -&gt; coq &lt; 8.11~ -&gt; ocaml &lt; 4.02.0 -&gt; ocaml-base-compiler &lt; 3.07+1
+    - coq-aac-tactics = 8.10.0 -&gt; coq &lt; 8.11~ -&gt; ocaml &lt; 4.02.0 -&gt; ocaml-base-compiler = 3.07+1
   * Missing dependency:
     - coq-aac-tactics = 8.10.0 -&gt; coq &lt; 8.11~ -&gt; ocaml &lt; 4.02.0 -&gt; ocaml-variants &gt;= 3.09.2 -&gt; ocaml-beta
     unmet availability conditions: &#39;enable-ocaml-beta-repository&#39;

diff --git a/clean/Linux-x86_64-5.0.0-2.1.5/released/8.17.0/aac-tactics/8.11.0.html b/clean/Linux-x86_64-5.0.0-2.1.5/released/8.17.0/aac-tactics/8.11.0.html
@@ -55,7 +55,7 @@ <h2>Context</h2>
 coq-core              8.17.0      The Coq Proof Assistant -- Core Binaries and Tools
 coq-stdlib            8.17.0      The Coq Proof Assistant -- Standard Library
 coqide-server         8.17.0      The Coq Proof Assistant, XML protocol server
-dune                  3.13.0      Fast, portable, and opinionated build system
+dune                  3.14.0      Fast, portable, and opinionated build system
 ocaml                 5.0.0       The OCaml compiler (virtual package)
 ocaml-base-compiler   5.0.0       Official release 5.0.0
 ocaml-config          3           OCaml Switch Configuration
@@ -127,7 +127,7 @@ <h2>Dry install 🏜️</h2>
     You can temporarily relax the switch invariant with `--update-invariant&#39;
   * No agreement on the version of ocaml-base-compiler:
     - (invariant) -&gt; ocaml-base-compiler = 5.0.0
-    - coq-aac-tactics = 8.11.0 -&gt; coq &lt; 8.12~ -&gt; ocaml &lt; 4.02.0 -&gt; ocaml-base-compiler &lt; 3.07+1
+    - coq-aac-tactics = 8.11.0 -&gt; coq &lt; 8.12~ -&gt; ocaml &lt; 4.02.0 -&gt; ocaml-base-compiler = 3.07+1
   * Missing dependency:
     - coq-aac-tactics = 8.11.0 -&gt; coq &lt; 8.12~ -&gt; ocaml &lt; 4.02.0 -&gt; ocaml-variants &gt;= 3.09.2 -&gt; ocaml-beta
     unmet availability conditions: &#39;enable-ocaml-beta-repository&#39;

diff --git a/clean/Linux-x86_64-5.0.0-2.1.5/released/8.17.0/aac-tactics/8.12.0.html b/clean/Linux-x86_64-5.0.0-2.1.5/released/8.17.0/aac-tactics/8.12.0.html
@@ -55,7 +55,7 @@ <h2>Context</h2>
 coq-core              8.17.0      The Coq Proof Assistant -- Core Binaries and Tools
 coq-stdlib            8.17.0      The Coq Proof Assistant -- Standard Library
 coqide-server         8.17.0      The Coq Proof Assistant, XML protocol server
-dune                  3.13.0      Fast, portable, and opinionated build system
+dune                  3.14.0      Fast, portable, and opinionated build system
 ocaml                 5.0.0       The OCaml compiler (virtual package)
 ocaml-base-compiler   5.0.0       Official release 5.0.0
 ocaml-config          3           OCaml Switch Configuration
@@ -127,7 +127,7 @@ <h2>Dry install 🏜️</h2>
     You can temporarily relax the switch invariant with `--update-invariant&#39;
   * No agreement on the version of ocaml-base-compiler:
     - (invariant) -&gt; ocaml-base-compiler = 5.0.0
-    - coq-aac-tactics = 8.12.0 -&gt; coq &lt; 8.13~ -&gt; ocaml &lt; 4.02.0 -&gt; ocaml-base-compiler &lt; 3.07+1
+    - coq-aac-tactics = 8.12.0 -&gt; coq &lt; 8.13~ -&gt; ocaml &lt; 4.02.0 -&gt; ocaml-base-compiler = 3.07+1
   * Missing dependency:
     - coq-aac-tactics = 8.12.0 -&gt; coq &lt; 8.13~ -&gt; ocaml &lt; 4.02.0 -&gt; ocaml-variants &gt;= 3.09.2 -&gt; ocaml-beta
     unmet availability conditions: &#39;enable-ocaml-beta-repository&#39;

diff --git a/clean/Linux-x86_64-5.0.0-2.1.5/released/8.17.0/aac-tactics/8.13.0.html b/clean/Linux-x86_64-5.0.0-2.1.5/released/8.17.0/aac-tactics/8.13.0.html
@@ -55,7 +55,7 @@ <h2>Context</h2>
 coq-core              8.17.0      The Coq Proof Assistant -- Core Binaries and Tools
 coq-stdlib            8.17.0      The Coq Proof Assistant -- Standard Library
 coqide-server         8.17.0      The Coq Proof Assistant, XML protocol server
-dune                  3.13.0      Fast, portable, and opinionated build system
+dune                  3.14.0      Fast, portable, and opinionated build system
 ocaml                 5.0.0       The OCaml compiler (virtual package)
 ocaml-base-compiler   5.0.0       Official release 5.0.0
 ocaml-config          3           OCaml Switch Configuration
@@ -127,7 +127,7 @@ <h2>Dry install 🏜️</h2>
     You can temporarily relax the switch invariant with `--update-invariant&#39;
   * No agreement on the version of ocaml-base-compiler:
     - (invariant) -&gt; ocaml-base-compiler = 5.0.0
-    - coq-aac-tactics = 8.13.0 -&gt; ocaml &lt; 4.12 -&gt; ocaml-base-compiler &lt; 3.07+1
+    - coq-aac-tactics = 8.13.0 -&gt; ocaml &lt; 4.12 -&gt; ocaml-base-compiler = 3.07+1
   * Missing dependency:
     - coq-aac-tactics = 8.13.0 -&gt; ocaml &lt; 4.12 -&gt; ocaml-variants &gt;= 3.09.2 -&gt; ocaml-beta
     unmet availability conditions: &#39;enable-ocaml-beta-repository&#39;

diff --git a/clean/Linux-x86_64-5.0.0-2.1.5/released/8.17.0/aac-tactics/8.13.1.html b/clean/Linux-x86_64-5.0.0-2.1.5/released/8.17.0/aac-tactics/8.13.1.html
@@ -55,7 +55,7 @@ <h2>Context</h2>
 coq-core              8.17.0      The Coq Proof Assistant -- Core Binaries and Tools
 coq-stdlib            8.17.0      The Coq Proof Assistant -- Standard Library
 coqide-server         8.17.0      The Coq Proof Assistant, XML protocol server
-dune                  3.13.0      Fast, portable, and opinionated build system
+dune                  3.14.0      Fast, portable, and opinionated build system
 ocaml                 5.0.0       The OCaml compiler (virtual package)
 ocaml-base-compiler   5.0.0       Official release 5.0.0
 ocaml-config          3           OCaml Switch Configuration
@@ -127,7 +127,7 @@ <h2>Dry install 🏜️</h2>
     You can temporarily relax the switch invariant with `--update-invariant&#39;
   * No agreement on the version of ocaml-base-compiler:
     - (invariant) -&gt; ocaml-base-compiler = 5.0.0
-    - coq-aac-tactics = 8.13.1 -&gt; coq &lt; 8.14~ -&gt; ocaml &lt; 4.02.0 -&gt; ocaml-base-compiler &lt; 3.07+1
+    - coq-aac-tactics = 8.13.1 -&gt; coq &lt; 8.14~ -&gt; ocaml &lt; 4.02.0 -&gt; ocaml-base-compiler = 3.07+1
   * Incompatible packages:
     - (invariant) -&gt; ocaml-base-compiler = 5.0.0 -&gt; base-nnp
     - coq-aac-tactics = 8.13.1 -&gt; coq &lt; 8.14~

diff --git a/clean/Linux-x86_64-5.0.0-2.1.5/released/8.17.0/aac-tactics/8.13.2.html b/clean/Linux-x86_64-5.0.0-2.1.5/released/8.17.0/aac-tactics/8.13.2.html
@@ -55,7 +55,7 @@ <h2>Context</h2>
 coq-core              8.17.0      The Coq Proof Assistant -- Core Binaries and Tools
 coq-stdlib            8.17.0      The Coq Proof Assistant -- Standard Library
 coqide-server         8.17.0      The Coq Proof Assistant, XML protocol server
-dune                  3.13.0      Fast, portable, and opinionated build system
+dune                  3.14.0      Fast, portable, and opinionated build system
 ocaml                 5.0.0       The OCaml compiler (virtual package)
 ocaml-base-compiler   5.0.0       Official release 5.0.0
 ocaml-config          3           OCaml Switch Configuration
@@ -127,7 +127,7 @@ <h2>Dry install 🏜️</h2>
     You can temporarily relax the switch invariant with `--update-invariant&#39;
   * No agreement on the version of ocaml-base-compiler:
     - (invariant) -&gt; ocaml-base-compiler = 5.0.0
-    - coq-aac-tactics = 8.13.2 -&gt; coq &lt; 8.14~ -&gt; ocaml &lt; 4.02.0 -&gt; ocaml-base-compiler &lt; 3.07+1
+    - coq-aac-tactics = 8.13.2 -&gt; coq &lt; 8.14~ -&gt; ocaml &lt; 4.02.0 -&gt; ocaml-base-compiler = 3.07+1
   * Incompatible packages:
     - (invariant) -&gt; ocaml-base-compiler = 5.0.0 -&gt; base-nnp
     - coq-aac-tactics = 8.13.2 -&gt; coq &lt; 8.14~

diff --git a/clean/Linux-x86_64-5.0.0-2.1.5/released/8.17.0/aac-tactics/8.14.0.html b/clean/Linux-x86_64-5.0.0-2.1.5/released/8.17.0/aac-tactics/8.14.0.html
@@ -55,7 +55,7 @@ <h2>Context</h2>
 coq-core              8.17.0      The Coq Proof Assistant -- Core Binaries and Tools
 coq-stdlib            8.17.0      The Coq Proof Assistant -- Standard Library
 coqide-server         8.17.0      The Coq Proof Assistant, XML protocol server
-dune                  3.13.0      Fast, portable, and opinionated build system
+dune                  3.14.0      Fast, portable, and opinionated build system
 ocaml                 5.0.0       The OCaml compiler (virtual package)
 ocaml-base-compiler   5.0.0       Official release 5.0.0
 ocaml-config          3           OCaml Switch Configuration
@@ -127,7 +127,7 @@ <h2>Dry install 🏜️</h2>
     You can temporarily relax the switch invariant with `--update-invariant&#39;
   * No agreement on the version of ocaml-base-compiler:
     - (invariant) -&gt; ocaml-base-compiler = 5.0.0
-    - coq-aac-tactics = 8.14.0 -&gt; coq &lt; 8.15~ -&gt; ocaml &lt; 4.02.0 -&gt; ocaml-base-compiler &lt; 3.07+1
+    - coq-aac-tactics = 8.14.0 -&gt; coq &lt; 8.15~ -&gt; ocaml &lt; 4.02.0 -&gt; ocaml-base-compiler = 3.07+1
   * Incompatible packages:
     - (invariant) -&gt; ocaml-base-compiler = 5.0.0 -&gt; base-nnp
     - coq-aac-tactics = 8.14.0 -&gt; coq &lt; 8.15~

diff --git a/clean/Linux-x86_64-5.0.0-2.1.5/released/8.17.0/aac-tactics/8.14.1.html b/clean/Linux-x86_64-5.0.0-2.1.5/released/8.17.0/aac-tactics/8.14.1.html
@@ -55,7 +55,7 @@ <h2>Context</h2>
 coq-core              8.17.0      The Coq Proof Assistant -- Core Binaries and Tools
 coq-stdlib            8.17.0      The Coq Proof Assistant -- Standard Library
 coqide-server         8.17.0      The Coq Proof Assistant, XML protocol server
-dune                  3.13.0      Fast, portable, and opinionated build system
+dune                  3.14.0      Fast, portable, and opinionated build system
 ocaml                 5.0.0       The OCaml compiler (virtual package)
 ocaml-base-compiler   5.0.0       Official release 5.0.0
 ocaml-config          3           OCaml Switch Configuration
@@ -127,7 +127,7 @@ <h2>Dry install 🏜️</h2>
     You can temporarily relax the switch invariant with `--update-invariant&#39;
   * No agreement on the version of ocaml-base-compiler:
     - (invariant) -&gt; ocaml-base-compiler = 5.0.0
-    - coq-aac-tactics = 8.14.1 -&gt; coq &lt; 8.15~ -&gt; ocaml &lt; 4.02.0 -&gt; ocaml-base-compiler &lt; 3.07+1
+    - coq-aac-tactics = 8.14.1 -&gt; coq &lt; 8.15~ -&gt; ocaml &lt; 4.02.0 -&gt; ocaml-base-compiler = 3.07+1
   * Incompatible packages:
     - (invariant) -&gt; ocaml-base-compiler = 5.0.0 -&gt; base-nnp
     - coq-aac-tactics = 8.14.1 -&gt; coq &lt; 8.15~

diff --git a/clean/Linux-x86_64-5.0.0-2.1.5/released/8.17.0/aac-tactics/8.15.0.html b/clean/Linux-x86_64-5.0.0-2.1.5/released/8.17.0/aac-tactics/8.15.0.html
@@ -55,7 +55,7 @@ <h2>Context</h2>
 coq-core              8.17.0      The Coq Proof Assistant -- Core Binaries and Tools
 coq-stdlib            8.17.0      The Coq Proof Assistant -- Standard Library
 coqide-server         8.17.0      The Coq Proof Assistant, XML protocol server
-dune                  3.13.0      Fast, portable, and opinionated build system
+dune                  3.14.0      Fast, portable, and opinionated build system
 ocaml                 5.0.0       The OCaml compiler (virtual package)
 ocaml-base-compiler   5.0.0       Official release 5.0.0
 ocaml-config          3           OCaml Switch Configuration
@@ -127,7 +127,7 @@ <h2>Dry install 🏜️</h2>
     You can temporarily relax the switch invariant with `--update-invariant&#39;
   * No agreement on the version of ocaml-base-compiler:
     - (invariant) -&gt; ocaml-base-compiler = 5.0.0
-    - coq-aac-tactics = 8.15.0 -&gt; coq &lt; 8.16~ -&gt; ocaml &lt; 4.02.0 -&gt; ocaml-base-compiler &lt; 3.07+1
+    - coq-aac-tactics = 8.15.0 -&gt; coq &lt; 8.16~ -&gt; ocaml &lt; 4.02.0 -&gt; ocaml-base-compiler = 3.07+1
   * Incompatible packages:
     - (invariant) -&gt; ocaml-base-compiler = 5.0.0 -&gt; base-nnp
     - coq-aac-tactics = 8.15.0 -&gt; coq &lt; 8.16~

diff --git a/clean/Linux-x86_64-5.0.0-2.1.5/released/8.17.0/aac-tactics/8.15.1.html b/clean/Linux-x86_64-5.0.0-2.1.5/released/8.17.0/aac-tactics/8.15.1.html
@@ -55,7 +55,7 @@ <h2>Context</h2>
 coq-core              8.17.0      The Coq Proof Assistant -- Core Binaries and Tools
 coq-stdlib            8.17.0      The Coq Proof Assistant -- Standard Library
 coqide-server         8.17.0      The Coq Proof Assistant, XML protocol server
-dune                  3.13.0      Fast, portable, and opinionated build system
+dune                  3.14.0      Fast, portable, and opinionated build system
 ocaml                 5.0.0       The OCaml compiler (virtual package)
 ocaml-base-compiler   5.0.0       Official release 5.0.0
 ocaml-config          3           OCaml Switch Configuration
@@ -127,7 +127,7 @@ <h2>Dry install 🏜️</h2>
     You can temporarily relax the switch invariant with `--update-invariant&#39;
   * No agreement on the version of ocaml-base-compiler:
     - (invariant) -&gt; ocaml-base-compiler = 5.0.0
-    - coq-aac-tactics = 8.15.1 -&gt; coq &lt; 8.16~ -&gt; ocaml &lt; 4.02.0 -&gt; ocaml-base-compiler &lt; 3.07+1
+    - coq-aac-tactics = 8.15.1 -&gt; coq &lt; 8.16~ -&gt; ocaml &lt; 4.02.0 -&gt; ocaml-base-compiler = 3.07+1
   * Incompatible packages:
     - (invariant) -&gt; ocaml-base-compiler = 5.0.0 -&gt; base-nnp
     - coq-aac-tactics = 8.15.1 -&gt; coq &lt; 8.16~

diff --git a/clean/Linux-x86_64-5.0.0-2.1.5/released/8.17.0/aac-tactics/8.16.0.html b/clean/Linux-x86_64-5.0.0-2.1.5/released/8.17.0/aac-tactics/8.16.0.html
@@ -55,7 +55,7 @@ <h2>Context</h2>
 coq-core              8.17.0      The Coq Proof Assistant -- Core Binaries and Tools
 coq-stdlib            8.17.0      The Coq Proof Assistant -- Standard Library
 coqide-server         8.17.0      The Coq Proof Assistant, XML protocol server
-dune                  3.13.0      Fast, portable, and opinionated build system
+dune                  3.14.0      Fast, portable, and opinionated build system
 ocaml                 5.0.0       The OCaml compiler (virtual package)
 ocaml-base-compiler   5.0.0       Official release 5.0.0
 ocaml-config          3           OCaml Switch Configuration
@@ -127,7 +127,7 @@ <h2>Dry install 🏜️</h2>
     You can temporarily relax the switch invariant with `--update-invariant&#39;
   * No agreement on the version of ocaml-base-compiler:
     - (invariant) -&gt; ocaml-base-compiler = 5.0.0
-    - coq-aac-tactics = 8.16.0 -&gt; coq &lt; 8.17~ -&gt; ocaml &lt; 4.02.0 -&gt; ocaml-base-compiler &lt; 3.07+1
+    - coq-aac-tactics = 8.16.0 -&gt; coq &lt; 8.17~ -&gt; ocaml &lt; 4.02.0 -&gt; ocaml-base-compiler = 3.07+1
   * Incompatible packages:
     - (invariant) -&gt; ocaml-base-compiler = 5.0.0 -&gt; base-nnp
     - coq-aac-tactics = 8.16.0 -&gt; coq &lt; 8.17~

diff --git a/clean/Linux-x86_64-5.0.0-2.1.5/released/8.17.0/aac-tactics/8.17.0.html b/clean/Linux-x86_64-5.0.0-2.1.5/released/8.17.0/aac-tactics/8.17.0.html
@@ -55,7 +55,7 @@ <h2>Context</h2>
 coq-core              8.17.0      The Coq Proof Assistant -- Core Binaries and Tools
 coq-stdlib            8.17.0      The Coq Proof Assistant -- Standard Library
 coqide-server         8.17.0      The Coq Proof Assistant, XML protocol server
-dune                  3.13.0      Fast, portable, and opinionated build system
+dune                  3.14.0      Fast, portable, and opinionated build system
 ocaml                 5.0.0       The OCaml compiler (virtual package)
 ocaml-base-compiler   5.0.0       Official release 5.0.0
 ocaml-config          3           OCaml Switch Configuration

diff --git a/clean/Linux-x86_64-5.0.0-2.1.5/released/8.17.0/aac-tactics/8.18.0.html b/clean/Linux-x86_64-5.0.0-2.1.5/released/8.17.0/aac-tactics/8.18.0.html
@@ -55,7 +55,7 @@ <h2>Context</h2>
 coq-core              8.17.0      The Coq Proof Assistant -- Core Binaries and Tools
 coq-stdlib            8.17.0      The Coq Proof Assistant -- Standard Library
 coqide-server         8.17.0      The Coq Proof Assistant, XML protocol server
-dune                  3.13.0      Fast, portable, and opinionated build system
+dune                  3.14.0      Fast, portable, and opinionated build system
 ocaml                 5.0.0       The OCaml compiler (virtual package)
 ocaml-base-compiler   5.0.0       Official release 5.0.0
 ocaml-config          3           OCaml Switch Configuration
@@ -123,7 +123,7 @@ <h2>Dry install 🏜️</h2>
 [ERROR] Package conflict!
   * No agreement on the version of coq:
     - coq = 8.17.0
-    - coq-aac-tactics &gt;= 8.18.0 -&gt; coq &gt;= 8.18
+    - coq-aac-tactics = 8.18.0 -&gt; coq &gt;= 8.18
 No solution found, exiting
 </pre></dd>
             </dl>