FreshPorts -- The Place For Ports If you buy from Amazon USA, please support us by using this link.
Follow us
Blog
Twitter

We also have a status page: https://freshports.wordpress.com/

non port: lang/urweb/files/patch-configure
SVNWeb

Number of commits found: 2

Mon, 18 Feb 2013
[ 18:23 rm ] Original commit   Revision:312516
312516 lang/urweb/Makefile
312516 lang/urweb/distinfo
312516 lang/urweb/files/patch-configure
- update to 20120925
- trim Makefile header, while here

PR:		176206
Submitted by:	Timothy Beyer <beyert@cs.ucr.edu> (maintainer)
Fri, 6 Apr 2012
[ 14:36 scheidell ] Original commit 
1.771 lang/Makefile
1.1 lang/urweb/Makefile
1.1 lang/urweb/distinfo
1.1 lang/urweb/files/patch-Makefile.am
1.1 lang/urweb/files/patch-Makefile.in
1.1 lang/urweb/files/patch-configure
1.1 lang/urweb/files/patch-urweb.c
1.1 lang/urweb/pkg-descr
1.1 lang/urweb/pkg-plist
Add New Port lang/urweb: Ur is a programming language in the tradition of ML and
Haskell, but featuring
a significantly richer type system. Ur is functional, pure, statically-typed,
and strict. Ur supports a powerful kind of metaprogramming based on row types.

Ur/Web is Ur plus a special standard library and associated rules for parsing
and optimization. Ur/Web supports construction of dynamic web applications
backed by SQL databases.

PR:             ports/166657
Submitted by:   Timothy Beyer <beyert@cs.ucr.edu>
Feature safe:   yes

Number of commits found: 2

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
rubygem-passengerDec 18
libXcursorDec 17
libXfont2Dec 17
libXfont2Dec 17
globalDec 16
jenkinsDec 15
jenkins-ltsDec 15
gitlabDec 14
nodeDec 14
node4Dec 14
node6Dec 14
node8Dec 14
torDec 14
asterisk13Dec 13
asterisk13*Dec 13

19 vulnerabilities affecting 92 ports have been reported in the past 14 days

* - modified, not new

All vulnerabilities

Last updated:
2017-12-18 21:49:34


Ports
Home
Categories
Deleted ports
Sanity Test Failures
Newsfeeds

Statistics
Graphs
NEW Graphs (Javascript)
Traffic

Calculated hourly:
Port count 32143
Broken 130
Deprecated 48
Ignore 366
Forbidden 0
Restricted 173
No CDROM 77
Vulnerable 41
Expired 10
Set to expire 40
Interactive 0
new 24 hours 4
new 48 hours13
new 7 days35
new fortnight111
new month42953

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