Search Criteria
Package Details: idris-git v0.11.r118.cf0b54e-1
Git Clone URL: | https://aur.archlinux.org/idris-git.git (read-only, click to copy) |
---|---|
Package Base: | idris-git |
Description: | Functional Programming Language with Dependent Types |
Upstream URL: | http://www.idris-lang.org/ |
Licenses: | custom:BSD3 |
Conflicts: | idris |
Provides: | idris |
Submitter: | pdxleif |
Maintainer: | None |
Last Packager: | pdxleif |
Votes: | 1 |
Popularity: | 0.000000 |
First Submitted: | 2015-08-26 23:58 (UTC) |
Last Updated: | 2016-04-19 21:15 (UTC) |
Dependencies (45)
- gcc (fastgcc, gccrs-git, gcc-git)
- gmp (gmp-hg)
- libffi (libffi-minimal-git, libffi-git)
- ncurses (ncurses-nohex, ncurses-git)
- zlib (zlib-static, zlib-git, zlib-ng-compat-git, zlib-ng-compat)
- ghc (ghc-raspbian-bin, ghc-cabal-arts) (make)
- haskell-annotated-wl-pprint (make)
- haskell-ansi-terminal (make)
- haskell-ansi-wl-pprint (make)
- haskell-base64-bytestring (make)
- haskell-binary (ghc-raspbian-bin, ghc8.2, ghc8.2-bin, ghc-libs) (make)
- haskell-blaze-html (make)
- haskell-blaze-markup (make)
- haskell-bytestring (ghc-raspbian-bin, ghc8.2, ghc8.2-bin, ghc-libs) (make)
- haskell-cheapskate (make)
- haskell-containers (ghc-raspbian-bin, ghc8.2, ghc8.2-bin, ghc-libs) (make)
- haskell-deepseq (ghc-raspbian-bin, ghc8.2, ghc8.2-bin, ghc-libs) (make)
- haskell-directory (ghc-raspbian-bin, ghc8.2, ghc8.2-bin, ghc-libs) (make)
- haskell-filepath (ghc-raspbian-bin, ghc8.2, ghc8.2-bin, ghc-libs) (make)
- haskell-fingertree (make)
- Show 25 more dependencies...
Required by (2)
- idris-lightyear-git (requires idris)
- idris-sdl-git (requires idris)