Index: head/devel/libspark2012/Makefile
===================================================================
--- head/devel/libspark2012/Makefile	(revision 421002)
+++ head/devel/libspark2012/Makefile	(revision 421003)
@@ -1,17 +1,17 @@
 # Created by: John Marino <marino@FreeBSD.org>
 # $FreeBSD$
 
 PORTNAME=	libspark2012
 PORTVERSION=	2012
-PORTREVISION=	1
+PORTREVISION=	2
 CATEGORIES=	devel
 MASTER_SITES=	http://downloads.dragonlace.net/src/
 
 MAINTAINER=	marino@FreeBSD.org
 COMMENT=	SPARK 2012 Spark.Ada library
 
 LICENSE=	GPLv3
 
-USES=		ada:5 tar:bzip2
+USES=		ada tar:bzip2
 
 .include <bsd.port.mk>
Index: head/dns/ironsides/Makefile
===================================================================
--- head/dns/ironsides/Makefile	(revision 421002)
+++ head/dns/ironsides/Makefile	(revision 421003)
@@ -1,30 +1,31 @@
 # Created by: John Marino <marino@FreeBSD.org>
 # $FreeBSD$
 
 PORTNAME=	ironsides
 PORTVERSION=	${SNAPSHOT:S/_//g}
+PORTREVISION=	1
 CATEGORIES=	dns
 MASTER_SITES=	http://ironsides.martincarlisle.com/
 DISTNAME=	ironsides_authoritative-${SNAPSHOT}
 
 MAINTAINER=	marino@FreeBSD.org
 COMMENT=	Authoritative DNS server formally verified by SPARK/Ada
 
 LICENSE=	Ironsides
 LICENSE_NAME=	IRONSIDES - Free software, unlimited redistribution
 LICENSE_FILE=	${WRKSRC}/COPYRIGHT.txt
 LICENSE_PERMS=	dist-mirror dist-sell pkg-mirror pkg-sell auto-accept
 
 BUILD_DEPENDS=	${LOCALBASE}/include/spark2012/spark.ads:devel/libspark2012
 
-USES=		ada:5 dos2unix zip
+USES=		ada dos2unix zip
 DOS2UNIX_FILES=	dfcs.usafa.edu.zonefile ironsides.1
 SNAPSHOT=	2015_04_15
 WRKSRC=		${WRKDIR}/${DISTFILES:S/.zip//}
 PLIST_FILES=	sbin/ironsides man/man1/ironsides.1.gz
 PORTEXAMPLES=	dfcs.usafa.edu.zonefile
 
 post-extract:
 	@${CP} ${FILESDIR}/ironsides.gpr ${FILESDIR}/Makefile ${WRKSRC}/
 
 .include <bsd.port.mk>