tml#TYPEname_set">OpamTypes.name_set</a> -> <a href="OpamTypes.html#TYPEatom">OpamTypes.atom</a> list</code></pre><div class="info ">
Return a list of atoms from a list of names (wich can eventually
    be of the form name.version). Unless <code class="code">permissive</code> is set, will abort in
    case the package is not available<br>
</div>

<pre><span id="VALcheck_availability"><span class="keyword">val</span> check_availability</span> : <code class="type"><a href="OpamState.html#TYPEstate">OpamState.