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 [EMAIL PROTECTED] [EMAIL PROTECTED] http://www.advogato.org/person/zhaoway/ Linux & Free Software Consultant, Nanjing, China
