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

t_ziel t_ziel at wp.pl
Wed Aug 5 14:40:09 UTC 2009


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 <t_ziel at wp.pl>
>>
>>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




More information about the freebsd-ports mailing list