Pardus Paket İzleyici
Ana Sayfa
Paketler
Pardus 23 Paketleri
Pardus 21 Paketleri
Pardus 19 Paketleri
GitHub İstatistikleri
Tüm İstatistikler
Sadece Ekip Dışı İstatistikler
Güncellemeler
Pardus 23 Güncellemeleri
Pardus 23.3 Güncellemeleri
Pardus 23.4 Güncellemeleri
English
Türkçe
Yirmiuc / agda-stdlib-doc
standard library for Agda — documentation
Iain Lane
laney@debian.org
https://wiki.portal.chalmers.se/agda/
1.7.1-1
agda-stdlib-doc_1.7.1-1_all.deb
2.9 MiB
doc
all
agda-stdlib_1.7.1-1.debian.tar.xz
agda-stdlib_1.7.1-1.dsc
agda-stdlib_1.7.1.orig.tar.gz
Debian Versiyonu: 1.7.1-1
standard library for Agda — documentation
Diğer Pardus sürümlerindeki versiyonlar
Pardus
Paket
Versiyon
ondokuz
agda-stdlib-doc
0.17-1
yirmibir
agda-stdlib-doc
1.3-2