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

To: 813459@bugs.debian.org
Subject: Bug#813459: Bug #813459: aac-tactics: FTBFS: Error: The constructor vcons (in type vT) expects 2 arguments
From: Nicolas Braud-Santoni <nicolas@braud-santoni.eu>
Date: Sat, 23 Jul 2016 17:03:12 -0400
Message-id: <[🔎] 20160723210312.GA29882@harbard>
Reply-to: Nicolas Braud-Santoni <nicolas@braud-santoni.eu>, 813459@bugs.debian.org

Control: tag -1 pending

Hi,

I prepared an upload for an up-to-date version of aac-tactics,
which (obviously) solves the FTBFS.

I should push it to alioth in the evening.


Best,

  nicoo

Reply to:

Prev by Date: Bug#813596: coq-float and why cannot be built with Coq 8.5 (Bugs #813596 and #815684)
Next by Date: Processed: Bug #813459: aac-tactics: FTBFS: Error: The constructor vcons (in type vT) expects 2 arguments
Previous by thread: Processed: Bug #715070: Broken library symlink detected in libapron-dev
Next by thread: Processed: Bug #813459: aac-tactics: FTBFS: Error: The constructor vcons (in type vT) expects 2 arguments
Index(es):
- Date
- Thread