Source
ssreflect
Version
1.14.0-2
Architecture
all

Build-Origin
Debian
Build-Architecture
amd64
Build-Date
Sat, 5 Feb 2022 22:04:07 +0000
Build-Path
/build/2/ssreflect-1.14.0/2nd

First submitted
Sat, 5 Feb 2022 22:04:38 +0000
SHA1 of .buildinfo
869d397b8350308b2e3e396290e20d69599fdd7b

Binaries

libssreflect-coq (libssreflect-coq_1.14.0-2_all.deb)
SHA1: a46c27e749321954b856c1735da385f84de9ba02
SHA256: d32fd632581adddc80cb343bc15290a5ee379f339dff7343d331b3350cb189c9

Size: 26,636,664 bytes

Other checksums

Submissions

Submitted
Sat, 5 Feb 2022 22:04:39 +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="1644051307"