Skip to content

Commit

Permalink
Coq 8.17.1, repo released, mode clean.
Browse files Browse the repository at this point in the history
  • Loading branch information
Bench B. Bench committed Mar 2, 2024
1 parent c6b420d commit afcb1fc
Show file tree
Hide file tree
Showing 5,435 changed files with 31,564 additions and 23,470 deletions.
The diff you're trying to view is too large. We only load the first 3000 changed files.
4 changes: 2 additions & 2 deletions clean/Linux-x86_64-5.0.0-2.1.5/released/8.17.1/aac-tactics/8.10.0.html
View file
Original file line number Diff line number Diff line change
Expand Up @@ -55,7 +55,7 @@ <h2>Context</h2>
coq-core 8.17.1 The Coq Proof Assistant -- Core Binaries and Tools
coq-stdlib 8.17.1 The Coq Proof Assistant -- Standard Library
coqide-server 8.17.1 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
Expand Down Expand Up @@ -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 = 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+2
* 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;
Expand Down
4 changes: 2 additions & 2 deletions clean/Linux-x86_64-5.0.0-2.1.5/released/8.17.1/aac-tactics/8.11.0.html
View file
Original file line number Diff line number Diff line change
Expand Up @@ -55,7 +55,7 @@ <h2>Context</h2>
coq-core 8.17.1 The Coq Proof Assistant -- Core Binaries and Tools
coq-stdlib 8.17.1 The Coq Proof Assistant -- Standard Library
coqide-server 8.17.1 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
Expand Down Expand Up @@ -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 = 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+2
* 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;
Expand Down
4 changes: 2 additions & 2 deletions clean/Linux-x86_64-5.0.0-2.1.5/released/8.17.1/aac-tactics/8.12.0.html
View file
Original file line number Diff line number Diff line change
Expand Up @@ -55,7 +55,7 @@ <h2>Context</h2>
coq-core 8.17.1 The Coq Proof Assistant -- Core Binaries and Tools
coq-stdlib 8.17.1 The Coq Proof Assistant -- Standard Library
coqide-server 8.17.1 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
Expand Down Expand Up @@ -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 = 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+2
* 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;
Expand Down
4 changes: 2 additions & 2 deletions clean/Linux-x86_64-5.0.0-2.1.5/released/8.17.1/aac-tactics/8.13.0.html
View file
Original file line number Diff line number Diff line change
Expand Up @@ -55,7 +55,7 @@ <h2>Context</h2>
coq-core 8.17.1 The Coq Proof Assistant -- Core Binaries and Tools
coq-stdlib 8.17.1 The Coq Proof Assistant -- Standard Library
coqide-server 8.17.1 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
Expand Down Expand Up @@ -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 = 3.07+1
- coq-aac-tactics = 8.13.0 -&gt; ocaml &lt; 4.12 -&gt; ocaml-base-compiler = 3.07+2
* 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;
Expand Down
4 changes: 2 additions & 2 deletions clean/Linux-x86_64-5.0.0-2.1.5/released/8.17.1/aac-tactics/8.13.1.html
View file
Original file line number Diff line number Diff line change
Expand Up @@ -55,7 +55,7 @@ <h2>Context</h2>
coq-core 8.17.1 The Coq Proof Assistant -- Core Binaries and Tools
coq-stdlib 8.17.1 The Coq Proof Assistant -- Standard Library
coqide-server 8.17.1 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
Expand Down Expand Up @@ -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 = 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+2
* Incompatible packages:
- (invariant) -&gt; ocaml-base-compiler = 5.0.0 -&gt; base-nnp
- coq-aac-tactics = 8.13.1 -&gt; coq &lt; 8.14~
Expand Down
4 changes: 2 additions & 2 deletions clean/Linux-x86_64-5.0.0-2.1.5/released/8.17.1/aac-tactics/8.13.2.html
View file
Original file line number Diff line number Diff line change
Expand Up @@ -55,7 +55,7 @@ <h2>Context</h2>
coq-core 8.17.1 The Coq Proof Assistant -- Core Binaries and Tools
coq-stdlib 8.17.1 The Coq Proof Assistant -- Standard Library
coqide-server 8.17.1 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
Expand Down Expand Up @@ -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 = 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+2
* Incompatible packages:
- (invariant) -&gt; ocaml-base-compiler = 5.0.0 -&gt; base-nnp
- coq-aac-tactics = 8.13.2 -&gt; coq &lt; 8.14~
Expand Down
4 changes: 2 additions & 2 deletions clean/Linux-x86_64-5.0.0-2.1.5/released/8.17.1/aac-tactics/8.14.0.html
View file
Original file line number Diff line number Diff line change
Expand Up @@ -55,7 +55,7 @@ <h2>Context</h2>
coq-core 8.17.1 The Coq Proof Assistant -- Core Binaries and Tools
coq-stdlib 8.17.1 The Coq Proof Assistant -- Standard Library
coqide-server 8.17.1 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
Expand Down Expand Up @@ -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 = 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+2
* Incompatible packages:
- (invariant) -&gt; ocaml-base-compiler = 5.0.0 -&gt; base-nnp
- coq-aac-tactics = 8.14.0 -&gt; coq &lt; 8.15~
Expand Down
4 changes: 2 additions & 2 deletions clean/Linux-x86_64-5.0.0-2.1.5/released/8.17.1/aac-tactics/8.14.1.html
View file
Original file line number Diff line number Diff line change
Expand Up @@ -55,7 +55,7 @@ <h2>Context</h2>
coq-core 8.17.1 The Coq Proof Assistant -- Core Binaries and Tools
coq-stdlib 8.17.1 The Coq Proof Assistant -- Standard Library
coqide-server 8.17.1 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
Expand Down Expand Up @@ -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 = 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+2
* Incompatible packages:
- (invariant) -&gt; ocaml-base-compiler = 5.0.0 -&gt; base-nnp
- coq-aac-tactics = 8.14.1 -&gt; coq &lt; 8.15~
Expand Down
4 changes: 2 additions & 2 deletions clean/Linux-x86_64-5.0.0-2.1.5/released/8.17.1/aac-tactics/8.15.0.html
View file
Original file line number Diff line number Diff line change
Expand Up @@ -55,7 +55,7 @@ <h2>Context</h2>
coq-core 8.17.1 The Coq Proof Assistant -- Core Binaries and Tools
coq-stdlib 8.17.1 The Coq Proof Assistant -- Standard Library
coqide-server 8.17.1 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
Expand Down Expand Up @@ -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 = 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+2
* Incompatible packages:
- (invariant) -&gt; ocaml-base-compiler = 5.0.0 -&gt; base-nnp
- coq-aac-tactics = 8.15.0 -&gt; coq &lt; 8.16~
Expand Down
4 changes: 2 additions & 2 deletions clean/Linux-x86_64-5.0.0-2.1.5/released/8.17.1/aac-tactics/8.15.1.html
View file
Original file line number Diff line number Diff line change
Expand Up @@ -55,7 +55,7 @@ <h2>Context</h2>
coq-core 8.17.1 The Coq Proof Assistant -- Core Binaries and Tools
coq-stdlib 8.17.1 The Coq Proof Assistant -- Standard Library
coqide-server 8.17.1 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
Expand Down Expand Up @@ -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 = 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+2
* Incompatible packages:
- (invariant) -&gt; ocaml-base-compiler = 5.0.0 -&gt; base-nnp
- coq-aac-tactics = 8.15.1 -&gt; coq &lt; 8.16~
Expand Down
4 changes: 2 additions & 2 deletions clean/Linux-x86_64-5.0.0-2.1.5/released/8.17.1/aac-tactics/8.16.0.html
View file
Original file line number Diff line number Diff line change
Expand Up @@ -55,7 +55,7 @@ <h2>Context</h2>
coq-core 8.17.1 The Coq Proof Assistant -- Core Binaries and Tools
coq-stdlib 8.17.1 The Coq Proof Assistant -- Standard Library
coqide-server 8.17.1 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
Expand Down Expand Up @@ -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 = 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+2
* Incompatible packages:
- (invariant) -&gt; ocaml-base-compiler = 5.0.0 -&gt; base-nnp
- coq-aac-tactics = 8.16.0 -&gt; coq &lt; 8.17~
Expand Down
2 changes: 1 addition & 1 deletion clean/Linux-x86_64-5.0.0-2.1.5/released/8.17.1/aac-tactics/8.17.0.html
View file
Original file line number Diff line number Diff line change
Expand Up @@ -55,7 +55,7 @@ <h2>Context</h2>
coq-core 8.17.1 The Coq Proof Assistant -- Core Binaries and Tools
coq-stdlib 8.17.1 The Coq Proof Assistant -- Standard Library
coqide-server 8.17.1 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
Expand Down
2 changes: 1 addition & 1 deletion clean/Linux-x86_64-5.0.0-2.1.5/released/8.17.1/aac-tactics/8.18.0.html
View file
Original file line number Diff line number Diff line change
Expand Up @@ -55,7 +55,7 @@ <h2>Context</h2>
coq-core 8.17.1 The Coq Proof Assistant -- Core Binaries and Tools
coq-stdlib 8.17.1 The Coq Proof Assistant -- Standard Library
coqide-server 8.17.1 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
Expand Down
2 changes: 1 addition & 1 deletion clean/Linux-x86_64-5.0.0-2.1.5/released/8.17.1/aac-tactics/8.19.0.html
View file
Original file line number Diff line number Diff line change
Expand Up @@ -55,7 +55,7 @@ <h2>Context</h2>
coq-core 8.17.1 The Coq Proof Assistant -- Core Binaries and Tools
coq-stdlib 8.17.1 The Coq Proof Assistant -- Standard Library
coqide-server 8.17.1 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
Expand Down
4 changes: 2 additions & 2 deletions clean/Linux-x86_64-5.0.0-2.1.5/released/8.17.1/aac-tactics/8.5.0.html
View file
Original file line number Diff line number Diff line change
Expand Up @@ -55,7 +55,7 @@ <h2>Context</h2>
coq-core 8.17.1 The Coq Proof Assistant -- Core Binaries and Tools
coq-stdlib 8.17.1 The Coq Proof Assistant -- Standard Library
coqide-server 8.17.1 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
Expand Down Expand Up @@ -110,7 +110,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 &lt; 8.5.1 -&gt; coq &lt; 8.6 -&gt; ocaml &lt; 4.02.0 -&gt; ocaml-base-compiler = 3.07+1
- coq-aac-tactics &lt; 8.5.1 -&gt; coq &lt; 8.6 -&gt; ocaml &lt; 4.02.0 -&gt; ocaml-base-compiler = 3.07+2
* Missing dependency:
- coq-aac-tactics &lt; 8.5.1 -&gt; coq &lt; 8.6 -&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;
Expand Down
4 changes: 2 additions & 2 deletions clean/Linux-x86_64-5.0.0-2.1.5/released/8.17.1/aac-tactics/8.5.1.html
View file
Original file line number Diff line number Diff line change
Expand Up @@ -55,7 +55,7 @@ <h2>Context</h2>
coq-core 8.17.1 The Coq Proof Assistant -- Core Binaries and Tools
coq-stdlib 8.17.1 The Coq Proof Assistant -- Standard Library
coqide-server 8.17.1 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
Expand Down Expand Up @@ -110,7 +110,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.5.1 -&gt; coq &lt; 8.6~ -&gt; ocaml &lt; 4.02.0 -&gt; ocaml-base-compiler = 3.07+1
- coq-aac-tactics = 8.5.1 -&gt; coq &lt; 8.6~ -&gt; ocaml &lt; 4.02.0 -&gt; ocaml-base-compiler = 3.07+2
* Missing dependency:
- coq-aac-tactics = 8.5.1 -&gt; coq &lt; 8.6~ -&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;
Expand Down
4 changes: 2 additions & 2 deletions clean/Linux-x86_64-5.0.0-2.1.5/released/8.17.1/aac-tactics/8.6.1.html
View file
Original file line number Diff line number Diff line change
Expand Up @@ -55,7 +55,7 @@ <h2>Context</h2>
coq-core 8.17.1 The Coq Proof Assistant -- Core Binaries and Tools
coq-stdlib 8.17.1 The Coq Proof Assistant -- Standard Library
coqide-server 8.17.1 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
Expand Down Expand Up @@ -110,7 +110,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.6.1 -&gt; coq &lt; 8.7~ -&gt; ocaml &lt; 4.02.0 -&gt; ocaml-base-compiler = 3.07+1
- coq-aac-tactics = 8.6.1 -&gt; coq &lt; 8.7~ -&gt; ocaml &lt; 4.02.0 -&gt; ocaml-base-compiler = 3.07+2
* Missing dependency:
- coq-aac-tactics = 8.6.1 -&gt; coq &lt; 8.7~ -&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;
Expand Down
Loading

0 comments on commit afcb1fc

Please sign in to comment.