aac-tactics (8.6.1-1)_8.6.1-1+b1_amd64.buildinfo (view)

Source
aac-tactics (8.6.1-1)
Version
8.6.1-1+b1
Architecture
amd64

Build-Origin
Debian
Build-Architecture
amd64
Build-Date
Sat, 22 Jul 2017 08:02:36 +0000
Build-Path
/build/aac-tactics-xs4Nva/aac-tactics-8.6.1

First submitted
Sun, 28 Oct 2018 01:52:49 +0000
SHA1 of .buildinfo
7e20dd38a644f1af9c3dd06bd12f693d4bbf38cd

Binaries

libaac-tactics-coq ()
libaac-tactics-ocaml (libaac-tactics-ocaml_8.6.1-1+b1_amd64.deb)
SHA1: e612294ea5d7f014bd6416375ea25c10f6850bca
SHA256: 0e5d3c9af4ac2f162a7aac35582189b266a276bd8de67a11ab3b45f0ca1d5b3f

Size: 110,370 bytes
libaac-tactics-ocaml-dev (libaac-tactics-ocaml-dev_8.6.1-1+b1_amd64.deb)
SHA1: 614c6c086e4371fed5dc39b3197eda7031f0727f
SHA256: d84027c57373d4b5cb284956900689834df19aabda6609e0bb15ed7a4a76ad2d

Size: 39,256 bytes

Other checksums

libaac-tactics-ocaml-dbgsym_8.6.1-1+b1_amd64.deb
SHA1: ac593578813bc60b41d67e53502f17b55a106ecd
Size: 15,020 bytes

Submissions

ny3wo7kw
Submitted
Sun, 28 Oct 2018 01:52:49 +0000
Signed by
0xB7E8DA62F2F4A5FC

Environment


DEB_BUILD_OPTIONS="parallel=4"
LC_ALL="POSIX"
SOURCE_DATE_EPOCH="1500710538"