UDD
Skip Quicknav
Ultimate Database
Bugs search
Maintainer dashboard
Lintian
Lintian tags
Patches
Bugs usertags
Patches
Debian Patches
Status for hol-light/1:3.0.0-2
Search:
Patch
Description
Author
Forwarded
Bugs
Origin
Last update
cd-holtest-parallel.patch
cd for holtest_parallel because it works only in that directory
Hendrik Tews <hendrik@askra.de>
no
2020-02-12
holtest-no-proof-recording.patch
don't build the proof-recording version as part of the test suite
Hendrik Tews <hendrik@askra.de>
no
2020-02-12
Showing 1 to 2 of 2 entries
All known versions for source package 'hol-light'
1:3.0.0-2
(trixie, sid)
20230128-1
(bookworm)
20190729-4
(bullseye)
Links
Package Tracker for 'hol-light'
Debian Maintainer Dashboard for 'hol-light'
Browse sources for 'hol-light/1:3.0.0-2' on sources.debian.org
DEP3: Patch Tagging Guidelines