sci-mathematics/vampire – Gentoo Packages

Packages

Get Gentoo!

Bug Reports

sci-mathematics/vampire-4.8 fails to compile: Portability.hpp:23:20: error: static assertion failed: Vampire assumes that the size of a pointer is 8 bytes for efficiency reasons This may be relaxed in future, but for the moment expect problems if running
928097 - Assigned to Gentoo Science Mathematics related packages
sci-mathematics/vampire-4.9 fails to compile: Hash.hpp:292:51: error: uintptr_t does not name a type [-Wtemplate-body]
942341 - Assigned to Gentoo Science Mathematics related packages
sci-mathematics/vampire-4.9 fails to compile: Hash.hpp:291:11: error: instantiating erroneous template
944752 - Assigned to Gentoo Science Mathematics related packages
sci-mathematics/vampire-4.9 fails tests: 3 - UnificationWithAbstraction (Failed)
940574 - Assigned to Gentoo Science Mathematics related packages

Description

Gentoo Bugzilla is where we track bugs of Gentoo and its packages; you are welcome to report, confirm and resolve bugs:

Shortcuts

Packages Bugs (4)
Stabilization Bugs (0)
Keywording Bugs (0)