summaryrefslogtreecommitdiff
diff options
context:
space:
mode:
authorAndreas Sturmlechner <asturm@gentoo.org>2017-08-08 19:03:03 +0200
committerAndreas Sturmlechner <asturm@gentoo.org>2017-08-08 19:15:29 +0200
commit14fa85d78de9e99b1df75cb07698e3fb51ac3c34 (patch)
treefda0dc3012a5841277b5a2df6afefced0927860f
parentapp-text/poppler: remove unused patch (diff)
downloadgentoo-14fa85d7.zip
gentoo-14fa85d7.tar.gz
gentoo-14fa85d7.tar.bz2
dev-ml/facile: Fix HOMEPAGE and SRC_URI
Package-Manager: Portage-2.3.6, Repoman-2.3.1
-rw-r--r--dev-ml/facile/facile-1.1.2.ebuild6
1 files changed, 3 insertions, 3 deletions
diff --git a/dev-ml/facile/facile-1.1.2.ebuild b/dev-ml/facile/facile-1.1.2.ebuild
index 9ab9620..2b9fe9b 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}"