Have a look at this bug: https://bugs.debian.org/494491
It looks for me like upstream would prefer not to have a Isabelle Debian package. :-(
Have a look at this bug: https://bugs.debian.org/494491
It looks for me like upstream would prefer not to have a Isabelle Debian package. :-(