ssreflect_1.6.1-3_mips.buildinfo (view)

Source
ssreflect
Version
1.6.1-3
Architecture
mips

Build-Origin
Debian
Build-Architecture
mips
Build-Date
Mon, 9 Oct 2017 10:14:13 +0000
Build-Path
/build/ssreflect-KX3uxC/ssreflect-1.6.1

First submitted
Fri, 26 Oct 2018 09:38:51 +0000
SHA1 of .buildinfo
c61d22c855ed0257609d09873d112f1abc3898ba

Binaries

libssreflect-coq ()
libssreflect-ocaml (libssreflect-ocaml_1.6.1-3_mips.deb)
SHA1: 050288085af41cb95161d18d4cee05b499dc79c6
SHA256: 8c60d5adc53847d4c05e90ebe07bb92467609c2011555312ebab1e30a048eaa7

Size: 94,686 bytes
libssreflect-ocaml-dev (libssreflect-ocaml-dev_1.6.1-3_mips.deb)
SHA1: cb78ccc5225ffd5aaa4275bfd934eac4c43ea2ce
SHA256: 080e1885a2cb55cf744a9772d5698377ed03aabfe0a8a069a66568306ca59be2

Size: 63,388 bytes

Other checksums

Submissions

zmxnf973
Submitted
Fri, 26 Oct 2018 09:38:51 +0000
Signed by
0xEBEDA54DE26F0425

Environment


DEB_BUILD_OPTIONS="parallel=2"
LC_ALL="POSIX"
SOURCE_DATE_EPOCH="1507538583"