Source
ssreflect
Version
1.11.0-1
Architecture
all

Build-Origin
Debian
Build-Architecture
arm64
Build-Date
Wed, 1 Dec 2021 05:50:43 +0000
Build-Path
/build/ssreflect-1.11.0

First submitted
Thu, 29 Oct 2020 01:42:31 +0000
SHA1 of .buildinfo
840f154d37a9d93ad5e7e6acd95a9c6cea228e86

Binaries

libssreflect-coq (libssreflect-coq_1.11.0-1_all.deb)
SHA1: dc9e36fe671a511f725bbe917caa200946408f7d
SHA256: 1239517dc0dc2a8cf4840eab7fda21e38c3b84eef5e3b5a673b3ce77a8f07eb8

Size: 25,645,784 bytes

Other checksums

Submissions

Submitted
Thu, 29 Oct 2020 01:42:31 +0000
Signed by
0xB42DAAC6B200534A codethink-sled11-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"