“Ubuntu Landing PPAs” team

amd64 build of aac-tactics 8.6.1-1build3 in ubuntu artful RELEASE

2865 - 2017-07-14
amd64 build of aac-tactics 8.6.1-1build3

created on 2017-07-16

Build status

Successfully built on lcy01-02

Started on 2017-07-16
Finished on 2017-07-16 (took 2 minutes, 52.1 seconds)
buildlog (30.1 KiB)
aac-tactics_8.6.1-1build3_amd64.changes (2.3 KiB)
aac-tactics_8.6.1-1build3_amd64.buildinfo (12.0 KiB)

Build details

Source:: aac-tactics - 8.6.1-1build3

Archive:: 2865 - 2017-07-14

Series:: Artful

Architecture:: amd64

Pocket:: Release

Component:: main

Binary packages

Binary packages produced by this build:

libaac-tactics-coq-8.6.1-1build3
libaac-tactics-ocaml-8.6.1-1build3
libaac-tactics-ocaml-dbgsym-8.6.1-1build3
libaac-tactics-ocaml-dev-8.6.1-1build3

Built files

Files resulting from this build:

libaac-tactics-coq_8.6.1-1build3_all.deb (215.5 KiB)
libaac-tactics-ocaml-dbgsym_8.6.1-1build3_amd64.ddeb (15.5 KiB)
libaac-tactics-ocaml-dev_8.6.1-1build3_amd64.deb (36.9 KiB)
libaac-tactics-ocaml_8.6.1-1build3_amd64.deb (117.5 KiB)