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 _______________________________________________ [email protected] mailing list http://lists.freebsd.org/mailman/listinfo/freebsd-ports To unsubscribe, send any mail to "[email protected]"
