Source
ssreflect
Version
1.6.1-3
Architecture
all arm64

Build-Origin
Debian
Build-Architecture
arm64
Build-Date
Sun, 18 Aug 2019 19:18:21 +0000
Build-Path
/build/ssreflect-1.6.1

First submitted
Mon, 16 Jul 2018 12:55:44 +0000
SHA1 of .buildinfo
fbc73fac65354809901429574388839e122ba05b

Binaries

libssreflect-coq (libssreflect-coq_1.6.1-3_all.deb)
SHA1: f3691afd52f83a4980b63f4fb5bdbb970577348b
SHA256: fe0bbc7e61a6b72352f6bf6797874ad236255f3cccd35de20a1107a6fd0e16f6

Size: 24,198,088 bytes
libssreflect-ocaml (libssreflect-ocaml_1.6.1-3_arm64.deb)
SHA1: 8a765062c2a2dbdc5b2b9b211da425c5bbc2eac6
SHA256: f5457499250d28d71728393914ce03e9a4f759c8ad793bb976d1a219ff1c9cf3

Size: 453,956 bytes
libssreflect-ocaml-dev (libssreflect-ocaml-dev_1.6.1-3_arm64.deb)
SHA1: d2bd70d0dc69f40723ec2a40bee327773053c961
SHA256: 5e9014d984dc9ce35fdf9c1fe9e8461615f3097735ef366bf8f3b509cbc7bab8

Size: 63,488 bytes

Other checksums

libssreflect-ocaml-dbgsym_1.6.1-3_arm64.deb
SHA1: 2d2a4bc0419f1f8d53a295b0b2a72bcd8bc75a58
Size: 51,704 bytes

Submissions

Submitted
Mon, 16 Jul 2018 12:55:45 +0000
Signed by
0x1D3EA4D86F2FB555 codethink-sled15-arm64 (Automatically generated key for signing .buildinfo files)

Environment


DEB_BUILD_OPTIONS="buildinfo=+all parallel=8"
LANG="C"
LC_ALL="C"
SOURCE_DATE_EPOCH="1507538583"