From a37942edfebb91df2ab658db6fcca6b548f4a361 Mon Sep 17 00:00:00 2001 From: Sven Verdoolaege Date: Wed, 8 Feb 2017 09:50:01 +0100 Subject: [PATCH] doc: update barvinok URL The freshmeat URL has been dead for a while. Signed-off-by: Sven Verdoolaege --- doc/applications.tex | 2 +- 1 file changed, 1 insertion(+), 1 deletion(-) diff --git a/doc/applications.tex b/doc/applications.tex index ab241b2..b563570 100644 --- a/doc/applications.tex +++ b/doc/applications.tex @@ -7,7 +7,7 @@ in the \protect\ai[\tt]{barvinok} distribution} {\sloppy This section describes some application programs provided by the \barvinok/ library, -available from {\tt http://freshmeat.net/projects/barvinok/.} +available from \url{http://barvinok.gforge.inria.fr/}. For compilation instructions we refer to the \verb+README+ file included in the distribution. } -- 2.11.4.GIT