why3 (0.87.3-2)_0.87.3-2+b2_mipsel.buildinfo (view)

Source
why3 (0.87.3-2)
Version
0.87.3-2+b2
Architecture
mipsel

Build-Origin
Debian
Build-Architecture
mipsel
Build-Date
Sat, 22 Jul 2017 13:30:37 +0000
Build-Path
/build/why3-jYphO9/why3-0.87.3

First submitted
Sun, 28 Oct 2018 02:08:34 +0000
SHA1 of .buildinfo
0f731a4fd1defbb3dd093443b480fa136a328ffe

Binaries

libwhy3-ocaml-dev (libwhy3-ocaml-dev_0.87.3-2+b2_mipsel.deb)
SHA1: 3ce854b8a93a64d0a35a8ff90b374a897fd9d540
SHA256: e7120d80f4fa6d6439a65273d3a9bbbc9258f6bac3b399bc796bfb883c71e52b

Size: 4,642,396 bytes
why3 (why3_0.87.3-2+b2_mipsel.deb)
SHA1: 83e56e1ca9792b3cbf08d4635538e0974281da7f
SHA256: 0789a6c3f9777ccfdd85ed224cd014401a63aafda22e93bfce4c23e068a3804a

Size: 47,967,392 bytes
why3-coq (why3-coq_0.87.3-2+b2_mipsel.deb)
SHA1: 5e2f15acdf8b7667760f6520e013c49ff68d6e1d
SHA256: ed77e476dce051b3b226fcbda1836d9238504238ca6b92ab7ce98e5fe37c8541

Size: 5,058,334 bytes
why3-doc-html ()
why3-doc-pdf ()
why3-examples ()

Other checksums

why3-dbgsym_0.87.3-2+b2_mipsel.deb
SHA1: 7e4ef53fc77ecb04e6fc2934eab8d886fd7534e1
Size: 57,400 bytes

Submissions

g94nxo7t
Submitted
Sun, 28 Oct 2018 02:08:35 +0000
Signed by
0xAFC7683A346A938B

Environment


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