While running opam install [packages], several packages installed fine and then one failed with:<div><br></div><div><div>The compilation of oasis.0.3.0 failed in /home/aa144/.opam/3.12.1/build/oasis.0.3.0.</div><div>cannot unlock /home/aa144/.opam/3.12.1/lock (29885)</div>

</div><div><br></div><div>I was running &#39;opam list&#39; in another window, so perhaps that caused some problems. After this, most commands kept failing with the same error until I manually removed the lock file. But still I get the following errors:</div>

<div><br></div><div><div>$ opam switch system</div><div>  &#39;opam.opt switch system&#39; failed</div><div><br></div><div>Fatal error: exception End_of_file</div><div>    at</div><div> Raised at file &quot;<a href="http://pervasives.ml">pervasives.ml</a>&quot;, line 333, characters 20-31</div>

<div>Called from file &quot;src/opamSystem.ml&quot;, line 396, characters 12-25</div><div>Called from file &quot;src/opamFilename.ml&quot;, line 251, characters 4-39</div><div>Called from file &quot;src/opamFilename.ml&quot;, line 247, characters 12-15</div>

<div>Re-raised at file &quot;src/opamFilename.ml&quot;, line 252, characters 10-11</div><div>Called from file &quot;src/opamFilename.ml&quot;, line 247, characters 12-15</div><div>Re-raised at file &quot;src/opamFilename.ml&quot;, line 252, characters 10-11</div>

<div>Called from file &quot;src/opamMain.ml&quot;, line 480, characters 6-102</div><div><br></div><div>$ opam install oasis</div><div>  &#39;opam.opt install oasis&#39; failed</div><div><br></div><div>Fatal error: exception End_of_file</div>

<div>    at</div><div> Raised at file &quot;<a href="http://pervasives.ml">pervasives.ml</a>&quot;, line 333, characters 20-31</div><div>Called from file &quot;src/opamSystem.ml&quot;, line 396, characters 12-25</div><div>

Called from file &quot;src/opamFilename.ml&quot;, line 251, characters 4-39</div><div>Called from file &quot;src/opamMain.ml&quot;, line 480, characters 6-102</div></div><div><br></div>