FreshPorts -- The Place For Ports notbug Sun, 27 May 2012 9:27 AM BST
Port details
ats 0.2.6_1 lang on this many watch lists=0 search for ports that depend on this port
A language with a type system rooted in the Applied Type System
Maintained by: jyyou@cs.nctu.edu.tw search for ports maintained by this maintainer
Port Added: 14 Oct 2011 17:01:18
License: not specified in port


ATS is a statically typed programming language
that unifies implementation with formal specification.
It is equipped with a highly expressive type system rooted in
the framework Applied Type System, which gives the language its name.
In particular, both dependent types and linear types are available in ATS.

WWW: http://www.ats-lang.org/
CVSWeb : Sources : Main Web Site : Distfiles Availability : PortsMon
NOTE: FreshPorts displays only required dependencies information. Optional dependencies are not covered.
Required To Build: devel/gmake
Required Libraries: math/gmp, devel/pcre
There are no ports dependent upon this port

To install the port: cd /usr/ports/lang/ats/ && make install clean
To add the package: pkg_add -r ats


Configuration Options
===> The following configuration options are available for ats-0.2.6_1:
     GMP=on (default) "Build with GMP support"
     PCRE=on (default) "Build with PCRE support"
===> Use 'make config' to modify these settings

Master Sites:
http://heanet.dl.sourceforge.net/project/ats-lang/ats-lang/anairiats-0.2.6/
http://sunet.dl.sourceforge.net/project/ats-lang/ats-lang/anairiats-0.2.6/
http://iweb.dl.sourceforge.net/project/ats-lang/ats-lang/anairiats-0.2.6/
http://switch.dl.sourceforge.net/project/ats-lang/ats-lang/anairiats-0.2.6/
http://surfnet.dl.sourceforge.net/project/ats-lang/ats-lang/anairiats-0.2.6/
http://kent.dl.sourceforge.net/project/ats-lang/ats-lang/anairiats-0.2.6/
http://freefr.dl.sourceforge.net/project/ats-lang/ats-lang/anairiats-0.2.6/
http://voxel.dl.sourceforge.net/project/ats-lang/ats-lang/anairiats-0.2.6/
http://jaist.dl.sourceforge.net/project/ats-lang/ats-lang/anairiats-0.2.6/
http://osdn.dl.sourceforge.net/project/ats-lang/ats-lang/anairiats-0.2.6/
http://nchc.dl.sourceforge.net/project/ats-lang/ats-lang/anairiats-0.2.6/
http://ncu.dl.sourceforge.net/project/ats-lang/ats-lang/anairiats-0.2.6/
http://transact.dl.sourceforge.net/project/ats-lang/ats-lang/anairiats-0.2.6/
http://softlayer.dl.sourceforge.net/project/ats-lang/ats-lang/anairiats-0.2.6/
http://internode.dl.sourceforge.net/project/ats-lang/ats-lang/anairiats-0.2.6/
http://ufpr.dl.sourceforge.net/project/ats-lang/ats-lang/anairiats-0.2.6/
http://waix.dl.sourceforge.net/project/ats-lang/ats-lang/anairiats-0.2.6/
ftp://ftp.FreeBSD.org/pub/FreeBSD/ports/distfiles/

Number of commits found: 4

Commit History - (may be incomplete: see CVSWeb link above for full details)
DateByDescription
14 Feb 2012 12:45:35
Original commit files touched by this commit  0.2.6_1
mm search for other commits by this committer
Bump pcre library dependency due to 8.30 update
16 Nov 2011 16:14:29
Original commit files touched by this commit  0.2.6
miwi search for other commits by this committer
- Update to 0.2.6

PR:             162575
Submitted by:   Jyun-Yan You <jyyou@cs.nctu.edu.tw> (maintainer)
Feature safe:   yes
07 Nov 2011 04:00:32
Original commit files touched by this commit  0.2.5
lwhsu search for other commits by this committer
- Fix build on i386 [1]
- Change unnecessary "?=" to "="

Noticed by:     pointyhat by erwin [1]
Submitted by:   Jyun-Yan You <jyyou@cs.nctu.edu.tw> (maintainer)
14 Oct 2011 17:00:39
Original commit files touched by this commit  0.2.5
lwhsu search for other commits by this committer
Add ats 0.2.5, a language with a type system rooted in the Applied Type
System.

PR:             ports/161575
Submitted by:   Jyun-Yan You <jyyou@cs.nctu.edu.tw>

Number of commits found: 4

Login
User Login
Create account

Servers and bandwidth provided by
New York Internet
SuperNews

Search
Enter Keywords:
 
more...

Latest Vulnerabilities
haproxyMay 24
foswikiMay 21
inspircd*May 21
inspircd12*May 21
sympaMay 21
sympa5May 21
libxml2May 18
pidgin-otrMay 16
sudoMay 16
chromiumMay 15
chromiumMay 15
pivotx*May 14
socatMay 14
libpurpleMay 12
php5May 12

12 vulnerabilities affecting 17 ports have been reported in the past 14 days

* - modified, not new

All vulnerabilities


Ports
Home
Categories
Deleted ports
Sanity Test Failures
Newsfeeds


Statistics
Graphs
NEW Graphs (Javascript)
Traffic

Calculated hourly:
Port count 23675
Broken 193
Deprecated 147
Ignore 736
Forbidden 3
Restricted 328
No CDROM 110
Vulnerable 0
Expired 44
Set to expire 188
Interactive 54
new 24 hours 5
new 48 hours19
new 7 days62
new fortnight185
new month256

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

Servers and bandwidth provided by
New York Internet
SuperNews
Valid HTML, CSS, and RSS.
Copyright © 2000-2012 DVL Software Limited. All rights reserved.
This page created in 0.05 seconds.