coq-interval_4.9.0-1_amd64.buildinfo (view)

Source
coq-interval
Version
4.9.0-1
Architecture
amd64

Build-Origin
Debian
Build-Architecture
amd64
Build-Date
Sun, 25 May 2025 09:02:41 +0000
Build-Path
/build/reproducible-path/coq-interval-4.9.0

First submitted
Mon, 22 Apr 2024 02:39:49 +0000
SHA1 of .buildinfo
16f5740ee8831184ea121ac18dd99d79b4fb7c57

Binaries

libcoq-interval (libcoq-interval_4.9.0-1_amd64.deb)
SHA1: 7a79ec71deaf3314016212e7f41da25f09158ab4
SHA256: a1062f9888005cd5a539719d984fdac54a2ee7c35c928800a2fb457631b060e7

Size: 5,798,736 bytes
libcoq-interval-dbgsym (libcoq-interval-dbgsym_4.9.0-1_amd64.deb)
SHA1: d614872da05455e68ae97fac6a7127c636c34c4e
SHA256: 2148afe7b8ef52a8e81b7b7b79e80543b2ee62805a74c664d3b77c8bc6b7f974

Size: 3,756 bytes

Other checksums

Submissions

7ejboemu
Submitted
Mon, 22 Apr 2024 02:39:49 +0000
Signed by
0x7BFFBBE29C8D27AB

Environment


DEB_BUILD_OPTIONS="buildinfo=+all reproducible=+all parallel=12 "
LANG="C"
LC_ALL="C"
SOURCE_DATE_EPOCH="1703241194"