opam_2.0.0-3_amd64.changes ACCEPTED into unstable

2018-09-08 Thread Debian FTP Masters
Accepted: -BEGIN PGP SIGNED MESSAGE- Hash: SHA256 Format: 1.8 Date: Sat, 08 Sep 2018 02:04:24 +0200 Source: opam Binary: opam opam-docs opam-installer Architecture: source amd64 all Version: 2.0.0-3 Distribution: unstable Urgency: high Maintainer: Debian OCaml Maintainers Changed-By:

Processing of opam_2.0.0-3_amd64.changes

2018-09-08 Thread Debian FTP Masters
opam_2.0.0-3_amd64.changes uploaded successfully to localhost along with the files: opam_2.0.0-3.dsc opam_2.0.0-3.debian.tar.xz opam-dbgsym_2.0.0-3_amd64.deb opam-docs_2.0.0-3_all.deb opam-installer-dbgsym_2.0.0-3_amd64.deb opam-installer_2.0.0-3_amd64.deb opam_2.0.0-3_amd64.buildinfo

Bug#907403: marked as done (opam-installer: missing Replaces: opam-docs (<< 2.0.0))

2018-09-08 Thread Debian Bug Tracking System
Your message dated Sat, 08 Sep 2018 23:49:47 + with message-id and subject line Bug#907403: fixed in opam 2.0.0-3 has caused the Debian Bug report #907403, regarding opam-installer: missing Replaces: opam-docs (<< 2.0.0) to be marked as done. This means that you claim that the problem has bee

Bug#908203: opam: Should not depend on aspcud any more

2018-09-08 Thread Mehdi Dogguy
Hi Ralf, On 2018-09-07 12:42, Ralf Jung wrote: Package: opam Version: 2.0.0-2 Severity: normal Dear Maintainer, Quoting from https://opam.ocaml.org/doc/2.0/External_solvers.html: As of 2.0.0, opam comes with a CUDF solver built-in by default, so unless you have specifically compiled without

Bug#907636: opam: "opam init" calls gringo that requires 3GB of memory

2018-09-08 Thread Samuel Hym
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 too fast, before updating my

Bug#907636: opam: "opam init" calls gringo that requires 3GB of memory

2018-09-08 Thread Samuel Hym
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