eprover
- Good work! This package looks reproducible in our current test framework :)
- Test history
-
amd64
-
2.6+ds-3
in bookworm
♻
-
3.2.5+ds-1 in trixie
♻
-
reproducible
at 2025-08-02 05:18:00 UTC
-
reproducible
-
3.2.5+ds-1
in forky
♻
-
3.2.5+ds-1
in unstable
♻
-
-
arm64
-
2.6+ds-3
in bookworm
♻
-
3.2.5+ds-1
in trixie
♻
-
3.2.5+ds-1
in forky
♻
-
3.2.5+ds-1
in unstable
♻
-
- PTS BTS
-
Package source