Remove expired ports:

2019-10-16 archivers/freetar: Unfetchable, unmaintained
2019-10-16 archivers/hffzip: Unfetchable, unmaintained
2019-10-16 archivers/hpack.non-usa.only: Unfetchable, unmaintained
2019-10-16 archivers/untar: Unfetchable, unmaintained
2019-10-16 astro/gpsdrive: Unfetchable, unmaintained
2019-10-16 astro/planets: Unfetchable, unmaintained
2019-10-16 audio/ascd: Unfetchable, unmaintained
2019-10-16 audio/audiotag: Unfetchable, unmaintained
2019-10-16 audio/gmidimonitor: Unfetchable, unmaintained
2019-10-16 audio/gmpc-lyricwiki: Unfetchable, unmaintained
2019-10-16 audio/jack_mixer: Unfetchable, unmaintained
2019-10-16 audio/jmusic: Unfetchable, unmaintained
2019-10-16 audio/maplay: Unfetchable, unmaintained
2019-10-16 audio/mbox: Unfetchable, unmaintained
2019-10-16 audio/nuvolaplayer: Unfetchable, unmaintained
2019-10-16 audio/vagalume: Unfetchable, unmaintained
2019-10-16 audio/wmsmixer: Unfetchable, unmaintained
2019-10-16 audio/xmms2-scrobbler: Unfetchable, unmaintained
2019-10-16 benchmarks/filebench: Unfetchable, unmaintained
2019-10-16 biology/chemeq: Unfetchable, unmaintained
2019-10-16 biology/linux-foldingathome: Unfetchable, unmaintained
2019-10-16 cad/dxf2fig: Unfetchable, unmaintained
2019-10-16 cad/gerbv: Unfetchable, unmaintained
2019-10-16 cad/ghdl: Unfetchable, unmaintained
2019-10-16 comms/gsmlib: Unfetchable, unmaintained
2019-10-16 comms/nokryptia: Unfetchable, unmaintained
2019-10-16 databases/mrtg-mysql-load: Unfetchable, unmaintained
2019-10-16 databases/postgres-xl: Unfetchable, unmaintained
2019-10-16 databases/wmjsql: Unfetchable, unmaintained
2019-10-16 deskutils/dlume: Unfetchable, unmaintained
2019-10-16 deskutils/gkrellm-reminder2: Unfetchable, unmaintained
2019-10-16 deskutils/ljit: Unfetchable, unmaintained
2019-10-16 deskutils/mdh: Unfetchable, unmaintained
2019-10-16 devel/atlassian-plugin-sdk: Unfetchable, unmaintained
2019-10-15 devel/bingo: Abandoned upstream
2019-10-16 devel/dprog: Unfetchable, unmaintained
2019-10-16 devel/eblob: Unfetchable, unmaintained
2019-10-16 devel/elftoaout: Unfetchable, unmaintained
2019-10-16 devel/fga: Unfetchable, unmaintained
2019-10-16 devel/fib: Unfetchable, unmaintained
2019-10-16 devel/flickrnet: Unfetchable, unmaintained
2019-10-16 devel/fujaba: Unfetchable, unmaintained
2019-10-16 devel/funnelweb: Unfetchable, unmaintained
2019-10-16 devel/genproto: Unfetchable, unmaintained
2019-10-16 devel/gitphp: Unfetchable, unmaintained
2019-10-16 devel/gnatcoll: Unfetchable, unmaintained
2019-10-16 devel/kimwitu: Unfetchable, unmaintained
2019-10-16 devel/libghthash: Unfetchable, unmaintained
2019-10-16 devel/lua-alien: Unfetchable, unmaintained
2019-10-16 devel/monotone-viz: Unfetchable, unmaintained
2019-10-16 devel/noweb: Unfetchable, unmaintained
2019-10-16 devel/p65: Unfetchable, unmaintained
2019-10-16 devel/py-fileutils: Unfetchable, unmaintained
2019-10-16 devel/py-mercurialserver: Unfetchable, unmaintained
2019-10-16 devel/py-pqueue: Unfetchable, unmaintained
2019-10-16 devel/pypersrc: Unfetchable, unmaintained
2019-10-16 devel/root-doc: Unfetchable, unmaintained
2019-10-16 devel/sfio: Unfetchable, unmaintained
2019-10-16 devel/styx: Unfetchable, unmaintained
2019-10-16 devel/tclmore: Unfetchable, unmaintained
2019-10-16 devel/umem: Unfetchable, unmaintained
2019-10-16 dns/ez-ipupdate: Unfetchable, unmaintained
2019-10-16 editors/zoinks: Unfetchable, unmaintained
2019-10-16 emulators/aftp: Unfetchable, unmaintained
2019-10-16 emulators/ia64sim: Unfetchable, unmaintained
2019-10-16 emulators/loemu: Unfetchable, unmaintained
2019-10-16 emulators/pipelight: Unfetchable, unmaintained
2019-10-16 finance/ledgersmb: Unfetchable, unmaintained
2019-10-16 ftp/atftp: Unfetchable, unmaintained
2019-10-16 ftp/cftp: Unfetchable, unmaintained
2019-10-16 games/arkanoidsb: Unfetchable, unmaintained
2019-10-16 games/balazar: Unfetchable, unmaintained
2019-10-16 games/blockade: Unfetchable, unmaintained
2019-10-16 games/cleanq3: Unfetchable, unmaintained
2019-10-16 games/conquest: Unfetchable, unmaintained
2019-10-16 games/crafty-tablebase-no-pawn: Unfetchable, unmaintained
2019-10-16 games/epiar: Unfetchable, unmaintained
2019-10-16 games/exmars: Unfetchable, unmaintained
2019-10-16 games/fteqw: Unfetchable, unmaintained
2019-10-16 games/gnake: Unfetchable, unmaintained
2019-10-16 games/gru: Unfetchable, unmaintained
2019-10-16 games/gtkpool: Unfetchable, unmaintained
2019-10-16 games/imaze: Unfetchable, unmaintained
2019-10-16 games/inform: Unfetchable, unmaintained
2019-10-16 games/iourbanterror: Unfetchable, unmaintained
2019-10-16 games/iourbanterror-server: Unfetchable, unmaintained
2019-10-16 games/jools: Unfetchable, unmaintained
2019-10-16 games/legends: Unfetchable, unmaintained
2019-10-16 games/linux-enemyterritory-etpro: Unfetchable, unmaintained
2019-10-16 games/linux-worldofgoo-demo: Unfetchable, unmaintained
2019-10-16 games/noegnud-data: Unfetchable, unmaintained
2019-10-16 games/poker-engine: Unfetchable, unmaintained
2019-10-16 games/ptools: Unfetchable, unmaintained
2019-10-16 games/pyawale: Unfetchable, unmaintained
2019-10-16 games/pysycache-lang: Unfetchable, unmaintained
2019-10-16 games/qmars: Unfetchable, unmaintained
2019-10-16 games/quake-reaper: Unfetchable, unmaintained
2019-10-16 games/quake3-ra3: Unfetchable, unmaintained
2019-10-16 games/sdlCC: Unfetchable, unmaintained
2019-10-16 games/speyes: Unfetchable, unmaintained
2019-10-16 games/vodovod: Unfetchable, unmaintained
2019-10-16 games/wmeyes: Unfetchable, unmaintained
2019-10-16 games/wmshuffle: Unfetchable, unmaintained
2019-10-16 games/xabacus: Unfetchable, unmaintained
2019-10-16 games/xpacman: Unfetchable, unmaintained
2019-10-16 games/xscorch: Unfetchable, unmaintained
2019-10-16 graphics/aeskulap: Unfetchable, unmaintained
2019-10-16 graphics/agave: Unfetchable, unmaintained
2019-10-16 graphics/cbview: Unfetchable, unmaintained
2019-10-16 graphics/copperspice: Unfetchable, unmaintained
2019-10-16 graphics/cthumb: Unfetchable, unmaintained
2019-10-16 graphics/fujiplay: Unfetchable, unmaintained
2019-10-16 graphics/gimp-ez-perspective-plugin: Unfetchable, unmaintained
2019-10-16 graphics/gimp-focusblur-plugin: Unfetchable, unmaintained
2019-10-16 graphics/gimp-jagged-border-script: Unfetchable, unmaintained
2019-10-16 graphics/gimp-manual-html: Unfetchable, unmaintained
2019-10-16 graphics/gimp-save-for-web: Unfetchable, unmaintained
2019-10-16 graphics/gimp-wavelet-denoise-plugin: Unfetchable, unmaintained
2019-10-16 graphics/gimp-wavelet-sharpen-plugin: Unfetchable, unmaintained
2019-10-16 graphics/giram: Unfetchable, unmaintained
2019-10-16 graphics/inventor: Unfetchable, unmaintained, Depends on expiring graphics/libGLw
2019-10-16 graphics/jpg2pdf: Unfetchable, unmaintained
2019-10-16 graphics/jpgraph2: Unfetchable, unmaintained
2019-10-16 graphics/makehuman: Unfetchable, unmaintained
2019-10-16 graphics/pstoepsi: Unfetchable, unmaintained
2019-10-16 graphics/xmandel: Unfetchable, unmaintained
2019-10-16 irc/minbif: Unfetchable, unmaintained
2019-10-16 japanese/VTPSfont: Unfetchable, unmaintained
2019-10-16 japanese/asterisk-sounds: Unfetchable, unmaintained
2019-10-16 japanese/cannadic: Unfetchable, unmaintained
2019-10-16 japanese/edict-utf-8: Unfetchable, unmaintained
2019-10-16 japanese/kpcal: Unfetchable, unmaintained
2019-10-16 japanese/multiskkserv: Unfetchable, unmaintained
2019-10-16 japanese/skkfep: Unfetchable, unmaintained
2019-10-16 java/eclipse-log4e: Unfetchable, unmaintained
2019-10-16 java/eclipse-lomboz: Unfetchable, unmaintained
2019-10-16 java/java-checkstyle: Unfetchable, unmaintained
2019-10-16 korean/baekmukfonts-ttf: Unfetchable, unmaintained
2019-10-16 korean/gtkcomm: Unfetchable, unmaintained
2019-10-16 lang/arena: Unfetchable, unmaintained
2019-10-16 lang/diveintopython: Unfetchable, unmaintained
2019-10-16 lang/modula3: Unfetchable, unmaintained
2019-10-16 lang/p2c: Unfetchable, unmaintained
2019-10-16 lang/quack: Unfetchable, unmaintained
2019-10-16 lang/stldoc: Unfetchable, unmaintained
2019-10-16 mail/altermime: Unfetchable, unmaintained
2019-10-16 mail/autosig: Unfetchable, unmaintained
2019-10-16 mail/gkrellmmailwatch2: Unfetchable, unmaintained
2019-10-16 mail/mboxcheck-applet: Unfetchable, unmaintained
2019-10-16 mail/nmzmail: Unfetchable, unmaintained
2019-10-16 mail/poppy: Unfetchable, unmaintained
2019-10-16 mail/prom-wl: Unfetchable, unmaintained
2019-10-16 mail/py-apolicy: Unfetchable, unmaintained
2019-10-16 mail/spamdb-curses: Unfetchable, unmaintained
2019-10-16 mail/xlbiff: Unfetchable, unmaintained
2019-10-16 math/algotutor: Unfetchable, unmaintained
2019-10-16 math/nyh-hoc: Unfetchable, unmaintained
2019-10-16 math/superlu_mt: Unfetchable, unmaintained
2019-10-16 math/testu01: Unfetchable, unmaintained
2019-10-16 misc/astrolog: Unfetchable, unmaintained
2019-10-16 misc/chord2html: Unfetchable, unmaintained
2019-10-16 misc/crosspad: Unfetchable, unmaintained
2019-10-16 misc/detachtty: Unfetchable, unmaintained
2019-10-16 misc/dphys-config: Unfetchable, unmaintained
2019-10-16 misc/dvorakng: Unfetchable, unmaintained
2019-10-16 misc/gctpc: Unfetchable, unmaintained
2019-10-16 misc/gkrellm-helium: Unfetchable, unmaintained
2019-10-16 misc/gkrellweather2: Unfetchable, unmaintained
2019-10-16 misc/linm: Unfetchable, unmaintained
2019-10-16 misc/mc-light: Unfetchable, unmaintained
2019-10-16 misc/newer: Unfetchable, unmaintained
2019-10-16 misc/telbook: Unfetchable, unmaintained
2019-10-16 misc/valspeak: Unfetchable, unmaintained
2019-10-16 misc/xd: Unfetchable, unmaintained
2019-10-16 multimedia/audiopreview: Unfetchable, unmaintained
2019-10-16 multimedia/dvts: Unfetchable, unmaintained
2019-10-16 multimedia/gcfilms: Unfetchable, unmaintained
2019-10-16 multimedia/kissdx: Unfetchable, unmaintained
2019-10-16 multimedia/playd: Unfetchable, unmaintained
2019-10-16 multimedia/subtitleeditor: Unfetchable, unmaintained
2019-10-16 multimedia/umr: Unfetchable, unmaintained
2019-10-16 net/bluemix-cli: Unfetchable, unmaintained
2019-10-16 net/boclient: Unfetchable, unmaintained
2019-10-16 net/csync2: Unfetchable, unmaintained
2019-10-16 net/dictd-database: Unfetchable, unmaintained
2019-10-16 net/gtic: Unfetchable, unmaintained
2019-10-16 net/hidentd: Unfetchable, unmaintained
2019-10-16 net/ldap2dns: Unfetchable, unmaintained
2019-10-16 net/libmxp: Unfetchable, unmaintained
2019-10-16 net/librouteros: Unfetchable, unmaintained
2019-10-16 net/nettest: Unfetchable, unmaintained
2019-10-16 net/py-netstring: Unfetchable, unmaintained
2019-10-16 net/radiusd-cistron: Unfetchable, unmaintained
2019-10-16 net/rtptools: Unfetchable, unmaintained
2019-10-16 net/smbldap-tools: Unfetchable, unmaintained
2019-10-16 net/tcptrace: Unfetchable, unmaintained
2019-10-16 net/wackford-squeers: Unfetchable, unmaintained
2019-10-16 net/wmnet2: Unfetchable, unmaintained
2019-10-16 net-im/pidgin-birthday-reminder: Unfetchable, unmaintained
2019-10-16 net-im/pidgin-pidgimpd: Unfetchable, unmaintained
2019-10-16 net-im/poezio: Unfetchable, unmaintained
2019-10-16 net-mgmt/bsnmp-jails: Unfetchable, unmaintained
2019-10-16 net-mgmt/iog: Unfetchable, unmaintained
2019-10-16 net-mgmt/lanmap: Unfetchable, unmaintained
2019-10-16 net-mgmt/nagios-spamd-plugin: Unfetchable, unmaintained
2019-10-16 net-mgmt/nefu: Unfetchable, unmaintained
2019-10-16 net-mgmt/pixilate: Unfetchable, unmaintained
2019-10-16 net-mgmt/slate: Unfetchable, unmaintained
2019-10-16 net-mgmt/weplab: Unfetchable, unmaintained
2019-10-16 net-p2p/bnbt: Unfetchable, unmaintained
2019-10-16 net-p2p/btpd: Unfetchable, unmaintained
2019-10-16 net-p2p/gkremldk: Unfetchable, unmaintained
2019-10-16 news/newscache: Unfetchable, unmaintained
2019-10-16 news/nntpbtr: Unfetchable, unmaintained
2019-10-16 news/slrnconf: Unfetchable, unmaintained
2019-10-16 news/xpn: Unfetchable, unmaintained
2019-10-16 polish/ekg: Unfetchable, unmaintained
2019-10-16 polish/ekg2: Unfetchable, unmaintained
2019-10-16 ports-mgmt/fastest_sites: Unfetchable, unmaintained
2019-10-16 ports-mgmt/pkg-plist: Unfetchable, unmaintained
2019-10-16 ports-mgmt/symports: Unfetchable, unmaintained
2019-10-16 print/poster: Unfetchable, unmaintained
2019-10-16 russian/d1489: Unfetchable, unmaintained
2019-10-16 science/metaf2xml: Unfetchable, unmaintained
2019-10-16 security/authforce: Unfetchable, unmaintained
2019-10-16 security/avcheck: Unfetchable, unmaintained
2019-10-16 security/digest: Unfetchable, unmaintained
2019-10-16 security/fpm2: Unfetchable, unmaintained
2019-10-16 security/fwipe: Unfetchable, unmaintained
2019-10-16 security/gnome-password-generator: Unfetchable, unmaintained
2019-10-16 security/httprint: Unfetchable, unmaintained
2019-10-16 security/ike-scan: Unfetchable, unmaintained
2019-10-16 security/ipfwcount: Unfetchable, unmaintained
2019-10-16 security/libsparkcrypto: Unfetchable, unmaintained
2019-10-16 security/md4coll: Unfetchable, unmaintained
2019-10-16 security/md5coll: Unfetchable, unmaintained
2019-10-16 security/osiris: Unfetchable, unmaintained
2019-10-16 security/ranpwd: Unfetchable, unmaintained
2019-10-16 security/rdigest: Unfetchable, unmaintained
2019-10-16 security/smap: Unfetchable, unmaintained
2019-10-16 security/sshblock: Unfetchable, unmaintained
2019-10-16 shells/bashc: Unfetchable, unmaintained
2019-10-16 shells/flash: Unfetchable, unmaintained
2019-10-16 sysutils/cotty: Unfetchable, unmaintained
2019-10-16 sysutils/dt: Unfetchable, unmaintained
2019-10-16 sysutils/gkrellfire: Unfetchable, unmaintained
2019-10-16 sysutils/log_analysis: Unfetchable, unmaintained
2019-10-16 sysutils/mksunbootcd: Unfetchable, unmaintained
2019-10-16 sysutils/rfstool: Unfetchable, unmaintained
2019-10-16 sysutils/skill: Unfetchable, unmaintained
2019-10-16 sysutils/sloth: Unfetchable, unmaintained
2019-10-16 sysutils/snowlog: Unfetchable, unmaintained
2019-10-16 sysutils/wmfire: Unfetchable, unmaintained
2019-10-16 sysutils/xbattbar: Unfetchable, unmaintained
2019-10-16 textproc/bedic-data: Unfetchable, unmaintained
2019-10-16 textproc/clit: Unfetchable, unmaintained
2019-10-16 textproc/docbook-tdg: Unfetchable, unmaintained
2019-10-16 textproc/emacs-wiki: Depends on expiring ports
2019-10-16 textproc/htmlize.el: Unfetchable, unmaintained
2019-10-16 textproc/libflate: Unfetchable, unmaintained
2019-10-16 textproc/mguesser: Unfetchable, unmaintained
2019-10-16 textproc/opensched: Unfetchable, unmaintained
2019-10-16 textproc/opentoken: Unfetchable, unmaintained
2019-10-16 textproc/rot: Unfetchable, unmaintained
2019-10-16 textproc/rtfx: Unfetchable, unmaintained
2019-10-16 textproc/supercat: Unfetchable, unmaintained
2019-10-16 textproc/xml_ez_out: Unfetchable, unmaintained
2019-10-16 textproc/xmldiff: Unfetchable, unmaintained
2019-10-16 textproc/xqilla: Unfetchable, unmaintained
2019-10-16 www/WebMagick: Unfetchable, unmaintained
2019-10-16 www/bins: Unfetchable, unmaintained
2019-10-16 www/blogsum: Unfetchable, unmaintained
2019-10-16 www/boa: Unfetchable, unmaintained
2019-10-16 www/cgihtml: Unfetchable, unmaintained
2019-10-16 www/cgiparse: Unfetchable, unmaintained
2019-10-16 www/flot: Unfetchable, unmaintained
2019-10-16 www/ftasv: Unfetchable, unmaintained
2019-10-16 www/hastymail2-devel: Unfetchable, unmaintained
2019-10-16 www/htmlpp: Unfetchable, unmaintained
2019-10-16 www/http-analyze: Unfetchable, unmaintained
2019-10-16 www/junkbuster: Unfetchable, unmaintained
2019-10-16 www/links-hacked: Unfetchable, unmaintained
2019-10-16 www/llgal: Unfetchable, unmaintained
2019-10-16 www/mgstat: Unfetchable, unmaintained
2019-10-16 www/php-screw: Unfetchable, unmaintained
2019-10-16 www/phproxy: Unfetchable, unmaintained
2019-10-16 www/py-prewikka: Unfetchable, unmaintained
2019-10-16 www/redmine-backlogs: Unfetchable, unmaintained
2019-10-16 www/swfdec-plugin: Unfetchable, unmaintained
2019-10-16 www/swish-e: Unfetchable, unmaintained
2019-10-16 x11/blast: Unfetchable, unmaintained
2019-10-16 x11/dynamag: Unfetchable, unmaintained
2019-10-16 x11/xcurs: Unfetchable, unmaintained
2019-10-16 x11/xscreensaver-gnome: Unfetchable, unmaintained
2019-10-16 x11/xscreensaver-gnome-hacks: Unfetchable, unmaintained
2019-10-16 x11-clocks/cairo-clock: Unfetchable, unmaintained
2019-10-16 x11-clocks/pclock: Unfetchable, unmaintained
2019-10-16 x11-clocks/stopwatch: Unfetchable, unmaintained
2019-10-16 x11-clocks/wmfuzzy: Unfetchable, unmaintained
2019-10-16 x11-fm/emelfm2: Unfetchable, unmaintained
2019-10-16 x11-fm/ezfm: Unfetchable, unmaintained
2019-10-16 x11-fm/ultracopier: Unfetchable, unmaintained
2019-10-16 x11-fm/xplore: Unfetchable, unmaintained
2019-10-16 x11-fonts/indic-ttf: Unfetchable, unmaintained
2019-10-16 x11-fonts/pingwi: Unfetchable, unmaintained
2019-10-16 x11-themes/cursor-ecliz: Unfetchable, unmaintained
2019-10-16 x11-themes/cursor-grounation-theme: Unfetchable, unmaintained
2019-10-16 x11-themes/cursor-neutral-theme: Unfetchable, unmaintained
2019-10-16 x11-themes/cursor-polar-theme: Unfetchable, unmaintained
2019-10-16 x11-themes/gtk-envy-theme: Unfetchable, unmaintained
2019-10-16 x11-themes/gtk-equinox-engine: Unfetchable, unmaintained
2019-10-16 x11-themes/gtk-qnxtheme: Unfetchable, unmaintained
2019-10-16 x11-themes/plank-theme-moka: Unfetchable, unmaintained
2019-10-15 x11-toolkits/swt-devel: Obsolete. Superseded by x11-toolkits/swt
2019-10-16 x11-wm/genmenu: Unfetchable, unmaintained
2019-10-16 x11-wm/musca: Unfetchable, unmaintained
2019-10-16 x11-wm/weewm: Unfetchable, unmaintained
2019-10-16 x11-wm/windowlab: Unfetchable, unmaintained
2019-10-16 x11-wm/wmfs: Unfetchable, unmaintained

