Date: Wed, 05 Aug 2009 15:58:26 +0200 From: t_ziel <t_ziel@wp.pl> To: freebsd-ports <freebsd-ports@freebsd.org> Subject: Is somebody working on these ports? (libquantum, spark, eiffel) Message-ID: <4a79900244e836.09814382@wp.pl>
next in thread | raw e-mail | index | archive | help
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
Want to link to this message? Use this URL: <https://mail-archive.FreeBSD.org/cgi/mid.cgi?4a79900244e836.09814382>