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

Source
coq-interval
Version
4.6.1-2
Architecture
amd64

Build-Origin
Debian
Build-Architecture
amd64
Build-Date
Mon, 1 May 2023 14:06:09 +0000
Build-Path
/build/1st/coq-interval-4.6.1

First submitted
Mon, 1 May 2023 14:14:07 +0000
SHA1 of .buildinfo
802d5d9bda3049d1ce5284ff1a807d226f1cfcdd

Binaries

libcoq-interval (libcoq-interval_4.6.1-2_amd64.deb)
SHA1: 2d7c0539efe1ae8cc5ae8d51f47ae7b7bd2419ee
SHA256: 85cb4db4288e9df271873967785867829c72d1d6228b99ab23a72f153e1589ae

Size: 4,618,204 bytes
libcoq-interval-dbgsym (libcoq-interval-dbgsym_4.6.1-2_amd64.deb)
SHA1: 2823ad88a873b9d7fb1cbf5f7d00ba37bc068eae
SHA256: 8fd362a27896014c8c8e8a26620f2861eea65589f5a1f31d2e404e1547361ab8

Size: 3,784 bytes

Other checksums

Submissions

toxszufy
Submitted
Mon, 1 May 2023 14:14:07 +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="1674651352"