Source
ssreflect
Version
1.11.0-1
Architecture
all

Build-Origin
Debian
Build-Architecture
armhf
Build-Date
Wed, 30 Sep 2020 00:29:25 +0000
Build-Path
/build/ssreflect-1.11.0

First submitted
Wed, 30 Sep 2020 05:54:40 +0000
SHA1 of .buildinfo
11b476a089e90b80b353184efc3fc4098e9e665a

Binaries

libssreflect-coq (libssreflect-coq_1.11.0-1_all.deb)
SHA1: dead5b0810094416265d1fdd66f99f05e6ddf612
SHA256: 640da90618a00a4f4cd29ee3dae8cc47895a1bc3944257196b65c4503babd9f5

Size: 25,643,588 bytes

Other checksums

Submissions

Submitted
Wed, 30 Sep 2020 05:54:41 +0000
Signed by
0x4EE7D57983E7F103 ff2b (Automatically generated key for signing .buildinfo files)

Environment


DEB_BUILD_OPTIONS="buildinfo=+all reproducible=+all,-fixfilepath parallel=3"
LANG="C"
LC_ALL="C"
SOURCE_DATE_EPOCH="1599805929"