{"bugs":[{"bugid":928437,"firstseen":"2025-07-11T02:48:40.189262","severity":"normal","status":"CONFIRMED","summary":"sci-mathematics\/verifpal-0.27.0 fails tests: panic: runtime error: invalid memory address or nil pointer dereference"},{"bugid":960274,"firstseen":"2025-07-16T08:47:38.355722","severity":"normal","status":"CONFIRMED","summary":"sci-mathematics\/verifpal-0.27.0 - [jdk25] QA Notice: Pre-stripped files found:"}],"categories":[{"categoryid":317,"name":"sci-mathematics","summary":"The sci-mathematics category contains mathematical software."}],"changelog":[{"authoremail":"repomirrorci@gentoo.org","authorname":"Repository mirror & CI","commitid":"eae98e4f8833494da731110b8532d5065f799a33","committime":"2023-08-13T19:31:32","packageid":76385,"repoid":1,"summary":"Merge updates from master"},{"authoremail":"xgqt@gentoo.org","authorname":"Maciej Barć","body":"Signed-off-by: Maciej Barć ","commitid":"f5770fff2fb5fbbf1858672ddce3533c4ea4df6c","committime":"2023-08-13T19:19:37","packageid":76385,"repoid":1,"summary":"sci-mathematics\/verifpal: new package; add 0.27.0"}],"dependencies":[],"depending":[],"ebuilds":[{"archs":["~amd64","~x86"],"ebuildid":796365,"firstseen":"2023-08-13T20:46:13.170863","license":"GPL-3+","moddate":"2026-03-28T18:04:21","packageid":76385,"repoid":1,"slot":"0","uses":[],"version":"0.27.0"}],"masks":[],"package":{"categoryid":317,"description":"Cryptographic protocol analysis for real-world protocols","firstseen":"2023-08-13T20:46:13.170863","name":"verifpal","packageid":76385,"summary":"Verifpal is new software for verifying the security of cryptographic protocols. Building upon contemporary research in symbolic formal verification, Verifpal’s main aim is to appeal more to real-world practitioners, students and engineers without sacrificing comprehensive formal verification features."},"rdependencies":[],"repos":[{"branch":"master","lastcommit":"1f58741385367db432e79500a838ced67b2a773d","name":"gentoo","path":"\/usr\/portage","repoid":1,"upstream":"origin"}],"tracked":false,"urls":["https:\/\/source.symbolic.software\/verifpal\/verifpal\/","https:\/\/verifpal.com\/"],"uses":[]}