packagesПакет исходного кода: agda-bin (2.3.0.1-1) [universe]
Ссылки для agda-bin
Ресурсы Ubuntu:
- Сообщения об ошибках
- Ubuntu журнал изменений
- Файл авторских прав
- Репозиторий исходного кода Debian (Git)
Сопровождающий:
Please consider filing a bug or asking a question via Launchpad before contacting the maintainer directly.
Original Maintainers (usually from Debian):
- Debian Haskell Group (Почтовый архив)
- Iain Lane
It should generally not be necessary for users to contact the original maintainer.
Внешние ресурсы:
- Сайт [wiki.portal.chalmers.se]
Из этого пакета исходного кода собираются следующие двоичные пакеты:
- agda-bin
- commandline interface to Agda
Другие пакеты, относящиеся к agda-bin
|
|
-
- adep: debhelper (>= 7.0)
- helper programs for debian/rules
-
- adep: haskell-devscripts (>= 0.6.15+nmu12~)
- Tools to help Debian developers build Haskell packages
-
- adep: cdbs
- common build system for Debian packages
-
- adep: ghc
- The Glasgow Haskell Compilation system
-
- adep: libghc-agda-dev (>= 2.3.0.1)
- dependently typed functional programming language - development libraries
-
- adep: libghc-agda-dev (<< 2.3.0.2~)
- dependently typed functional programming language - development libraries
Download agda-bin
| Файл | Размер (в Кб) | Контрольная сумма MD5 |
|---|---|---|
| agda-bin_2.3.0.1-1.dsc | 1,3 Кб | 325fcd82ee1de93563493ee7f6f5cc1b |
| agda-bin_2.3.0.1.orig.tar.gz | 1,7 Кб | a9c803f0a829cf54d35b1a82f0ba6181 |
| agda-bin_2.3.0.1-1.diff.gz | 2,9 Кб | 112223eebe7ed70bcae66a2a008e9077 |
- Репозиторий пакетов исходного кода Debian (VCS: Git)
- git://git.debian.org/git/pkg-haskell/agda-bin.git
- Репозиторий пакетов исходного кода Debian (доступен просмотр)
- http://git.debian.org/?p=pkg-haskell/agda-bin.git;a=summary