Skip to content

Commit

Permalink
Coq dev, repo extra-dev, mode clean.
Browse files Browse the repository at this point in the history
  • Loading branch information
Bench B. Bench committed Mar 10, 2024
1 parent afcb1fc commit f59a6a5
Show file tree
Hide file tree
Showing 5,769 changed files with 47,661 additions and 42,774 deletions.
The diff you're trying to view is too large. We only load the first 3000 changed files.
2 changes: 1 addition & 1 deletion clean/Linux-x86_64-5.0.0-2.1.5/extra-dev/dev/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 dev The Coq Proof Assistant -- Core Binaries and Tools
coq-stdlib dev The Coq Proof Assistant -- Standard Library
coqide-server dev 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/extra-dev/dev/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 dev The Coq Proof Assistant -- Core Binaries and Tools
coq-stdlib dev The Coq Proof Assistant -- Standard Library
coqide-server dev 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/extra-dev/dev/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 dev The Coq Proof Assistant -- Core Binaries and Tools
coq-stdlib dev The Coq Proof Assistant -- Standard Library
coqide-server dev 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/extra-dev/dev/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 dev The Coq Proof Assistant -- Core Binaries and Tools
coq-stdlib dev The Coq Proof Assistant -- Standard Library
coqide-server dev 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/extra-dev/dev/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 dev The Coq Proof Assistant -- Core Binaries and Tools
coq-stdlib dev The Coq Proof Assistant -- Standard Library
coqide-server dev 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/extra-dev/dev/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 dev The Coq Proof Assistant -- Core Binaries and Tools
coq-stdlib dev The Coq Proof Assistant -- Standard Library
coqide-server dev 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/extra-dev/dev/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 dev The Coq Proof Assistant -- Core Binaries and Tools
coq-stdlib dev The Coq Proof Assistant -- Standard Library
coqide-server dev 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/extra-dev/dev/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 dev The Coq Proof Assistant -- Core Binaries and Tools
coq-stdlib dev The Coq Proof Assistant -- Standard Library
coqide-server dev 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/extra-dev/dev/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 dev The Coq Proof Assistant -- Core Binaries and Tools
coq-stdlib dev The Coq Proof Assistant -- Standard Library
coqide-server dev 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/extra-dev/dev/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 dev The Coq Proof Assistant -- Core Binaries and Tools
coq-stdlib dev The Coq Proof Assistant -- Standard Library
coqide-server dev 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/extra-dev/dev/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 dev The Coq Proof Assistant -- Core Binaries and Tools
coq-stdlib dev The Coq Proof Assistant -- Standard Library
coqide-server dev 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/extra-dev/dev/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 dev The Coq Proof Assistant -- Core Binaries and Tools
coq-stdlib dev The Coq Proof Assistant -- Standard Library
coqide-server dev 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/extra-dev/dev/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 dev The Coq Proof Assistant -- Core Binaries and Tools
coq-stdlib dev The Coq Proof Assistant -- Standard Library
coqide-server dev 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/extra-dev/dev/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 dev The Coq Proof Assistant -- Core Binaries and Tools
coq-stdlib dev The Coq Proof Assistant -- Standard Library
coqide-server dev 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/extra-dev/dev/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 dev The Coq Proof Assistant -- Core Binaries and Tools
coq-stdlib dev The Coq Proof Assistant -- Standard Library
coqide-server dev 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/extra-dev/dev/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 dev The Coq Proof Assistant -- Core Binaries and Tools
coq-stdlib dev The Coq Proof Assistant -- Standard Library
coqide-server dev 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/extra-dev/dev/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 dev The Coq Proof Assistant -- Core Binaries and Tools
coq-stdlib dev The Coq Proof Assistant -- Standard Library
coqide-server dev 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/extra-dev/dev/aac-tactics/8.8.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 dev The Coq Proof Assistant -- Core Binaries and Tools
coq-stdlib dev The Coq Proof Assistant -- Standard Library
coqide-server dev 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/extra-dev/dev/aac-tactics/8.9.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 dev The Coq Proof Assistant -- Core Binaries and Tools
coq-stdlib dev The Coq Proof Assistant -- Standard Library
coqide-server dev 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
10 changes: 5 additions & 5 deletions clean/Linux-x86_64-5.0.0-2.1.5/extra-dev/dev/aac-tactics/dev.html
View file
Original file line number Diff line number Diff line change
Expand Up @@ -55,7 +55,7 @@ <h2>Context</h2>
coq-core dev The Coq Proof Assistant -- Core Binaries and Tools
coq-stdlib dev The Coq Proof Assistant -- Standard Library
coqide-server dev 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 @@ -145,13 +145,13 @@ <h2>Install 🚀</h2>
<h2>Installation size</h2>
<p>Total: 2 M</p>
<ul>
<li>447 K <code>../ocaml-base-compiler.5.0.0/lib/coq-aac-tactics/aac_plugin.cmxs</code></li>
<li>447 K <code>../ocaml-base-compiler.5.0.0/lib/coq/user-contrib/AAC_tactics/aac_plugin.cmxs</code></li>
<li>238 K <code>../ocaml-base-compiler.5.0.0/lib/coq/user-contrib/AAC_tactics/AAC.vo</code></li>
<li>438 K <code>../ocaml-base-compiler.5.0.0/lib/coq-aac-tactics/aac_plugin.cmxs</code></li>
<li>438 K <code>../ocaml-base-compiler.5.0.0/lib/coq/user-contrib/AAC_tactics/aac_plugin.cmxs</code></li>
<li>239 K <code>../ocaml-base-compiler.5.0.0/lib/coq/user-contrib/AAC_tactics/AAC.vo</code></li>
<li>119 K <code>../ocaml-base-compiler.5.0.0/lib/coq/user-contrib/AAC_tactics/AAC.glob</code></li>
<li>74 K <code>../ocaml-base-compiler.5.0.0/lib/coq/user-contrib/AAC_tactics/Tutorial.vo</code></li>
<li>74 K <code>../ocaml-base-compiler.5.0.0/lib/coq/user-contrib/AAC_tactics/Instances.vo</code></li>
<li>54 K <code>../ocaml-base-compiler.5.0.0/lib/coq/user-contrib/AAC_tactics/Utils.vo</code></li>
<li>55 K <code>../ocaml-base-compiler.5.0.0/lib/coq/user-contrib/AAC_tactics/Utils.vo</code></li>
<li>51 K <code>../ocaml-base-compiler.5.0.0/lib/coq/user-contrib/AAC_tactics/Tutorial.glob</code></li>
<li>38 K <code>../ocaml-base-compiler.5.0.0/lib/coq/user-contrib/AAC_tactics/Instances.glob</code></li>
<li>36 K <code>../ocaml-base-compiler.5.0.0/lib/coq/user-contrib/AAC_tactics/Caveats.vo</code></li>
Expand Down
2 changes: 1 addition & 1 deletion clean/Linux-x86_64-5.0.0-2.1.5/extra-dev/dev/abp/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 dev The Coq Proof Assistant -- Core Binaries and Tools
coq-stdlib dev The Coq Proof Assistant -- Standard Library
coqide-server dev 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/extra-dev/dev/abp/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 dev The Coq Proof Assistant -- Core Binaries and Tools
coq-stdlib dev The Coq Proof Assistant -- Standard Library
coqide-server dev 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/extra-dev/dev/abp/8.6.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 dev The Coq Proof Assistant -- Core Binaries and Tools
coq-stdlib dev The Coq Proof Assistant -- Standard Library
coqide-server dev 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/extra-dev/dev/abp/8.7.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 dev The Coq Proof Assistant -- Core Binaries and Tools
coq-stdlib dev The Coq Proof Assistant -- Standard Library
coqide-server dev 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/extra-dev/dev/abp/8.8.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 dev The Coq Proof Assistant -- Core Binaries and Tools
coq-stdlib dev The Coq Proof Assistant -- Standard Library
coqide-server dev 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/extra-dev/dev/abp/8.9.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 dev The Coq Proof Assistant -- Core Binaries and Tools
coq-stdlib dev The Coq Proof Assistant -- Standard Library
coqide-server dev 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
6 changes: 3 additions & 3 deletions clean/Linux-x86_64-5.0.0-2.1.5/extra-dev/dev/actuary/2.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 dev The Coq Proof Assistant -- Core Binaries and Tools
coq-stdlib dev The Coq Proof Assistant -- Standard Library
coqide-server dev 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 @@ -125,12 +125,12 @@ <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-actuary &lt; 2.2 -&gt; coq &lt; 8.14~ -&gt; ocaml &lt; 4.05.0 -&gt; ocaml-base-compiler = 3.07+1
- coq-actuary &lt; 2.2 -&gt; coq &lt; 8.14~ -&gt; ocaml &lt; 4.05.0 -&gt; ocaml-base-compiler = 3.08.2
* Incompatible packages:
- (invariant) -&gt; ocaml-base-compiler = 5.0.0 -&gt; base-nnp
- coq-actuary &lt; 2.2 -&gt; coq &lt; 8.14~
* Missing dependency:
- coq-actuary &lt; 2.2 -&gt; coq &lt; 8.14~ -&gt; ocaml &lt; 4.05.0 -&gt; ocaml-variants -&gt; ocaml-beta
- coq-actuary &lt; 2.2 -&gt; coq &lt; 8.14~ -&gt; ocaml &lt; 4.05.0 -&gt; ocaml-variants &gt;= 3.10.0 -&gt; ocaml-beta
unmet availability conditions: &#39;enable-ocaml-beta-repository&#39;
No solution found, exiting
</pre></dd>
Expand Down
Loading

0 comments on commit f59a6a5

Please sign in to comment.