全部搜尋項
wheezy  ] [  jessie  ] [  stretch  ] [  buster  ] [  sid  ]

原始碼套件:agda-stdlib(0.6-2)

agda-stdlib 的相關連結

Debian 的資源:

維護小組:

外部的資源:

本原始碼套件構建了以下這些二進位制包:
agda-stdlib
standard library for Agda
agda-stdlib-doc
standard library for Agda — documentation

其他與 agda-stdlib 有關的套件

  • 構建架構特定包依賴
  • 構建架構獨立包依賴

Download agda-stdlib

檔案大小(單位:kB)MD5 校驗碼
agda-stdlib_0.6-2.dsc 1。4 kB c9bd5deeb4dcaec2842290727cb42c26
agda-stdlib_0.6.orig.tar.gz 211。2 kB 574f7e4609b98c7c486fd182fc1d4579
agda-stdlib_0.6-2.debian.tar.gz 4。1 kB 18fdc70e368e6a283fae3acee013fe02
Debian 套件原始碼倉庫(VCSGit
git://git.debian.org/git/collab-maint/agda-stdlib.git
Debian 套件原始碼倉庫(可線上瀏覽)
http://git.debian.org/?p=collab-maint/agda-stdlib.git