Daemon Power

The NetBSD Packages Collection: lang/pict

Brief description of the package:
Concurrent language based on Milner's pi calculus

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

This package has a home page at http://www.cis.upenn.edu/~bcpierce/papers/pict/Html/Pict.html.

Please note that this package has a gnu-gpl-v2 license.

The package is located in the "lang/pict" directory. The current source version of the package is "pict-4.1nb15". 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/pict :

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: ocaml>=4.07.0 cwrappers>=20150314 x11-links>=1.12 osabi-NetBSD-8.0_RC2 .

This package requires the following package(s) to run: ocaml>=4.07.0 .

This package supports the following build-time options:


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:
earmv7hf:pict-4.1nb13.tgz(NetBSD 8.0)
i386:pict-4.1nb14.tgz(NetBSD 6.0)
i386:pict-4.1nb9.tgz(NetBSD 6.0)
i386:pict-4.1nb11.tgz(NetBSD 6.0)
i386:pict-4.1nb11.tgz(NetBSD 6.0)
i386:pict-4.1nb13.tgz(NetBSD 6.0)
i386:pict-4.1nb14.tgz(NetBSD 6.1)
i386:pict-4.1nb9.tgz(NetBSD 6.1)
i386:pict-4.1nb11.tgz(NetBSD 6.1)
i386:pict-4.1nb11.tgz(NetBSD 6.1)
i386:pict-4.1nb13.tgz(NetBSD 6.1)
i386:pict-4.1nb14.tgz(NetBSD 7.0)
i386:pict-4.1nb9.tgz(NetBSD 7.0)
i386:pict-4.1nb11.tgz(NetBSD 7.0)
i386:pict-4.1nb11.tgz(NetBSD 7.0)
i386:pict-4.1nb13.tgz(NetBSD 7.0)
i386:pict-4.1nb14.tgz(NetBSD 7.1)
i386:pict-4.1nb11.tgz(NetBSD 7.1)
i386:pict-4.1nb13.tgz(NetBSD 7.1)
i386:pict-4.1nb14.tgz(NetBSD 8.0)
i386:pict-4.1nb11.tgz(NetBSD 8.0)
i386:pict-4.1nb13.tgz(NetBSD 8.0)
powerpc:pict-4.1nb14.tgz(NetBSD 6.1)
powerpc:pict-4.1nb13.tgz(NetBSD 6.1)
powerpc:pict-4.1nb14.tgz(NetBSD 7.1)
powerpc:pict-4.1nb13.tgz(NetBSD 7.1)
powerpc:pict-4.1nb14.tgz(NetBSD 8.0)
powerpc:pict-4.1nb13.tgz(NetBSD 8.0)
x86_64:pict-4.1nb14.tgz(NetBSD 6.0)
x86_64:pict-4.1nb11.tgz(NetBSD 6.0)
x86_64:pict-4.1nb11.tgz(NetBSD 6.0)
x86_64:pict-4.1nb13.tgz(NetBSD 6.0)
x86_64:pict-4.1nb14.tgz(NetBSD 6.1)
x86_64:pict-4.1nb11.tgz(NetBSD 6.1)
x86_64:pict-4.1nb11.tgz(NetBSD 6.1)
x86_64:pict-4.1nb13.tgz(NetBSD 6.1)
x86_64:pict-4.1nb14.tgz(NetBSD 7.0)
x86_64:pict-4.1nb11.tgz(NetBSD 7.0)
x86_64:pict-4.1nb11.tgz(NetBSD 7.0)
x86_64:pict-4.1nb13.tgz(NetBSD 7.0)
x86_64:pict-4.1nb9.tgz(NetBSD 7.0.1_PATCH)
x86_64:pict-4.1nb14.tgz(NetBSD 7.1)
x86_64:pict-4.1nb11.tgz(NetBSD 7.1)
x86_64:pict-4.1nb13.tgz(NetBSD 7.1)
x86_64:pict-4.1nb14.tgz(NetBSD 8.0)
x86_64:pict-4.1nb9.tgz(NetBSD 8.99.1)
x86_64:pict-4.1nb11.tgz(NetBSD 8.0)
x86_64:pict-4.1nb11.tgz(NetBSD 8.0)
x86_64:pict-4.1nb13.tgz(NetBSD 8.0)
x86_64:pict-4.1nb10.tgz(NetBSD 8.99.1)

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 ]