Publishing details

• Published on 2016-07-30

Changelog

hets-metapkg-src (1.0.5-1.15.10) wily; urgency=low

  * Initial release, automatically generated.

 -- Jens Elkner <email address hidden>  Sat, 30 Jul 2016 02:31:34 +0200

Builds

• amd64
• i386

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.0.5-1.15.10_amd64.deb (858 bytes)
• hets-desktop-all_1.0.5-1.15.10_i386.deb (856 bytes)
• hets-metapkg-src_1.0.5-1.15.10.debian.tar.xz (1.5 KiB)
• hets-metapkg-src_1.0.5-1.15.10.dsc (1.6 KiB)
• hets-metapkg-src_1.0.5.orig.tar.xz (1.6 KiB)
• hets-provers_1.0.5-1.15.10_amd64.deb (900 bytes)
• hets-provers_1.0.5-1.15.10_i386.deb (900 bytes)
• hets-server-all_1.0.5-1.15.10_amd64.deb (862 bytes)
• hets-server-all_1.0.5-1.15.10_i386.deb (860 bytes)