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

Source
aac-tactics
Version
8.17.0-1
Architecture
amd64

Build-Origin
Debian
Build-Architecture
amd64
Build-Date
Tue, 11 Apr 2023 22:43:43 +0000
Build-Path
/build/1st/aac-tactics-8.17.0

First submitted
Tue, 11 Apr 2023 22:47:27 +0000
SHA1 of .buildinfo
82494390ab4005268dbd18efcc67d001dfd2fac0

Binaries

libcoq-aac-tactics (libcoq-aac-tactics_8.17.0-1_amd64.deb)
SHA1: 22d046a151848985319cd6eae72341f9e44c6106
SHA256: 4915a11fd39c789dd78e5346b81e56b0afb1bdf296d27e49d1d762afd6e0ed82

Size: 389,304 bytes
libcoq-aac-tactics-dbgsym (libcoq-aac-tactics-dbgsym_8.17.0-1_amd64.deb)
SHA1: 9e0171fd776a007a20cf9719e39e5c5054efe372
SHA256: 37db2dfb93885536c22edcc4f88c5d2480321a1040f9f90de5a43a087f7de45b

Size: 12,628 bytes

Other checksums

Submissions

zdqwtava
Submitted
Tue, 11 Apr 2023 22:47:28 +0000
Signed by
0x5FA3DA39796FBACF profitbricks-build1-amd64 (Automatically generated key for signing .buildinfo files)

Environment


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