coq-reduction-effects (0.1.4-2)_0.1.4-2+b2_arm64.buildinfo (view)

Source
coq-reduction-effects (0.1.4-2)
Version
0.1.4-2+b2
Architecture
arm64

Build-Origin
Debian
Build-Architecture
arm64
Build-Date
Tue, 24 Jan 2023 01:26:22 +0000
Build-Path
/build/coq-reduction-effects-dKCgNn/coq-reduction-effects-0.1.4

First submitted
Tue, 24 Jan 2023 06:19:43 +0000
SHA1 of .buildinfo
dc20fd39129d2fd8238fb9a1171c42f799fe6ddf

Binaries

libcoq-reduction-effects (libcoq-reduction-effects_0.1.4-2+b2_arm64.deb)
SHA1: 89fea77f9d781382119e578b1f4a342b4d894ff0
SHA256: 289552b7874e28751caa8f97f7075dda0683f69efae93b321c553df754c1f119

Size: 14,580 bytes
libcoq-reduction-effects-dbgsym (libcoq-reduction-effects-dbgsym_0.1.4-2+b2_arm64.deb)
SHA1: 855b10057a69a0ee813c940babf3be7103cf1ef3
SHA256: 881e9a314ca6dc5ac65546063a4892dfe5f91fa053275293a20936b82861f9d9

Size: 2,968 bytes

Other checksums

Submissions

4spwoctv
Submitted
Tue, 24 Jan 2023 06:19:44 +0000
Signed by
0xC807690CBF7C490E

Environment


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