Version annotated: | 1.5.118.6b56be4.121013-1 | ||||
Identified issues: |
|
||||
Comments: |
Embed build time, hostname, and kernel version: https://sources.debian.net/src/boolector/1.5.118.6b56be4.121013-1/lingeling/mkconfig/?hl=16:17#L16 |
||||
Our notes about issues affecting packages are stored in notes.git and are targeted at packages in Debian in 'unstable/amd64' (unless they say otherwise). |