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?
Search FreshPorts using Google
Custom Search

The FreshPorts Search


Include deleted ports Case sensitive search Sort by:
Include /src tree

Notes

  • Case sensitivity is ignored for "sounds like" and output is ordered by the soundex.
  • When searching on 'Message ID', the type of match is ignored.
  • When searching on 'Commit Message' only 'containing' is used.
  • When searching by 'Under a pathname', your path must start with something like /ports/, /doc/, or /src/. All commits under that point will be returned. The selected match type is ignored and defaults to 'Starts with'.
Number of ports: 13
frama-c 20140301_1 devel search for ports that depend on this port
Extensible platform for source-code analysis of C
Maintained by: bf@FreeBSD.org search for ports maintained by this maintainer
Last commit date: 2014-06-24 23:48:03
License: LGPL21
SVNWeb : Main Web Site : Distfiles Availability : PortsMon

To install the port: cd /usr/ports/devel/frama-c/ && make install clean
To add the package: pkg install devel/frama-c


monotone-viz 1.0.2_4 devel search for ports that depend on this port
Visual interface for Monotone VCS with revision graphs

There is no maintainer for this port.
Any concerns regarding this port should be directed to the FreeBSD Ports mailing list via ports@FreeBSD.org search for ports maintained by this maintainer
Last commit date: 2014-07-30 09:48:18
License: GPLv2
SVNWeb : Main Web Site : Distfiles Availability : PortsMon

To install the port: cd /usr/ports/devel/monotone-viz/ && make install clean
To add the package: pkg install devel/monotone-viz


freetennis 0.4.8_10 games search for ports that depend on this port
Tennis simulation

There is no maintainer for this port.
Any concerns regarding this port should be directed to the FreeBSD Ports mailing list via ports@FreeBSD.org search for ports maintained by this maintainer
Last commit date: 2014-05-02 15:16:49
License: not specified in port
SVNWeb : Main Web Site : Distfiles Availability : PortsMon

To install the port: cd /usr/ports/games/freetennis/ && make install clean
To add the package: pkg install games/freetennis


alt-ergo 0.95.2 math search for ports that depend on this port
Automatic solver of mathematical formulas for program verification
Maintained by: bf@FreeBSD.org search for ports maintained by this maintainer
Last commit date: 2014-06-25 06:35:32
License: CeCILL-C
SVNWeb : Main Web Site : Distfiles Availability : PortsMon

To install the port: cd /usr/ports/math/alt-ergo/ && make install clean
To add the package: pkg install math/alt-ergo


coq 8.4.3,1 math search for ports that depend on this port
Theorem prover based on lambda-C
Maintained by: johans@FreeBSD.org search for ports maintained by this maintainer
Last commit date: 2014-07-23 14:04:15
License: not specified in port
SVNWeb : Main Web Site : Distfiles Availability : PortsMon

To install the port: cd /usr/ports/math/coq/ && make install clean
To add the package: pkg install math/coq


ocaml-ocamlgraph 1.8.5 math search for ports that depend on this port
Graph manipulation library for OCaml
Maintained by: johans@FreeBSD.org search for ports maintained by this maintainer
Last commit date: 2014-07-15 17:23:08
License: not specified in port
SVNWeb : Main Web Site : Distfiles Availability : PortsMon

To install the port: cd /usr/ports/math/ocaml-ocamlgraph/ && make install clean
To add the package: pkg install math/ocaml-ocamlgraph


why3 0.83_1 math search for ports that depend on this port
Deductive program verification platform
Maintained by: marino@FreeBSD.org search for ports maintained by this maintainer
Last commit date: 2014-07-05 13:19:33
License: LGPL21
SVNWeb : Main Web Site : Distfiles Availability : PortsMon

To install the port: cd /usr/ports/math/why3/ && make install clean
To add the package: pkg install math/why3


why3-gpl 2014_1 math search for ports that depend on this port
Component of SPARK 2014
Maintained by: marino@FreeBSD.org search for ports maintained by this maintainer
Last commit date: 2014-07-05 13:19:33
License: LGPL21 GPLv3
SVNWeb : Main Web Site : Distfiles Availability : PortsMon

To install the port: cd /usr/ports/math/why3-gpl/ && make install clean
To add the package: pkg install math/why3-gpl


unison 2.40.102_2 net search for ports that depend on this port
User-level file synchronization tool
Maintained by: madpilot@FreeBSD.org search for ports maintained by this maintainer
Last commit date: 2014-06-26 22:56:19
License: GPLv3
SVNWeb : Main Web Site : Distfiles Availability : PortsMon

To install the port: cd /usr/ports/net/unison/ && make install clean
To add the package: pkg install net/unison


unison-devel 2.45.28_2 net search for ports that depend on this port
User-level file synchronization tool
Maintained by: madpilot@FreeBSD.org search for ports maintained by this maintainer
Last commit date: 2014-06-26 22:56:19
License: GPLv3
SVNWeb : Main Web Site : Distfiles Availability : PortsMon

To install the port: cd /usr/ports/net/unison-devel/ && make install clean
To add the package: pkg install net/unison-devel


unison232 2.32.52_5 net search for ports that depend on this port
User-level file synchronization tool
Maintained by: mandree@FreeBSD.org search for ports maintained by this maintainer
Last commit date: 2014-06-26 22:56:19
License: GPLv3
SVNWeb : Main Web Site : Distfiles Availability : PortsMon

To install the port: cd /usr/ports/net/unison232/ && make install clean
To add the package: pkg install net/unison232


mldonkey 3.1.5 net-p2p search for ports that depend on this port
OCAML client for multiple peer-to-peer networks

There is no maintainer for this port.
Any concerns regarding this port should be directed to the FreeBSD Ports mailing list via ports@FreeBSD.org search for ports maintained by this maintainer
Last commit date: 2014-08-16 20:13:35
License: GPLv2
SVNWeb : Main Web Site : Distfiles Availability : PortsMon

To install the port: cd /usr/ports/net-p2p/mldonkey/ && make install clean
To add the package: pkg install net-p2p/mldonkey


mldonkey-gui 3.1.5 net-p2p search for ports that depend on this port
OCAML/GTK GUI for the MLdonkey peer-to-peer network client

There is no maintainer for this port.
Any concerns regarding this port should be directed to the FreeBSD Ports mailing list via ports@FreeBSD.org search for ports maintained by this maintainer
Last commit date: 2014-07-21 09:07:27
License: GPLv2
SVNWeb : Main Web Site : Distfiles Availability : PortsMon

To install the port: cd /usr/ports/net-p2p/mldonkey-gui/ && make install clean
To add the package: pkg install net-p2p/mldonkey-gui


Number of ports: 13
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
chromiumAug 26
fileAug 21
py-djangoAug 21
py-django-develAug 21
py-django14Aug 21
py-django15Aug 21
php53Aug 18
phpmyadminAug 17
chromiumAug 13
serfAug 11
subversionAug 11
subversion17Aug 11
nginxAug 09
nginx-develAug 09
mingw32-opensslAug 06

6 vulnerabilities affecting 9 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 24501
Broken 218
Deprecated 691
Ignore 542
Forbidden 17
Restricted 242
No CDROM 101
Vulnerable 23
Expired 603
Set to expire 680
Interactive 0
new 24 hours 4
new 48 hours15
new 7 days46
new fortnight100
new month264

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