Home
FAQ
Debian Bugs
Security
Release Critical
FTBFS
FTCBFS
Recently Updated
Recently Created
Within 30 days
Within 90 days
Newcomer
Security
Help wanted
Accessibility
Architecture
Teams
Ruby
Python
Input Method
Stats
Bugs
Packages
Teams
Search
Debian Bugs
Security
Release Critical
FTBFS
FTCBFS
Recently Updated
Recently Created
Within 30 days
Within 90 days
Newcomer
Help wanted
Accessibility
Architecture
Teams
Ruby
Python
Input Method
QA
Stats
Bugs
Packages
Teams
#898514
hol-light: Loading verifier/m_verifier_main.hl from Formal_ineqs crashes with "Signal -7"
#898514
Package:
hol-light
Source:
hol-light
Description:
HOL Light theorem prover
Submitter:
Matthias Koeppe
Date:
2018-05-13 17:39:03 UTC
Severity:
normal
Just Reply to ...
Patch
Need moreinfo
Fixed-upstream
Pending
Close
Reply to submitter ...
Patch
Need moreinfo
Fixed-upstream
Pending
Close
Send control command (Silently)
Patch
Need moreinfo
Fixed-upstream
Pending
Set Architecture Tags (Silently)
armel
armhf
arm64
hurd-i386
mips64el
mipsel
ppc64
ppc64el
riscv64
sparc64
sh
sh4
s390