Hello,
This is fixed in the new upstream version, 1.3.0, recently released.
Best regards,
Samuel
--
To UNSUBSCRIBE, email to debian-ocaml-maint-requ...@lists.debian.org
with a subject of "unsubscribe". Trouble? Contact listmas...@lists.debian.org
Archive:
http://lists.debian.org/capf38cj3opqp
Source: ssreflect
Severity: normal
Dear Maintainer,
The current version of ssreflect package (and mathcomp) in testing and
unstable isn’t compatible with the current version of coq.
Upstream released version 1.6 six months ago (and moved their web page
to github).
I hope that updating to the new
Package: opam
Version: 2.0.0-1
Severity: normal
Dear Maintainer,
I ran "opam init" on my little machine that has only 2GB of RAM and
had to kill it after gringo had gobbled all the available memory.
I just tried on a bigger computer to see that it peaks at 3 or 4GB,
making it unusable on small ma
Hi Nicolas,
Le 08 septembre 2018 à 02h27, Nicolas Braud-Santoni disait :
> Can you try giving the flag --use-internal-solver to opam ?
I had tried but the internal solver seems to be disabled.
--- 8< ---
<><> Creating initial switch (ocaml-system>=4.02.3) <><><><><><><><><><><><><><>
[ERROR] N
Le 08 septembre 2018 à 13h23, Samuel Hym disait :
> Hi Nicolas,
>
> Le 08 septembre 2018 à 02h27, Nicolas Braud-Santoni disait :
>
> > Can you try giving the flag --use-internal-solver to opam ?
>
> I had tried but the internal solver seems to be disabled.
I talked t
5 matches
Mail list logo
