paramcoq
Test Details
No notes exist for this package.
Add some!
Test history
Filter by:
amd64
arm64
armhf
i386
Suite and Architecture
amd64
1.1.3+coq8.16-3
in
bookworm
♻
1.1.3+coq8.19-2
in
trixie
♻
1.1.3+coq8.20-1
in
unstable
♻
arm64
1.1.3+coq8.16-3
in
bookworm
♻
1.1.3+coq8.19-2
in
trixie
♻
1.1.3+coq8.20-1 in
unstable
♻
reproducible
at 2024-11-20 17:15:00 UTC
buildinfo
rbuild (10KB)
build2 (8KB)
diff
armhf
1.1.3+coq8.16-3
in
bookworm
♻
1.1.3+coq8.19-2
in
trixie
♻
1.1.3+coq8.19-2
in
unstable
♻
i386
1.1.3+coq8.16-3
in
bookworm
♻
1.1.3+coq8.19-2
in
trixie
♻
1.1.3+coq8.20-1
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.