Control: forcemerge 813459 818331 Hi,
On 16/03/2016 02:13, Martin Michlmayr wrote: > 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>>' > This looks like a duplicate of #813459. Regards, -- Mehdi
