I'm working around this bug in the next version of the CVC3 package by removing kfreebsd-amd64 from the supported architectures of libcvc3-jni. If anybody could provide advice on a proper fix, it would be greatly appreciated.
-- To UNSUBSCRIBE, email to [email protected] with a subject of "unsubscribe". Trouble? Contact [email protected]
