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

Source
coq-interval
Version
4.7.0-1
Architecture
amd64

Build-Origin
Debian
Build-Architecture
amd64
Build-Date
Sat, 27 Jul 2024 03:35:24 +0000
Build-Path
/build/coq-interval-4.7.0

First submitted
Sat, 24 Jun 2023 21:12:27 +0000
SHA1 of .buildinfo
5288afaf4419db209037fdd8304488c7ffcada11

Binaries

libcoq-interval (libcoq-interval_4.7.0-1_amd64.deb)
SHA1: 48fc9dd0c12c82ec648874b2185d0b4ef4e49fd8
SHA256: c8ad57969b8337ed91633ae0ba5fa53776ac4ecac9c8e7e5ec42328f27a03ce5

Size: 4,612,516 bytes
libcoq-interval-dbgsym (libcoq-interval-dbgsym_4.7.0-1_amd64.deb)
SHA1: 589ef1e14dd6f325d57a1b85b93690ebef4fe176
SHA256: e136ff6b8c2ed53cdd968edb5170e2240e8718b98d030758fd249038cf4a169d

Size: 3,784 bytes

Other checksums

Submissions

q9hadjij
Submitted
Sat, 24 Jun 2023 21:12:27 +0000
Signed by
0xBFF95736F711C117 profitbricks-build15-amd64 (Automatically generated key for signing .buildinfo files)

Environment


DEB_BUILD_OPTIONS="buildinfo=+all reproducible=+all parallel=16 "
LANG="C"
LC_ALL="C"
SOURCE_DATE_EPOCH="1686806518"