Source
ssreflect
Version
1.6.1-3
Architecture
all amd64

Build-Origin
Debian
Build-Architecture
amd64
Build-Date
Sat, 8 Dec 2018 03:25:41 +0000
Build-Path
/build/ssreflect-1.6.1/2nd

First submitted
Sat, 8 Dec 2018 03:26:59 +0000
SHA1 of .buildinfo
f0413a8fb85a5d0fd191a8a74952ffdd7398d56b

Binaries

libssreflect-coq (libssreflect-coq_1.6.1-3_all.deb)
SHA1: aa9417dc5f9dca294d40436889f927c5a58a19f1
SHA256: 7a94bec25c9b851369455c1293cd3192278f80c70553ddbba73597cf22281ca7

Size: 24,204,404 bytes
libssreflect-ocaml (libssreflect-ocaml_1.6.1-3_amd64.deb)
SHA1: 0c37ae2b85d797b97be7558b7f8830fcdada047e
SHA256: 8e0aeec9c3e08dc00f711fe8a2761b4db1ce5f8e59ad67ba7c93d1ae306ddc9a

Size: 404,032 bytes
libssreflect-ocaml-dev (libssreflect-ocaml-dev_1.6.1-3_amd64.deb)
SHA1: 009ecb0c84fd935833d446a90f8d56a00e1b2e0d
SHA256: aac923b96f50c870b647f36357d81661342dda349c6fd714d41b3747b451c88e

Size: 63,488 bytes

Other checksums

libssreflect-ocaml-dbgsym_1.6.1-3_amd64.deb
SHA1: fb2a5f45ec1d9b4ce2a100cf90c66babdd4da870
Size: 36,608 bytes

Submissions

Submitted
Sat, 8 Dec 2018 03:26:59 +0000
Signed by
0xBB1FD085171F6E18 profitbricks-build11-amd64 (Automatically generated key for signing .buildinfo files)

Environment


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