Jason Gross

amd64 build of hevea 2.32-3build1.1~xenial~ppa17 in ubuntu xenial RELEASE

Many Coq Versions with OCaml 4.11
amd64 build of hevea 2.32-3build1.1~x...

created on 2021-02-26

Build status

Successfully built on lcy01-amd64-017

Started on 2021-02-27
Finished on 2021-02-27 (took 2 minutes, 16.9 seconds)
buildlog (22.4 KiB)
hevea_2.32-3build1.1~xenial~ppa17_amd64.changes (805 bytes)

Build details

Source:: hevea - 2.32-3build1.1~xenial~ppa17

Archive:: Many Coq Versions with OCaml 4.11

Series:: Xenial

Architecture:: amd64

Pocket:: Release

Component:: main

Binary packages

Binary packages produced by this build:

hevea-2.32-3build1.1~xenial~ppa17

Built files

Files resulting from this build:

hevea_2.32-3build1.1~xenial~ppa17_all.deb (874.1 KiB)