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 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 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 OCAML/GTK GUI for the MLdonkey peer-to-peer network client
monotone-viz devel  Deprecated Expiration Date files touched by this commit Visual interface for Monotone VCS with revision graphs
ocaml-lablgtk2 x11-toolkits  Deprecated Expiration Date 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 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
apache22Jul 24
apache22-event-mpmJul 24
apache22-itk-mpmJul 24
apache22-peruser-mpmJul 24
apache22-worker-mpmJul 24
firefoxJul 23
firefox-develJul 23
firefox-esrJul 23
firefox10Jul 23
firefox15Jul 23
firefox3Jul 23
firefox3-develJul 23
firefox35Jul 23
firefox36Jul 23
linux-firefoxJul 23

10 vulnerabilities affecting 31 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 24406
Broken 180
Deprecated 869
Ignore 515
Forbidden 16
Restricted 263
No CDROM 102
Vulnerable 27
Expired 1
Set to expire 856
Interactive 13
new 24 hours 2
new 48 hours4
new 7 days16
new fortnight47
new month103


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