why3_1.3.1-2_source.buildinfo (view)

Source
why3
Version
1.3.1-2
Architecture
source

Build-Origin
Debian
Build-Architecture
amd64
Build-Date
Tue, 7 Apr 2020 18:56:27 +0000
Build-Path
—

First submitted
Wed, 8 Apr 2020 00:12:00 +0000
SHA1 of .buildinfo
4b4617b234dc9b844b0440db9a8acdabf76bb2b9

Binaries

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

Other checksums

why3_1.3.1-2.dsc
SHA1: 0a507af7f0cab8aa061c9c556cd0ef05a260ee8f
Size: 2,806 bytes

Submissions

arpnratx
Submitted
Wed, 8 Apr 2020 00:12:00 +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="1586279499"