[Date Prev][Date Next] [Thread Prev][Thread Next] [Date Index] [Thread Index]

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?


zhaoway@public1.ptt.js.cn zw@netspeed-tech.com
Linux & Free Software Consultant, Nanjing, China

Reply to: