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 Automatic solver of mathematical formulas for 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 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 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 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 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
php53Aug 18
phpmyadminAug 17
chromiumAug 13
serfAug 11
subversionAug 11
subversion17Aug 11
nginxAug 09
nginx-develAug 09
mingw32-opensslAug 06
opensslAug 06
krfbAug 03
gpgmeAug 02
samba4Aug 02
samba41Aug 02
kdelibs4Jul 31

7 vulnerabilities affecting 11 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 24476
Broken 229
Deprecated 835
Ignore 571
Forbidden 36
Restricted 261
No CDROM 101
Vulnerable 23
Expired 0
Set to expire 822
Interactive 0
new 24 hours 2
new 48 hours10
new 7 days41
new fortnight158
new month215

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