From mboxrd@z Thu Jan 1 00:00:00 1970
Return-Path: <gentoo-commits+bounces-965974-garchives=archives.gentoo.org@lists.gentoo.org>
Received: from lists.gentoo.org (pigeon.gentoo.org [208.92.234.80])
(using TLSv1.2 with cipher ECDHE-RSA-AES256-GCM-SHA384 (256/256 bits))
(No client certificate requested)
by finch.gentoo.org (Postfix) with ESMTPS id DFB1C1396D0
for <garchives@archives.gentoo.org>; Tue, 8 Aug 2017 17:15:57 +0000 (UTC)
Received: from pigeon.gentoo.org (localhost [127.0.0.1])
by pigeon.gentoo.org (Postfix) with SMTP id 4CCA0E0DF3;
Tue, 8 Aug 2017 17:15:55 +0000 (UTC)
Received: from smtp.gentoo.org (smtp.gentoo.org [140.211.166.183])
(using TLSv1.2 with cipher ECDHE-RSA-AES128-GCM-SHA256 (128/128 bits))
(No client certificate requested)
by pigeon.gentoo.org (Postfix) with ESMTPS id 289DAE0DF3
for <gentoo-commits@lists.gentoo.org>; Tue, 8 Aug 2017 17:15:55 +0000 (UTC)
Received: from oystercatcher.gentoo.org (unknown [IPv6:2a01:4f8:202:4333:225:90ff:fed9:fc84])
(using TLSv1.2 with cipher ECDHE-RSA-AES128-GCM-SHA256 (128/128 bits))
(No client certificate requested)
by smtp.gentoo.org (Postfix) with ESMTPS id 59E83341835
for <gentoo-commits@lists.gentoo.org>; Tue, 8 Aug 2017 17:15:54 +0000 (UTC)
Received: from localhost.localdomain (localhost [IPv6:::1])
by oystercatcher.gentoo.org (Postfix) with ESMTP id 86A1175FB
for <gentoo-commits@lists.gentoo.org>; Tue, 8 Aug 2017 17:15:51 +0000 (UTC)
From: "Andreas Sturmlechner" <asturm@gentoo.org>
To: gentoo-commits@lists.gentoo.org
Content-Transfer-Encoding: 8bit
Content-type: text/plain; charset=UTF-8
Reply-To: gentoo-dev@lists.gentoo.org, "Andreas Sturmlechner" <asturm@gentoo.org>
Message-ID: <1502212529.14fa85d78de9e99b1df75cb07698e3fb51ac3c34.asturm@gentoo>
Subject: [gentoo-commits] repo/gentoo:master commit in: dev-ml/facile/
X-VCS-Repository: repo/gentoo
X-VCS-Files: dev-ml/facile/facile-1.1.2.ebuild
X-VCS-Directories: dev-ml/facile/
X-VCS-Committer: asturm
X-VCS-Committer-Name: Andreas Sturmlechner
X-VCS-Revision: 14fa85d78de9e99b1df75cb07698e3fb51ac3c34
X-VCS-Branch: master
Date: Tue, 8 Aug 2017 17:15:51 +0000 (UTC)
Precedence: bulk
List-Post: <mailto:gentoo-commits@lists.gentoo.org>
List-Help: <mailto:gentoo-commits+help@lists.gentoo.org>
List-Unsubscribe: <mailto:gentoo-commits+unsubscribe@lists.gentoo.org>
List-Subscribe: <mailto:gentoo-commits+subscribe@lists.gentoo.org>
List-Id: Gentoo Linux mail <gentoo-commits.gentoo.org>
X-BeenThere: gentoo-commits@lists.gentoo.org
X-Archives-Salt: b0ebb249-dfd4-45d4-bc33-aafd06c19ba0
X-Archives-Hash: 36c3d04d7100520771a6c643a7597c2a
commit: 14fa85d78de9e99b1df75cb07698e3fb51ac3c34
Author: Andreas Sturmlechner <asturm <AT> gentoo <DOT> org>
AuthorDate: Tue Aug 8 17:03:03 2017 +0000
Commit: Andreas Sturmlechner <asturm <AT> gentoo <DOT> org>
CommitDate: Tue Aug 8 17:15:29 2017 +0000
URL: https://gitweb.gentoo.org/repo/gentoo.git/commit/?id=14fa85d7
dev-ml/facile: Fix HOMEPAGE and SRC_URI
Package-Manager: Portage-2.3.6, Repoman-2.3.1
dev-ml/facile/facile-1.1.2.ebuild | 6 +++---
1 file 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 9ab962099a4..2b9fe9b8297 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}"