why3_1.0.0-1_armel.buildinfo (view)

Source
why3
Version
1.0.0-1
Architecture
armel

Build-Origin
Debian
Build-Architecture
armel
Build-Date
Wed, 27 Jun 2018 22:12:37 +0000
Build-Path
/build/why3-v1XPHV/why3-1.0.0

First submitted
Fri, 26 Oct 2018 08:00:16 +0000
SHA1 of .buildinfo
3ebdf8601cac8445d1909608e1e2eb8d19e3f1b6

Binaries

libwhy3-ocaml-dev (libwhy3-ocaml-dev_1.0.0-1_armel.deb)
SHA1: dd2c06866e7bbf320a59f4732b03122b93113f39
SHA256: 45a256cb68a857ba9bd672dd44ff065743c2c88cdc372a49092d4faabbf87fdd

Size: 3,948,508 bytes
why3 (why3_1.0.0-1_armel.deb)
SHA1: 47d54b10d3d2aebf1a28eb04d91ba16ed6edf064
SHA256: 67e41157016b9a01abe0009ab612c2d69fca410174cd9342a9b6fc9e76beb234

Size: 54,272,992 bytes
why3-coq (why3-coq_1.0.0-1_armel.deb)
SHA1: 4a6ef3812cc5b044591cb7a424463ada23864245
SHA256: 3173fe2c93ec681c08c8dfe33db90b63a88a2b20825ff4741bbb5447c23b3a6c

Size: 560,644 bytes
why3-doc-html ()
why3-doc-pdf ()
why3-examples ()

Other checksums

why3-dbgsym_1.0.0-1_armel.deb
SHA1: 154c8c6ca76ebbb580148dadc3a2ebe7c8c302ea
Size: 98,636 bytes

Submissions

ox3esxer
Submitted
Fri, 26 Oct 2018 08:00:16 +0000
Signed by
0xFBB4B5A22184DACF

Environment


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