Source
ssreflect
Version
1.6.1-2
Architecture
all amd64

Build-Origin
Debian
Build-Architecture
amd64
Build-Date
Fri, 2 Feb 2018 04:46:14 +0000
Build-Path
/build/ssreflect-1.6.1/2nd

First submitted
Fri, 30 Dec 2016 22:23:29 +0000
SHA1 of .buildinfo
f74d4355e697525b375eee56035f5aeabe4254d9

Binaries

libssreflect-coq (libssreflect-coq_1.6.1-2_all.deb)
SHA1: 2da2fcad39ae7da55fd1b37bc7ac4dd6579b08ea
SHA256: 37daa9866044736e9618d866816f3fa5d1adfd6eac2410a9f667f77036cef13b

Size: 24,169,130 bytes
libssreflect-ocaml (libssreflect-ocaml_1.6.1-2_amd64.deb)
SHA1: e3b004b85e876f469f1973255f6b5e2699204fb6
SHA256: e59af90d2e6cd6c0c8fa50f3b603afffa8dc24c656826ecba4416683ee040542

Size: 353,304 bytes
libssreflect-ocaml-dev (libssreflect-ocaml-dev_1.6.1-2_amd64.deb)
SHA1: 2604ac9d91bf95ed62c2b11a1c779cf753c1bcdc
SHA256: d561bc9149b6b4b1ba981020ad9ac9941c2a5674539fd8fa479d84ca1e4a41e8

Size: 63,774 bytes

Other checksums

libssreflect-ocaml-dbgsym_1.6.1-2_amd64.deb
SHA1: 6a51b33c70d6e988b32dab7abce3a6323019b372
Size: 35,868 bytes

Submissions

Submitted
Fri, 30 Dec 2016 22:23:30 +0000
Signed by
0xBFF95736F711C117 profitbricks-build15-amd64 (Automatically generated key for signing .buildinfo files)

Environment


DEB_BUILD_OPTIONS="parallel=16"
LANG="C"
LC_ALL="C"
SOURCE_DATE_EPOCH="1483094351"