why3_1.2.1-2_mipsel.buildinfo (view)

Source
why3
Version
1.2.1-2
Architecture
mipsel

Build-Origin
Debian
Build-Architecture
mipsel
Build-Date
Mon, 4 Nov 2019 00:46:21 +0000
Build-Path
/build/why3-laXOpm/why3-1.2.1

First submitted
Mon, 4 Nov 2019 06:10:48 +0000
SHA1 of .buildinfo
a1fcb1ee85d94cc1dfdf05a2d70fca655a025315

Binaries

libwhy3-ocaml-dev (libwhy3-ocaml-dev_1.2.1-2_mipsel.deb)
SHA1: 5c066fda38ecb4451be546f2fdff74b6cb851ea0
SHA256: 12c0b830d7c3a3bda71b8e97c346604423963321f8f7300ae3a26714e68e890b

Size: 4,094,576 bytes
why3 (why3_1.2.1-2_mipsel.deb)
SHA1: b549140f36680414fadffa7cdb4e5cf8ff7437ab
SHA256: da172dd3fb1de709ecebfe484a0e7e520698b306234df95b954a68ca067150bc

Size: 54,121,724 bytes
why3-coq (why3-coq_1.2.1-2_mipsel.deb)
SHA1: a6ec1cb79a6979358827d82c84c8bb931c9469b1
SHA256: d78846f26279b4a128c851150e3c4d74b7b7b1fd1dd572f66a22982679ecce5a

Size: 595,888 bytes
why3-doc-html ()
why3-doc-pdf ()
why3-examples ()

Other checksums

why3-dbgsym_1.2.1-2_mipsel.deb
SHA1: 9b99267c8c0a84958f0025ce87ecde5a0a878a90
Size: 105,144 bytes

Submissions

qdduj7hp
Submitted
Mon, 4 Nov 2019 06:10:48 +0000
Signed by
0xC0BF082DA8AD6020

Environment


DEB_BUILD_OPTIONS="parallel=4"
LC_ALL="C.UTF-8"
SOURCE_DATE_EPOCH="1572814928"