Bug#521918: eprover: FTBFS with binary-arch build

[Jakub Wilk]

* Nikita V. Youshchenko <yoush at debian.org>, 2009-11-24, 21:16:
>Patch suggested by ubuntu is broken: build target mush build 
>everything, including arch-independed part. See Debian Policy, sec.  
>4.9.

I think you missed the point. This bug is all about working around 
deficiencies in this particular point of the Policy.

-- 
Jakub Wilk