Source
ssreflect
Version
1.11.0-1
Architecture
all

Build-Origin
Debian
Build-Architecture
arm64
Build-Date
Sat, 24 Oct 2020 18:18:41 +0000
Build-Path
/build/2/ssreflect-1.11.0/2nd

First submitted
Sat, 24 Oct 2020 18:19:00 +0000
SHA1 of .buildinfo
c4a39062aad5d1f38a031efdb218ef9a3ee12d93

Binaries

libssreflect-coq (libssreflect-coq_1.11.0-1_all.deb)
SHA1: f2f425083343da52119b03f40d96846e035c6bc2
SHA256: 0fed9f5b448f9a62a37d4a7223449bfd31796cfc177306e47023b01b9cc557c0

Size: 25,645,860 bytes

Other checksums

Submissions

Submitted
Sat, 24 Oct 2020 18:19:00 +0000
Signed by
0xFDD087C6FCA6B1BE codethink-sled10-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"