Package Moscow ML and HOL
I intend to package Moscow ML and later HOL theorem prover for Debian.
This is not a fromal ITP because I'm not eager to prevent others from
doing the same. :) I won't compete with you too.
The purpose of this mail is that I want to know if there is already
these packages somewhere and why they're not yet in Debian main?
Thanks!
--
ZHAO Wei
zhaoway@public1.ptt.js.cn zw@netspeed-tech.com
http://www.advogato.org/person/zhaoway/
Linux & Free Software Consultant, Nanjing, China
Reply to: