aac-tactics_8.17.0-1_armhf.buildinfo (view)

Source
aac-tactics
Version
8.17.0-1
Architecture
armhf

Build-Origin
Debian
Build-Architecture
armhf
Build-Date
Tue, 14 Mar 2023 01:53:57 +0000
Build-Path
/build/2/aac-tactics-8.17.0/2nd

First submitted
Tue, 14 Mar 2023 01:54:12 +0000
SHA1 of .buildinfo
55a71120a999cfdcc6c572c235d7ce974072a59d

Binaries

libcoq-aac-tactics (libcoq-aac-tactics_8.17.0-1_armhf.deb)
SHA1: 323c9b516346deb19e5d9d3a4d4896669dc03c47
SHA256: e930ac769db8582db080f265b649306f2600c3ffea18a6bf0223520212da8c52

Size: 388,220 bytes
libcoq-aac-tactics-dbgsym (libcoq-aac-tactics-dbgsym_8.17.0-1_armhf.deb)
SHA1: fe48523488b765016659ccc3181c2a3396b1bb44
SHA256: aec6a645f9fd39c86560df554a81d4dbe0aa49bbb5b094b7be81eef11c490b83

Size: 14,888 bytes

Other checksums

Submissions

mthjcoe4
Submitted
Tue, 14 Mar 2023 01:54:12 +0000
Signed by
0xFD20BBE472905784

Environment


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