Source
ssreflect
Version
1.13.0-1
Architecture
all

Build-Origin
Debian
Build-Architecture
arm64
Build-Date
Tue, 23 Nov 2021 06:28:30 +0000
Build-Path
/build/2/ssreflect-1.13.0/2nd

First submitted
Tue, 23 Nov 2021 06:28:48 +0000
SHA1 of .buildinfo
14d1e555205d12c0065e6215767b9475c0cb9fcc

Binaries

libssreflect-coq (libssreflect-coq_1.13.0-1_all.deb)
SHA1: 7e75ec4ab027a54c459ad928e95ddd6cb5fe1342
SHA256: 6f0257d2d4b9a772c5ec477d518161f0c21be1447a0c21530b034374cf5054af

Size: 27,019,884 bytes

Other checksums

Submissions

Submitted
Tue, 23 Nov 2021 06:28:49 +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="1637598347"