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

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
ActionRevisionLinksFile
modify 313476 View diff View revision /ports/head/lang/opa/Makefile
Login
User Login
Create account

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

This site
What is FreshPorts?
About the authors
FAQ
How big is it?
The latest upgrade!
Privacy
Forums
Blog
Contact

Search
Enter Keywords:
 
more...

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


Ports
Home
Categories
Deleted ports
Sanity Test Failures
Newsfeeds


Statistics
Graphs
NEW Graphs (Javascript)
Traffic

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.