why3_0.88.2-1_mips64el.buildinfo (view)

Source
why3
Version
0.88.2-1
Architecture
mips64el

Build-Origin
Debian
Build-Architecture
mips64el
Build-Date
Tue, 12 Dec 2017 22:46:17 +0000
Build-Path
/build/why3-Wlugqi/why3-0.88.2

First submitted
Thu, 25 Oct 2018 21:38:31 +0000
SHA1 of .buildinfo
5539ea0fbb7144b114553da48cf36414bb054542

Binaries

libwhy3-ocaml-dev (libwhy3-ocaml-dev_0.88.2-1_mips64el.deb)
SHA1: 6cc8f8fa42ebf49d0d3037d85bae2a7a49a5e635
SHA256: b90996cae2bccc482dcafe8e6ea3071514fe2fa26fce72d1e24606962ace545d

Size: 3,476,916 bytes
why3 (why3_0.88.2-1_mips64el.deb)
SHA1: e436d579e1056c05611c493369f60d4bf8fd2b99
SHA256: 1ddc4ac41cc4a1a5e5533e494c0c358b12825d636e760d7e9a733e4516c67da3

Size: 43,172,612 bytes
why3-coq (why3-coq_0.88.2-1_mips64el.deb)
SHA1: 6987a10c543893492a9dca911ebeef18a0d903d8
SHA256: f5577885768039a79d0ed45a8fd1ea52757b7967318d4d3b453ec90c5778780d

Size: 3,946,084 bytes
why3-doc-html ()
why3-doc-pdf ()
why3-examples ()

Other checksums

why3-dbgsym_0.88.2-1_mips64el.deb
SHA1: 49eee8452f283af07c0a4deaa3711fe975c8c76d
Size: 89,092 bytes

Submissions

4uw7eikt
Submitted
Thu, 25 Oct 2018 21:38:31 +0000
Signed by
0xBE7CB1867EE4FB14

Environment


DEB_BUILD_OPTIONS="parallel=4"
LC_ALL="POSIX"
SOURCE_DATE_EPOCH="1513113744"