Yirmiuc / acl2-books




Diğer Pardus sürümlerindeki versiyonlar
Pardus Paket Versiyon
ondokuz acl2-books 8.0dfsg-1
yirmibir acl2-books 8.3dfsg-2