Bug 161575

Summary: [NEW PORT] lang/ats: A language with a type system rooted in the Applied Type System
Product: Ports & Packages Reporter: Jyun-Yan You <jyyou>
Component: Individual Port(s)Assignee: Li-Wen Hsu <lwhsu>
Status: Closed FIXED    
Severity: Affects Only Me    
Priority: Normal    
Version: Latest   
Hardware: Any   
OS: Any   
Attachments:
Description Flags
ats-0.2.5.shar none

Description Jyun-Yan You 2011-10-14 08:40:04 UTC 
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/

Generated with FreeBSD Port Tools 0.99
Comment 1 Li-Wen Hsu freebsd_committer freebsd_triage 2011-10-14 16:30:18 UTC 
Responsible Changed
From-To: freebsd-ports-bugs->lwhsu

I'll take it.
Comment 2 dfilter service freebsd_committer freebsd_triage 2011-10-14 18:00:56 UTC 
lwhsu       2011-10-14 17:00:39 UTC

  FreeBSD ports repository

  Modified files:
    lang                 Makefile 
  Added files:
    lang/ats             Makefile bsd.ats.mk distinfo pkg-descr 
                         pkg-plist 
    lang/ats/files       patch-Makefile patch-Makefile__bootstrap 
  Log:
  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>
  
  Revision  Changes    Path
  1.747     +1 -0      ports/lang/Makefile
  1.1       +81 -0     ports/lang/ats/Makefile (new)
  1.1       +64 -0     ports/lang/ats/bsd.ats.mk (new)
  1.1       +2 -0      ports/lang/ats/distinfo (new)
  1.1       +72 -0     ports/lang/ats/files/patch-Makefile (new)
  1.1       +11 -0     ports/lang/ats/files/patch-Makefile__bootstrap (new)
  1.1       +7 -0      ports/lang/ats/pkg-descr (new)
  1.1       +403 -0    ports/lang/ats/pkg-plist (new)
_______________________________________________
cvs-all@freebsd.org mailing list
http://lists.freebsd.org/mailman/listinfo/cvs-all
To unsubscribe, send any mail to "cvs-all-unsubscribe@freebsd.org"
Comment 3 Li-Wen Hsu freebsd_committer freebsd_triage 2011-10-14 18:04:52 UTC 
State Changed
From-To: open->closed

New port added. Thanks!