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
Fri, 29 Dec 2023 03:19:13 +0000
Build-Path
/build/reproducible-path/coq-hammer-1.3.2+8.18

First submitted
Fri, 29 Dec 2023 03:19:20 +0000
SHA1 of .buildinfo
ea90bd046f933a321b49adc274231b1125065360

Binaries

libcoq-hammer (libcoq-hammer_1.3.2+8.18-1_amd64.deb)
SHA1: 08a96af2d60a086fe53ba8a027a3b7b230e952d0
SHA256: 930348f7bd41956232d6f18ca9bc09f17b84cadbd45b990a1ca2b972fe226d8e

Size: 503,588 bytes
libcoq-hammer-dbgsym (libcoq-hammer-dbgsym_1.3.2+8.18-1_amd64.deb)
SHA1: da28dea0ac2a447912db9fa52cff1ae258813486
SHA256: de4366a1041ff02a837727fd7580008b434587cb7c35afeb606db7a3bd2addc8

Size: 41,076 bytes

Other checksums

Submissions

rxrzfnhg
Submitted
Fri, 29 Dec 2023 03:19:20 +0000
Signed by
0x5FA3DA39796FBACF profitbricks-build1-amd64 (Automatically generated key for signing .buildinfo files)

Environment


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