paramcoq_1.1.3-6_armhf.buildinfo (view)

Source
paramcoq
Version
1.1.3-6
Architecture
armhf

Build-Origin
Debian
Build-Architecture
armhf
Build-Date
Wed, 8 Jun 2022 09:45:06 +0000
Build-Path
/build/paramcoq-8MV1Lx/paramcoq-1.1.3

First submitted
Wed, 8 Jun 2022 12:11:36 +0000
SHA1 of .buildinfo
c5d5ca6623a02476c35784196d7831dda3ee24bc

Binaries

libcoq-paramcoq (libcoq-paramcoq_1.1.3-6_armhf.deb)
SHA1: 61f8d1d4eb9feea966931a2e8560ae40d0905610
SHA256: 0b56f5fd2d7e54216e1be1f3906b95a593478209de4aa53a83f588410d67d9c5

Size: 3,456 bytes
libcoq-paramcoq-ocaml (libcoq-paramcoq-ocaml_1.1.3-6_armhf.deb)
SHA1: 1a5aad155d1df7f4e1e7bb343dc0fbe18f828c0d
SHA256: 46fb86ac3b2eb581d40b78e77500271306fc3ffa9b4e2fc22cc8abb70534521d

Size: 95,616 bytes
libcoq-paramcoq-ocaml-dbgsym (libcoq-paramcoq-ocaml-dbgsym_1.1.3-6_armhf.deb)
SHA1: 081f02e9aa686682d0e737a19d2be252999e2f7e
SHA256: 53c9d77e656710624ef663949ba12971f380b9412714d7303c7bc6ef97b42fa3

Size: 14,344 bytes
libcoq-paramcoq-ocaml-dev (libcoq-paramcoq-ocaml-dev_1.1.3-6_armhf.deb)
SHA1: f869e3edec330c25874c50452173e5fb0b304fbb
SHA256: 9dde90651d7e53cbc6728de636b459ea58fad6d0b1613956c8b68c8182449d25

Size: 23,984 bytes

Other checksums

Submissions

3qdszxou
Submitted
Wed, 8 Jun 2022 12:11:36 +0000
Signed by
0x1F4A3365A46051A0

Environment


DEB_BUILD_OPTIONS="parallel=4"
LC_ALL="C.UTF-8"
LC_COLLATE="C.UTF-8"
SOURCE_DATE_EPOCH="1654674559"