15 files changed, 0 insertions, 211 deletions

diff --git a/devel/dprog/Makefile b/devel/dprog/Makefile
deleted file mode 100644
index 5cd9ddcbe3a6..000000000000
--- a/devel/dprog/Makefile
+++ /dev/null
@@ -1,32 +0,0 @@
-# Created by: ijliao
-# $FreeBSD$
-
-PORTNAME=	dprog
-PORTVERSION=	0.3.1
-PORTREVISION=	2
-CATEGORIES=	devel
-MASTER_SITES=	http://www.daimi.au.dk/~mailund/dprog/download/
-
-MAINTAINER=	ports@FreeBSD.org
-COMMENT=	Language for specifying dynamic programming algorithms
-
-BROKEN=		unfetchable
-DEPRECATED=	Unfetchable, unmaintained
-EXPIRATION_DATE=	2019-10-16
-
-LIB_DEPENDS=	libpopt.so:devel/popt
-
-GNU_CONFIGURE=	yes
-CPPFLAGS+=	${CXXFLAGS} -I${LOCALBASE}/include
-LDFLAGS+=	-L${LOCALBASE}/lib
-
-OPTIONS_DEFINE=	EMACS
-OPTIONS_DEFAULT=	EMACS
-OPTIONS_SUB=	yes
-EMACS_DESC=	Emacs syntax files
-
-post-install:
-	@${MKDIR} ${STAGEDIR}${DATADIR}
-	${INSTALL_DATA} ${WRKSRC}/elisp/*.el ${STAGEDIR}${DATADIR}
-
-.include <bsd.port.mk>
diff --git a/devel/dprog/distinfo b/devel/dprog/distinfo
deleted file mode 100644
index 28f72266fe77..000000000000
--- a/devel/dprog/distinfo
+++ /dev/null
@@ -1,2 +0,0 @@
-SHA256 (dprog-0.3.1.tar.gz) = 9f27836de2d54bf1bd2ee39ec97a50be838b507d9a8d7829d2c4da6f47f02f7f
-SIZE (dprog-0.3.1.tar.gz) = 127542
diff --git a/devel/dprog/files/patch-Makefile.in b/devel/dprog/files/patch-Makefile.in
deleted file mode 100644
index b819f9e093d8..000000000000
--- a/devel/dprog/files/patch-Makefile.in
+++ /dev/null
@@ -1,29 +0,0 @@
---- Makefile.in.orig	2003-04-21 14:29:07.000000000 +0200
-+++ Makefile.in	2014-03-28 11:53:55.832875969 +0100
-@@ -87,7 +87,7 @@
- ARCH = `uname -mrs`
- DATE = `date '+%d %h %y'`
- 
--CXXFLAGS = -DARCH="\"$(ARCH)\"" -DDATE="\"$(DATE)\"" -Wall -frepo -g
-+CXXFLAGS = -DARCH="\"$(ARCH)\"" -DDATE="\"$(DATE)\"" -Wall -g
- 
- #CXXFLAGS += -pg
- #CXXFLAGS += -O3
-@@ -121,7 +121,7 @@
- type_check_test_LDADD = @LEXLIB@
- type_check_test_SOURCES = lexer.ll parser.yy ast.hh ast.cc visitor.hh pretty_printer.hh pretty_printer.cc functions.hh functions.cc cxx_codegen.hh cxx_codegen.cc symbol_checking.hh symbol_checking.cc type_checking.hh type_checking.cc options.hh options.cc type_check_test.cc
- 
--cxx_dprog_test_LDADD = -L. -lcxx_dprog -lefence
-+cxx_dprog_test_LDADD = -L. -lcxx_dprog
- cxx_dprog_test_SOURCES = cxx_dprog_test.cc
- 
- symbol_checking_test_SOURCES = ast.hh ast.cc visitor.hh pretty_printer.hh pretty_printer.cc symbol_checking.hh symbol_checking.cc type_checking.hh type_checking.cc functions.hh functions.cc codegen.hh codegen.cc cxx_codegen.hh cxx_codegen.cc options.hh options.cc symbol_checking_test.cc
-@@ -169,7 +169,7 @@
- codegen_test_LDFLAGS =
- am_cxx_dprog_test_OBJECTS = cxx_dprog_test.$(OBJEXT)
- cxx_dprog_test_OBJECTS = $(am_cxx_dprog_test_OBJECTS)
--cxx_dprog_test_DEPENDENCIES =
-+cxx_dprog_test_DEPENDENCIES = $(lib_LIBRARIES)
- cxx_dprog_test_LDFLAGS =
- am_dprog_OBJECTS = lexer.$(OBJEXT) parser.$(OBJEXT) ast.$(OBJEXT) \
- 	pretty_printer.$(OBJEXT) range_checking.$(OBJEXT) \
diff --git a/devel/dprog/files/patch-ast.cc b/devel/dprog/files/patch-ast.cc
deleted file mode 100644
index 7e0f8ffa3813..000000000000
--- a/devel/dprog/files/patch-ast.cc
+++ /dev/null
@@ -1,7 +0,0 @@
---- ast.cc.orig	Tue Dec 30 17:40:13 2003
-+++ ast.cc	Tue Dec 30 17:40:21 2003
-@@ -1,3 +1,4 @@
-+#include <cassert>
- 
- #include "ast.hh"
- #include "visitor.hh"
diff --git a/devel/dprog/files/patch-ast_test.cc b/devel/dprog/files/patch-ast_test.cc
deleted file mode 100644
index afd9aae9544b..000000000000
--- a/devel/dprog/files/patch-ast_test.cc
+++ /dev/null
@@ -1,10 +0,0 @@
---- ast_test.cc.orig	Mon Apr 12 11:22:05 2004
-+++ ast_test.cc	Mon Apr 12 11:22:15 2004
-@@ -3,6 +3,7 @@
- #include "visitor.hh"
- using namespace ast;
- 
-+#include <cstdio>
- #include <iostream>
- 
- int yyparse();
diff --git a/devel/dprog/files/patch-codegen_test.cc b/devel/dprog/files/patch-codegen_test.cc
deleted file mode 100644
index 3d58006bfd45..000000000000
--- a/devel/dprog/files/patch-codegen_test.cc
+++ /dev/null
@@ -1,11 +0,0 @@
---- codegen_test.cc.orig	Tue Apr  6 08:57:15 2004
-+++ codegen_test.cc	Tue Apr  6 08:57:29 2004
-@@ -2,6 +2,8 @@
- #include "codegen.hh"
- #include <iostream>
- 
-+#include <cassert>
-+
- using namespace std;
- 
- int
diff --git a/devel/dprog/files/patch-cxx_codegen.cc b/devel/dprog/files/patch-cxx_codegen.cc
deleted file mode 100644
index 0ba2d90365f8..000000000000
--- a/devel/dprog/files/patch-cxx_codegen.cc
+++ /dev/null
@@ -1,19 +0,0 @@
---- cxx_codegen.cc.orig	Mon Apr 12 11:13:48 2004
-+++ cxx_codegen.cc	Mon Apr 12 11:15:00 2004
-@@ -8,6 +8,7 @@
- #include <fstream>
- #include <sstream>
- #include <set>
-+#include <cassert>
- 
- using namespace ast;
- using namespace std;
-@@ -83,7 +84,7 @@
- {
-     _cc_os << "for (int " << rexpr.index() << " = ";
-     rexpr.begin()->accept(*this);
--    if (not rexpr.begin_br()->include())
-+    if (! rexpr.begin_br()->include())
- 	{
- 	    if (rexpr.begin_br()->is_less())
- 		_cc_os << " + 1";
diff --git a/devel/dprog/files/patch-cxx_dprog.hh b/devel/dprog/files/patch-cxx_dprog.hh
deleted file mode 100644
index 48596768ec76..000000000000
--- a/devel/dprog/files/patch-cxx_dprog.hh
+++ /dev/null
@@ -1,10 +0,0 @@
---- cxx_dprog.hh.orig	Tue Apr  6 08:58:45 2004
-+++ cxx_dprog.hh	Tue Apr  6 08:59:01 2004
-@@ -5,6 +5,7 @@
- 
- #include <vector>
- #include <cstdarg>
-+#include <cassert>
- 
- #include <iostream>
- 
diff --git a/devel/dprog/files/patch-functions.cc b/devel/dprog/files/patch-functions.cc
deleted file mode 100644
index 3eacca338bba..000000000000
--- a/devel/dprog/files/patch-functions.cc
+++ /dev/null
@@ -1,10 +0,0 @@
---- functions.cc.orig	Tue Dec 30 17:42:16 2003
-+++ functions.cc	Tue Dec 30 17:42:25 2003
-@@ -1,6 +1,7 @@
- 
- #include "functions.hh"
- #include <map>
-+#include <cassert>
- using namespace std;
- 
- // FIXME: this stuff should be read from some configuration file.
diff --git a/devel/dprog/files/patch-pprint.cc b/devel/dprog/files/patch-pprint.cc
deleted file mode 100644
index 383b390857a4..000000000000
--- a/devel/dprog/files/patch-pprint.cc
+++ /dev/null
@@ -1,10 +0,0 @@
---- pprint.cc.orig	Mon Apr 12 11:20:27 2004
-+++ pprint.cc	Mon Apr 12 11:20:46 2004
-@@ -3,6 +3,7 @@
- using namespace ast;
- #include "pretty_printer.hh"
- 
-+#include <cstdio>
- #include <iostream>
- 
- int yyparse();
diff --git a/devel/dprog/files/patch-range_checking.cc b/devel/dprog/files/patch-range_checking.cc
deleted file mode 100644
index b76f0abbfa37..000000000000
--- a/devel/dprog/files/patch-range_checking.cc
+++ /dev/null
@@ -1,14 +0,0 @@
---- range_checking.cc.orig	Mon Apr 12 11:10:54 2004
-+++ range_checking.cc	Mon Apr 12 11:11:04 2004
-@@ -14,9 +14,9 @@
- void
- RangeCheckVisitor::visit (RExpr &rexpr)
- {
--    if (rexpr.begin_br()->is_less() and rexpr.end_br()->is_less())
-+    if (rexpr.begin_br()->is_less() && rexpr.end_br()->is_less())
- 	return;
--    if (rexpr.begin_br()->is_greater() and rexpr.end_br()->is_greater())
-+    if (rexpr.begin_br()->is_greater() && rexpr.end_br()->is_greater())
- 	return;
- 
-     throw new RangeError(rexpr);
diff --git a/devel/dprog/files/patch-range_checking_test.cc b/devel/dprog/files/patch-range_checking_test.cc
deleted file mode 100644
index c35f43c15fb8..000000000000
--- a/devel/dprog/files/patch-range_checking_test.cc
+++ /dev/null
@@ -1,11 +0,0 @@
---- range_checking_test.cc.orig	Tue Apr  6 09:01:30 2004
-+++ range_checking_test.cc	Tue Apr  6 09:01:43 2004
-@@ -4,6 +4,8 @@
- #include "ast.hh"
- #include <iostream>
- 
-+#include <cassert>
-+
- int yyparse();
- 
- ast::DProg *dprog = 0;
diff --git a/devel/dprog/files/patch-type_checking.hh b/devel/dprog/files/patch-type_checking.hh
deleted file mode 100644
index dce6033c8916..000000000000
--- a/devel/dprog/files/patch-type_checking.hh
+++ /dev/null
@@ -1,21 +0,0 @@
---- type_checking.hh.orig	Mon Apr 21 20:13:54 2003
-+++ type_checking.hh	Mon Apr 12 11:11:30 2004
-@@ -7,6 +7,7 @@
- #include <set>
- #include <iostream>
- #include <typeinfo>
-+#include <cassert>
- 
- namespace type_checking {
- 
-@@ -31,8 +32,8 @@
- 	bool operator==(const TypeInfo &other) const
- 	{
- 	    return (typeid(*this) == typeid(other)
--		  and (strcmp(name(),other.name()) == 0)
--		  and (arity() == other.arity()));
-+		  && (strcmp(name(),other.name()) == 0)
-+		  && (arity() == other.arity()));
- 	}
- 	bool operator!=(const TypeInfo &other) const
- 	{ return !((*this)==other); }
diff --git a/devel/dprog/pkg-descr b/devel/dprog/pkg-descr
deleted file mode 100644
index 0f39257c2dfa..000000000000
--- a/devel/dprog/pkg-descr
+++ /dev/null
@@ -1,18 +0,0 @@
-Dynamic programming is a simple yet powerful technique for solving optimisation
-problems. When the problem at hand can be split in smaller problems, such that
-the smaller solutions of an optimal solution are themselves optimal, dynamic
-programming can be used to avoid re-calculating solutions to shared sub-
-problems.
-
-Simple problems are both easily specified and easily implemented, but for
-complex problems translating the specification of the problem into the
-implementation of the dynamic programming algorithm becomes tedious and error
-prone. The goal of DPROG is to alleviate this by automatically translating the
-specification of the problem into an implementation of the solution.
-
-The DPROG language is designed to be close to the ``mathematical'' notation
-used for expressing recurrences, thus making it easier to specify the problem.
-Using the DPROG compiler, the manual implementation step can be completely
-avoided.
-
-WWW: http://www.daimi.au.dk/~mailund/dprog/
diff --git a/devel/dprog/pkg-plist b/devel/dprog/pkg-plist
deleted file mode 100644
index 3a5d3c99d11a..000000000000
--- a/devel/dprog/pkg-plist
+++ /dev/null
@@ -1,7 +0,0 @@
-bin/dprog
-include/cxx_dprog.hh
-lib/libcxx_dprog.a
-%%EMACS%%%%DATADIR%%/dprog-constants.el
-%%EMACS%%%%DATADIR%%/dprog-font-lock.el
-%%EMACS%%%%DATADIR%%/dprog-indent.el
-%%EMACS%%%%DATADIR%%/dprog.el