why3_1.3.1-2_all.buildinfo (view)

Source
why3
Version
1.3.1-2
Architecture
all

Build-Origin
Debian
Build-Architecture
amd64
Build-Date
Tue, 7 Apr 2020 19:41:09 +0000
Build-Path
/build/why3-7NlZ09/why3-1.3.1

First submitted
Wed, 8 Apr 2020 00:14:05 +0000
SHA1 of .buildinfo
8c79b8a36463dba5f09324adb7de692b56e05ac3

Binaries

libwhy3-ocaml-dev ()
why3 ()
why3-coq ()
why3-doc-html (why3-doc-html_1.3.1-2_all.deb)
SHA1: f09615245fdfe91f4a36ce40a6d798635b6f390f
SHA256: d728b8b668ce286ed0b52fa9861b53c3547b43cf8140387b0a4ca3e5496c17e0

Size: 957,060 bytes
why3-doc-pdf (why3-doc-pdf_1.3.1-2_all.deb)
SHA1: 2605a39a0be94eaf50ad872470679454eb17af4a
SHA256: 279657f84f90503d18aab17745e64149f6d75e73b82eaf873707a0da9ed130d2

Size: 1,055,976 bytes
why3-examples (why3-examples_1.3.1-2_all.deb)
SHA1: ac6cee6c6f4ea4e659d17d00c3c153d5b759a8c0
SHA256: 07dfe8be6b226f63b351a483848f3c534a1ca668128e86932616fcb3cc04e207

Size: 3,505,744 bytes

Other checksums

Submissions

9ocpbeo7
Submitted
Wed, 8 Apr 2020 00:14:05 +0000
Signed by
0x425D5F0FF5BC86F7

Environment


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