diff --git a/devel/frama-c/Makefile b/devel/frama-c/Makefile
index 495f2df77272..852a09c9e81d 100644
--- a/devel/frama-c/Makefile
+++ b/devel/frama-c/Makefile
@@ -4,15 +4,14 @@
 PORTNAME=	frama-c
 DISTVERSIONPREFIX=	Sodium-
 DISTVERSION=	20150201
-PORTREVISION=	2
+PORTREVISION=	3
 CATEGORIES=	devel
 MASTER_SITES=	http://frama-c.com/download/
+DIST_SUBDIR=	framac-01
 
 MAINTAINER=	ports@FreeBSD.org
 COMMENT=	Extensible platform for source-code analysis of C
 
-BROKEN=		unfetchable
-
 LICENSE=	LGPL21
 
 EXTRACT_DEPENDS=	gtar:${PORTSDIR}/archivers/gtar
diff --git a/devel/frama-c/distinfo b/devel/frama-c/distinfo
index 7d80e312085a..7933148f245a 100644
--- a/devel/frama-c/distinfo
+++ b/devel/frama-c/distinfo
@@ -1,2 +1,2 @@
-SHA256 (frama-c-Sodium-20150201.tar.gz) = b61638809e5e2f4138052844dd58aa2d2c44d542a65111cc80b65f6b999a4c71
-SIZE (frama-c-Sodium-20150201.tar.gz) = 5993348
+SHA256 (framac-01/frama-c-Sodium-20150201.tar.gz) = 5875d86b0c269d348afa4602f0ca7fe6b6856191fdb703d8eb0bc90d4c985a7d
+SIZE (framac-01/frama-c-Sodium-20150201.tar.gz) = 6155507