coq-reduction-effects_0.1.4-3_armhf.buildinfo (view)

Source
coq-reduction-effects
Version
0.1.4-3
Architecture
armhf

Build-Origin
Debian
Build-Architecture
armhf
Build-Date
Tue, 30 May 2023 08:00:46 +0000
Build-Path
/build/coq-reduction-effects-0.1.4

First submitted
Tue, 30 May 2023 08:01:02 +0000
SHA1 of .buildinfo
9e11f5b5f7b4b39e5c03d71dc070996cb246f45f

Binaries

libcoq-reduction-effects (libcoq-reduction-effects_0.1.4-3_armhf.deb)
SHA1: d09572e39ef262fad67ea362432b186e44816e6e
SHA256: d340e839f99047130312fa904198e0e21148dc9041bb2ba2f6c6418e39680bd4

Size: 13,732 bytes
libcoq-reduction-effects-dbgsym (libcoq-reduction-effects-dbgsym_0.1.4-3_armhf.deb)
SHA1: 3e422457cc0d07157fd36ffa4140d6359198bbb5
SHA256: aac2b12c8b8bc6fa67bb824e5f763d5df864e15dd437280f4768168e84037c9d

Size: 3,104 bytes

Other checksums

Submissions

j9m4ey9u
Submitted
Tue, 30 May 2023 08:01:03 +0000
Signed by
0x2EB7D8A099C83DD8

Environment


DEB_BUILD_OPTIONS="buildinfo=+all reproducible=+all parallel=4 "
LANG="C"
LC_ALL="C"
SOURCE_DATE_EPOCH="1674632216"