why3_1.1.1-1_mips.buildinfo (view)

Source
why3
Version
1.1.1-1
Architecture
mips

Build-Origin
Debian
Build-Architecture
mips
Build-Date
Tue, 18 Dec 2018 09:49:15 +0000
Build-Path
/build/why3-hqHywP/why3-1.1.1

First submitted
Tue, 18 Dec 2018 12:11:33 +0000
SHA1 of .buildinfo
4cb6742007336f2417fb87fbb48dc5cd721dccfe

Binaries

libwhy3-ocaml-dev (libwhy3-ocaml-dev_1.1.1-1_mips.deb)
SHA1: 39abfee634a1cee6f6a253fd10d37c93dacfcf49
SHA256: b30070934317846488b21a316a176e920ef120b029c37637d72bf7f40aaefc70

Size: 3,997,324 bytes
why3 (why3_1.1.1-1_mips.deb)
SHA1: e5eb25a30a4d0efd76c0c027d8eb1bd3f68bb107
SHA256: 67d697df81bc9e1fda639fd32ee733a72f54f463de7221316de8cd76506e0915

Size: 53,174,716 bytes
why3-coq (why3-coq_1.1.1-1_mips.deb)
SHA1: e8b47aa0137cba0ea5d354a238b92b9c7fc1fe04
SHA256: 95cd1edea06b7a7fe95912c4ed2109a4040ea35cc85214b7d754a29e92187a82

Size: 587,940 bytes
why3-doc-html ()
why3-doc-pdf ()
why3-examples ()

Other checksums

why3-dbgsym_1.1.1-1_mips.deb
SHA1: 8cbbda0b7288722fd418b9cd7bf8e74e7bd2d023
Size: 53,968 bytes

Submissions

fqxdmsnu
Submitted
Tue, 18 Dec 2018 12:11:33 +0000
Signed by
0xF2D679A5626310D7

Environment


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