Publishing details

• Published on 2015-05-28

Changelog

isabelle-installer (2014-2ubuntu4) trusty; urgency=low

  * Change of postinst script

 -- Christian Maeder <email address hidden>  Fri, 30 Jan 2015 20:08:44 +0100

Builds

• amd64
• i386

Built packages

• isabelle-installer Package containing Isabelle - the generic proof assistant.

Package files

• isabelle-installer_2014-2ubuntu4.dsc (1.2 KiB)
• isabelle-installer_2014-2ubuntu4.tar.gz (3.5 KiB)
• isabelle-installer_2014-2ubuntu4_amd64.deb (3.0 KiB)
• isabelle-installer_2014-2ubuntu4_i386.deb (3.0 KiB)