coq_8.6-5_armhf.buildinfo (view)

Source
coq
Version
8.6-5
Architecture
armhf

Build-Origin
Debian
Build-Architecture
armhf
Build-Date
Mon, 9 Apr 2018 23:03:50 +0000
Build-Path
/build/coq-8.6

First submitted
Tue, 10 Apr 2018 01:45:24 +0000
SHA1 of .buildinfo
652d04615d6621d2b22861ae40a7134019443ee6

Binaries

coq (coq_8.6-5_armhf.deb)
SHA1: 0225b0648960d8737d2c02564f47c7e08e007bbf
SHA256: ea58120a75cdeab74ec2d5d8aecf598703a730c9479c7f7d1fd4d6d63551a090

Size: 17,035,996 bytes
coqide (coqide_8.6-5_armhf.deb)
SHA1: e990b307d43ca0d756e5128430c17b2ce867b469
SHA256: 855d68486544161dcf976222ce0c10b3ba295a7e5250532818fe8ace4d59ee6a

Size: 1,500,680 bytes
coq-theories (coq-theories_8.6-5_armhf.deb)
SHA1: df230f38c13d3bbfd4b6cd44ef3e24e2c4316d90
SHA256: 8c2c8c1f9f37dc4303640aaaeb07a75f8c8bdd6a012c6dff5a58618c3e0e4190

Size: 22,888,612 bytes
libcoq-ocaml (libcoq-ocaml_8.6-5_armhf.deb)
SHA1: 637527956161c57d5c579ee98b41f9b1fd7cbaff
SHA256: 84257efbad7edc254165f06cf83d7d9b755d4207070f093f72b81371a726aa38

Size: 3,575,360 bytes
libcoq-ocaml-dev (libcoq-ocaml-dev_8.6-5_armhf.deb)
SHA1: e4a02f2206e930f31020dce9674220ee0ab93fb5
SHA256: 5ea740944ea10edb7b8f4277320334ed110486c0bde2ead033487e70c097651f

Size: 14,372,380 bytes

Other checksums

libcoq-ocaml-dev-dbgsym_8.6-5_armhf.deb
SHA1: 8f3fe99b221bb5952ebbb43fc39e60cbb237eb6d
Size: 104,428 bytes
libcoq-ocaml-dbgsym_8.6-5_armhf.deb
SHA1: eca3af51ae9ba745d4b97a8f6c5e816bc194dae2
Size: 328,368 bytes
coqide-dbgsym_8.6-5_armhf.deb
SHA1: f9f41b56feeed71641e8c9d0340d290c5a871d9a
Size: 442,776 bytes
coq-dbgsym_8.6-5_armhf.deb
SHA1: 50383f49ee7bc2ec4926e15b720b97f400070515
Size: 1,701,028 bytes

Submissions

7cij337h
Submitted
Tue, 10 Apr 2018 01:45:25 +0000
Signed by
0x923D584899E35CB7 jtx1c (Automatically generated key for signing .buildinfo files)

Environment


DEB_BUILD_OPTIONS="buildinfo=+all parallel=4"
LANG="C"
LC_ALL="C"
LD_LIBRARY_PATH="/usr/lib/libeatmydata"
SOURCE_DATE_EPOCH="1506416932"