Summary: | sci-mathematics/nusmv-2.5.2 USE=minisat - SolverTypes.h:126:56: error: cast from 'void*' to 'int' loses precision | ||
---|---|---|---|
Product: | Gentoo Linux | Reporter: | Hans-Peter Deifel <hpdeifel> |
Component: | Current packages | Assignee: | Robin Johnson <robbat2> |
Status: | RESOLVED WONTFIX | ||
Severity: | normal | CC: | sci-mathematics, treecleaner |
Priority: | Normal | Keywords: | PMASKED |
Version: | unspecified | ||
Hardware: | All | ||
OS: | Linux | ||
Whiteboard: | |||
Package list: | Runtime testing required: | --- | |
Attachments: | build log |
Description
Hans-Peter Deifel
2013-01-11 12:12:34 UTC
Created attachment 335174 [details]
build log
The bug has been referenced in the following commit(s): https://gitweb.gentoo.org/repo/gentoo.git/commit/?id=22666562349d00d8680b3bce5334ec3ac1032f83 commit 22666562349d00d8680b3bce5334ec3ac1032f83 Author: David Seifert <soap@gentoo.org> AuthorDate: 2019-12-07 23:49:14 +0000 Commit: David Seifert <soap@gentoo.org> CommitDate: 2019-12-07 23:49:14 +0000 profiles: Mask sci-mathematics/nusmv for removal Bug: https://bugs.gentoo.org/343743 Bug: https://bugs.gentoo.org/347928 Bug: https://bugs.gentoo.org/451394 Bug: https://bugs.gentoo.org/547714 Bug: https://bugs.gentoo.org/623756 Bug: https://bugs.gentoo.org/697562 Signed-off-by: David Seifert <soap@gentoo.org> profiles/package.mask | 6 ++++++ 1 file changed, 6 insertions(+) |