Is somebody working on these ports? (libquantum, spark, eiffel)

[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