Source
ssreflect
Version
1.11.0-1
Architecture
all

Build-Origin
Debian
Build-Architecture
arm64
Build-Date
Thu, 14 Oct 2021 19:31:15 +0000
Build-Path
/build/1st/ssreflect-1.11.0

First submitted
Fri, 11 Sep 2020 15:47:18 +0000
SHA1 of .buildinfo
07caac64dab7969b5bfcb5d33d4879bf72396bc5

Binaries

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

Size: 25,644,820 bytes

Other checksums

Submissions

Submitted
Fri, 11 Sep 2020 15:47:20 +0000
Signed by
0xF8139FC1C7D1A40B codethink-sled9-arm64 (Automatically generated key for signing .buildinfo files)

Environment


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