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

Source
aac-tactics
Version
8.15.1-6
Architecture
armhf

Build-Origin
Debian
Build-Architecture
armhf
Build-Date
Sun, 12 Jun 2022 22:54:56 +0000
Build-Path
/build/2/aac-tactics-8.15.1/2nd

First submitted
Sun, 12 Jun 2022 22:58:48 +0000
SHA1 of .buildinfo
232867d6ea23b99becd98819629c61863c5a73a6

Binaries

libaac-tactics-ocaml (libaac-tactics-ocaml_8.15.1-6_armhf.deb)
SHA1: f39446f74d52b717de44a7163d1f905a679f7c9f
SHA256: 4696c8f75b2d6e8c5227532e92239d6b3c073c5da921562db893fe2a478d0aae

Size: 112,788 bytes
libaac-tactics-ocaml-dbgsym (libaac-tactics-ocaml-dbgsym_8.15.1-6_armhf.deb)
SHA1: 58c8aee8a38cc60f14affc2508874579929ade3f
SHA256: a3fb50caf1b3d3fa5c9b90d34ed4047ba22c488c1769fbdb52fb35ab0a4a735a

Size: 14,784 bytes
libaac-tactics-ocaml-dev (libaac-tactics-ocaml-dev_8.15.1-6_armhf.deb)
SHA1: 75a18054e315a53e4d6ae7e521c81ca95f3d02f4
SHA256: 3cfde65ff42fb3defd75e15ddb5325f548436fcd49a4256e3d654956ef241b6d

Size: 39,556 bytes
libcoq-aac-tactics (libcoq-aac-tactics_8.15.1-6_armhf.deb)
SHA1: 23338f0229dc367d2fa63de7c7729d8ad8f5fa7e
SHA256: 89dead617bfbff5f128e67126b7d780f69d5b06603087676a3d65297af649157

Size: 267,304 bytes

Other checksums

Submissions

sphoo49a
Submitted
Sun, 12 Jun 2022 22:58:49 +0000
Signed by
0xB586FBCA67A0DDF7

Environment


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