Source
ssreflect
Version
1.10.0+dfsg-2
Architecture
all

Build-Origin
Debian
Build-Architecture
armhf
Build-Date
Sat, 7 Mar 2020 14:30:54 +0000
Build-Path
/build/2/ssreflect-1.10.0+dfsg/2nd

First submitted
Sat, 7 Mar 2020 14:32:37 +0000
SHA1 of .buildinfo
eaaae07950b74531ecec7d335fc03e6ccdcac5e2

Binaries

libssreflect-coq (libssreflect-coq_1.10.0+dfsg-2_all.deb)
SHA1: 2acd444d25eac7a8d6e024edaf6d1e37ed5e4f46
SHA256: 8cd12ed04dd928028704f144e341c95d76b161d8f8a9d16a1361278513fc2218

Size: 27,035,080 bytes

Other checksums

Submissions

Submitted
Sat, 7 Mar 2020 14:32:37 +0000
Signed by
0x0A07D6A9A1E93BC8 jtk1b (Automatically generated key for signing .buildinfo files)

Environment


DEB_BUILD_OPTIONS="buildinfo=+all reproducible=+all parallel=4"
LANG="C"
LC_ALL="C"
SOURCE_DATE_EPOCH="1583527431"