Publishing details

Published on 2023-10-30
Copied from Coq Daily Builds (v8.17) by Jason Gross
Originally uploaded to ubuntu xenial in Many Coq Versions with OCaml 4.11

Changelog

hevea (2.32-3build1.1~xenial~ppa17) xenial; urgency=medium

  * Relax debhelper version dependency

 -- Jason Gross <email address hidden>  Fri, 26 Feb 2021 11:52:26 -0500

Available diffs

diff from 2.32-1.1~xenial~ppa4 (in ~jgross-h/ubuntu/coq-master-daily) to 2.32-3build1.1~xenial~ppa17 (3.7 KiB)
diff from 2.23-2build1 (in Ubuntu) to 2.32-3build1.1~xenial~ppa17 (47.7 KiB)

Builds

amd64

Built packages

hevea translates from LaTeX to HTML, info, or text

Package files

hevea_2.32-3build1.1~xenial~ppa17.debian.tar.xz (18.7 KiB)
hevea_2.32-3build1.1~xenial~ppa17.dsc (2.1 KiB)
hevea_2.32-3build1.1~xenial~ppa17_all.deb (874.6 KiB)
hevea_2.32.orig.tar.gz (973.6 KiB)