aac-tactics_8.15.1-6_i386.buildinfo (view)

Source
aac-tactics
Version
8.15.1-6
Architecture
i386

Build-Origin
Debian
Build-Architecture
i386
Build-Date
Sun, 10 Jul 2022 17:49:03 +0000
Build-Path
/build/aac-tactics-8.15.1

First submitted
Sun, 10 Jul 2022 17:52:58 +0000
SHA1 of .buildinfo
bcda8e43b5a4099ca60111dd0b511d2c1cd42465

Binaries

libaac-tactics-ocaml (libaac-tactics-ocaml_8.15.1-6_i386.deb)
SHA1: 4216bb5c07746b94495e5ddcf8c9143fd6ffca47
SHA256: fe6930d6084c112723f2c078ab14d197d95febc819351242fbc48f8204948b86

Size: 106,212 bytes
libaac-tactics-ocaml-dbgsym (libaac-tactics-ocaml-dbgsym_8.15.1-6_i386.deb)
SHA1: 84785098b955dd33c9de5b7d22fec41659a3eca9
SHA256: 4c06ae7afc8727565d000fa823edb79945eeae0fb4b946b2d663c0631ee230de

Size: 12,240 bytes
libaac-tactics-ocaml-dev (libaac-tactics-ocaml-dev_8.15.1-6_i386.deb)
SHA1: db78e27482cbb4d73ad4ec6457fe87c6d3a511df
SHA256: 1a4dcfc72667278e08fd887b00cb18adb131db9d557cf58b048893a2bcf2c296

Size: 39,560 bytes
libcoq-aac-tactics (libcoq-aac-tactics_8.15.1-6_i386.deb)
SHA1: 6ea0455af2c393867855ee8bb8826609e480df5d
SHA256: 567d42fc6d95dc80968cd09a29862e44c1c0f8d3f58d03cc3967c9ad94221a88

Size: 267,152 bytes

Other checksums

Submissions

ogia4ckb
Submitted
Sun, 10 Jul 2022 17:52:58 +0000
Signed by
0xA6B59AB7CD69D4AC profitbricks-build2-i386 (Automatically generated key for signing .buildinfo files)

Environment


DEB_BUILD_OPTIONS="buildinfo=+all reproducible=+all parallel=7"
LANG="C"
LC_ALL="C"
LD_LIBRARY_PATH="/usr/lib/libeatmydata"
SOURCE_DATE_EPOCH="1654979684"