Source
ssreflect
Version
1.6.1-3
Architecture
all amd64

Build-Origin
Debian
Build-Architecture
amd64
Build-Date
Fri, 14 Sep 2018 00:17:52 +0000
Build-Path
/build/ssreflect-1.6.1

First submitted
Fri, 14 Sep 2018 03:17:29 +0000
SHA1 of .buildinfo
4afd22cdc1eb575f9aaec826d565fe2b09a2ddaa

Binaries

libssreflect-coq (libssreflect-coq_1.6.1-3_all.deb)
SHA1: 8bb24125b36edf897c82231c63b8bbf3a630ed2d
SHA256: 36b7934fc2fd7c6145c1b880e8211a49cf2300ec66b4a031bacac8170630d5c2

Size: 24,204,424 bytes
libssreflect-ocaml (libssreflect-ocaml_1.6.1-3_amd64.deb)
SHA1: fa59ecd4efa09c54fa9cfaf49931d0af8df4f718
SHA256: ce374b25da4693f4a5e2aca99455e69973c6f97a8e451f2e13a13b80e050f562

Size: 406,416 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: 18bb0e1a1848e606ada6c5070581ef0065fc15d0
Size: 36,620 bytes

Submissions

Submitted
Fri, 14 Sep 2018 03:17:31 +0000
Signed by
0x5FA3DA39796FBACF profitbricks-build1-amd64 (Automatically generated key for signing .buildinfo files)

Environment


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