Source Package: agda-stdlib (0.3-3)
Links for agda-stdlib
Debian Resources:
- Bug Reports
- Developer Information (PTS)
- Debian Changelog
- Copyright File
- Debian Source Repository (Git)
- Debian Patch Tracker
Maintainer:
External Resources:
- Homepage [wiki.portal.chalmers.se]
The following binary packages are built from this source package:
- agda-stdlib
- a dependently typed programming language - standard library
- agda-stdlib-doc
- a dependently typed programming language - documentation
Other Packages Related to agda-stdlib
|
|
-
- adep: debhelper (>= 7.0.50~)
- helper programs for debian/rules
-
- adep: procps
- /proc file system utilities
- or hurd
- Package not available
-
- adep: agda-bin (>= 2.2.6)
- Commandline interface to Agda
-
- adep: agda-bin (<< 2.2.6.1~)
- Commandline interface to Agda
-
- adep: libghc6-agda-dev (>= 2.2.6)
- a dependently typed functional programming language - development libraries
-
- adep: libghc6-agda-dev (<< 2.2.6.1~)
- a dependently typed functional programming language - development libraries
Download agda-stdlib
| File | Size (in kB) | MD5 checksum |
|---|---|---|
| agda-stdlib_0.3-3.dsc | 1.2 kB | 22bd7effc61e0ac64a9710d229903b01 |
| agda-stdlib_0.3.orig.tar.gz | 146.6 kB | 7a58639a0fdfdb4b748de208d657d999 |
| agda-stdlib_0.3-3.diff.gz | 3.7 kB | e309e8ec7aecdd882dfd7234e34c42f9 |
- Debian Package Source Repository (VCS: Git)
- git://git.debian.org/git/collab-maint/agda-stdlib.git
- Debian Package Source Repository (Browsable)
- http://git.debian.org/?p=collab-maint/agda-stdlib.git