Publishing details

• Published on 2022-10-08

Changelog

hets-metapkg-src (1.2.8-1.20.4) focal; urgency=low

  * Initial release, automatically generated.

 -- Jens Elkner <email address hidden>  Sat, 08 Oct 2022 21:58:21 +0200

Builds

• amd64

Built packages

• hets-desktop-all The Heterogeneous Tool Set (hets) - desktop plus.

• hets-provers Provers for Hets.

• hets-server-all The Heterogeneous Tool Set (hets) - server plus.

Package files

• hets-desktop-all_1.2.8-1.20.4_amd64.deb (928 bytes)
• hets-metapkg-src_1.2.8-1.20.4.debian.tar.xz (1.5 KiB)
• hets-metapkg-src_1.2.8-1.20.4.dsc (1.5 KiB)
• hets-metapkg-src_1.2.8.orig.tar.xz (1.8 KiB)
• hets-provers_1.2.8-1.20.4_amd64.deb (1.0 KiB)
• hets-server-all_1.2.8-1.20.4_amd64.deb (940 bytes)