why3_1.1.1-4_mipsel.buildinfo (view)

Source
why3
Version
1.1.1-4
Architecture
mipsel

Build-Origin
Debian
Build-Architecture
mipsel
Build-Date
Thu, 7 Feb 2019 12:22:26 +0000
Build-Path
/build/why3-tDi3uD/why3-1.1.1

First submitted
Thu, 7 Feb 2019 18:10:22 +0000
SHA1 of .buildinfo
4654494198bf6abfff6fe2e8e2974f95148735a3

Binaries

libwhy3-ocaml-dev (libwhy3-ocaml-dev_1.1.1-4_mipsel.deb)
SHA1: 76c16d342a152b9a27b780bea2ab5fcb872759a2
SHA256: c3ee046ddb5e73f8f04ea6f7521c30bff885897bdafcff2466e4f44e863b6abb

Size: 3,996,492 bytes
why3 (why3_1.1.1-4_mipsel.deb)
SHA1: de6f478470b1780052a150eb5fce9a4e80ba6590
SHA256: 2a18efdea858f3911950e47dff81d0e84762e274ad08f1dd4ef0e09aaf9817a4

Size: 53,184,712 bytes
why3-coq (why3-coq_1.1.1-4_mipsel.deb)
SHA1: 5341281d80230e0cd7565723efea90f1ccb07c9c
SHA256: 3cf1e20cceeb579ef158d20af54b23791772252c1ae4a45dce824bd14eeb8608

Size: 594,080 bytes
why3-doc-html ()
why3-doc-pdf ()
why3-examples ()

Other checksums

why3-dbgsym_1.1.1-4_mipsel.deb
SHA1: 8a4cc061aadf9e57a3bae3aa2fdd982d54dbcdac
Size: 51,192 bytes

Submissions

g4ppfnxn
Submitted
Thu, 7 Feb 2019 18:10:22 +0000
Signed by
0x9E295DF36F3AE1C6

Environment


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