ssreflect_1.14.0-1_all.buildinfo (view)

Source
ssreflect
Version
1.14.0-1
Architecture
all

Build-Origin
Debian
Build-Architecture
amd64
Build-Date
Mon, 24 Jan 2022 15:59:35 +0000
Build-Path
/build/ssreflect-zIw9fF/ssreflect-1.14.0

First submitted
Mon, 24 Jan 2022 18:14:15 +0000
SHA1 of .buildinfo
ab4844faf579ce4658a734bc2adb18cc574c8492

Binaries

libssreflect-coq (libssreflect-coq_1.14.0-1_all.deb)
SHA1: c45d80316c0be32fc1fd2695abcaf5bb94b6735a
SHA256: 89235a73d3c3c647c1a538eb79ea1636010cd19097dc7c5b62b3dd0538865ae0

Size: 26,636,396 bytes

Other checksums

Submissions

eyhyx9oi
Submitted
Mon, 24 Jan 2022 18:14:15 +0000
Signed by
0xC9DFA3CF1830A01C

Environment


DEB_BUILD_OPTIONS="parallel=4"
LC_ALL="C.UTF-8"
LC_COLLATE="C.UTF-8"
SOURCE_DATE_EPOCH="1643012113"