summaryrefslogtreecommitdiff
path: root/sci-mathematics
diff options
context:
space:
mode:
Diffstat (limited to 'sci-mathematics')
-rw-r--r--sci-mathematics/isabelle/Manifest2
-rw-r--r--sci-mathematics/isabelle/isabelle-2009.ebuild1
2 files changed, 1 insertions, 2 deletions
diff --git a/sci-mathematics/isabelle/Manifest b/sci-mathematics/isabelle/Manifest
index dd12e33..05573d6 100644
--- a/sci-mathematics/isabelle/Manifest
+++ b/sci-mathematics/isabelle/Manifest
@@ -1,3 +1,3 @@
AUX isabelle-2009-proofgeneral-gentoo-path.patch 316 RMD160 ecf031c8807f0e8a0403293e1c47abc92c7ddb76 SHA1 4e38535264f69901c00e48c8ccf75af42256cae9 SHA256 84fe80a5f7f5e623b0e9fd9da67e8ca5b216551fd2e05ce4f62456f051a73a8c
DIST Isabelle2009.tar.gz 9073615 RMD160 7cbde579b6f897b8110c465f17a185f04f6587e0 SHA1 2af6f19f23436c37611d8df23e918f76e9190f39 SHA256 49f8708962a89102cd25d9b5b7bf1298017c0689f9ced7741c124351b58f8e71
-EBUILD isabelle-2009.ebuild 2589 RMD160 a5ce601359e7800c9cd66f7d500e5b8ec4ba75e1 SHA1 52f5d8463f0ebf9e0688cac6c3c0345f027de44b SHA256 0591b55a123df6153d9ef10b4284d461997b1fd03eaf95028603d81ee06cb3ae
+EBUILD isabelle-2009.ebuild 2513 RMD160 ad2b37163d5910f83c48f55d4d6b84d5e71caa74 SHA1 f1085a941b87bdb5a7acc434c4d47540072d3dd9 SHA256 60005b9776b841d1afcec0eb7aace720f247786085174b02f82337d0e110bc4c
diff --git a/sci-mathematics/isabelle/isabelle-2009.ebuild b/sci-mathematics/isabelle/isabelle-2009.ebuild
index f483bda..548a9a8 100644
--- a/sci-mathematics/isabelle/isabelle-2009.ebuild
+++ b/sci-mathematics/isabelle/isabelle-2009.ebuild
@@ -92,7 +92,6 @@ src_install() {
bin/isabelle install -d ${TARGETDIR} -p ${D}usr/bin
newicon lib/icons/isabelle.xpm ${PN}.xpm
- make_desktop_entry Isabelle "Isabelle ${PV}" isabelle.xpm "Education;Math"
dodoc ANNOUNCE CONTRIBUTORS INSTALL NEWS README \
|| die "dodoc failed"
}