why3_0.88.3-1_source.buildinfo (view)

Source
why3
Version
0.88.3-1
Architecture
source

Build-Origin
Debian
Build-Architecture
amd64
Build-Date
Sun, 14 Jan 2018 19:30:52 +0000
Build-Path
—

First submitted
Sat, 27 Oct 2018 16:57:53 +0000
SHA1 of .buildinfo
6103710667b5ec78fbef1565824759a89b4eec6f

Binaries

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

Other checksums

why3_0.88.3-1.dsc
SHA1: 1e37d9e62e108b160946dd4525a2333db433f627
Size: 2,642 bytes

Submissions

orsbhts9
Submitted
Sat, 27 Oct 2018 16:57:54 +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="1515937974"