From owner-freebsd-ports@FreeBSD.ORG Wed Aug 5 14:40:08 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 BD08D1065672 for ; Wed, 5 Aug 2009 14:40:08 +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 4066B8FC0A for ; Wed, 5 Aug 2009 14:40:07 +0000 (UTC) (envelope-from t_ziel@wp.pl) Received: (wp-smtpd smtp.wp.pl 15177 invoked from network); 5 Aug 2009 16:40:07 +0200 Received: from poczta-9.free.wp-sa.pl (HELO localhost) ([10.1.1.25]) (envelope-sender ) by smtp.wp.pl (WP-SMTPD) with SMTP for ; 5 Aug 2009 16:40:07 +0200 Date: Wed, 05 Aug 2009 16:40:06 +0200 From: t_ziel To: wen heping Message-ID: <4a7999c6a482c8.69379705@wp.pl> References: <4a79900244e836.09814382@wp.pl> <7be7a2800908050728h2ac29f16na2c2eb1edb3b9d8f@mail.gmail.com> In-reply-to: <4a79900244e836.09814382@wp.pl> <7be7a2800908050728h2ac29f16na2c2eb1edb3b9d8f@mail.gmail.com> 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 [gcNU] Cc: freebsd-ports Subject: Re: 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:40:09 -0000 Hello Thank you very much Wen. I really appreciate your help. Please send me an email when libquantum port is ready to testing. -- best regards Tomek Zieliński >Dnia 5-08-2009 o godz. 16:28 wen heping napisał(a): >I would work on the first. >>2009/8/5 t_ziel >> >>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