coq_8.9.0-1_kfreebsd-amd64.buildinfo (view)

Source
coq
Version
8.9.0-1
Architecture
kfreebsd-amd64

Build-Origin
Debian
Build-Architecture
kfreebsd-amd64
Build-Date
Wed, 6 Feb 2019 19:44:58 +0000
Build-Path
/build/coq-pbBgme/coq-8.9.0

First submitted
Fri, 8 Feb 2019 06:12:23 +0000
SHA1 of .buildinfo
9755cbb151c52e9e46dedbaefaf1e37442fe4daf

Binaries

coq (coq_8.9.0-1_kfreebsd-amd64.deb)
SHA1: b9de8ed5b2126c28f828b463a65d194891d8893a
SHA256: 066e84eba2805b7041fba3ea6642de0a0ce563675aba73fa393ea74ffc8ba8d0

Size: 58,978,436 bytes
coq-theories (coq-theories_8.9.0-1_kfreebsd-amd64.deb)
SHA1: a9f06149ea7048b78eb2c65a6c42f64161d83702
SHA256: c0af6ac4e1182261d0a0a1cff4de6dc3f08e7efbe0987589849bc9f46589cf74

Size: 20,366,144 bytes
libcoq-ocaml (libcoq-ocaml_8.9.0-1_kfreebsd-amd64.deb)
SHA1: 1d973257f8a79b51ba0f33798d639f9b2c304d73
SHA256: 277ac2fe15aaad7e7a7ee1ec122bbd9a56c35f73dacc903fe78061b0278c06cc

Size: 5,466,088 bytes
libcoq-ocaml-dev (libcoq-ocaml-dev_8.9.0-1_kfreebsd-amd64.deb)
SHA1: 6f8cf03d48980b549c27e67aa7e34dd43ad33d19
SHA256: f5c7189474b1d76fffd3a959bee3673d56e09326df54491925f291f4f1b5076a

Size: 13,704,516 bytes

Other checksums

libcoq-ocaml-dbgsym_8.9.0-1_kfreebsd-amd64.deb
SHA1: cf41dd8e9c1d031b8266c9359c4c97fddebbb98e
Size: 534,664 bytes
coq-dbgsym_8.9.0-1_kfreebsd-amd64.deb
SHA1: 81a769de7d2cfda9aa3338a80976535bb43da3e7
Size: 3,915,408 bytes

Submissions

brw9onpr
Submitted
Fri, 8 Feb 2019 06:12:23 +0000
Signed by
0xB193770C186A1C7D James Clarke <jrtc27@jrtc27.com>

Environment


DEB_BUILD_OPTIONS="parallel=2"
LC_ALL="C.UTF-8"
SOURCE_DATE_EPOCH="1549474869"