BSD Portslang/ott 0.33 DragonFly
Tool for writing definitions of programming languages and calculi
- System
- DragonFly
- Repository
- DPorts
- Maintainer
- [email protected] (as in FreeBSD)
- License
- BSD3CLAUSE
- Categories
- lang
- Package size
- 1115.7 KiB, 4295.5 KiB installed
Description
A tool for writing definitions of programming languages and calculi
by Peter Sewell, Francesco Zappa Nardelli, and Scott Owens.
In the other systems
| System | Port | Version |
|---|---|---|
| DragonFly | lang/ott | 0.33 |
| FreeBSD | lang/ott | 0.33 |
Install
Binary package:
pkg install ottFrom DPorts:
cd /usr/dports/lang/ott && make install cleanDependencies
Run dependencies 1
No port depends on this one.