why3_1.1.1-3_source.buildinfo (view)

Source
why3
Version
1.1.1-3
Architecture
source

Build-Origin
Debian
Build-Architecture
amd64
Build-Date
Sun, 3 Feb 2019 22:08:14 +0000
Build-Path
—

First submitted
Mon, 4 Feb 2019 00:14:35 +0000
SHA1 of .buildinfo
1a505f6a3df65acba0b884b7e62f17548b7ac0b5

Binaries

libwhy3-ocaml-dev ()
why3 ()
why3-coq ()
why3-doc-html ()
why3-doc-pdf ()
why3-examples ()

Other checksums

why3_1.1.1-3.dsc
SHA1: 165098292881e02c7cc322485abca02a9db6c9cd
Size: 2,529 bytes

Submissions

k9ae4zef
Submitted
Mon, 4 Feb 2019 00:14:35 +0000
Signed by
0x745C4766D4CACDFF Ralf Treinen <treinen@debian.org>

Environment


DEB_BUILD_OPTIONS="parallel=4"
LANG="en_US.utf8"
LC_ALL="en_US.utf8"
SOURCE_DATE_EPOCH="1549231298"