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

Source
coq-interval
Version
4.8.0-1
Architecture
amd64

Build-Origin
Debian
Build-Architecture
amd64
Build-Date
Sat, 2 Dec 2023 14:22:05 +0000
Build-Path
/build/reproducible-path/coq-interval-4.8.0

First submitted
Sat, 2 Dec 2023 14:22:18 +0000
SHA1 of .buildinfo
657f0e726951e18369bace1bce731ff151223952

Binaries

libcoq-interval (libcoq-interval_4.8.0-1_amd64.deb)
SHA1: 1492363730c370ef1c6dc5008be9239ef6e4eec6
SHA256: d5ca095b66781513e7b8caed6296a7ae838d92bda9151359e3a18fe68f51525c

Size: 5,758,240 bytes
libcoq-interval-dbgsym (libcoq-interval-dbgsym_4.8.0-1_amd64.deb)
SHA1: c9cfd2702c61fd7097e6d57f41ceaebf26d6ad3c
SHA256: b74e4bc65890a4611feefa677b7d659afc88f4b6be7c2899c92133a3d246fb9c

Size: 3,784 bytes

Other checksums

Submissions

jdjeqgmv
Submitted
Sat, 2 Dec 2023 14:22:18 +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="1691041205"