From: Andreas Sturmlechner <asturm@gentoo.org>
Date: Tue, 8 Aug 2017 17:03:03 +0000 (+0200)
Subject: dev-ml/facile: Fix HOMEPAGE and SRC_URI
X-Git-Url: http://git.tremily.us/gitweb.cgi?a=commitdiff_plain;h=14fa85d78de9e99b1df75cb07698e3fb51ac3c34;p=gentoo.git

dev-ml/facile: Fix HOMEPAGE and SRC_URI

Package-Manager: Portage-2.3.6, Repoman-2.3.1
---

diff --git a/dev-ml/facile/facile-1.1.2.ebuild b/dev-ml/facile/facile-1.1.2.ebuild
index 9ab962099a4e..2b9fe9b82975 100644
--- a/dev-ml/facile/facile-1.1.2.ebuild
+++ b/dev-ml/facile/facile-1.1.2.ebuild
@@ -5,9 +5,9 @@ EAPI=5
 
 inherit eutils
 
-DESCRIPTION="An OCaml constraint programming library on integer & integer set finite domains"
-HOMEPAGE="http://www.recherche.enac.fr/log/facile/"
-SRC_URI="http://www.recherche.enac.fr/log/facile/distrib/${P}.tar.gz"
+DESCRIPTION="OCaml constraint programming library on integer & integer set finite domains"
+HOMEPAGE="http://opti.recherche.enac.fr/"
+SRC_URI="http://opti.recherche.enac.fr/facile/distrib/${P}.tar.gz"
 
 LICENSE="LGPL-2.1"
 SLOT="0/${PV}"