Summary: | sci-mathematics/nusmv-2.3.1 segfaults when loading a simple model | ||
---|---|---|---|
Product: | Gentoo Linux | Reporter: | Panard <panard> |
Component: | Current packages | Assignee: | Robin Johnson <robbat2> |
Status: | RESOLVED WONTFIX | ||
Severity: | normal | CC: | sci-mathematics, treecleaner |
Priority: | High | Keywords: | PMASKED |
Version: | unspecified | Flags: | robbat2:
Bugday+
|
Hardware: | AMD64 | ||
OS: | Linux | ||
Whiteboard: | |||
Package list: | Runtime testing required: | --- | |
Attachments: | crashing model |
Description
Panard
2010-12-06 18:01:55 UTC
Created attachment 256512 [details]
crashing model
How about 2.5.0? Works great with 2.5.0 ! 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(+) |