Source
ssreflect
Version
1.6.1-3
Architecture
all amd64

Build-Origin
Debian
Build-Architecture
amd64
Build-Date
Fri, 21 Feb 2020 07:22:00 +0000
Build-Path
/build/ssreflect-1.6.1

First submitted
Sat, 19 Jan 2019 03:52:28 +0000
SHA1 of .buildinfo
05362b4574410d9278732b08c1088af89db1546d

Binaries

libssreflect-coq (libssreflect-coq_1.6.1-3_all.deb)
SHA1: 3f4d9905f4630650da14c6c85c0825fc757083fc
SHA256: 3851aa32af69b14f564ed3a29b6b4db76166b7cc49f1c4edde6adf738da63ecd

Size: 24,205,148 bytes
libssreflect-ocaml (libssreflect-ocaml_1.6.1-3_amd64.deb)
SHA1: b737c8313e59af3e76a36b451dd4676f5a745aa6
SHA256: 9cb07af42a287dc378e5bb816d4f99b1fc72148682bd094519f26ef107bd3817

Size: 404,328 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: 294797d4c1e6bb0bd75664b96bc157c34f24cf70
Size: 36,712 bytes

Submissions

Submitted
Sat, 19 Jan 2019 03:52:29 +0000
Signed by
0xBFF95736F711C117 profitbricks-build15-amd64 (Automatically generated key for signing .buildinfo files)

Environment


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