Source Package: agda-bin (2.3.0.1-1)
Links for agda-bin
Debian Resources:
- Bug Reports
- Developer Information (PTS)
- Debian Changelog
- Copyright File
- Debian Source Repository (Git)
- Debian Patch Tracker
Maintainers:
External Resources:
- Homepage [wiki.portal.chalmers.se]
The following binary packages are built from this source package:
- agda-bin
- Befehlszeilenschnittstelle zu Agda
Other Packages Related to agda-bin
|
|
-
- adep: debhelper (>= 7.0)
- Hilfsprogramme für debian/rules
-
- adep: haskell-devscripts (>= 0.6.15+nmu12~)
- Hilfsprogramme für Debian-Entwickler für den Bau von Haskell-Paketen
-
- adep: cdbs
- Common-Build-System für Debian-Pakete
-
- adep: ghc
- Das 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
| File | Size (in kB) | MD5 checksum |
|---|---|---|
| agda-bin_2.3.0.1-1.dsc | 1.3 kB | 325fcd82ee1de93563493ee7f6f5cc1b |
| agda-bin_2.3.0.1.orig.tar.gz | 1.7 kB | a9c803f0a829cf54d35b1a82f0ba6181 |
| agda-bin_2.3.0.1-1.diff.gz | 2.9 kB | 112223eebe7ed70bcae66a2a008e9077 |
- Debian Package Source Repository (VCS: Git)
- git://git.debian.org/git/pkg-haskell/agda-bin.git
- Debian Package Source Repository (Browsable)
- http://git.debian.org/?p=pkg-haskell/agda-bin.git;a=summary