summaryrefslogtreecommitdiff
diff options
context:
space:
mode:
authorRené 'Necoro' Neumann <necoro@necoro.net>2010-09-04 03:46:11 +0200
committerRené 'Necoro' Neumann <necoro@necoro.net>2010-09-04 03:46:11 +0200
commit221f5f9544c086c68363e5b3234e10282cf27030 (patch)
treee7b5b901cdbbf8eca3bfc8c5809b4ae19e7272c0
parent26b04a7957a18fc7ae086e4ea4245e0041c38245 (diff)
downloadoverlay-221f5f9544c086c68363e5b3234e10282cf27030.tar.gz
overlay-221f5f9544c086c68363e5b3234e10282cf27030.tar.bz2
overlay-221f5f9544c086c68363e5b3234e10282cf27030.zip
Delete old stuff
-rw-r--r--app-crypt/fcrackzip/Manifest2
-rw-r--r--app-crypt/fcrackzip/fcrackzip-1.0.ebuild21
-rw-r--r--app-text/highlight/Manifest2
-rw-r--r--app-text/highlight/highlight-2.15.ebuild51
-rw-r--r--dev-perl/IPTables-ChainMgr/IPTables-ChainMgr-0.9.ebuild20
-rw-r--r--dev-perl/IPTables-ChainMgr/Manifest2
-rw-r--r--dev-perl/IPTables-Parse/IPTables-Parse-0.7.ebuild16
-rw-r--r--dev-perl/IPTables-Parse/Manifest2
-rw-r--r--dev-perl/Net-IPv4Addr/Manifest2
-rw-r--r--dev-perl/Net-IPv4Addr/Net-IPv4Addr-0.10.ebuild16
-rw-r--r--media-gfx/keyjnote/Manifest2
-rw-r--r--media-gfx/keyjnote/keyjnote-0.10.2.ebuild27
-rw-r--r--net-firewall/fwknop/Manifest2
-rw-r--r--net-firewall/fwknop/fwknop-1.9.12.ebuild93
-rw-r--r--sci-mathematics/isabelle/Manifest3
-rw-r--r--sci-mathematics/isabelle/files/isabelle-2009-proofgeneral-gentoo-path.patch10
-rw-r--r--sci-mathematics/isabelle/isabelle-2009.ebuild101
-rw-r--r--www-apps/gitit/Manifest2
-rw-r--r--www-apps/gitit/gitit-0.7.3.8.ebuild43
-rw-r--r--www-apps/ikiwiki/Manifest2
-rw-r--r--www-apps/ikiwiki/ikiwiki-3.20100804.ebuild41
-rw-r--r--x11-misc/notification-daemon-xfce/Manifest3
-rw-r--r--x11-misc/notification-daemon-xfce/files/0.3.7/01_all_fix_autoconf.patch12
-rw-r--r--x11-misc/notification-daemon-xfce/notification-daemon-xfce-0.3.7.ebuild50
-rw-r--r--xfce-extra/xfce4-weather/Manifest3
-rw-r--r--xfce-extra/xfce4-weather/files/xfce4-weather-horizontal.patch79
-rw-r--r--xfce-extra/xfce4-weather/xfce4-weather-0.7.1.ebuild28
27 files changed, 0 insertions, 635 deletions
diff --git a/app-crypt/fcrackzip/Manifest b/app-crypt/fcrackzip/Manifest
deleted file mode 100644
index b705892..0000000
--- a/app-crypt/fcrackzip/Manifest
+++ /dev/null
@@ -1,2 +0,0 @@
-DIST fcrackzip-1.0.tar.gz 114786 RMD160 8c784108816c990fcd09cfafc69a5d4a0ef1d33a SHA1 92e4f8caa880c55b20e13feb7a25c8b8fd3accf8 SHA256 4a58c8cb98177514ba17ee30d28d4927918bf0bdc3c94d260adfee44d2d43850
-EBUILD fcrackzip-1.0.ebuild 493 RMD160 3406f1cfb14b86bde0d640c28ab20806c3e248c6 SHA1 36c1853b36d2a3333700e98540553910f669501a SHA256 06a160da24795be2e7128f52cd0f90f548ca3479047ba083bc073deede1a8816
diff --git a/app-crypt/fcrackzip/fcrackzip-1.0.ebuild b/app-crypt/fcrackzip/fcrackzip-1.0.ebuild
deleted file mode 100644
index ccf715b..0000000
--- a/app-crypt/fcrackzip/fcrackzip-1.0.ebuild
+++ /dev/null
@@ -1,21 +0,0 @@
-# Copyright 1999-2008 Gentoo Foundation
-# Distributed under the terms of the GNU General Public License v2
-# $Header: $
-
-DESCRIPTION="A (not so fast) zip password recovery utility"
-HOMEPAGE="http://www.goof.com/pcg/marc/fcrackzip.html"
-SRC_URI="http://www.goof.com/pcg/marc/data/${P}.tar.gz"
-
-LICENSE="GPL"
-SLOT="0"
-KEYWORDS="~x86"
-IUSE=""
-
-RDEPEND="app-arch/unzip"
-DEPEND=""
-
-src_install()
-{
- emake DESTDIR="${D}" install || die "Install failed"
- mv "${D}"/usr/bin/{zipinfo,fcrack-zipinfo}
-}
diff --git a/app-text/highlight/Manifest b/app-text/highlight/Manifest
deleted file mode 100644
index 1b92faf..0000000
--- a/app-text/highlight/Manifest
+++ /dev/null
@@ -1,2 +0,0 @@
-DIST highlight-2.15.tar.bz2 534401 RMD160 17c863f251c0e80fa210beb05b107f922d051264 SHA1 a431afe458c2c2cb63a0e4e49af089dc501050b8 SHA256 1d6be1d5e7e618db36d472fc726726a0012fb45a8a41f5b3498be3bd48bbc985
-EBUILD highlight-2.15.ebuild 1517 RMD160 21a915dd2a952a5ca48f73a56296e90e430563f5 SHA1 d9f63138ef8d886175746e318058f9edc6b28565 SHA256 391a76ab7164fe4b44f78149a56509d5325213585b41449f03bbc3ee8d435012
diff --git a/app-text/highlight/highlight-2.15.ebuild b/app-text/highlight/highlight-2.15.ebuild
deleted file mode 100644
index b227759..0000000
--- a/app-text/highlight/highlight-2.15.ebuild
+++ /dev/null
@@ -1,51 +0,0 @@
-# Copyright 1999-2010 Gentoo Foundation
-# Distributed under the terms of the GNU General Public License v2
-# $Header: /var/cvsroot/gentoo-x86/app-text/highlight/highlight-2.9.ebuild,v 1.7 2010/03/11 18:15:18 hwoarang Exp $
-
-EAPI=3
-inherit eutils toolchain-funcs
-
-DESCRIPTION="converts source code to formatted text ((X)HTML, RTF, (La)TeX, XSL-FO, XML) with syntax highlight"
-HOMEPAGE="http://www.andre-simon.de"
-SRC_URI="http://www.andre-simon.de/zip/${P}.tar.bz2"
-
-LICENSE="GPL-2"
-SLOT="0"
-KEYWORDS="amd64 ~hppa ppc ~sparc x86 ~amd64-linux ~x86-linux ~ppc-macos"
-IUSE="qt4"
-
-RDEPEND="qt4? ( x11-libs/qt-gui:4
- x11-libs/qt-core:4 )"
-DEPEND="${RDEPEND}"
-
-src_prepare() {
- sed -i -e 's:-O2::' -e 's:CFLAGS:CXXFLAGS:g' \
- -e 's:qmake-qt4:${EPREFIX}/usr/bin/qmake:' \
- src/makefile || die "sed failed"
-}
-
-src_compile() {
- emake -f makefile PREFIX="${EPREFIX}/usr/" conf_dir="${EPREFIX}"/etc/highlight/ CXX="$(tc-getCXX)" \
- || die "emake failed"
-
- if use qt4; then
- emake -j1 -f makefile PREFIX="${EPREFIX}/usr/" conf_dir="${EPREFIX}"/etc/highlight/ CXX="$(tc-getCXX)" gui \
- || die "emake gui failed"
- fi
-}
-
-src_install() {
- dodir /usr/bin
-
- emake -f makefile DESTDIR="${D}" \
- PREFIX="${EPREFIX}/usr/" conf_dir="${EPREFIX}"/etc/highlight/ \
- install || die "emake install failed"
-
- if use qt4; then
- emake -f makefile DESTDIR="${D}" \
- PREFIX="${EPREFIX}/usr/" conf_dir="${EPREFIX}"/etc/highlight/ \
- install-gui || die "emake install-gui failed"
- doicon src/gui-qt/${PN}.xpm
- domenu ${PN}.desktop
- fi
-}
diff --git a/dev-perl/IPTables-ChainMgr/IPTables-ChainMgr-0.9.ebuild b/dev-perl/IPTables-ChainMgr/IPTables-ChainMgr-0.9.ebuild
deleted file mode 100644
index 8a5a836..0000000
--- a/dev-perl/IPTables-ChainMgr/IPTables-ChainMgr-0.9.ebuild
+++ /dev/null
@@ -1,20 +0,0 @@
-# Copyright 1999-2010 Gentoo Foundation
-# Distributed under the terms of the GNU General Public License v2
-# $Header: $
-
-EAPI="2"
-
-MODULE_AUTHOR="MRASH"
-
-inherit perl-module
-
-DESCRIPTION="Perl extension for manipulating iptables policies"
-
-LICENSE="|| ( Artistic GPL-1 GPL-2 GPL-3 )"
-SLOT="0"
-KEYWORDS="~x86"
-IUSE=""
-
-DEPEND=">=dev-perl/IPTables-Parse-0.7
- >=dev-perl/Net-IPv4Addr-0.10
- dev-lang/perl"
diff --git a/dev-perl/IPTables-ChainMgr/Manifest b/dev-perl/IPTables-ChainMgr/Manifest
deleted file mode 100644
index c9c8bd7..0000000
--- a/dev-perl/IPTables-ChainMgr/Manifest
+++ /dev/null
@@ -1,2 +0,0 @@
-DIST IPTables-ChainMgr-0.9.tar.gz 9304 RMD160 62e3b27f44e14a605d5aa8488b3c017f683fbaec SHA1 78ac9f4a7c6b89966fbe8d339c3a7d7cc155ae41 SHA256 6e245baa0a50975027f8ebb9c7e84bf0494a6e5905ad2991b7ded57f2bd4f909
-EBUILD IPTables-ChainMgr-0.9.ebuild 402 RMD160 4460ddf2b4f8ab225bcbd400c7b14a4c544397dd SHA1 18e6f7bea78588e4ed75fb8a59c599aec8a734f2 SHA256 bcc03817b808aaa1a600c16b023093cc1e3b6cd1ac806a50a2ee6856fd103084
diff --git a/dev-perl/IPTables-Parse/IPTables-Parse-0.7.ebuild b/dev-perl/IPTables-Parse/IPTables-Parse-0.7.ebuild
deleted file mode 100644
index 30caf12..0000000
--- a/dev-perl/IPTables-Parse/IPTables-Parse-0.7.ebuild
+++ /dev/null
@@ -1,16 +0,0 @@
-# Copyright 1999-2010 Gentoo Foundation
-# Distributed under the terms of the GNU General Public License v2
-# $Header: $
-
-EAPI="2"
-
-MODULE_AUTHOR="MRASH"
-
-inherit perl-module
-
-DESCRIPTION="Perl extension for parsing iptables firewall rulesets"
-
-LICENSE="|| ( Artistic GPL-1 GPL-2 GPL-3 )"
-SLOT="0"
-KEYWORDS="~x86"
-IUSE=""
diff --git a/dev-perl/IPTables-Parse/Manifest b/dev-perl/IPTables-Parse/Manifest
deleted file mode 100644
index f3bb44f..0000000
--- a/dev-perl/IPTables-Parse/Manifest
+++ /dev/null
@@ -1,2 +0,0 @@
-DIST IPTables-Parse-0.7.tar.gz 8196 RMD160 1e2cc8854410df4b5364d861d2727d59424b0899 SHA1 52cc37e5ddac772f8f15ef4fdb9c0302c7946a92 SHA256 027e0fa529648e219e2eeece4d1960de061e9fd428ea062aa1a2ffcc4ac301c0
-EBUILD IPTables-Parse-0.7.ebuild 321 RMD160 43e636d52d6d836d77a4f1e72fc9acf131fc3632 SHA1 76feef0d4e067cd3d7d59d11e50e8ea109401ba9 SHA256 cd9e926320c2774baef0abf8a4fe9ef1597766f4682b995dfe6d19ade4737be7
diff --git a/dev-perl/Net-IPv4Addr/Manifest b/dev-perl/Net-IPv4Addr/Manifest
deleted file mode 100644
index d68b404..0000000
--- a/dev-perl/Net-IPv4Addr/Manifest
+++ /dev/null
@@ -1,2 +0,0 @@
-DIST Net-IPv4Addr-0.10.tar.gz 8429 RMD160 fad5493dbb94101b06cdcb1cc5a32da477ce5253 SHA1 da26fed2a1ea13c34ebef86606899c5fb294af98 SHA256 3845de4f30b17c842b192cace8879dbb6214de9692cfa70f0aaf0981422a63fe
-EBUILD Net-IPv4Addr-0.10.ebuild 318 RMD160 b3287227b341ff91d2c00948fd60f6ead7363fac SHA1 8991130711fafad74d17b83d0e049d378675813c SHA256 6880c42647b5e59e5319c0bcf67fb83891a172296f42efe027f99a3713bdcbf2
diff --git a/dev-perl/Net-IPv4Addr/Net-IPv4Addr-0.10.ebuild b/dev-perl/Net-IPv4Addr/Net-IPv4Addr-0.10.ebuild
deleted file mode 100644
index 59593a8..0000000
--- a/dev-perl/Net-IPv4Addr/Net-IPv4Addr-0.10.ebuild
+++ /dev/null
@@ -1,16 +0,0 @@
-# Copyright 1999-2010 Gentoo Foundation
-# Distributed under the terms of the GNU General Public License v2
-# $Header: $
-
-EAPI="2"
-
-MODULE_AUTHOR="FRAJULAC"
-
-inherit perl-module
-
-DESCRIPTION="Perl extension for manipulating IPv4 addresses."
-
-LICENSE="|| ( Artistic GPL-1 GPL-2 GPL-3 )"
-SLOT="0"
-KEYWORDS="~x86"
-IUSE=""
diff --git a/media-gfx/keyjnote/Manifest b/media-gfx/keyjnote/Manifest
deleted file mode 100644
index b8617f2..0000000
--- a/media-gfx/keyjnote/Manifest
+++ /dev/null
@@ -1,2 +0,0 @@
-DIST KeyJnote-0.10.2.tar.gz 119844 RMD160 41f9afd5ed045edbcc39e7268c72b5b9c119e70f SHA1 fe49266e818655984c7d34d459098f3db9c244ae SHA256 3af8da3ce26074db0d4634dab9ca2e78fa1c06ec907e19c58d6ebaa2da09cce6
-EBUILD keyjnote-0.10.2.ebuild 732 RMD160 edf27d9d212b627a758402ae04eea7c50a80f9bb SHA1 94da3530253b3630bd4f505be97a6b0c381eb928 SHA256 e52ee2a20f4010602debe77cbe52d619fd8f67252b03b1fec796911ebe3281c9
diff --git a/media-gfx/keyjnote/keyjnote-0.10.2.ebuild b/media-gfx/keyjnote/keyjnote-0.10.2.ebuild
deleted file mode 100644
index addb0e8..0000000
--- a/media-gfx/keyjnote/keyjnote-0.10.2.ebuild
+++ /dev/null
@@ -1,27 +0,0 @@
-# Copyright 1999-2007 Gentoo Foundation
-# Distributed under the terms of the GNU General Public License v2
-# $Header: /var/cvsroot/gentoo-x86/media-gfx/keyjnote/keyjnote-0.10.1a.ebuild,v 1.2 2007/12/13 19:31:26 maekke Exp $
-
-DESCRIPTION="Pdf viewer and presentation program"
-HOMEPAGE="http://keyjnote.sf.net"
-SRC_URI="mirror://sourceforge/${PN}/KeyJnote-${PV}.tar.gz"
-
-LICENSE="GPL-2"
-SLOT="0"
-KEYWORDS="~amd64 ~ppc ~x86"
-IUSE=""
-
-S="${WORKDIR}/KeyJnote-${PV}"
-
-DEPEND=">=dev-lang/python-2.3
- dev-python/pyopengl
- dev-python/pygame
- dev-python/imaging
- || ( app-text/poppler virtual/ghostscript )
- app-text/pdftk
- x11-misc/xdg-utils"
-
-src_install() {
- newbin keyjnote.py keyjnote || die
- dodoc demo.pdf keyjnote.html || die
-}
diff --git a/net-firewall/fwknop/Manifest b/net-firewall/fwknop/Manifest
deleted file mode 100644
index b7c8e4b..0000000
--- a/net-firewall/fwknop/Manifest
+++ /dev/null
@@ -1,2 +0,0 @@
-DIST fwknop-nodeps-1.9.12.tar.gz 270475 RMD160 c15e7c6464acd050e326d96273340bd656acaf4d SHA1 aed47bde81e869fc0baf6bb689ec703ce5155dd2 SHA256 a67242f25d09c4cdc3c0c449f1a71a3a52db61c79692bbf1a4e90ce9324f32b0
-EBUILD fwknop-1.9.12.ebuild 2266 RMD160 de89bbc3f1311909a1e895149e2320c7709cb6a0 SHA1 7f715491109b9ab8806906f965d968f23277d537 SHA256 ff23579c5034a1e1f31aa11b531c6676a17e45d9b72400e3be2bfffb0ab4abfd
diff --git a/net-firewall/fwknop/fwknop-1.9.12.ebuild b/net-firewall/fwknop/fwknop-1.9.12.ebuild
deleted file mode 100644
index 86047b7..0000000
--- a/net-firewall/fwknop/fwknop-1.9.12.ebuild
+++ /dev/null
@@ -1,93 +0,0 @@
-# Copyright 1999-2010 Gentoo Foundation
-# Distributed under the terms of the GNU General Public License v2
-# $Header: $
-
-EAPI=2
-
-inherit perl-app
-
-DESCRIPTION="Single Packet Authorization and Port Knocking"
-SRC_URI="http://www.cipherdyne.org/fwknop/download/${PN}-nodeps-${PV}.tar.gz"
-HOMEPAGE="http://www.cipherdyne.org/fwknop"
-
-SLOT="0"
-LICENSE="GPL-2"
-KEYWORDS="~x86"
-IUSE="gpg +server"
-
-RDEPEND="
- dev-perl/Class-MethodMaker
- dev-perl/crypt-cbc
- dev-perl/Crypt-Rijndael
- dev-perl/TermReadKey
- dev-perl/Net-RawIP
- dev-perl/Net-IPv4Addr
- virtual/perl-Digest-SHA
- virtual/perl-net-ping
- server? (
- dev-perl/IPTables-Parse
- dev-perl/IPTables-ChainMgr
- dev-perl/Net-Pcap
- dev-perl/Unix-Syslog
- net-firewall/iptables
- net-misc/whois
- virtual/logger
- virtual/mailx
- )
- gpg? ( dev-perl/GnuPG-Interface )"
-
-src_install() {
- # install client binary
- dobin fwknop
-
- if use server; then
- # install daemons
- insinto /usr
- dosbin fwknop_serv fwknopd knopmd knoptm knopwatchd
-
- # fix config
- fix_conf
-
- # install configs
- insinto /etc/fwknop
- doins *.conf
- fperms 600 /etc/fwknop/access.conf
-
- # init.d
- newinitd init-scripts/fwknop-init.gentoo fwknop
-
- # create (and keep) dirs for the daemons
- keepdir /var/log/fwknop /var/run/fwknop
-
- # install manpages
- doman *.8
- else
- # only install the client manpage
- doman fwknop.8
- fi
-
- dodoc CREDITS Change* README README.* VERSION
-}
-
-pkg_postinst() {
- if use server; then
- echo
- elog "Please be sure to edit /etc/fwknop/fwknop.conf to reflect your system's"
- elog "configuration or it may not work correctly or start up. Specifically, check"
- elog "the validity of the HOSTNAME setting and EMAIL_ADDRESSES"
- echo
- elog "You must edit /etc/fwknop/access.conf for fwknop to work correctly."
- fi
-}
-
-fix_conf() {
- cp fwknop.conf fwknop.conf.orig
-
- # Ditch the _CHANGEME_ for hostname, substituting in our real hostname
- sed -i "s:HOSTNAME\(.\+\)\_CHANGEME\_;:HOSTNAME\1$(hostname --fqdn);:" fwknop.conf || die "fix_conf failed"
-
- # Fix up paths
- sed -i "s:/sbin/syslogd:/usr/sbin/syslogd:g" fwknop.conf || die "fix_conf failed"
- sed -i "s:/sbin/syslog-ng:/usr/sbin/syslog-ng:g" fwknop.conf || die "fix_conf failed"
- sed -i "s:/usr/bin/whois_psad:/usr/bin/whois:g" fwknop.conf || die "fix_conf failed"
-}
diff --git a/sci-mathematics/isabelle/Manifest b/sci-mathematics/isabelle/Manifest
deleted file mode 100644
index 05573d6..0000000
--- a/sci-mathematics/isabelle/Manifest
+++ /dev/null
@@ -1,3 +0,0 @@
-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 2513 RMD160 ad2b37163d5910f83c48f55d4d6b84d5e71caa74 SHA1 f1085a941b87bdb5a7acc434c4d47540072d3dd9 SHA256 60005b9776b841d1afcec0eb7aace720f247786085174b02f82337d0e110bc4c
diff --git a/sci-mathematics/isabelle/files/isabelle-2009-proofgeneral-gentoo-path.patch b/sci-mathematics/isabelle/files/isabelle-2009-proofgeneral-gentoo-path.patch
deleted file mode 100644
index f64581d..0000000
--- a/sci-mathematics/isabelle/files/isabelle-2009-proofgeneral-gentoo-path.patch
+++ /dev/null
@@ -1,10 +0,0 @@
---- Isabelle/etc/settings.old 2009-09-28 15:20:14.000000000 +0200
-+++ Isabelle/etc/settings 2009-09-28 15:20:34.000000000 +0200
-@@ -194,6 +194,7 @@
- "/usr/local/ProofGeneral" \
- "/usr/share/ProofGeneral" \
- "/opt/ProofGeneral" \
-+ "/usr/share/emacs/site-lisp/ProofGeneral" \
- "")
-
- PROOFGENERAL_OPTIONS=""
diff --git a/sci-mathematics/isabelle/isabelle-2009.ebuild b/sci-mathematics/isabelle/isabelle-2009.ebuild
deleted file mode 100644
index 548a9a8..0000000
--- a/sci-mathematics/isabelle/isabelle-2009.ebuild
+++ /dev/null
@@ -1,101 +0,0 @@
-# Copyright 1999-2009 Gentoo Foundation
-# Distributed under the terms of the GNU General Public License v2
-# $Header: $
-
-EAPI="2"
-
-inherit eutils multilib
-
-DESCRIPTION="Isabelle is a generic proof assistant"
-HOMEPAGE="http://isabelle.in.tum.de/ http://www.cl.cam.ac.uk/research/hvg/Isabelle/"
-SRC_URI="http://isabelle.in.tum.de/dist/Isabelle${PV}.tar.gz"
-
-LICENSE="BSD"
-SLOT="0"
-KEYWORDS="~x86 ~amd64"
-IUSE="doc graphbrowsing +proofgeneral"
-
-
-#upstream says
-#bash 2.x/3.x, Poly/ML 5.x, Perl 5.x,
-#for Proof General GNU Emacs 21/22, xemacs 21.4.x, NOT xemacs 21.5 beta
-#for document preparation: complete LaTeX
-DEPEND=">=app-shells/bash-3.0
- graphbrowsing? (
- virtual/jdk
- )"
-
-#proofgeneral uses eclass elisp that depends on virtual/emacs-21
-RDEPEND=">=dev-lang/polyml-5.2.1
- >=dev-lang/perl-5.8.8-r2
- doc? (
- virtual/latex-base
- )
- proofgeneral? (
- app-emacs/proofgeneral
- )
- ${DEPEND}"
-
-S="${WORKDIR}"/Isabelle${PV}
-TARGETDIR="/usr/share/Isabelle"${PV}
-LIBDIR="/usr/"$(get_libdir)"/Isabelle"${PV}
-
-pkg_setup() {
- if ! use proofgeneral
- then
- ewarn "You have deselected the Proof General interface."
- ewarn "Only a text terminal will be installed."
- ewarn "Emerge Isabelle with the proofgeneral USE flag enabled"
- ewarn "to get the common interface, that most people want."
- fi
-}
-
-src_prepare() {
- use proofgeneral && epatch ${FILESDIR}/isabelle-2009-proofgeneral-gentoo-path.patch
-}
-
-src_compile() {
- einfo "Building Isabelle logics. This may take some time."
- ./build -b || die "building logics failed"
- if use graphbrowsing
- then
- cd lib/browser
- emake clean || die "failed cleaning graph browser directory"
- emake || die "failed building the graph browser"
- fi
-}
-
-src_test() {
- einfo "Running tests. A test run can take up to several hours!"
- ./build -b HOL -t
-}
-
-src_install() {
- exeinto ${TARGETDIR}/bin
- doexe bin/isabelle-process bin/isabelle \
- || die "install failed"
-
- exeinto ${TARGETDIR}
- doexe build || die "install failed"
-
- insinto ${TARGETDIR}
- use doc && ( doins -r doc || die "install failed" )
-
- doins -r etc || die "install failed"
- dosym ${LIBDIR}/heaps ${TARGETDIR}/heaps
-
- insinto ${LIBDIR}
- doins -r heaps || die "install failed"
-
- # use cp to keep file attributes
- cp -R lib ${D}${TARGETDIR} || die "install failed"
-
- bin/isabelle install -d ${TARGETDIR} -p ${D}usr/bin
- newicon lib/icons/isabelle.xpm ${PN}.xpm
- dodoc ANNOUNCE CONTRIBUTORS INSTALL NEWS README \
- || die "dodoc failed"
-}
-
-pkg_postinst() {
- elog "You will need to re-emerge Isabelle after emerging polyml."
-}
diff --git a/www-apps/gitit/Manifest b/www-apps/gitit/Manifest
deleted file mode 100644
index 5cc5a9f..0000000
--- a/www-apps/gitit/Manifest
+++ /dev/null
@@ -1,2 +0,0 @@
-DIST gitit-0.7.3.8.tar.gz 175979 RMD160 f65935ebb4e465c30f7598434a1043309fd47978 SHA1 3f750b9a880e81ac04f274569883c79b8627f510 SHA256 356c82604dcfe2eec4faeb36ee46546ea3e26738780723f457366b2e35f6211a
-EBUILD gitit-0.7.3.8.ebuild 1188 RMD160 78b8947f76db552e4ba7a99dd85d46343dbdaa5d SHA1 996142e4851d7d8291cc8835673c7da45ede897a SHA256 8068232e16b20e54f1a0623b0a5a5f257127857690f221ffd8c8d274166d9f63
diff --git a/www-apps/gitit/gitit-0.7.3.8.ebuild b/www-apps/gitit/gitit-0.7.3.8.ebuild
deleted file mode 100644
index a0512ac..0000000
--- a/www-apps/gitit/gitit-0.7.3.8.ebuild
+++ /dev/null
@@ -1,43 +0,0 @@
-# Copyright 1999-2010 Gentoo Foundation
-# Distributed under the terms of the GNU General Public License v2
-# $Header: $
-
-CABAL_FEATURES="bin lib profile haddock hscolour"
-inherit haskell-cabal
-
-DESCRIPTION="Wiki using happstack, git or darcs, and pandoc."
-HOMEPAGE="http://github.com/jgm/gitit/tree/master"
-SRC_URI="http://hackage.haskell.org/packages/archive/${PN}/${PV}/${P}.tar.gz"
-
-LICENSE="GPL-2"
-SLOT="0"
-KEYWORDS="~amd64 ~x86"
-IUSE=""
-
-RDEPEND=">=dev-haskell/cautious-file-0.1.5
- dev-haskell/cgi
- <dev-haskell/configfile-1.1
- <dev-haskell/datetime-0.3
- <dev-haskell/feed-0.4
- >=dev-haskell/filestore-0.3.4
- =dev-haskell/happstack-server-0.5*
- =dev-haskell/happstack-util-0.5*
- >=dev-haskell/highlighting-kate-0.2.7.1
- <dev-haskell/hslogger-1.1
- =dev-haskell/hstringtemplate-0.6*
- =dev-haskell/http-4000.0*
- dev-haskell/mtl
- >=dev-haskell/network-2.1.0.0
- >=app-text/pandoc-1.6
- dev-haskell/parsec
- >=dev-haskell/recaptcha-0.1
- dev-haskell/safe
- <dev-haskell/sha-1.5
- =dev-haskell/url-2.1*
- =dev-haskell/utf8-string-0.3*
- dev-haskell/xhtml
- >=dev-haskell/xml-1.3.5
- =dev-haskell/zlib-0.5*
- >=dev-lang/ghc-6.10"
-DEPEND="${RDEPEND}
- >=dev-haskell/cabal-1.2"
diff --git a/www-apps/ikiwiki/Manifest b/www-apps/ikiwiki/Manifest
deleted file mode 100644
index 03774c2..0000000
--- a/www-apps/ikiwiki/Manifest
+++ /dev/null
@@ -1,2 +0,0 @@
-DIST ikiwiki_3.20100804.tar.gz 1919048 RMD160 5e6a7e195524d02e8b07762455d0c59f1c687653 SHA1 8751225426009fa1c101b80a34aaf4912d67b3ae SHA256 bd64b0e6e0e5b4610103b4e91a7946f3c5a2619f14732d578ca0f43235dfb5f4
-EBUILD ikiwiki-3.20100804.ebuild 868 RMD160 8c19f5255f508d9f228d8952afd7bfe167911a52 SHA1 39bd1efd81f93aceda3092176679651ad3b586d8 SHA256 83b377848d86d625a9ff80ad48f7aadc5df2eca14b7680199e39ef29666330dc
diff --git a/www-apps/ikiwiki/ikiwiki-3.20100804.ebuild b/www-apps/ikiwiki/ikiwiki-3.20100804.ebuild
deleted file mode 100644
index f3ba93b..0000000
--- a/www-apps/ikiwiki/ikiwiki-3.20100804.ebuild
+++ /dev/null
@@ -1,41 +0,0 @@
-# Copyright 1999-2010 Gentoo Foundation
-# Distributed under the terms of the GNU General Public License v2
-# $Header: $
-
-EAPI="2"
-
-inherit perl-app
-
-DESCRIPTION="Wiki compiler which converts wiki pages of different format into static HTML pages"
-HOMEPAGE="http://ikiwiki.info"
-SRC_URI="mirror://debian/pool/main/i/ikiwiki/${PN}_${PV}.tar.gz"
-
-LICENSE="GPL-2"
-SLOT="0"
-KEYWORDS="x86 ~amd64"
-IUSE=""
-
-DEPEND="dev-perl/Text-Markdown
- dev-perl/HTML-Parser
- dev-perl/HTML-Template
- dev-perl/HTML-Scrubber
- dev-perl/CGI-Session
- >=dev-perl/CGI-FormBuilder-3.05
- dev-perl/Mail-Sendmail
- dev-perl/Time-Duration
- dev-perl/TimeDate
- dev-perl/RPC-XML
- dev-perl/XML-Simple
- dev-perl/XML-Feed
- dev-perl/File-MimeInfo
- >=dev-perl/Locale-gettext-1.04"
-
-RDEPEND="${DEPEND}"
-
-S="${WORKDIR}/${PN}"
-
-SRC_TEST="do"
-
-src_install() {
- emake DESTDIR="${D}" install || die "Install failed"
-}
diff --git a/x11-misc/notification-daemon-xfce/Manifest b/x11-misc/notification-daemon-xfce/Manifest
deleted file mode 100644
index e29fab3..0000000
--- a/x11-misc/notification-daemon-xfce/Manifest
+++ /dev/null
@@ -1,3 +0,0 @@
-AUX 0.3.7/01_all_fix_autoconf.patch 618 RMD160 80cbe02dbcfcf0f65551fc64d8c5b71130e38e43 SHA1 f44786ff03e1074574551f35a7a3fcd85138b3b7 SHA256 79f5fc30ca1487e594fc651f5ee8fc2a6501cf7ac9fa4da8e914545712dd2238
-DIST notification-daemon-xfce-0.3.7.tar.bz2 329496 RMD160 d5df3795d7d7a5f5fceee6ac7672c7e173f01070 SHA1 46d8dead23db347db7aae56b90ecca4a1dedf545 SHA256 c0dc4100a9fc6cbc45ce8741fd360f4d80ad57ced6905e42a70a92855d09a38a
-EBUILD notification-daemon-xfce-0.3.7.ebuild 1434 RMD160 b097c9d27e61ace4166c2a2cb0b0fc3a40def515 SHA1 a5d97aa90f471dbf55e801cfdcc1a4fee49c7a21 SHA256 cf399f26dcd72bfa088f5007b5af76c31d76f60cee1687e93a3d4ab3b45ff330
diff --git a/x11-misc/notification-daemon-xfce/files/0.3.7/01_all_fix_autoconf.patch b/x11-misc/notification-daemon-xfce/files/0.3.7/01_all_fix_autoconf.patch
deleted file mode 100644
index 1d7ab50..0000000
--- a/x11-misc/notification-daemon-xfce/files/0.3.7/01_all_fix_autoconf.patch
+++ /dev/null
@@ -1,12 +0,0 @@
-diff -ur notification-daemon-xfce-0.3.7.orig/configure.in notification-daemon-xfce-0.3.7/configure.in
---- notification-daemon-xfce-0.3.7.orig/configure.in 2007-05-26 12:52:28.000000000 +0300
-+++ notification-daemon-xfce-0.3.7/configure.in 2008-06-23 04:38:53.000000000 +0300
-@@ -18,7 +18,7 @@
- dnl *********************
- dnl *** init autoconf ***
- dnl *********************
--AC_INIT([notification-daemon-xfce], [notification_daemon_version()], [http://bugzilla.xfce.org/])
-+AC_INIT([notification-daemon-xfce], [notification_daemon_version], [http://bugzilla.xfce.org/])
- AC_PREREQ([2.50])
-
- dnl *********************
diff --git a/x11-misc/notification-daemon-xfce/notification-daemon-xfce-0.3.7.ebuild b/x11-misc/notification-daemon-xfce/notification-daemon-xfce-0.3.7.ebuild
deleted file mode 100644
index 391ee64..0000000
--- a/x11-misc/notification-daemon-xfce/notification-daemon-xfce-0.3.7.ebuild
+++ /dev/null
@@ -1,50 +0,0 @@
-# Copyright 1999-2008 Gentoo Foundation
-# Distributed under the terms of the GNU General Public License v2
-# $Header: /var/cvsroot/gentoo-x86/x11-misc/notification-daemon-xfce/notification-daemon-xfce-0.3.7.ebuild,v 1.3 2008/06/24 19:57:45 drac Exp $
-
-EAPI=1
-
-inherit autotools eutils
-
-DESCRIPTION="Port of notification daemon for Xfce Desktop Environment"
-HOMEPAGE="http://goodies.xfce.org/projects/applications/notification-daemon-xfce"
-SRC_URI="http://goodies.xfce.org/releases/${PN}/${P}.tar.bz2"
-
-LICENSE="GPL-2"
-SLOT="0"
-KEYWORDS="alpha amd64 arm ia64 ppc ~ppc64 sparc x86 ~x86-fbsd"
-IUSE="debug +xfce"
-
-RDEPEND=">=dev-libs/glib-2.6
- >=x11-libs/gtk+-2.6
- >=xfce-base/libxfcegui4-4.3.90
- >=xfce-base/libxfce4util-4.3.90
- xfce? ( >=xfce-base/xfce-mcs-manager-4.2.2 )
- >=x11-libs/libsexy-0.1.3
- dev-libs/dbus-glib"
-DEPEND="${RDEPEND}
- dev-util/intltool
- dev-util/pkgconfig
- sys-devel/gettext
- dev-util/xfce4-dev-tools
- !x11-misc/notification-daemon"
-
-src_unpack() {
- unpack ${A}
- cd "${S}"
- EPATCH_SUFFIX="patch" epatch "${FILESDIR}"/${PV}
- intltoolize --force --copy --automake || die "intltoolize failed."
- AT_M4DIR="/usr/share/xfce4/dev-tools/m4macros" eautoreconf
-}
-
-src_compile() {
- econf --disable-dependency-tracking \
- $(use_enable debug) \
- $(use_enable xfce mcs-plugin)
- emake || die "emake failed."
-}
-
-src_install() {
- emake DESTDIR="${D}" install || die "emake install failed."
- dodoc AUTHORS ChangeLog NEWS README
-}
diff --git a/xfce-extra/xfce4-weather/Manifest b/xfce-extra/xfce4-weather/Manifest
deleted file mode 100644
index 7758aff..0000000
--- a/xfce-extra/xfce4-weather/Manifest
+++ /dev/null
@@ -1,3 +0,0 @@
-AUX xfce4-weather-horizontal.patch 3184 RMD160 454f188254a75edfe95ffc983641a3bcb1fb5f2c SHA1 5e10ca99249183dc6f3aa0eb24f9f7a91dfd84be SHA256 73321326efd73ab3f7d8eb2e2eecb43c80659a393e121125ca0c4380c3f5db4e
-DIST xfce4-weather-plugin-0.7.1.tar.bz2 666205 RMD160 708cea2adda832e6d8aadcfcac3f60538e23f6ea SHA1 f6e8d93905c61425f3b510daab65fb7cd8ecbdb8 SHA256 08835749cc4c865dc7d685c6b4829db1b96758121100558b6f9513da8b43c4bd
-EBUILD xfce4-weather-0.7.1.ebuild 834 RMD160 610bab97b68082d40cef99755fab7a0fbb4a82b2 SHA1 99ecd3703fffa366ca84a120644fbea6b8d9f9a8 SHA256 a0337f58fc798bc1efc7a54c0e776d1a57d86b8fbe7474f9032c29299ec95863
diff --git a/xfce-extra/xfce4-weather/files/xfce4-weather-horizontal.patch b/xfce-extra/xfce4-weather/files/xfce4-weather-horizontal.patch
deleted file mode 100644
index 497b591..0000000
--- a/xfce-extra/xfce4-weather/files/xfce4-weather-horizontal.patch
+++ /dev/null
@@ -1,79 +0,0 @@
-=== modified file 'panel-plugin/weather.c'
---- panel-plugin/weather.c 2009-07-30 10:52:47 +0000
-+++ panel-plugin/weather.c 2009-07-30 11:04:50 +0000
-@@ -147,10 +147,10 @@
- }
-
- /* arbitrary, choose something that works */
-- if (orientation == GTK_ORIENTATION_HORIZONTAL)
-+ if (0) // (orientation == GTK_ORIENTATION_HORIZONTAL)
- txtsize = "medium";
- else if (size > 36)
-- txtsize = "medium";
-+ txtsize = "small";
- else if (size > 30)
- txtsize = "small";
- else if (size > 24)
-@@ -230,10 +230,10 @@
-
- /* arbitrary, choose something that works */
-
-- if (data->orientation == GTK_ORIENTATION_HORIZONTAL)
-+ if (0) //(data->orientation == GTK_ORIENTATION_HORIZONTAL)
- txtsize = "medium";
- else if (size > 36)
-- txtsize = "medium";
-+ txtsize = "small";
- else if (size > 30)
- txtsize = "small";
- else if (size > 24)
-@@ -249,7 +249,7 @@
-
- gtk_widget_get_size_request (data->scrollbox, NULL, &height);
-
-- if (data->orientation == GTK_ORIENTATION_VERTICAL)
-+ if (1) //(data->orientation == GTK_ORIENTATION_VERTICAL)
- icon = get_icon ("99", data->size - height - 2);
- else
- icon = get_icon ("99", data->size);
-@@ -296,7 +296,7 @@
- else
- {
- gtk_widget_get_size_request (data->scrollbox, NULL, &height);
-- if (data->orientation == GTK_ORIENTATION_VERTICAL)
-+ if (1) //(data->orientation == GTK_ORIENTATION_VERTICAL)
- size = data->size - height - 2;
- else
- size = data->size;
-@@ -808,14 +808,14 @@
- data->labels = g_array_new (FALSE, TRUE, sizeof (datas));
-
- data->vbox_center_scrollbox = gtk_vbox_new(FALSE, 0);
-+ data->top_vbox = gtk_vbox_new (FALSE, 0);
-+ //gtk_misc_set_alignment (GTK_MISC (data->iconimage), 1, 0.5);
-+ gtk_box_pack_start (GTK_BOX (data->top_vbox), data->iconimage, TRUE, FALSE, 0);
-+ gtk_box_pack_start (GTK_BOX (data->vbox_center_scrollbox), data->scrollbox, TRUE, FALSE, 0);
-+ gtk_box_pack_start (GTK_BOX (data->top_vbox), data->vbox_center_scrollbox, TRUE, FALSE, 0);
-+
- data->top_hbox = gtk_hbox_new (FALSE, 0);
-- gtk_misc_set_alignment (GTK_MISC (data->iconimage), 1, 0.5);
-- gtk_box_pack_start (GTK_BOX (data->top_hbox), data->iconimage, TRUE, FALSE, 0);
-- gtk_box_pack_start (GTK_BOX (data->vbox_center_scrollbox), data->scrollbox, TRUE, FALSE, 0);
-- gtk_box_pack_start (GTK_BOX (data->top_hbox), data->vbox_center_scrollbox, TRUE, FALSE, 0);
--
-- data->top_vbox = gtk_vbox_new (FALSE, 0);
-- gtk_box_pack_start (GTK_BOX (data->top_vbox), data->top_hbox, TRUE, FALSE, 0);
-+ //gtk_box_pack_start (GTK_BOX (data->top_vbox), data->top_hbox, TRUE, FALSE, 0);
-
- data->tooltipbox = gtk_event_box_new ();
- gtk_container_add (GTK_CONTAINER (data->tooltipbox), data->top_vbox);
-@@ -948,7 +948,7 @@
- gtk_container_remove(GTK_CONTAINER(parent), data->vbox_center_scrollbox);
-
- if (data->orientation == GTK_ORIENTATION_HORIZONTAL) {
-- gtk_box_pack_start (GTK_BOX (data->top_hbox), data->vbox_center_scrollbox, TRUE, FALSE, 0);
-+ gtk_box_pack_start (GTK_BOX (data->top_vbox), data->vbox_center_scrollbox, TRUE, FALSE, 0);
- } else {
- gtk_box_pack_start (GTK_BOX (data->top_vbox), data->vbox_center_scrollbox, TRUE, FALSE, 0);
- }
-
diff --git a/xfce-extra/xfce4-weather/xfce4-weather-0.7.1.ebuild b/xfce-extra/xfce4-weather/xfce4-weather-0.7.1.ebuild
deleted file mode 100644
index e3a5697..0000000
--- a/xfce-extra/xfce4-weather/xfce4-weather-0.7.1.ebuild
+++ /dev/null
@@ -1,28 +0,0 @@
-# Copyright 1999-2009 Gentoo Foundation
-# Distributed under the terms of the GNU General Public License v2
-# $Header: /var/cvsroot/gentoo-x86/xfce-extra/xfce4-weather/xfce4-weather-0.7.1.ebuild,v 1.1 2009/07/22 20:43:26 billie Exp $
-
-inherit auto