Daemon Power

The NetBSD Packages Collection: lang/idris

Brief description of the package:
Functional Programming Language with Dependent Types

Please read the file "DESCR" for a longer description, or browse the package's history.

This package has a home page at http://hackage.haskell.org/package/idris.

Please note that this package has a modified-bsd license.

The package is located in the "lang/idris" directory. The current source version of the package is "idris-1.3.2nb1". For a summary on how to use the package collection, go to the top of the packages tree.

Problem reports, updates or suggestions for this package should be reported with send-pr.

The following security vulnerabilities are known for lang/idris :

If you have a vulnerable package installed on any machine, you are advised to remove the package immediately, using the standard package tools. The pkg_admin audit command locates any installed package which has been mentioned in security advisories as being vulnerable.

This package requires the following package(s) to build: hs-libffi>=0.1 libffi>=1.20 cwrappers>=20150314 ghc>=8.8.1 perl>=5.0 gmp>=4.2.1 libffi>=3.3nb1 gmp>=5.0.1 compat80-[0-9]* ghc>=8.8.1nb2 hs-aeson>=1.4.6 hs-attoparsec>=0.13.2 hs-scientific>=0.3.6 hs-hashable>=1.3.0 hs-integer-logarithms>=1.0.3 hs-primitive>=0.7.0 hs-hashable>=1.3.0.0 hs-primitive>=0.7.0.0 hs-scientific>=0.3.6.2 hs-base-compat>=0.11.0 hs-dlist>=0.8.0 hs-tagged>=0.8.6 hs-th-abstraction>=0.3.1 hs-time-compat>=1.9.2.2 hs-base-orphans>=0.8.1 hs-fail>=4.9.0 hs-old-locale>=1.0.0 hs-semigroups>=0.19.1 hs-transformers-compat>=0.6.5 hs-generic-deriving>=1.13.1 hs-th-abstraction>=0.3.1.0 hs-fail>=4.9.0.0 hs-unordered-containers>=0.2.10 hs-unordered-containers>=0.2.10.0 hs-old-locale>=1.0.0.7 hs-uuid-types>=1.0.3 hs-random>=1.1 hs-vector>=0.12.0 hs-attoparsec>=0.13.2.3 hs-dlist>=0.8.0.7 hs-vector>=0.12.0.3 hs-annotated-wl-pprint>=0.7.0 hs-ansi-terminal>=0.6.2 hs-colour>=2.3.5 hs-ansi-wl-pprint>=0.6.9 hs-ansi-terminal>=0.6.2.1 hs-async>=2.2.2 hs-base64-bytestring>=1.0.0 hs-blaze-html>=0.9.1 hs-blaze-builder>=0.4.1 hs-blaze-markup>=0.8.2 hs-blaze-builder>=0.4.1.0 hs-blaze-markup>=0.8.2.3 hs-cheapskate>=0.1.1 hs-data-default>=0.7.1 hs-data-default-class>=0.1.2 hs-data-default-instances-containers>=0.0.1 hs-data-default-class>=0.1.2.0 hs-data-default-instances-dlist>=0.0.1 hs-data-default-instances-old-locale>=0.0.1 hs-data-default-instances-dlist>=0.0.1nb4 hs-syb>=0.7.1 hs-uniplate>=1.6.12 hs-xss-sanitize>=0.3.6 hs-css-text>=0.1.3 hs-network-uri>=2.6.1 hs-tagsoup>=0.14.8 hs-utf8-string>=1.0.1 hs-css-text>=0.1.3.0 hs-network-uri>=2.6.1.0 hs-utf8-string>=1.0.1.1 hs-blaze-html>=0.9.1.2 hs-data-default>=0.7.1.1 hs-uniplate>=1.6.12nb9 hs-code-page>=0.2 hs-fingertree>=0.0.1 hs-fsnotify>=0.3.0 hs-unix-compat>=0.5.2 hs-ieee754>=0.8.0 hs-megaparsec>=8.0.0 hs-case-insensitive>=1.2.1 hs-parser-combinators>=1.2.1 hs-case-insensitive>=1.2.1.0 hs-network>=3.1.1 hs-optparse-applicative>=0.15.1 hs-regex-tdfa>=1.3.1 hs-regex-base>=0.94.0 hs-regex-base>=0.94.0.0 hs-safe>=0.3.18 hs-split>=0.2.3 hs-terminal-size>=0.3.2 hs-vector-binary-instances>=0.2.5 hs-zip-archive>=0.4.1 hs-digest>=0.0.1 hs-zlib>=0.6.2 hs-digest>=0.0.1.2 hs-zlib>=0.6.2.1 hs-libffi>=0.1nb1 hs-aeson>=1.4.6.0 hs-base64-bytestring>=1.0.0.2 hs-cheapskate>=0.1.1.1 hs-fingertree>=0.0.1.0 hs-fsnotify>=0.3.0.1 hs-network>=3.1.1.1 hs-optparse-applicative>=0.15.1.0 hs-regex-tdfa>=1.3.1.0 hs-split>=0.2.3.3 hs-terminal-size>=0.3.2.1 hs-vector-binary-instances>=0.2.5.1 .

