aac-tactics_8.15.1-3_amd64.buildinfo (view)

Source
aac-tactics
Version
8.15.1-3
Architecture
amd64

Build-Origin
Debian
Build-Architecture
amd64
Build-Date
Sun, 11 Jun 2023 08:48:11 +0000
Build-Path
/build/1st/aac-tactics-8.15.1

First submitted
Mon, 9 May 2022 02:27:59 +0000
SHA1 of .buildinfo
e428fddad77d6224d31598f3da766168680d41fd

Binaries

libaac-tactics-ocaml (libaac-tactics-ocaml_8.15.1-3_amd64.deb)
SHA1: 1cbfb4f454c5160653cc7c26971c2aa112c1f201
SHA256: 9a70cea39fa1f56a6d3fe5e145a9725bc822142333dd1c750a76a2b1c0789218

Size: 113,876 bytes
libaac-tactics-ocaml-dbgsym (libaac-tactics-ocaml-dbgsym_8.15.1-3_amd64.deb)
SHA1: 5bf60298733e30c923e43012e2b7721a4f609793
SHA256: 9c53ca788beb70f339d9c74df3cbb40d22e8a9191a744df14ebceae5f2762cb9

Size: 12,616 bytes
libaac-tactics-ocaml-dev (libaac-tactics-ocaml-dev_8.15.1-3_amd64.deb)
SHA1: 975d13ebf1c4f632cbe87290fd020263b1ada074
SHA256: b6f7709b8f47c4eb1d33621a55242e3bf4a40f586bb24a969d68bef92e68a43f

Size: 39,416 bytes
libcoq-aac-tactics (libcoq-aac-tactics_8.15.1-3_amd64.deb)
SHA1: 51eabe4ff87e4a4e9d04964ee1ae8026725ac1ad
SHA256: ed1c08f99be8a25294f40eb2bc8bf07f310a0546ce926441c558c2ee0095cece

Size: 267,112 bytes

Other checksums

Submissions

vgnr7jzz
Submitted
Mon, 9 May 2022 02:27:59 +0000
Signed by
0xBFF95736F711C117 profitbricks-build15-amd64 (Automatically generated key for signing .buildinfo files)

Environment


DEB_BUILD_OPTIONS="buildinfo=+all reproducible=+all parallel=16"
LANG="C"
LC_ALL="C"
SOURCE_DATE_EPOCH="1650196557"