Source
ssreflect
Version
1.13.0-1
Architecture
all

Build-Origin
Debian
Build-Architecture
arm64
Build-Date
Thu, 19 Jan 2023 17:41:50 +0000
Build-Path
/build/2/ssreflect-1.13.0/2nd

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

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:05 +0000
Signed by
0xAAA3AE5F86A5D0BA codethink-sled13-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"