Source
aac-tactics
Version
8.19.0-1
Architecture
amd64

Build-Origin
Debian
Build-Architecture
amd64
Build-Date
Sun, 28 Apr 2024 01:44:34 +0000
Build-Path
/build/reproducible-path/aac-tactics-8.19.0

First submitted
Sun, 28 Apr 2024 01:44:53 +0000
SHA1 of .buildinfo
73b0da45e82792d62bab5dfa249c1453d873c768

Binaries

libcoq-aac-tactics (libcoq-aac-tactics_8.19.0-1_amd64.deb)
SHA1: ed0c1d0c200231c74f65c68bdea3bc9a0f5a584c
SHA256: da8c293d80c52cac96940bf73bdc230e616d6943f1146785e374817438bd42d3

Size: 392,476 bytes
libcoq-aac-tactics-dbgsym (libcoq-aac-tactics-dbgsym_8.19.0-1_amd64.deb)
SHA1: cc2e5b89933408d3df52ab76ea637ee89c779ec0
SHA256: 23855a6c1dc6e032e06d1f6dc1805cbd5d51f9ae37ee067a2bfe7717e93a41f1

Size: 12,664 bytes

Other checksums

Submissions

Submitted
Sun, 28 Apr 2024 01:44:53 +0000
Signed by
0x5FA3DA39796FBACF profitbricks-build1-amd64 (Automatically generated key for signing .buildinfo files)

Environment


DEB_BUILD_OPTIONS="buildinfo=+all reproducible=+all parallel=20 "
LANG="C"
LC_ALL="C"
SOURCE_DATE_EPOCH="1708764681"