aac-tactics_8.9.0-1_armhf.buildinfo (view)

Source
aac-tactics
Version
8.9.0-1
Architecture
armhf

Build-Origin
Debian
Build-Architecture
armhf
Build-Date
Sun, 2 Feb 2020 15:33:46 +0000
Build-Path
/build/aac-tactics-jIdLXg/aac-tactics-8.9.0

First submitted
Sun, 2 Feb 2020 19:37:29 +0000
SHA1 of .buildinfo
6b56ab95c8d5b27c78650d38cab8a6f7d9a7c8a7

Binaries

libaac-tactics-coq ()
libaac-tactics-ocaml (libaac-tactics-ocaml_8.9.0-1_armhf.deb)
SHA1: 6ea650c223878c430beac0b7c02ff72a1be0fb0e
SHA256: 21572a450d71b8835c87f786bc5c51e3b18d94b0c0f078ba07903d9251c8b566

Size: 117,792 bytes
libaac-tactics-ocaml-dev (libaac-tactics-ocaml-dev_8.9.0-1_armhf.deb)
SHA1: f22b892705b79f1d52fad35ad85bd8b3a8df44f3
SHA256: d8a85e8bb0d70ebc827b407d357c6080e5dc369aa99311d275afe91dca9c6244

Size: 40,676 bytes

Other checksums

libaac-tactics-ocaml-dbgsym_8.9.0-1_armhf.deb
SHA1: aa3a23a460c73d54bf1a99dcac93888fc0402ba7
Size: 18,632 bytes

Submissions

sveihm7j
Submitted
Sun, 2 Feb 2020 19:37:30 +0000
Signed by
0x9D9A36A270771481

Environment


DEB_BUILD_OPTIONS="parallel=8"
LC_ALL="C.UTF-8"
SOURCE_DATE_EPOCH="1580653002"