1
0
mirror of https://git.FreeBSD.org/ports.git synced 2024-11-27 00:57:50 +00:00
Commit Graph

5 Commits

Author SHA1 Message Date
Ruslan Makhmatkhanov
59bfa248c0 - correct pkg-descr entry that I forgout about 2012-06-03 23:30:16 +00:00
Ruslan Makhmatkhanov
912f07d727 - update to 20120519
PR:		168179
Submitted by:	Timothy Beyer <beyert at cs.ucr dot edu> (maintainer)
2012-06-03 23:28:44 +00:00
Pawel Pekala
07f55e998c Update to version 20120512
PR:		port/167944
Submitted by:	Timothy Beyer <beyert@cs.ucr.edu> (maintainer)
2012-05-16 22:11:56 +00:00
Michael Scheidell
4e615aebad - 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
2012-04-09 11:54:04 +00:00
Michael Scheidell
e2e280ca6f 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
2012-04-06 14:36:30 +00:00