Source
ssreflect
Version
1.13.0-1
Architecture
all

Build-Origin
Debian
Build-Architecture
arm64
Build-Date
Fri, 17 Dec 2021 08:28:03 +0000
Build-Path
/build/1st/ssreflect-1.13.0

First submitted
Fri, 17 Dec 2021 11:19:04 +0000
SHA1 of .buildinfo
2fa01ae3a977af54e18fe0384b2832085fa7ef28

Binaries

libssreflect-coq (libssreflect-coq_1.13.0-1_all.deb)
SHA1: 2798ae5c87f82c38f15f46c896c46c60365dc85b
SHA256: 29ae416da1b2f344f19575207e67d72631780dacf8a8043f25a48efae5f793b6

Size: 27,021,020 bytes

Other checksums

Submissions

Submitted
Fri, 17 Dec 2021 11:19:04 +0000
Signed by
0x192E42C740CBB29A codethink-sled12-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="1637598347"