Source
paramcoq
Version
1.1.3+coq8.16-2
Architecture
armhf

Build-Origin
Debian
Build-Architecture
armhf
Build-Date
Wed, 23 Nov 2022 13:33:32 +0000
Build-Path
/build/2/paramcoq-1.1.3+coq8.16/2nd

First submitted
Wed, 23 Nov 2022 13:33:56 +0000
SHA1 of .buildinfo
eceef80c6190bda1535e8fb38c09715943b5d896

Binaries

libcoq-paramcoq (libcoq-paramcoq_1.1.3+coq8.16-2_armhf.deb)
SHA1: 80041d820c35e57263fdf9c67852369c31f6650d
SHA256: 6b3aeb43a0c2303697b6f3e757a7f7112b1e386a461f9ff84f90ddb3285ae2a5

Size: 112,500 bytes
libcoq-paramcoq-dbgsym (libcoq-paramcoq-dbgsym_1.1.3+coq8.16-2_armhf.deb)
SHA1: 9175deb91df8bfc859eb85cf65198cbbe3d368e1
SHA256: 56e3181fb6747ff2bc5baca5eaf5681e2ae9e52b6a367d39b81b6dbf6137d86b

Size: 14,372 bytes

Other checksums

Submissions

Submitted
Wed, 23 Nov 2022 13:33:56 +0000
Signed by
0x64E4E7B0FD96943C

Environment


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