Ondokuz / hol88-library

Higher Order Logic, binary library modules



Diğer Pardus sürümlerindeki versiyonlar
Pardus Paket Versiyon
yirmibir hol88-library 2.02.19940316-35.1
yirmiuc hol88-library 2.02.19940316dfsg-5