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

Source
coq-interval
Version
4.7.0-1
Architecture
arm64

Build-Origin
Debian
Build-Architecture
arm64
Build-Date
Sat, 24 Jun 2023 20:14:02 +0000
Build-Path
/build/coq-interval-4.7.0

First submitted
Sat, 24 Jun 2023 20:30:08 +0000
SHA1 of .buildinfo
fd2f1494d5e4d629dca446f621b6722bfd243818

Binaries

libcoq-interval (libcoq-interval_4.7.0-1_arm64.deb)
SHA1: 0309b208a945c597bbe1990c492c5e9e4176f415
SHA256: 9fc1db01c0ea7c2ba899db7d56973c3a9b403ed64bd550114cc1de277b8fd0d8

Size: 4,614,512 bytes
libcoq-interval-dbgsym (libcoq-interval-dbgsym_4.7.0-1_arm64.deb)
SHA1: ebebc3726c0d435101181f3a48c911aee33a9a99
SHA256: a05d557f5f04c9de33715570604a73eb61e21b9a7771d7f6674b7cd10f82d291

Size: 4,176 bytes

Other checksums

Submissions

du9ghamz
Submitted
Sat, 24 Jun 2023 20:30:10 +0000
Signed by
0x192E42C740CBB29A codethink-sled12-arm64 (Automatically generated key for signing .buildinfo files)

Environment


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