coq_8.6-5_armhf.buildinfo (view)

Source
coq
Version
8.6-5
Architecture
armhf

Build-Origin
Debian
Build-Architecture
armhf
Build-Date
Sun, 2 Sep 2018 17:38:57 +0000
Build-Path
/build/coq-8.6

First submitted
Sun, 2 Sep 2018 17:58:43 +0000
SHA1 of .buildinfo
9992754fdf973d66b0330e4e8d32bb878dd73a53

Binaries

coq (coq_8.6-5_armhf.deb)
SHA1: 53ea77ec0d36a74c3a8b72daa307e8993e1cefe4
SHA256: ac1036dc08aecb120b650660f2e0cd86fef3261654f8d12856797c1d3a2bf1dd

Size: 17,037,812 bytes
coqide (coqide_8.6-5_armhf.deb)
SHA1: 889887771f7238862a9a4a5eb6350ab67bc1e5c1
SHA256: 5c81a15144f3016d9b6c119eea54c2d5d040f5f2c246526c8d5b51ba468c8b93

Size: 1,499,820 bytes
coq-theories (coq-theories_8.6-5_armhf.deb)
SHA1: 05062325cea5d2050bb84aec43dc4c7ed34a4d5e
SHA256: efaccb20ee58165cb2f263d7b23c1582ee73a32735274b31ac151d6961feb527

Size: 22,885,744 bytes
libcoq-ocaml (libcoq-ocaml_8.6-5_armhf.deb)
SHA1: e3646b89328f436f4d46f7f834eb1ad767a41279
SHA256: 04e368a5af57a1b0e902f2fd6be1fd3b98e590b8e62397b4772fadca90430caa

Size: 3,574,012 bytes
libcoq-ocaml-dev (libcoq-ocaml-dev_8.6-5_armhf.deb)
SHA1: 000e301d7f4ae651c257a5e0150ced0daab2eb89
SHA256: aede6feabb3a8b48d0cca174f2542f786716e2df3d7d65217a7bc2c25ed5442b

Size: 14,371,688 bytes

Other checksums

libcoq-ocaml-dev-dbgsym_8.6-5_armhf.deb
SHA1: cd2ac0d4ab5ba19e43e8c15f24f04dbaab554bea
Size: 104,420 bytes
libcoq-ocaml-dbgsym_8.6-5_armhf.deb
SHA1: 9ea36c9eeceac696fadcf0e609afcd2ff030154d
Size: 333,192 bytes
coqide-dbgsym_8.6-5_armhf.deb
SHA1: 21c788379093985d443757f8cb8d5cd3b5cb7024
Size: 443,640 bytes
coq-dbgsym_8.6-5_armhf.deb
SHA1: 9812539292e84c5004bf103cb91682ffd4c8fbf0
Size: 1,696,824 bytes

Submissions

id3q9hxf
Submitted
Sun, 2 Sep 2018 17:58:44 +0000
Signed by
0x7E32E41C9458C0CC odxu4b-armhf-rb.debian.net (Automatically generated key for signing .buildinfo files)

Environment


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