coq-dpdgraph_1.0+8.18-1_arm64.buildinfo (view)

Source
coq-dpdgraph
Version
1.0+8.18-1
Architecture
arm64

Build-Origin
Debian
Build-Architecture
arm64
Build-Date
Wed, 17 Apr 2024 09:37:08 +0000
Build-Path
/build/reproducible-path/coq-dpdgraph-1.0+8.18

First submitted
Wed, 17 Apr 2024 09:37:17 +0000
SHA1 of .buildinfo
9ae0d1cda884282b24ee3992af85c7222a01de80

Binaries

coq-dpdgraph-tools (coq-dpdgraph-tools_1.0+8.18-1_arm64.deb)
SHA1: e2076f661797c6d825c7af9a51c279ffcb9ce82f
SHA256: 61d16f5dc4b818e81bce28898d693164e0680a3324e34693f1375ec619edf937

Size: 1,028,888 bytes
libcoq-dpdgraph (libcoq-dpdgraph_1.0+8.18-1_arm64.deb)
SHA1: c303e87fadf3e8cb63ba0c2db8505d7ad7f5727e
SHA256: d7e7b431c0cf275da940f4b2d8d7acc57cfdbca16f0090fd51b6442b523e97e8

Size: 35,000 bytes
libcoq-dpdgraph-dbgsym (libcoq-dpdgraph-dbgsym_1.0+8.18-1_arm64.deb)
SHA1: 3b274f8e25b3ccc740f45d6c30671b061cab50c6
SHA256: 94944f080e39f699772df6f9c6812937122c07dc13a5c599c5112e75c34b23bb

Size: 4,972 bytes

Other checksums

Submissions

vqnzcuya
Submitted
Wed, 17 Apr 2024 09:37:18 +0000
Signed by
0xF088F61B03D475A8

Environment


DEB_BUILD_OPTIONS="buildinfo=+all reproducible=+all parallel=12 "
LANG="C"
LC_ALL="C"
SOURCE_DATE_EPOCH="1703168573"