minisat+ 1.0-3 source package in Ubuntu
Changelog
minisat+ (1.0-3) unstable; urgency=medium
* debian/copyright: machine-readable format 1.0
* Standards-version 3.9.8 (no change)
* Debhelper compatibility level 10:
- bump debian/compat
- bump build-dependency on debhelper
* Vcs-{Git,Browser}: secure URI
* patch spelling: fix typo in help text
* add as-installed package test
-- Ralf Treinen <email address hidden> Mon, 19 Dec 2016 08:06:16 +0100
Upload details
- Uploaded by:
- Debian Science Team
- Uploaded to:
- Sid
- Original maintainer:
- Debian Science Team
- Architectures:
- any
- Section:
- science
- Urgency:
- Medium Urgency
See full publishing history Publishing
| Series | Published | Component | Section |
|---|
Downloads
| File | Size | SHA-256 Checksum |
|---|---|---|
| minisat+_1.0-3.dsc | 1.9 KiB | dba32c15278312aa1beb3cd542c34904972b227ea2d36291ffe4b326574ef18b |
| minisat+_1.0.orig.tar.gz | 78.1 KiB | f81e8dd76de9d2219e4b555f65354be2f8582f4575b5cc5b5bf34b71f1bd7f4b |
| minisat+_1.0-3.debian.tar.xz | 4.0 KiB | 733bc1615f749e9882ec3f0ce73069c97b4236ef363fc1c9c795a2b5f25ffd12 |
Available diffs
- diff from 1.0-2 (in Ubuntu) to 1.0-3 (2.0 KiB)
No changes file available.
Binary packages built by this source
- minisat+: No summary available for minisat+ in ubuntu zesty.
No description available for minisat+ in ubuntu zesty.
- minisat+-dbgsym: No summary available for minisat+-dbgsym in ubuntu zesty.
No description available for minisat+-dbgsym in ubuntu zesty.
