Yirmibir / acl2-books-certs




Diğer Pardus sürümlerindeki versiyonlar
Pardus Paket Versiyon
ondokuz acl2-books-certs 8.0dfsg-1
yirmiuc acl2-books-certs 8.5dfsg-5