[  etiona  ] [  nabia  ] [  aramo  ]

Ссылки для agda-stdlib

Ресурсы Trisquel:

• Сообщения об ошибках
• Changelog
• Файл авторских прав
• Репозиторий исходного кода Debian (Git)

Сопровождающий:

• Iain Lane

Original Maintainers:

• Iain Lane
• Debian Haskell Group (Почтовый архив)

Внешние ресурсы:

• Сайт [wiki.portal.chalmers.se]

Из этого пакета исходного кода собираются следующие двоичные пакеты:

agda-stdlib

standard library for Agda

agda-stdlib-doc

standard library for Agda — documentation

Другие пакеты, относящиеся к agda-stdlib

для сборки

build-depends-indep

• adep: debhelper-compat (= 12)

  Пакет недоступен

• adep: agda-bin (>= 2.6.1)

  commandline interface to Agda

• adep: agda-bin (<< 2.6.2~)

  commandline interface to Agda

• adep: libghc-agda-dev (>= 2.6.1)

  dependently typed functional programming language

• adep: libghc-agda-dev (<< 2.6.2~)

  dependently typed functional programming language

• adep: libghc-filemanip-dev

  expressive file and directory manipulation for Haskell

Download agda-stdlib

Файл	Размер (в Кб)	Контрольная сумма MD5
agda-stdlib_1.3-2.dsc	2,1 Кб	8cc5290c95699ae6a928f0d819bf112d
agda-stdlib_1.3.orig.tar.gz	733,8 Кб	772509db9932b7794992f024a9e68f0f
agda-stdlib_1.3-2.debian.tar.xz	5,5 Кб	62fd051872c315063a27f336d744cdaa

Репозиторий пакетов исходного кода Debian (VCS: Git)

https://salsa.debian.org/haskell-team/agda-stdlib.git

Репозиторий пакетов исходного кода Debian (доступен просмотр)

https://salsa.debian.org/haskell-team/agda-stdlib