Processed: Bug#907636 marked as pending in opam

To: nicoo <noreply@salsa.debian.org>
Cc: debian-ocaml-maint@lists.debian.org
Subject: Processed: Bug#907636 marked as pending in opam
From: "Debian Bug Tracking System" <owner@bugs.debian.org>
Date: Wed, 14 Aug 2019 22:21:06 +0000
Message-id: <[🔎] handler.s.U907636.156582112519165.transcript@bugs.debian.org>
References: <5d5488c416d6_3aa2aea193a2eb45143@godard.mail> <153563581485.17101.10112926898953388187.reportbug@shopping.lifl.fr>

Processing control commands:

> tag -1 pending
Bug #907636 [opam] opam: "opam init" calls gringo that requires 3GB of memory
Added tag(s) pending.

-- 
907636: https://bugs.debian.org/cgi-bin/bugreport.cgi?bug=907636
Debian Bug Tracking System
Contact owner@bugs.debian.org with problems

Reply to:

Prev by Date: lablgtk3_3.0~beta6-1_source.changes REJECTED
Next by Date: Processed: Bug#908203 marked as pending in opam
Previous by thread: lablgtk3_3.0~beta6-1_source.changes REJECTED
Next by thread: Processed: Bug#908203 marked as pending in opam
Index(es):
- Date
- Thread