Public bug reported:
Imported from Debian bug http://bugs.debian.org/707585:
Package: why
Version: 2.30+dfsg-5
Severity: serious
why fails to build in unstable as follows:
coqc -R lib/coq Why lib/coq/WhyInt.v
coqc -R lib/coq Why lib/coq/WhyArrays.v
coqc -R lib/coq Why lib/coq/WhyBool.v
coqc -R lib/coq Why lib/coq/WhyTuples.v
File "/«BUILDDIR»/why-2.30+dfsg/lib/coq/WhyTuples.v", line 24, characters 28-32:
Error: Cannot infer the implicit parameter A of pair.
make[1]: *** [lib/coq/WhyTuples.vo] Error 1
Thanks,
--
Colin Watson [cjwat...@debian.org]
** Affects: why (Ubuntu)
Importance: High
Status: New
** Affects: why (Debian)
Importance: Undecided
Status: New
** Tags: ftbfs trusty
** Bug watch added: Debian Bug tracker #707585
http://bugs.debian.org/cgi-bin/bugreport.cgi?bug=707585
** Changed in: why (Debian)
Remote watch: None => Debian Bug tracker #707585
** Changed in: why (Ubuntu)
Importance: Undecided => High
** Tags added: ftbfs trusty
--
You received this bug notification because you are a member of Ubuntu
Bugs, which is subscribed to Ubuntu.
https://bugs.launchpad.net/bugs/1256317
Title:
why: FTBFS in unstable
To manage notifications about this bug go to:
https://bugs.launchpad.net/ubuntu/+source/why/+bug/1256317/+subscriptions
--
ubuntu-bugs mailing list
ubuntu-bugs@lists.ubuntu.com
https://lists.ubuntu.com/mailman/listinfo/ubuntu-bugs
