From owner-freebsd-ports@FreeBSD.ORG Wed Aug 5 14:25:09 2009 Return-Path: Delivered-To: freebsd-ports@freebsd.org Received: from mx1.freebsd.org (mx1.freebsd.org [IPv6:2001:4f8:fff6::34]) by hub.freebsd.org (Postfix) with ESMTP id 137C5106566B for ; Wed, 5 Aug 2009 14:25:09 +0000 (UTC) (envelope-from t_ziel@wp.pl) Received: from mx1.wp.pl (smtp.wp.pl [212.77.101.1]) by mx1.freebsd.org (Postfix) with ESMTP id 901B58FC0A for ; Wed, 5 Aug 2009 14:25:08 +0000 (UTC) (envelope-from t_ziel@wp.pl) Received: (wp-smtpd smtp.wp.pl 13937 invoked from network); 5 Aug 2009 15:58:26 +0200 Received: from poczta-26.free.wp-sa.pl (HELO localhost) ([10.1.1.125]) (envelope-sender ) by smtp.wp.pl (WP-SMTPD) with SMTP for ; 5 Aug 2009 15:58:26 +0200 Date: Wed, 05 Aug 2009 15:58:26 +0200 From: t_ziel To: freebsd-ports Message-ID: <4a79900244e836.09814382@wp.pl> MIME-Version: 1.0 Content-Type: text/plain; charset=iso-8859-2 Content-Transfer-Encoding: 8bit Content-Disposition: inline X-Mailer: Interfejs WWW nowej poczty Wirtualnej Polski X-User-Agent: Mozilla/5.0 (Windows; U; Windows NT 5.1; en-US; rv:1.9.1.2) Gecko/20090729 Firefox/3.5.2 Organization: Nowa Poczta Wirtualnej Polski S.A. http://www.wp.pl/ X-WP-IP: 94.75.65.59 X-WP-AV: skaner antywirusowy poczty Wirtualnej Polski S. A. X-WP-SPAM: NO 0000000 [YRM0] Subject: Is somebody working on these ports? (libquantum, spark, eiffel) X-BeenThere: freebsd-ports@freebsd.org X-Mailman-Version: 2.1.5 Precedence: list List-Id: Porting software to FreeBSD List-Unsubscribe: , List-Archive: List-Post: List-Help: List-Subscribe: , X-List-Received-Date: Wed, 05 Aug 2009 14:25:09 -0000 Hello Is somebody working on these ports? * libquantum - the C library for quantum computing and quantum simulation http://www.libquantum.de/ * SPARK GPL EDITION - high-assurance software development toolset http://libre.adacore.com/libre/tools/spark-gpl-edition/ * update EiffelStudio to the latest 6.4 version http://www.freshports.org/devel/eiffelstudio/ http://eiffel.com/products/studio/ * update SmartEiffel to the latest 2.3 version http://www.freshports.org/lang/smarteiffel/ http://smarteiffel.loria.fr/ -- best regards Tomek Zielinski ---------------------------------------------------- Reżyser MUMII powraca z nowym widowiskowym G.I. Joe: CZAS KOBRY -> zobacz zwiastun filmu http://klik.wp.pl/?adr=http%3A%2F%2Fcorto.www.wp.pl%2Fas%2Fczaskobry.html&sid=823