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

Source
coq-interval
Version
4.6.1-1
Architecture
amd64

Build-Origin
Debian
Build-Architecture
amd64
Build-Date
Thu, 15 Dec 2022 07:10:53 +0000
Build-Path
/build/coq-interval-4.6.1

First submitted
Thu, 15 Dec 2022 07:23:13 +0000
SHA1 of .buildinfo
6e0b7b217d764da64ebe2542796ebd00fe3077a0

Binaries

libcoq-interval (libcoq-interval_4.6.1-1_amd64.deb)
SHA1: 24c82a9dfe542dfddc98010c213c308b32198a66
SHA256: 5dcd6f48c5dee5b8c27686afb27c70bb6184bf059f051e748524788ea09d78b8

Size: 4,617,860 bytes
libcoq-interval-dbgsym (libcoq-interval-dbgsym_4.6.1-1_amd64.deb)
SHA1: 64ed76bf8cd8e4ddaaaf792b107e8d366ae03340
SHA256: 73e7dd9d13b90b2825fa0574e8e2b6c43101da69257d46c4195cb68ea08e1654

Size: 3,792 bytes

Other checksums

Submissions

7ryariup
Submitted
Thu, 15 Dec 2022 07:23:14 +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="1670924826"