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 Jan 14, 2024
1 parent 2e7aa3a commit adebff4
Show file tree
Hide file tree
Showing 2,974 changed files with 39,630 additions and 38,104 deletions.
Original file line number Diff line number Diff line change
Expand Up @@ -42,7 +42,7 @@ <h1>
<span class="label label-info">Not compatible 👼</span>
</small>
</h1>
<p>📅 <em><script>document.write(moment("2024-01-07 06:12:10 +0000", "YYYY-MM-DD HH:mm:ss Z").fromNow());</script> (2024-01-07 06:12:10 UTC)</em><p>
<p>📅 <em><script>document.write(moment("2024-01-14 21:26:23 +0000", "YYYY-MM-DD HH:mm:ss Z").fromNow());</script> (2024-01-14 21:26:23 UTC)</em><p>
<h2>Context</h2>
<pre># Packages matching: installed
# Name # Installed # Synopsis
Expand Down Expand Up @@ -132,9 +132,9 @@ <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.05.0 -&gt; ocaml-base-compiler = 3.08.2
- coq-aac-tactics = 8.10.0 -&gt; coq &lt; 8.11~ -&gt; ocaml &lt; 4.05.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.05.0 -&gt; ocaml-variants -&gt; ocaml-beta
- coq-aac-tactics = 8.10.0 -&gt; coq &lt; 8.11~ -&gt; ocaml &lt; 4.05.0 -&gt; ocaml-variants &gt;= 3.09.2 -&gt; ocaml-beta
unmet availability conditions: &#39;enable-ocaml-beta-repository&#39;
No solution found, exiting
</pre></dd>
Expand Down
Original file line number Diff line number Diff line change
Expand Up @@ -42,7 +42,7 @@ <h1>
<span class="label label-info">Not compatible 👼</span>
</small>
</h1>
<p>📅 <em><script>document.write(moment("2024-01-07 06:12:10 +0000", "YYYY-MM-DD HH:mm:ss Z").fromNow());</script> (2024-01-07 06:12:10 UTC)</em><p>
<p>📅 <em><script>document.write(moment("2024-01-14 21:26:23 +0000", "YYYY-MM-DD HH:mm:ss Z").fromNow());</script> (2024-01-14 21:26:23 UTC)</em><p>
<h2>Context</h2>
<pre># Packages matching: installed
# Name # Installed # Synopsis
Expand Down Expand Up @@ -131,9 +131,9 @@ <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.05.0 -&gt; ocaml-base-compiler = 3.08.2
- coq-aac-tactics = 8.11.0 -&gt; coq &lt; 8.12~ -&gt; ocaml &lt; 4.05.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.05.0 -&gt; ocaml-variants -&gt; ocaml-beta
- coq-aac-tactics = 8.11.0 -&gt; coq &lt; 8.12~ -&gt; ocaml &lt; 4.05.0 -&gt; ocaml-variants &gt;= 3.09.2 -&gt; ocaml-beta
unmet availability conditions: &#39;enable-ocaml-beta-repository&#39;
No solution found, exiting
</pre></dd>
Expand Down
Original file line number Diff line number Diff line change
Expand Up @@ -42,7 +42,7 @@ <h1>
<span class="label label-info">Not compatible 👼</span>
</small>
</h1>
<p>📅 <em><script>document.write(moment("2024-01-07 06:12:10 +0000", "YYYY-MM-DD HH:mm:ss Z").fromNow());</script> (2024-01-07 06:12:10 UTC)</em><p>
<p>📅 <em><script>document.write(moment("2024-01-14 21:26:23 +0000", "YYYY-MM-DD HH:mm:ss Z").fromNow());</script> (2024-01-14 21:26:23 UTC)</em><p>
<h2>Context</h2>
<pre># Packages matching: installed
# Name # Installed # Synopsis
Expand Down Expand Up @@ -131,9 +131,9 @@ <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.05.0 -&gt; ocaml-base-compiler = 3.08.2
- coq-aac-tactics = 8.12.0 -&gt; coq &lt; 8.13~ -&gt; ocaml &lt; 4.05.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.05.0 -&gt; ocaml-variants -&gt; ocaml-beta
- coq-aac-tactics = 8.12.0 -&gt; coq &lt; 8.13~ -&gt; ocaml &lt; 4.05.0 -&gt; ocaml-variants &gt;= 3.09.2 -&gt; ocaml-beta
unmet availability conditions: &#39;enable-ocaml-beta-repository&#39;
No solution found, exiting
</pre></dd>
Expand Down
Original file line number Diff line number Diff line change
Expand Up @@ -42,7 +42,7 @@ <h1>
<span class="label label-info">Not compatible 👼</span>
</small>
</h1>
<p>📅 <em><script>document.write(moment("2024-01-07 06:12:10 +0000", "YYYY-MM-DD HH:mm:ss Z").fromNow());</script> (2024-01-07 06:12:10 UTC)</em><p>
<p>📅 <em><script>document.write(moment("2024-01-14 21:26:23 +0000", "YYYY-MM-DD HH:mm:ss Z").fromNow());</script> (2024-01-14 21:26:23 UTC)</em><p>
<h2>Context</h2>
<pre># Packages matching: installed
# Name # Installed # Synopsis
Expand Down Expand Up @@ -128,9 +128,9 @@ <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.08.2
- 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; ocaml-beta
- 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;
No solution found, exiting
</pre></dd>
Expand Down
Original file line number Diff line number Diff line change
Expand Up @@ -42,7 +42,7 @@ <h1>
<span class="label label-info">Not compatible 👼</span>
</small>
</h1>
<p>📅 <em><script>document.write(moment("2024-01-07 06:12:10 +0000", "YYYY-MM-DD HH:mm:ss Z").fromNow());</script> (2024-01-07 06:12:10 UTC)</em><p>
<p>📅 <em><script>document.write(moment("2024-01-14 21:26:23 +0000", "YYYY-MM-DD HH:mm:ss Z").fromNow());</script> (2024-01-14 21:26:23 UTC)</em><p>
<h2>Context</h2>
<pre># Packages matching: installed
# Name # Installed # Synopsis
Expand Down Expand Up @@ -131,12 +131,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-aac-tactics = 8.13.1 -&gt; coq &lt; 8.14~ -&gt; ocaml &lt; 4.05.0 -&gt; ocaml-base-compiler = 3.08.2
- coq-aac-tactics = 8.13.1 -&gt; coq &lt; 8.14~ -&gt; ocaml &lt; 4.05.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~
* Missing dependency:
- coq-aac-tactics = 8.13.1 -&gt; coq &lt; 8.14~ -&gt; ocaml &lt; 4.05.0 -&gt; ocaml-variants -&gt; ocaml-beta
- coq-aac-tactics = 8.13.1 -&gt; coq &lt; 8.14~ -&gt; ocaml &lt; 4.05.0 -&gt; ocaml-variants &gt;= 3.09.2 -&gt; ocaml-beta
unmet availability conditions: &#39;enable-ocaml-beta-repository&#39;
No solution found, exiting
</pre></dd>
Expand Down
Original file line number Diff line number Diff line change
Expand Up @@ -42,7 +42,7 @@ <h1>
<span class="label label-info">Not compatible 👼</span>
</small>
</h1>
<p>📅 <em><script>document.write(moment("2024-01-07 06:12:10 +0000", "YYYY-MM-DD HH:mm:ss Z").fromNow());</script> (2024-01-07 06:12:10 UTC)</em><p>
<p>📅 <em><script>document.write(moment("2024-01-14 21:26:23 +0000", "YYYY-MM-DD HH:mm:ss Z").fromNow());</script> (2024-01-14 21:26:23 UTC)</em><p>
<h2>Context</h2>
<pre># Packages matching: installed
# Name # Installed # Synopsis
Expand Down Expand Up @@ -131,12 +131,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-aac-tactics = 8.13.2 -&gt; coq &lt; 8.14~ -&gt; ocaml &lt; 4.05.0 -&gt; ocaml-base-compiler = 3.08.2
- coq-aac-tactics = 8.13.2 -&gt; coq &lt; 8.14~ -&gt; ocaml &lt; 4.05.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~
* Missing dependency:
- coq-aac-tactics = 8.13.2 -&gt; coq &lt; 8.14~ -&gt; ocaml &lt; 4.05.0 -&gt; ocaml-variants -&gt; ocaml-beta
- coq-aac-tactics = 8.13.2 -&gt; coq &lt; 8.14~ -&gt; ocaml &lt; 4.05.0 -&gt; ocaml-variants &gt;= 3.09.2 -&gt; ocaml-beta
unmet availability conditions: &#39;enable-ocaml-beta-repository&#39;
No solution found, exiting
</pre></dd>
Expand Down
Original file line number Diff line number Diff line change
Expand Up @@ -42,7 +42,7 @@ <h1>
<span class="label label-info">Not compatible 👼</span>
</small>
</h1>
<p>📅 <em><script>document.write(moment("2024-01-07 06:12:10 +0000", "YYYY-MM-DD HH:mm:ss Z").fromNow());</script> (2024-01-07 06:12:10 UTC)</em><p>
<p>📅 <em><script>document.write(moment("2024-01-14 21:26:23 +0000", "YYYY-MM-DD HH:mm:ss Z").fromNow());</script> (2024-01-14 21:26:23 UTC)</em><p>
<h2>Context</h2>
<pre># Packages matching: installed
# Name # Installed # Synopsis
Expand Down Expand Up @@ -131,12 +131,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-aac-tactics = 8.14.0 -&gt; coq &lt; 8.15~ -&gt; ocaml &lt; 4.05.0 -&gt; ocaml-base-compiler = 3.08.2
- coq-aac-tactics = 8.14.0 -&gt; coq &lt; 8.15~ -&gt; ocaml &lt; 4.05.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~
* Missing dependency:
- coq-aac-tactics = 8.14.0 -&gt; coq &lt; 8.15~ -&gt; ocaml &lt; 4.05.0 -&gt; ocaml-variants -&gt; ocaml-beta
- coq-aac-tactics = 8.14.0 -&gt; coq &lt; 8.15~ -&gt; ocaml &lt; 4.05.0 -&gt; ocaml-variants &gt;= 3.09.2 -&gt; ocaml-beta
unmet availability conditions: &#39;enable-ocaml-beta-repository&#39;
No solution found, exiting
</pre></dd>
Expand Down
Original file line number Diff line number Diff line change
Expand Up @@ -42,7 +42,7 @@ <h1>
<span class="label label-info">Not compatible 👼</span>
</small>
</h1>
<p>📅 <em><script>document.write(moment("2024-01-07 06:12:10 +0000", "YYYY-MM-DD HH:mm:ss Z").fromNow());</script> (2024-01-07 06:12:10 UTC)</em><p>
<p>📅 <em><script>document.write(moment("2024-01-14 21:26:23 +0000", "YYYY-MM-DD HH:mm:ss Z").fromNow());</script> (2024-01-14 21:26:23 UTC)</em><p>
<h2>Context</h2>
<pre># Packages matching: installed
# Name # Installed # Synopsis
Expand Down Expand Up @@ -131,12 +131,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-aac-tactics = 8.14.1 -&gt; coq &lt; 8.15~ -&gt; ocaml &lt; 4.05.0 -&gt; ocaml-base-compiler = 3.08.2
- coq-aac-tactics = 8.14.1 -&gt; coq &lt; 8.15~ -&gt; ocaml &lt; 4.05.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~
* Missing dependency:
- coq-aac-tactics = 8.14.1 -&gt; coq &lt; 8.15~ -&gt; ocaml &lt; 4.05.0 -&gt; ocaml-variants -&gt; ocaml-beta
- coq-aac-tactics = 8.14.1 -&gt; coq &lt; 8.15~ -&gt; ocaml &lt; 4.05.0 -&gt; ocaml-variants &gt;= 3.09.2 -&gt; ocaml-beta
unmet availability conditions: &#39;enable-ocaml-beta-repository&#39;
No solution found, exiting
</pre></dd>
Expand Down
Original file line number Diff line number Diff line change
Expand Up @@ -42,7 +42,7 @@ <h1>
<span class="label label-info">Not compatible 👼</span>
</small>
</h1>
<p>📅 <em><script>document.write(moment("2024-01-07 06:12:10 +0000", "YYYY-MM-DD HH:mm:ss Z").fromNow());</script> (2024-01-07 06:12:10 UTC)</em><p>
<p>📅 <em><script>document.write(moment("2024-01-14 21:26:23 +0000", "YYYY-MM-DD HH:mm:ss Z").fromNow());</script> (2024-01-14 21:26:23 UTC)</em><p>
<h2>Context</h2>
<pre># Packages matching: installed
# Name # Installed # Synopsis
Expand Down Expand Up @@ -131,12 +131,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-aac-tactics = 8.15.0 -&gt; coq &lt; 8.16~ -&gt; ocaml &lt; 4.05.0 -&gt; ocaml-base-compiler = 3.08.2
- coq-aac-tactics = 8.15.0 -&gt; coq &lt; 8.16~ -&gt; ocaml &lt; 4.05.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~
* Missing dependency:
- coq-aac-tactics = 8.15.0 -&gt; coq &lt; 8.16~ -&gt; ocaml &lt; 4.05.0 -&gt; ocaml-variants -&gt; ocaml-beta
- coq-aac-tactics = 8.15.0 -&gt; coq &lt; 8.16~ -&gt; ocaml &lt; 4.05.0 -&gt; ocaml-variants &gt;= 3.09.2 -&gt; ocaml-beta
unmet availability conditions: &#39;enable-ocaml-beta-repository&#39;
No solution found, exiting
</pre></dd>
Expand Down
Original file line number Diff line number Diff line change
Expand Up @@ -42,7 +42,7 @@ <h1>
<span class="label label-info">Not compatible 👼</span>
</small>
</h1>
<p>📅 <em><script>document.write(moment("2024-01-07 06:12:10 +0000", "YYYY-MM-DD HH:mm:ss Z").fromNow());</script> (2024-01-07 06:12:10 UTC)</em><p>
<p>📅 <em><script>document.write(moment("2024-01-14 21:26:23 +0000", "YYYY-MM-DD HH:mm:ss Z").fromNow());</script> (2024-01-14 21:26:23 UTC)</em><p>
<h2>Context</h2>
<pre># Packages matching: installed
# Name # Installed # Synopsis
Expand Down Expand Up @@ -131,12 +131,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-aac-tactics = 8.15.1 -&gt; coq &lt; 8.16~ -&gt; ocaml &lt; 4.05.0 -&gt; ocaml-base-compiler = 3.08.2
- coq-aac-tactics = 8.15.1 -&gt; coq &lt; 8.16~ -&gt; ocaml &lt; 4.05.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~
* Missing dependency:
- coq-aac-tactics = 8.15.1 -&gt; coq &lt; 8.16~ -&gt; ocaml &lt; 4.05.0 -&gt; ocaml-variants -&gt; ocaml-beta
- coq-aac-tactics = 8.15.1 -&gt; coq &lt; 8.16~ -&gt; ocaml &lt; 4.05.0 -&gt; ocaml-variants &gt;= 3.09.2 -&gt; ocaml-beta
unmet availability conditions: &#39;enable-ocaml-beta-repository&#39;
No solution found, exiting
</pre></dd>
Expand Down
Original file line number Diff line number Diff line change
Expand Up @@ -42,7 +42,7 @@ <h1>
<span class="label label-info">Not compatible 👼</span>
</small>
</h1>
<p>📅 <em><script>document.write(moment("2024-01-07 06:12:10 +0000", "YYYY-MM-DD HH:mm:ss Z").fromNow());</script> (2024-01-07 06:12:10 UTC)</em><p>
<p>📅 <em><script>document.write(moment("2024-01-14 21:26:23 +0000", "YYYY-MM-DD HH:mm:ss Z").fromNow());</script> (2024-01-14 21:26:23 UTC)</em><p>
<h2>Context</h2>
<pre># Packages matching: installed
# Name # Installed # Synopsis
Expand Down Expand Up @@ -131,12 +131,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-aac-tactics = 8.16.0 -&gt; coq &lt; 8.17~ -&gt; ocaml &lt; 4.05.0 -&gt; ocaml-base-compiler = 3.08.2
- coq-aac-tactics = 8.16.0 -&gt; coq &lt; 8.17~ -&gt; ocaml &lt; 4.05.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~
* Missing dependency:
- coq-aac-tactics = 8.16.0 -&gt; coq &lt; 8.17~ -&gt; ocaml &lt; 4.05.0 -&gt; ocaml-variants -&gt; ocaml-beta
- coq-aac-tactics = 8.16.0 -&gt; coq &lt; 8.17~ -&gt; ocaml &lt; 4.05.0 -&gt; ocaml-variants &gt;= 3.09.2 -&gt; ocaml-beta
unmet availability conditions: &#39;enable-ocaml-beta-repository&#39;
No solution found, exiting
</pre></dd>
Expand Down
Original file line number Diff line number Diff line change
Expand Up @@ -42,7 +42,7 @@ <h1>
<span class="label label-info">Not compatible 👼</span>
</small>
</h1>
<p>📅 <em><script>document.write(moment("2024-01-07 06:12:10 +0000", "YYYY-MM-DD HH:mm:ss Z").fromNow());</script> (2024-01-07 06:12:10 UTC)</em><p>
<p>📅 <em><script>document.write(moment("2024-01-14 21:26:23 +0000", "YYYY-MM-DD HH:mm:ss Z").fromNow());</script> (2024-01-14 21:26:23 UTC)</em><p>
<h2>Context</h2>
<pre># Packages matching: installed
# Name # Installed # Synopsis
Expand Down Expand Up @@ -131,12 +131,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-aac-tactics = 8.17.0 -&gt; coq &lt; 8.18 -&gt; ocaml &lt; 4.05.0 -&gt; ocaml-base-compiler = 3.08.2
- coq-aac-tactics = 8.17.0 -&gt; coq &lt; 8.18 -&gt; ocaml &lt; 4.05.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.17.0 -&gt; coq &lt; 8.18
* Missing dependency:
- coq-aac-tactics = 8.17.0 -&gt; coq &lt; 8.18 -&gt; ocaml &lt; 4.05.0 -&gt; ocaml-variants -&gt; ocaml-beta
- coq-aac-tactics = 8.17.0 -&gt; coq &lt; 8.18 -&gt; ocaml &lt; 4.05.0 -&gt; ocaml-variants &gt;= 3.09.2 -&gt; ocaml-beta
unmet availability conditions: &#39;enable-ocaml-beta-repository&#39;
No solution found, exiting
</pre></dd>
Expand Down
Original file line number Diff line number Diff line change
Expand Up @@ -42,7 +42,7 @@ <h1>
<span class="label label-info">Not compatible 👼</span>
</small>
</h1>
<p>📅 <em><script>document.write(moment("2024-01-07 06:12:10 +0000", "YYYY-MM-DD HH:mm:ss Z").fromNow());</script> (2024-01-07 06:12:10 UTC)</em><p>
<p>📅 <em><script>document.write(moment("2024-01-14 21:26:23 +0000", "YYYY-MM-DD HH:mm:ss Z").fromNow());</script> (2024-01-14 21:26:23 UTC)</em><p>
<h2>Context</h2>
<pre># Packages matching: installed
# Name # Installed # Synopsis
Expand Down Expand Up @@ -131,12 +131,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-aac-tactics = 8.18.0 -&gt; coq &lt; 8.19 -&gt; ocaml &lt; 4.05.0 -&gt; ocaml-base-compiler = 3.08.2
- coq-aac-tactics = 8.18.0 -&gt; coq &lt; 8.19 -&gt; ocaml &lt; 4.05.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.18.0 -&gt; coq &lt; 8.19
* Missing dependency:
- coq-aac-tactics = 8.18.0 -&gt; coq &lt; 8.19 -&gt; ocaml &lt; 4.05.0 -&gt; ocaml-variants -&gt; ocaml-beta
- coq-aac-tactics = 8.18.0 -&gt; coq &lt; 8.19 -&gt; ocaml &lt; 4.05.0 -&gt; ocaml-variants &gt;= 3.09.2 -&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 adebff4

Please sign in to comment.