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-Makefile.in
SVNWeb

Number of commits found: 2

Mon, 9 Apr 2012
[ 11:54 scheidell ] Original commit 
1.2 lang/urweb/Makefile
1.2 lang/urweb/files/patch-Makefile.am
1.2 lang/urweb/files/patch-Makefile.in
1.2 lang/urweb/files/patch-urweb.c
- Fix suggested by upstream. Revise mutex initializer patch to avoid deadlocks
- Bump PORTREVISION

PR:             ports/166778
Submitted by:   Timothy Beyer <beyert@cs.ucr.edu> (maintainer)
Feature safe:   yes
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
curl*Dec 11
linux-c7-curl*Dec 11
wiresharkDec 10
procmail*Dec 08
opensslDec 07
firefoxDec 05
firefox-esrDec 05
linux-firefoxDec 05
linux-seamonkeyDec 05
seamonkeyDec 05
waterfoxDec 05
mybbDec 02
varnish4Dec 02
varnish5Dec 02
asterisk13Dec 01

14 vulnerabilities affecting 78 ports have been reported in the past 14 days

* - modified, not new

All vulnerabilities

Last updated:
2017-12-11 14:55:48


Ports
Home
Categories
Deleted ports
Sanity Test Failures
Newsfeeds

Statistics
Graphs
NEW Graphs (Javascript)
Traffic

Calculated hourly:
Port count 32118
Broken 121
Deprecated 41
Ignore 356
Forbidden 0
Restricted 173
No CDROM 77
Vulnerable 44
Expired 11
Set to expire 33
Interactive 0
new 24 hours 7
new 48 hours9
new 7 days77
new fortnight18991
new month48558

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