Source
why3
Version
0.88.3-2
Architecture
mipsel

Build-Origin
Debian
Build-Architecture
mipsel
Build-Date
Sun, 8 Apr 2018 19:16:37 +0000
Build-Path
/build/why3-RlDzea/why3-0.88.3

First submitted
Fri, 26 Oct 2018 18:21:20 +0000
SHA1 of .buildinfo
b24ba6c320c3f3f5aed432da9a410b9db17a7299

Binaries

libwhy3-ocaml-dev (libwhy3-ocaml-dev_0.88.3-2_mipsel.deb)
SHA1: 43e491585b3e8a3d3e112bcbddaca4574adeec8a
SHA256: 898fc05c699d375ee2b70182dac79aa77431e7851e54fbbb3da05f8ffbff9ced

Size: 3,476,600 bytes
why3 (why3_0.88.3-2_mipsel.deb)
SHA1: 7b407b7ae513440a855238cd7ae0f94f0fc74078
SHA256: adaaff1bb9d05e868f990c4b85e88b0d0c03c7d6551e5f23de0392c8a7c86ec0

Size: 43,109,416 bytes
why3-coq (why3-coq_0.88.3-2_mipsel.deb)
SHA1: 22daee253e559a5605f39e4f853bbf7ff83abfcb
SHA256: 3a8ab13a5dd5cb8b7fdb098675ca2e35e75e4d2c04f26c347ab9ce241f6b8e7c

Size: 3,951,884 bytes

Other checksums

why3-dbgsym_0.88.3-2_mipsel.deb
SHA1: ee1abfc039623340ce87e045f5734f9372cbce38
Size: 85,296 bytes

Submissions

Submitted
Fri, 26 Oct 2018 18:21:20 +0000
Signed by
0xF8948A38B4D2AEE8

Environment


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