coq-hammer_1.3.2+8.18-1_amd64.buildinfo (view)

Source
coq-hammer
Version
1.3.2+8.18-1
Architecture
amd64

Build-Origin
Debian
Build-Architecture
amd64
Build-Date
Thu, 4 Apr 2024 19:04:43 +0000
Build-Path
/build/reproducible-path/coq-hammer-1.3.2+8.18

First submitted
Thu, 4 Apr 2024 19:06:06 +0000
SHA1 of .buildinfo
9579df4acecbadfa620093d9dc8f914c0c978df1

Binaries

libcoq-hammer (libcoq-hammer_1.3.2+8.18-1_amd64.deb)
SHA1: 6e1e030d708006426b782b66b6d9a1da385c38cd
SHA256: 96e268ef29902ffdc6e7db97d6c8e4fb462d88c1f1df6bf96e6d88d615c289c8

Size: 503,688 bytes
libcoq-hammer-dbgsym (libcoq-hammer-dbgsym_1.3.2+8.18-1_amd64.deb)
SHA1: 6cf37af1d7df99f32c831fc8f443a021cd58352e
SHA256: 27fe211d0bcab213832b9095bde867612f882414ed41c0254ab46fdadfc714e7

Size: 41,032 bytes

Other checksums

Submissions

gzfj44nc
Submitted
Thu, 4 Apr 2024 19:06:06 +0000
Signed by
0x5E6515A71A831546

Environment


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