Publishing details
-
Published
-
Copied from
debian sid in
Primary Archive for Debian GNU/Linux
Changelog
picosat (965-2) unstable; urgency=medium
* Use dpkg buildtools.mk supply cross tools via environment
- Thank you, Helmut Grohne! (Closes: #978542)
* Add myself to uploaders
* Add "Rules-Requires-Root: no"
* Propagate hardening options properly
-- Nilesh Patra <email address hidden> Sun, 21 Feb 2021 12:17:23 +0530
Builds
Built packages
-
picosat
SAT solver with proof and core support
-
picosat-dbgsym
debug symbols for picosat
Package files