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

Source
coq-interval
Version
4.6.0-1
Architecture
amd64

Build-Origin
Debian
Build-Architecture
amd64
Build-Date
Thu, 27 Oct 2022 23:33:27 +0000
Build-Path
/build/2/coq-interval-4.6.0/2nd

First submitted
Thu, 27 Oct 2022 23:33:51 +0000
SHA1 of .buildinfo
7e1b3a8a47d743b2575fb7d40d73c367b5cf72d0

Binaries

libcoq-interval (libcoq-interval_4.6.0-1_amd64.deb)
SHA1: f203b837489a9bc1391cbad591d44e574763a236
SHA256: f645fdfa0e96f208d807cb3b84381e25542c738800daade3504de5a728b94db5

Size: 4,613,552 bytes
libcoq-interval-dbgsym (libcoq-interval-dbgsym_4.6.0-1_amd64.deb)
SHA1: 80fece25a819c56affadaa316112f157b2481437
SHA256: 680921433daeaa3b73749f6318fd8665d0d5ea10499323b4cd96f2f18e098f7c

Size: 3,788 bytes

Other checksums

Submissions

cpdoujhi
Submitted
Thu, 27 Oct 2022 23:33:51 +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="1666894745"