frama-c
Test Details
notes
Test history
Filter by:
amd64
arm64
armhf
i386
Suite and Architecture
amd64
20161101+silicon+dfsg-5 in
stretch
♻
unreproducible
at 2020-02-14 09:52:00 UTC
differences
buildinfo
rbuild (102KB)
build2 (98KB)
diff
20171101+sulfur+dfsg-2
in
buster
♻
20201209+titanium-4.1
in
bullseye
♻
20220511-manganese-3
in
bookworm
♻
20220511-manganese-3
in
unstable
♻
arm64
20161101+silicon+dfsg-5
in
stretch
♻
20171101+sulfur+dfsg-2
in
buster
♻
20201209+titanium-4.1
in
bullseye
♻
20220511-manganese-3
in
bookworm
♻
20220511-manganese-3
in
unstable
♻
armhf
20161101+silicon+dfsg-5
in
stretch
♻
20171101+sulfur+dfsg-2
in
buster
♻
20201209+titanium-4.1
in
bullseye
♻
20220511-manganese-3
in
bookworm
♻
20220511-manganese-3
in
unstable
♻
i386
20161101+silicon+dfsg-5
in
stretch
♻
20171101+sulfur+dfsg-2
in
buster
♻
20201209+titanium-4.1
in
bullseye
♻
20220511-manganese-3
in
bookworm
♻
20220511-manganese-3
in
unstable
♻
General Package Details
PTS
BTS
Package source
debian/
debian/changelog
debian/control
debian/rules
Debian dashboard
Variations tested
The Reproducible Builds project
reproducible-builds.org
Reproducible Builds -
Docs
•
News
Reproducible Builds in Debian -
Wiki
SOURCE_DATE_EPOCH specification
CI tests
Your browser does not support iframes. Use a different one or follow the links above.