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

Source
coq-interval
Version
4.6.1-1
Architecture
arm64

Build-Origin
Debian
Build-Architecture
arm64
Build-Date
Wed, 17 Jan 2024 15:19:41 +0000
Build-Path
/build/coq-interval-4.6.1

First submitted
Thu, 15 Dec 2022 08:56:54 +0000
SHA1 of .buildinfo
c5fddd5835e85f40968432008a9402f3f6fdb2e3

Binaries

libcoq-interval (libcoq-interval_4.6.1-1_arm64.deb)
SHA1: f1e51ad328b64e61178cc8af2a8dcf31b7a4e4d8
SHA256: 2e59e4f8f26b7002f57904c13852fd1c65bcf3c5d68f631bd0f9967ce3103a2a

Size: 4,619,136 bytes
libcoq-interval-dbgsym (libcoq-interval-dbgsym_4.6.1-1_arm64.deb)
SHA1: 11043e1a0b18109febddb8aa96c193e6dceac3a3
SHA256: ac09e52443099d0d0eac2912afd9b0c2f21df4f1dc0b348b633f770922573dd5

Size: 4,156 bytes

Other checksums

Submissions

hzac7bu7
Submitted
Thu, 15 Dec 2022 08:56:54 +0000
Signed by
0xF8139FC1C7D1A40B codethink-sled9-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="1670924826"