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?
Linux & Free Software Consultant, Nanjing, China