Ondokuz / libghc-agda-dev

dependently typed functional programming language



Diğer Pardus sürümlerindeki versiyonlar
Pardus Paket Versiyon
yirmibir libghc-agda-dev 2.6.1-1+b2
yirmiuc libghc-agda-dev 2.6.2.2-1.1