coq_8.6-4_amd64.buildinfo (view)

Source
coq
Version
8.6-4
Architecture
amd64

Build-Origin
Debian
Build-Architecture
amd64
Build-Date
Wed, 23 Aug 2017 21:18:51 +0000
Build-Path
/build/coq-8.6

First submitted
Thu, 24 Aug 2017 00:03:05 +0000
SHA1 of .buildinfo
98d3fcb4d5496cc46c9897c6e78ebe125b7c31cd

Binaries

coq (coq_8.6-4_amd64.deb)
SHA1: fde0845763eefb43e6975e51aadc1f41589628c4
SHA256: b901167f2f545161571894e309fa01262b7590c0b24a88c184409c129b4f993f

Size: 13,985,706 bytes
coqide (coqide_8.6-4_amd64.deb)
SHA1: bd8b7f858c130b23dd926e32ba93699cc7f3b9cf
SHA256: 67deb3c33a0a4e64fa4f8beb4b1de74ce49014cd812498dff945d6e4649b3d71

Size: 1,411,572 bytes
coq-theories (coq-theories_8.6-4_amd64.deb)
SHA1: f784099017232d21af92bd09da54266293836d2d
SHA256: 1bdbd828fbf3a6629dbaa12de6532f2ef5e3eeff84f15d78664d9c6a9a481383

Size: 31,432,360 bytes
libcoq-ocaml (libcoq-ocaml_8.6-4_amd64.deb)
SHA1: c5adeac0c4ffe6c38f6f5a30eb59e7025a7dbf3e
SHA256: 563a1dcf60800e56374638234c2d940e605d1b53a7bc202bff98e307df2b22e1

Size: 3,508,002 bytes
libcoq-ocaml-dev (libcoq-ocaml-dev_8.6-4_amd64.deb)
SHA1: 2bf9ba5546f53e2507c02585b4430aeb771a9cb3
SHA256: b78bbf90d3ba39afa41ba17057f774aebfc49c524dadbc17888762cb25d57536

Size: 13,288,696 bytes

Other checksums

libcoq-ocaml-dev-dbgsym_8.6-4_amd64.deb
SHA1: 1d808c7d090dc54fe348eb34d6d78bba4f5af356
Size: 81,438 bytes
libcoq-ocaml-dbgsym_8.6-4_amd64.deb
SHA1: d0840513fe4c456d7a13bbf70b77fe9dc843b4b5
Size: 263,588 bytes
coqide-dbgsym_8.6-4_amd64.deb
SHA1: ec57fa9757ca05f44a7849d2061841c4d62d50ed
Size: 363,518 bytes
coq-theories-dbgsym_8.6-4_amd64.deb
SHA1: 42d1ca9d0c0dbda810e3af092dcc586722acf843
Size: 847,500 bytes
coq-dbgsym_8.6-4_amd64.deb
SHA1: 958eaf9f6183cf03c7703a7706257f125aaaa478
Size: 1,324,066 bytes

Submissions

9vinhnxb
Submitted
Thu, 24 Aug 2017 00:03:06 +0000
Signed by
0x5FA3DA39796FBACF profitbricks-build1-amd64 (Automatically generated key for signing .buildinfo files)

Environment


DEB_BUILD_OPTIONS="buildinfo=+all parallel=15"
LANG="C"
LC_ALL="C"
SOURCE_DATE_EPOCH="1483051547"