Source
ssreflect
Version
1.11.0-1
Architecture
all

Build-Origin
Debian
Build-Architecture
arm64
Build-Date
Tue, 2 Nov 2021 07:30:34 +0000
Build-Path
/build/ssreflect-1.11.0

First submitted
Wed, 30 Sep 2020 03:29:22 +0000
SHA1 of .buildinfo
8f0e05ecdc56622982f7c6e8bbe6a155b26072f5

Binaries

libssreflect-coq (libssreflect-coq_1.11.0-1_all.deb)
SHA1: 2b6f91fa272245450316e8131d3772453ad1bd27
SHA256: 4bcc70cfd0dffe426e577c1c1df77b232e9c51396085482cd3c975aad180fd36

Size: 25,644,820 bytes

Other checksums

Submissions

Submitted
Wed, 30 Sep 2020 03:29:24 +0000
Signed by
0x1D3EA4D86F2FB555 codethink-sled15-arm64 (Automatically generated key for signing .buildinfo files)

Environment


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