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

I am looking for an LTO tape library. Do you have one to spare?
Commit found by message id
Tue, 5 Mar 2013
[ 20:22:03 bf ] Original commit   Revision:313476
alt-ergo math files touched by this commit An automatic theorem prover dedicated to program verification
coq math files touched by this commit Theorem prover based on lambda-C
frama-c devel files touched by this commit Extensible platform for source-code analysis of C
freetennis games files touched by this commit Tennis simulation
mldonkey net-p2p files touched by this commit A OCAML client for multiple peer-to-peer networks
mldonkey-core net-p2p files touched by this commit Client 'core' for the MLDonkey peer-to-peer network
mldonkey-gui net-p2p files touched by this commit A OCAML/GTK GUI for the MLdonkey peer-to-peer network client
monotone-viz devel files touched by this commit Visual interface for Monotone VCS with revision graphs
ocaml-lablgtk2 x11-toolkits files touched by this commit An Objective Caml interface to GTK+ 2.x
ocaml-ocamlgraph math files touched by this commit Graph manipulation library for OCaml
ocaml-ulex devel files touched by this commit A lexer generator for Unicode and OCaml
opa lang  Deleted Broken Deprecated Expired Ignore files touched by this commit Open source, simple, and unified platform for writing web apps
unison net files touched by this commit User-level file synchronization tool
unison-devel net files touched by this commit User-level file synchronization tool
unison232 net files touched by this commit User-level file synchronization tool
update x11-toolkits/ocaml-lablgtk2 to 2.16.0+bugfixes, and adjust
dependent ports

PR:		144982, 149958
Reviewed by:	johans (earlier version of the patch)

Number of ports [& non-ports] in this commit: 15

Showing files for just one port: lang/opa

show all files

hide all files

1 file found
modify 313476 View diff View revision /ports/head/lang/opa/Makefile
User Login
Create account

Servers and bandwidth provided by
New York Internet, SuperNews, and RootBSD

This site
What is FreshPorts?
About the authors
How big is it?
The latest upgrade!

Enter Keywords:

Latest Vulnerabilities
bugzilla40*Apr 18
bugzilla40*Apr 18
bugzilla42*Apr 18
bugzilla42*Apr 18
bugzilla44*Apr 18
bugzilla44*Apr 18
curlApr 11
dbus-glibApr 11
libaudiofileApr 11
linux-f10-curlApr 11
linux-f10-dbus-glibApr 11
linux-f10-libaudiofileApr 11
linux-f10-nas-libsApr 11
linux-f10-openldapApr 11
mingw32-openssl*Apr 11

13 vulnerabilities affecting 18 ports have been reported in the past 14 days

* - modified, not new

All vulnerabilities

Deleted ports
Sanity Test Failures

NEW Graphs (Javascript)

Calculated hourly:
Port count 24366
Broken 175
Deprecated 89
Ignore 529
Forbidden 6
Restricted 263
No CDROM 108
Vulnerable 29
Expired 8
Set to expire 76
Interactive 22
new 24 hours 1
new 48 hours4
new 7 days14
new fortnight39
new month143

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