Bug#818331: aac-tactics: FTBFS: constructor vcons (in type vT) expects 2 arguments

To: Mehdi Dogguy <mehdi@dogguy.org>
Cc: 818331@bugs.debian.org
Subject: Bug#818331: aac-tactics: FTBFS: constructor vcons (in type vT) expects 2 arguments
From: Martin Michlmayr <tbm@hpe.com>
Date: Sat, 19 Mar 2016 11:12:37 -0400
Message-id: <[🔎] 20160319151237.GS7491@jirafa.cyrius.com>
Reply-to: Martin Michlmayr <tbm@hpe.com>, 818331@bugs.debian.org
In-reply-to: <[🔎] 56ED147C.7040704@dogguy.org>
References: <20160316010052.807D412B192@dl580gen9-02.hlinux> <[🔎] 20160316011354.GA16778@jirafa.cyrius.com> <[🔎] 56ED147C.7040704@dogguy.org>

* Mehdi Dogguy <mehdi@dogguy.org> [2016-03-19 09:57]:
> This looks like a duplicate of #813459.

Yes, I must have missed that, sorry.

-- 
Martin Michlmayr
Linux for HPE Helion, Hewlett Packard Enterprise

Reply to:

References:
- Bug#818331: aac-tactics: FTBFS: constructor vcons (in type vT) expects 2 arguments
  - From: Martin Michlmayr <tbm@hpe.com>
- Bug#818331: aac-tactics: FTBFS: constructor vcons (in type vT) expects 2 arguments
  - From: Mehdi Dogguy <mehdi@dogguy.org>

Prev by Date: opam_1.2.2-5_amd64.changes ACCEPTED into unstable
Next by Date: Re: Status of Coq-related packages
Previous by thread: Bug#818331: aac-tactics: FTBFS: constructor vcons (in type vT) expects 2 arguments
Next by thread: Processing of camlimages_4.2.0-1.1_amd64.changes
Index(es):
- Date
- Thread