notbugAs an Amazon Associate I earn from qualifying purchases.
Want a good read? Try FreeBSD Mastery: Jails (IT Mastery Book 15)

Hardware failure

The website is running on the old server. The new server stopped working at about 0200 UTC on 2020-08-22. The database was restored from 2020-08-21 00:59:15+00 UTC. We think we have covered all commits. Nothing should be missing. Any changes you made to your accounts after the restore date will be lost. Sorry about that.
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 View this port on Repology. 0.28Version of this port present on the latest quarterly branch.
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
Description:
SVNWeb : Homepage
pkg-plist: as obtained via: make generate-plist
Expand this list (4 items)
Collapse this list.
  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
Collapse this list.
Dependency lines:
  • 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
Flavors: there is no flavor information for this port.
distinfo:
Packages: (move your mouse over the cells for more information)
ott
ABIlatestquarterly
FreeBSD:11:aarch64--
FreeBSD:11:amd640.280.28
FreeBSD:11:armv6--
FreeBSD:11:i3860.280.28
FreeBSD:11:mips--
FreeBSD:11:mips64--
FreeBSD:12:aarch64--
FreeBSD:12:amd640.280.28
FreeBSD:12:armv60.28-
FreeBSD:12:armv7-0.28
FreeBSD:12:i3860.280.28
FreeBSD:12:mips--
FreeBSD:12:mips64--
FreeBSD:12:powerpc64-0.28
FreeBSD:13:aarch64--
FreeBSD:13:amd640.28-
FreeBSD:13:armv6--
FreeBSD:13:armv70.28-
FreeBSD:13:i3860.28-
FreeBSD:13:mips--
FreeBSD:13:mips64--
FreeBSD:13:powerpc640.28-
 

Dependencies
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

USES:

Master Sites:
Expand this list (1 items)
    Collapse this list.
  1. https://codeload.github.com/ott-lang/ott/tar.gz/0.28?dummy=/
  2. Collapse this list.

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, iXsystems, and RootBSD

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

Search
Enter Keywords:
 
more...

Latest Vulnerabilities
giteaNov 21
nodeNov 21
node12Nov 21
node14Nov 21
muttNov 20
mantisNov 14
goNov 12
py-saltNov 12
openoffice-4Nov 10
openoffice-develNov 10
raptor2Nov 09
py-notebookNov 08
mariadb103-server*Nov 07
mariadb104-server*Nov 07
mariadb105-server*Nov 07

9 vulnerabilities affecting 54 ports have been reported in the past 14 days

* - modified, not new

All vulnerabilities

Last updated:
2020-11-22 15:51:41


Ports
Home
Categories
Deleted ports
Sanity Test Failures
Newsfeeds

Statistics
Graphs
NEW Graphs (Javascript)
Traffic

Calculated hourly:
Port count 41449
Broken 61
Deprecated 279
Ignore 301
Forbidden 4
Restricted 142
No CDROM 73
Vulnerable 19
Expired 4
Set to expire 249
Interactive 0
new 24 hours 3
new 48 hours5
new 7 days31
new fortnight76
new month175

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