Go
Register
|
Log in
Subscribe
kissat
Keep it simple and clean bare metal SAT solver
×
Choose email to subscribe with
general
source:
kissat
(
main
)
version:
4.0.1-3
maintainer:
Debian Science Maintainers
(
archive
)
(
DMD
)
uploaders:
Shengqi Chen
[
DMD
]
[
DM
]
arch:
any
std-ver:
4.7.0
VCS:
Git
(
Browse
,
QA
)
versions
[more versions can be listed by madison]
[old versions available from snapshot.debian.org]
[pool directory]
testing:
4.0.1-1
unstable:
4.0.1-3
versioned links
4.0.1-1:
[.dsc, use dget on this link to retrieve source package]
[changelog]
[copyright]
[rules]
[control]
4.0.1-3:
[.dsc, use dget on this link to retrieve source package]
[changelog]
[copyright]
[rules]
[control]
binaries
kissat
action needed
Fails to build
during reproducibility testing
normal
A package
building reproducibly
enables third parties to verify that the source matches the distributed binaries. It has been
identified
that this source package produced different results, failed to build or had other issues in a
test environment
. Please read about
how to improve the situation
!
testing migrations
excuses
:
Migration status for kissat (4.0.1-1 to 4.0.1-3): Waiting for test results or another package, or too young (no action required now - check later)
Issues preventing migration:
∙ ∙ Too young, only 2 of 5 days old
Additional info:
∙ ∙ Piuparts tested OK -
https://piuparts.debian.org/sid/source/k/kissat.html
∙ ∙ autopkgtest for
kissat
/4.0.1-3:
amd64
:
Pass
,
arm64
:
Pass
,
armel
:
No tests, superficial or marked flaky
♻
(
reference
♻
),
armhf
:
No tests, superficial or marked flaky
♻
(
reference
♻
),
i386
:
No tests, superficial or marked flaky
♻
(
reference
♻
),
ppc64el
:
Pass
,
riscv64
:
Pass
,
s390x
:
Pass
∙ ∙ Reproducible on amd64 -
info
♻
∙ ∙ Reproducible on arm64 -
info
♻
∙ ∙ Waiting for reproducibility test results on armhf -
info
♻
∙ ∙ Reproducible on i386 -
info
♻
Not considered
news
[rss feed]
[
2024-10-15
]
Accepted kissat 4.0.1-3 (source) into unstable
(
Shengqi Chen
)
(signed by:
Harry Chen
)
[
2024-10-14
]
Accepted kissat 4.0.1-2 (source) into unstable
(
Shengqi Chen
)
(signed by:
Aron Xu
)
[
2024-10-14
]
kissat 4.0.1-1 MIGRATED to testing
(
Debian testing watch
)
[
2024-10-12
]
Accepted kissat 4.0.1-1 (source amd64) into unstable
(
Debian FTP Masters
)
(signed by:
Aron Xu
)
bugs
[bug history graph]
all:
0
links
homepage
lintian
buildd:
logs
,
reproducibility
,
cross
popcon
browse source code
edit tags
other distros
screenshots
debian patches