From owner-cvs-all@FreeBSD.ORG Sat Feb 9 21:57:04 2008 Return-Path: Delivered-To: cvs-all@FreeBSD.org Received: from mx1.freebsd.org (mx1.freebsd.org [IPv6:2001:4f8:fff6::34]) by hub.freebsd.org (Postfix) with ESMTP id 25B7516A417; Sat, 9 Feb 2008 21:57:04 +0000 (UTC) (envelope-from arved@FreeBSD.org) Received: from repoman.freebsd.org (repoman.freebsd.org [IPv6:2001:4f8:fff6::29]) by mx1.freebsd.org (Postfix) with ESMTP id 004E313C459; Sat, 9 Feb 2008 21:57:03 +0000 (UTC) (envelope-from arved@FreeBSD.org) Received: from repoman.freebsd.org (localhost [127.0.0.1]) by repoman.freebsd.org (8.14.1/8.14.1) with ESMTP id m19Lv3Ac000768; Sat, 9 Feb 2008 21:57:03 GMT (envelope-from arved@repoman.freebsd.org) Received: (from arved@localhost) by repoman.freebsd.org (8.14.1/8.14.1/Submit) id m19Lv3nF000767; Sat, 9 Feb 2008 21:57:03 GMT (envelope-from arved) Message-Id: <200802092157.m19Lv3nF000767@repoman.freebsd.org> From: Tilman Linneweh Date: Sat, 9 Feb 2008 21:57:03 +0000 (UTC) To: ports-committers@FreeBSD.org, cvs-ports@FreeBSD.org, cvs-all@FreeBSD.org X-FreeBSD-CVS-Branch: HEAD Cc: Subject: cvs commit: ports/math Makefile ports/math/facile Makefile distinfo pkg-descr pkg-plist X-BeenThere: cvs-all@freebsd.org X-Mailman-Version: 2.1.5 Precedence: list List-Id: CVS commit messages for the entire tree List-Unsubscribe: , List-Archive: List-Post: List-Help: List-Subscribe: , X-List-Received-Date: Sat, 09 Feb 2008 21:57:04 -0000 arved 2008-02-09 21:57:03 UTC FreeBSD ports repository Modified files: math Makefile Added files: math/facile Makefile distinfo pkg-descr pkg-plist Log: Add facile, a Functional Constraint Library written in Ocaml Revision Changes Path 1.473 +1 -0 ports/math/Makefile 1.1 +24 -0 ports/math/facile/Makefile (new) 1.1 +3 -0 ports/math/facile/distinfo (new) 1.1 +10 -0 ports/math/facile/pkg-descr (new) 1.1 +5 -0 ports/math/facile/pkg-plist (new)