Source
ssreflect
Version
1.11.0-2
Architecture
all

Build-Origin
Debian
Build-Architecture
armhf
Build-Date
Thu, 5 Nov 2020 05:50:57 +0000
Build-Path
/build/1st/ssreflect-1.11.0

First submitted
Thu, 5 Nov 2020 08:21:36 +0000
SHA1 of .buildinfo
82771639d198758830496f7d09d3f7c33ff9e755

Binaries

libssreflect-coq (libssreflect-coq_1.11.0-2_all.deb)
SHA1: fb83dbbe5f4cc0c9d515c95098d18986935e828f
SHA256: a622610ff38f026139caf7261e7823bf268f2283cacafc6cd04f49e782370ab1

Size: 25,641,820 bytes

Other checksums

Submissions

Submitted
Thu, 5 Nov 2020 08:21:37 +0000
Signed by
0xA7B82CF0C0043589 jtx1a (Automatically generated key for signing .buildinfo files)

Environment


DEB_BUILD_OPTIONS="buildinfo=+all reproducible=+all parallel=3"
LANG="C"
LC_ALL="C"
SOURCE_DATE_EPOCH="1604471154"