This package requires the following package(s) to run: hs-libffi>=0.1 libffi>=1.20 ghc>=8.8.1 perl>=5.0 gmp>=4.2.1 libffi>=3.3nb1 gmp>=5.0.1 ghc>=8.8.1nb2 hs-aeson>=1.4.6 hs-attoparsec>=0.13.2 hs-scientific>=0.3.6 hs-hashable>=1.3.0 hs-integer-logarithms>=1.0.3 hs-primitive>=0.7.0 hs-hashable>=1.3.0.0 hs-primitive>=0.7.0.0 hs-scientific>=0.3.6.2 hs-base-compat>=0.11.0 hs-dlist>=0.8.0 hs-tagged>=0.8.6 hs-th-abstraction>=0.3.1 hs-time-compat>=1.9.2.2 hs-base-orphans>=0.8.1 hs-fail>=4.9.0 hs-old-locale>=1.0.0 hs-semigroups>=0.19.1 hs-transformers-compat>=0.6.5 hs-generic-deriving>=1.13.1 hs-th-abstraction>=0.3.1.0 hs-fail>=4.9.0.0 hs-unordered-containers>=0.2.10 hs-unordered-containers>=0.2.10.0 hs-old-locale>=1.0.0.7 hs-uuid-types>=1.0.3 hs-random>=1.1 hs-vector>=0.12.0 hs-attoparsec>=0.13.2.3 hs-dlist>=0.8.0.7 hs-vector>=0.12.0.3 hs-annotated-wl-pprint>=0.7.0 hs-ansi-terminal>=0.6.2 hs-colour>=2.3.5 hs-ansi-wl-pprint>=0.6.9 hs-ansi-terminal>=0.6.2.1 hs-async>=2.2.2 hs-base64-bytestring>=1.0.0 hs-blaze-html>=0.9.1 hs-blaze-builder>=0.4.1 hs-blaze-markup>=0.8.2 hs-blaze-builder>=0.4.1.0 hs-blaze-markup>=0.8.2.3 hs-cheapskate>=0.1.1 hs-data-default>=0.7.1 hs-data-default-class>=0.1.2 hs-data-default-instances-containers>=0.0.1 hs-data-default-class>=0.1.2.0 hs-data-default-instances-dlist>=0.0.1 hs-data-default-instances-old-locale>=0.0.1 hs-data-default-instances-dlist>=0.0.1nb4 hs-syb>=0.7.1 hs-uniplate>=1.6.12 hs-xss-sanitize>=0.3.6 hs-css-text>=0.1.3 hs-network-uri>=2.6.1 hs-tagsoup>=0.14.8 hs-utf8-string>=1.0.1 hs-css-text>=0.1.3.0 hs-network-uri>=2.6.1.0 hs-utf8-string>=1.0.1.1 hs-blaze-html>=0.9.1.2 hs-data-default>=0.7.1.1 hs-uniplate>=1.6.12nb9 hs-code-page>=0.2 hs-fingertree>=0.0.1 hs-fsnotify>=0.3.0 hs-unix-compat>=0.5.2 hs-ieee754>=0.8.0 hs-megaparsec>=8.0.0 hs-case-insensitive>=1.2.1 hs-parser-combinators>=1.2.1 hs-case-insensitive>=1.2.1.0 hs-network>=3.1.1 hs-optparse-applicative>=0.15.1 hs-regex-tdfa>=1.3.1 hs-regex-base>=0.94.0 hs-regex-base>=0.94.0.0 hs-safe>=0.3.18 hs-split>=0.2.3 hs-terminal-size>=0.3.2 hs-vector-binary-instances>=0.2.5 hs-zip-archive>=0.4.1 hs-digest>=0.0.1 hs-zlib>=0.6.2 hs-digest>=0.0.1.2 hs-zlib>=0.6.2.1 hs-libffi>=0.1nb1 hs-aeson>=1.4.6.0 hs-base64-bytestring>=1.0.0.2 hs-cheapskate>=0.1.1.1 hs-fingertree>=0.0.1.0 hs-fsnotify>=0.3.0.1 hs-network>=3.1.1.1 hs-optparse-applicative>=0.15.1.0 hs-regex-tdfa>=1.3.1.0 hs-split>=0.2.3.3 hs-terminal-size>=0.3.2.1 hs-vector-binary-instances>=0.2.5.1 .

This package supports the following build-time options:

gmp
Enable gmp (GNU Multiple Precision Arithmetic Library) support.

Select one of the links below to download the package in precompiled binary form for installation with pkg_add(1). Available machine architectures and package versions:
x86_64:idris-1.3.2nb1.tgz(NetBSD 9.0)
x86_64:idris-1.3.2nb1.tgz(NetBSD 9.0)
x86_64:idris-1.3.2nb1.tgz(NetBSD 9.0)
x86_64:idris-1.3.2nb1.tgz(NetBSD 8.0)
x86_64:idris-1.3.2nb1.tgz(NetBSD 8.0)
x86_64:idris-1.3.2nb1.tgz(NetBSD 9.0)
x86_64:idris-1.3.2nb1.tgz(NetBSD 9.0)
x86_64:idris-1.3.2nb1.tgz(NetBSD 9.0)

The NetBSD packages collection is designed to permit easy installation from source - particularly useful if the latest binary package is not available for your chosen platform.


[ Go up one level | Go to top of packages tree | List all packages ]