このページは大阪弁化フィルタによって翻訳生成されたんですわ。

翻訳前ページへ
Index of /debian/pool/main/d/dafny/

Index of /debian/pool/main/d/dafny/

NameLast ModifiedSizeType
../ -  Directory
dafny_2.3.0+dfsg-0.1_all.deb2020-Jan-19 22:32:45478.2Kapplication/vnd.debian.binary-package
lighttpd/1.4.53