Deployed 0bad968 to 0.7.1 with MkDocs 1.6.0 and mike 2.1.1

This commit is contained in:
Sergiu Deitsch 2024-06-11 20:03:45 +01:00
parent fed297f680
commit f0614127a4
2 changed files with 4 additions and 4 deletions

View File

@ -641,9 +641,9 @@ tool, add the following lines to your <code>WORKSPACE</code> file:</p>
</span><span id="__span-0-9"><a id="__codelineno-0-9" name="__codelineno-0-9" href="#__codelineno-0-9"></a>
</span><span id="__span-0-10"><a id="__codelineno-0-10" name="__codelineno-0-10" href="#__codelineno-0-10"></a><span class="n">http_archive</span><span class="p">(</span>
</span><span id="__span-0-11"><a id="__codelineno-0-11" name="__codelineno-0-11" href="#__codelineno-0-11"></a> <span class="n">name</span> <span class="o">=</span> <span class="s2">&quot;com_github_google_glog&quot;</span><span class="p">,</span>
</span><span id="__span-0-12"><a id="__codelineno-0-12" name="__codelineno-0-12" href="#__codelineno-0-12"></a> <span class="n">sha256</span> <span class="o">=</span> <span class="s2">&quot;122fb6b712808ef43fbf80f75c52a21c9760683dae470154f02bddfc61135022&quot;</span><span class="p">,</span>
</span><span id="__span-0-13"><a id="__codelineno-0-13" name="__codelineno-0-13" href="#__codelineno-0-13"></a> <span class="n">strip_prefix</span> <span class="o">=</span> <span class="s2">&quot;glog-0.6.0&quot;</span><span class="p">,</span>
</span><span id="__span-0-14"><a id="__codelineno-0-14" name="__codelineno-0-14" href="#__codelineno-0-14"></a> <span class="n">urls</span> <span class="o">=</span> <span class="p">[</span><span class="s2">&quot;https://github.com/google/glog/archive/v0.6.0.zip&quot;</span><span class="p">],</span>
</span><span id="__span-0-12"><a id="__codelineno-0-12" name="__codelineno-0-12" href="#__codelineno-0-12"></a> <span class="n">sha256</span> <span class="o">=</span> <span class="s2">&quot;c17d85c03ad9630006ef32c7be7c65656aba2e7e2fbfc82226b7e680c771fc88&quot;</span><span class="p">,</span>
</span><span id="__span-0-13"><a id="__codelineno-0-13" name="__codelineno-0-13" href="#__codelineno-0-13"></a> <span class="n">strip_prefix</span> <span class="o">=</span> <span class="s2">&quot;glog-0.7.1&quot;</span><span class="p">,</span>
</span><span id="__span-0-14"><a id="__codelineno-0-14" name="__codelineno-0-14" href="#__codelineno-0-14"></a> <span class="n">urls</span> <span class="o">=</span> <span class="p">[</span><span class="s2">&quot;https://github.com/google/glog/archive/v0.7.1.zip&quot;</span><span class="p">],</span>
</span><span id="__span-0-15"><a id="__codelineno-0-15" name="__codelineno-0-15" href="#__codelineno-0-15"></a><span class="p">)</span>
</span></code></pre></div>
<p>You can then add <code>@com_github_google_glog//:glog</code> to

File diff suppressed because one or more lines are too long