Bug#818331: aac-tactics: FTBFS: constructor vcons (in type vT) expects 2 arguments
Package: aac-tactics
Version: 0.4-5
Severity: serious
This package fails to build in unstable:
> sbuild (Debian sbuild) 0.68.0 (15 Jan 2016) on dl580gen9-02.hlinux
...
> make[4]: Entering directory '/<<PKGBUILDDIR>>'
> "coqc" -q -opt -R "." AAC_tactics AAC
> File "./AAC.v", line 497, characters 8-20:
> Error: The constructor vcons (in type vT) expects 2 arguments.
> Makefile.coq:424: recipe for target 'AAC.vo' failed
> make[4]: *** [AAC.vo] Error 1
> make[4]: Leaving directory '/<<PKGBUILDDIR>>'
--
Martin Michlmayr
Linux for HPE Helion, Hewlett Packard Enterprise
Reply to: