why3 (1.2.0-1)_1.2.0-1+b1_mips.buildinfo (view)

Source
why3 (1.2.0-1)
Version
1.2.0-1+b1
Architecture
mips

Build-Origin
Debian
Build-Architecture
mips
Build-Date
Tue, 23 Jul 2019 13:50:56 +0000
Build-Path
/build/why3-fvBjrr/why3-1.2.0

First submitted
Tue, 23 Jul 2019 18:47:57 +0000
SHA1 of .buildinfo
3b85806f31a3c1eb74ef54dc31374cb55df67971

Binaries

libwhy3-ocaml-dev (libwhy3-ocaml-dev_1.2.0-1+b1_mips.deb)
SHA1: eb5b496d897a1de0f531e6bf134ba0973141f62e
SHA256: 522eb8bb035ab90a4090835464073bf24b4de4a882dbea818ed26e6de15b810e

Size: 4,095,144 bytes
why3 (why3_1.2.0-1+b1_mips.deb)
SHA1: 5d2371452e9ad5b61d3def94828671a5b6a06667
SHA256: 8521ed73a74e721647108bb848b110cc295abb92dfa2258fdd3fcd80659a30c6

Size: 54,238,944 bytes
why3-coq (why3-coq_1.2.0-1+b1_mips.deb)
SHA1: 274089c5775db5c6d03241b682cef2d794d85d90
SHA256: 2bf6d3b97be6c6bb561d319d5d313bcc39f2a7ce52b924bdbd0b9537589c2024

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

Other checksums

why3-dbgsym_1.2.0-1+b1_mips.deb
SHA1: a821920cf494bed55510d5c3be53d49991b11b67
Size: 93,908 bytes

Submissions

h33kvrum
Submitted
Tue, 23 Jul 2019 18:47:58 +0000
Signed by
0xCCA15BB882AA0EFB

Environment


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