Publishing details

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

Changelog

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

  * Relax debhelper version dependency

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

Builds

• amd64

Package files

• hevea_2.32-3build1.1~focal~ppa17.debian.tar.xz (18.7 KiB)
• hevea_2.32-3build1.1~focal~ppa17.dsc (2.1 KiB)
• hevea_2.32.orig.tar.gz (973.6 KiB)