diff options
Diffstat (limited to 'devel/frama-c/DETAILS')
| -rwxr-xr-x | devel/frama-c/DETAILS | 8 |
1 files changed, 4 insertions, 4 deletions
diff --git a/devel/frama-c/DETAILS b/devel/frama-c/DETAILS index a1317e5c4a..33a54d2021 100755 --- a/devel/frama-c/DETAILS +++ b/devel/frama-c/DETAILS @@ -1,9 +1,9 @@ SPELL=frama-c - VERSION=20111001 - SOURCE="${SPELL}-Nitrogen-${VERSION}.tar.gz" + VERSION=Fluorine-20130501 + SOURCE="${SPELL}-${VERSION}.tar.gz" SOURCE_URL[0]=http://${SPELL}.com/download/${SOURCE} - SOURCE_HASH=sha512:316eba07a5eff47c4fa22d116dc6a1c7adb5a617cd4719a01cf844d6dd5e9d4b2509fcd66c2ceba7d11c94f136cb7c57abd8df25415e1236361a794773580ace -SOURCE_DIRECTORY="${BUILD_DIRECTORY}/${SPELL}-Nitrogen-${VERSION}" + SOURCE_HASH=sha512:00272ad90a929ffc1ca634a1cc2db8162baaca2c357246e6ff41d9e4867324ce1abe0f9a9a388981a96f10f0286c5870073e4d35f58d13f072c99e3f63042375 +SOURCE_DIRECTORY="${BUILD_DIRECTORY}/${SPELL}-${VERSION}" WEB_SITE="http://frama-c.com/index.html" LICENSE[0]=GPL ENTERED=20120209 |