Source
ssreflect
Version
1.6.1-2
Architecture
all amd64

Build-Origin
Debian
Build-Architecture
amd64
Build-Date
Thu, 1 Nov 2018 20:35:33 +0000
Build-Path
/build/1st/ssreflect-1.6.1

First submitted
Fri, 29 Sep 2017 15:35:45 +0000
SHA1 of .buildinfo
71d9f3b2f252ff012d29803dbf62faf914a4ceb8

Binaries

libssreflect-coq (libssreflect-coq_1.6.1-2_all.deb)
SHA1: 210c970ec2862847740f6126c134c8b54e5ed685
SHA256: be5371a5ca804ef7d6b4d8541b41afa2d9116e7ec52d39c729b94f8fcd796bd9

Size: 24,207,388 bytes
libssreflect-ocaml (libssreflect-ocaml_1.6.1-2_amd64.deb)
SHA1: 61d4ffbeb297e2fb69973776e53c3b87b06f38f5
SHA256: b82c46872be7dc933591b3c110cf1c88320a7e828188b3e0b98919f86c4c8e01

Size: 403,602 bytes
libssreflect-ocaml-dev (libssreflect-ocaml-dev_1.6.1-2_amd64.deb)
SHA1: aa6809233be263c505d718cc6c37a39394d7a658
SHA256: 43e72eeb0293242b756a5c450dd1cadf4df4d12d99268a4763afe6a5db49e42b

Size: 63,382 bytes

Other checksums

libssreflect-ocaml-dbgsym_1.6.1-2_amd64.deb
SHA1: 9be60eaea833567340058f8a5ce0000242d69007
Size: 36,574 bytes

Submissions

Submitted
Fri, 29 Sep 2017 15:35:45 +0000
Signed by
0xBFF95736F711C117 profitbricks-build15-amd64 (Automatically generated key for signing .buildinfo files)

Environment


BUILD_PATH_PREFIX_MAP="ssreflect_1.6.1-2=/build/1st/ssreflect-1.6.1"
DEB_BUILD_OPTIONS="buildinfo=+all parallel=16"
LANG="C"
LC_ALL="C"
SOURCE_DATE_EPOCH="1483094351"