notbugIf you buy from Amazon USA, please support us by using this link.
Port details
ott Tool for writing definitions of programming languages and calculi
0.28 lang on this many watch lists=0 search for ports that depend on this port Find issues related to this port Report an issue related to this port
Maintainer: domagoj.stolfa@cl.cam.ac.uk search for ports maintained by this maintainer
Port Added: 2018-09-18 00:19:48
Last Update: 2018-09-18 01:19:31
SVN Revision: 479963
License: BSD3CLAUSE
A tool for writing definitions of programming languages and calculi

by Peter Sewell, Francesco Zappa Nardelli, and Scott Owens.

WWW: https://github.com/ott-lang/ott
SVNWeb : Homepage : PortsMon
    Pseudo-pkg-plist information, but much better, from make generate-plist
    Expand this list (4 items)
  1. bin/ott
  2. /usr/local/share/licenses/ott-0.28/catalog.mk
  3. /usr/local/share/licenses/ott-0.28/LICENSE
  4. /usr/local/share/licenses/ott-0.28/BSD3CLAUSE
  5. Collapse this list.

Dependency line: ott>0:lang/ott


To install the port: cd /usr/ports/lang/ott/ && make install clean
To add the package: pkg install ott

PKGNAME: ott

There is no flavor information for this port.

distinfo:

TIMESTAMP = 1537137485
SHA256 (ott-lang-ott-0.28_GH0.tar.gz) = 30c7613802cdd7f03eb1df1d634da3e13197e210d5697252382d29b5f03618f2
SIZE (ott-lang-ott-0.28_GH0.tar.gz) = 3263773


NOTE: FreshPorts displays only information on required and default dependencies. Optional dependencies are not covered.

Build dependencies:
  1. ocamlc : lang/ocaml
  2. gmake : devel/gmake
Runtime dependencies:
  1. ocamlc : lang/ocaml
Patch dependencies:
  1. ocamlc : lang/ocaml
Extract dependencies:
  1. ocamlc : lang/ocaml
There are no ports dependent upon this port

Configuration Options
     No options to configure

USES:
gmake

Master Sites:
  1. https://codeload.github.com/ott-lang/ott/tar.gz/0.28?dummy=/

Number of commits found: 1

Commit History - (may be incomplete: see SVNWeb link above for full details)
DateByDescription
18 Sep 2018 00:19:31
Original commit files touched by this commit  0.28
Revision:479963
lwhsu search for other commits by this committer
Add ott, tool for writing definitions of programming languages and calculi

Inspired by:	Domagoj Stolfa <domagoj.stolfa@cl.cam.ac.uk>

Number of commits found: 1

Login
User Login
Create account

Servers and bandwidth provided by
New York Internet, SuperNews, and RootBSD

This site
What is FreshPorts?
About the authors
Issues
FAQ
How big is it?
The latest upgrade!
Privacy
Forums
Blog
Contact

Search
Enter Keywords:
 
more...

Latest Vulnerabilities
puttyMar 17
putty-gtk2Mar 17
putty-nogtkMar 17
py-notebookMar 16
ruby-gemsMar 15
ntpMar 07
openssl*Mar 07
openssl111Mar 07
rsshMar 06
rt42Mar 06
rt44Mar 06
gitlab-ceMar 05
py-gunicornMar 05
py-slixmppMar 05
mybb*Mar 04

13 vulnerabilities affecting 62 ports have been reported in the past 14 days

* - modified, not new

All vulnerabilities

Last updated:
2019-03-17 14:17:54


Ports
Home
Categories
Deleted ports
Sanity Test Failures
Newsfeeds

Statistics
Graphs
NEW Graphs (Javascript)
Traffic

Calculated hourly:
Port count 36279
Broken 116
Deprecated 118
Ignore 337
Forbidden 5
Restricted 161
No CDROM 74
Vulnerable 37
Expired 6
Set to expire 92
Interactive 0
new 24 hours 10
new 48 hours11
new 7 days35
new fortnight69
new month150

Servers and bandwidth provided by
New York Internet, SuperNews, and RootBSD
Valid HTML, CSS, and RSS.
Copyright © 2000-2019 Dan Langille. All rights reserved.