Publishing details

• Published on 2014-04-24

Changelog

isabelle (2012-1ubuntu2) trusty; urgency=low

  * Use libsha1.so (https://bitbucket.org/makarius/sha1)
  * Dependency on gtk2-engines-pixbuf is because of https://bugs.launchpad.net/ubuntu/+source/quickly/+bug/853232
 -- Christian Maeder <email address hidden>   Thu, 30 Aug 2012 16:40:00 -0800

Builds

• amd64
• i386

Built packages

• isabelle Package containing Isabelle - the generic proof assistant.

Package files

• isabelle_2012-1ubuntu2.diff.gz (2.5 KiB)
• isabelle_2012-1ubuntu2.dsc (1.4 KiB)
• isabelle_2012-1ubuntu2_amd64.deb (74.9 MiB)
• isabelle_2012-1ubuntu2_i386.deb (71.7 MiB)
• isabelle_2012.orig.tar.gz (48.3 MiB)