Pardus Paket İzleyici
Ana Sayfa
GitHub İstatistikleri
Tüm İstatistikler
Sadece Ekip Dışı İstatistikler
Güncellemeler
Pardus 25 Güncellemeleri
Pardus 23 Güncellemeleri
English
Türkçe
Yirmibir / agda-stdlib
standard library for Agda
Iain Lane
laney@debian.org
http://wiki.portal.chalmers.se/agda/
1.3-2
agda-stdlib_1.3-2_all.deb
69.8 MiB
libs
all
agda-stdlib_1.3-2.debian.tar.xz
agda-stdlib_1.3-2.dsc
agda-stdlib_1.3.orig.tar.gz
Debian Versiyonu: 1.3-2
standard library for Agda
Diğer Pardus sürümlerindeki versiyonlar
Pardus
Paket
Versiyon
yirmibes
agda-stdlib
2.1-4
yirmiuc
agda-stdlib
1.7.1-1
ondokuz
agda-stdlib
0.17-1