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

Please give me your LTO-4 or better tape library and I'll put it to good use.
Search FreshPorts using Google

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
monotone-viz Visual interface for Monotone VCS with revision graphs
1.0.2_6 devel search for ports that depend on this port Find issues related to this port Report an issue related to this port

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: 2015-05-12 12:58:22
License: GPLv2
SVNWeb : Homepage : 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 Tennis simulation
0.4.8_13 games search for ports that depend on this port Find issues related to this port Report an issue related to this port

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: 2015-05-04 16:46:52
License: not specified in port
SVNWeb : Homepage : 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 Automatic solver of mathematical formulas for program verification
0.95.2_2 math search for ports that depend on this port Find issues related to this port Report an issue related to this port
Maintainer: bf@FreeBSD.org search for ports maintained by this maintainer
Last commit date: 2015-05-04 16:46:52
License: CeCILL-C
SVNWeb : Homepage : 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 Theorem prover based on lambda-C
8.4.6,2 math search for ports that depend on this port Find issues related to this port Report an issue related to this port
Maintainer: johans@FreeBSD.org search for ports maintained by this maintainer
Last commit date: 2015-05-23 11:06:54
License: not specified in port
SVNWeb : Homepage : 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 Graph manipulation library for OCaml
1.8.6_1 math search for ports that depend on this port Find issues related to this port Report an issue related to this port
Maintainer: johans@FreeBSD.org search for ports maintained by this maintainer
Last commit date: 2015-05-04 16:46:52
License: not specified in port
SVNWeb : Homepage : 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 Deductive program verification platform
0.83_1 math search for ports that depend on this port Find issues related to this port Report an issue related to this port
Maintainer: marino@FreeBSD.org search for ports maintained by this maintainer
Last commit date: 2015-03-01 21:14:57
License: LGPL21
SVNWeb : Homepage : 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 Component of SPARK 2014
2014_1 math search for ports that depend on this port Find issues related to this port Report an issue related to this port
Maintainer: marino@FreeBSD.org search for ports maintained by this maintainer
Last commit date: 2014-11-14 09:39:21
License: LGPL21 GPLv3
SVNWeb : Homepage : 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 User-level file synchronization tool
2.48.3_2 net search for ports that depend on this port Find issues related to this port Report an issue related to this port
Maintainer: madpilot@FreeBSD.org search for ports maintained by this maintainer
Last commit date: 2015-05-11 19:34:58
License: GPLv3
SVNWeb : Homepage : 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 User-level file synchronization tool
2.48.1 net search for ports that depend on this port Find issues related to this port Report an issue related to this port
Ignore IGNORE: No devel release available. Install net/unison which is the latest stable version.
Maintainer: madpilot@FreeBSD.org search for ports maintained by this maintainer
Last commit date: 2015-05-11 19:34:58
License: GPLv3
SVNWeb : Homepage : Distfiles Availability : PortsMon

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

A package is not available for ports marked as: Forbidden / Broken / Ignore / Restricted


unison232 User-level file synchronization tool
2.32.52_9 net search for ports that depend on this port Find issues related to this port Report an issue related to this port
Maintainer: mandree@FreeBSD.org search for ports maintained by this maintainer
Last commit date: 2015-05-11 19:34:58
License: GPLv3
SVNWeb : Homepage : Distfiles Availability : PortsMon

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


unison240 User-level file synchronization tool
2.40.128_2 net search for ports that depend on this port Find issues related to this port Report an issue related to this port
Maintainer: madpilot@FreeBSD.org search for ports maintained by this maintainer
Last commit date: 2015-05-11 19:34:58
License: GPLv3
SVNWeb : Homepage : Distfiles Availability : PortsMon

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


mldonkey OCAML client for multiple peer-to-peer networks
3.1.5 net-p2p search for ports that depend on this port Find issues related to this port Report an issue related to this port

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: 2015-05-15 00:50:59
License: GPLv2
SVNWeb : Homepage : 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 OCAML/GTK GUI for the MLdonkey peer-to-peer network client
3.1.5 net-p2p search for ports that depend on this port Find issues related to this port Report an issue related to this port

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 : Homepage : 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
krb5May 28
krb5-112May 28
tsharkMay 28
tshark-liteMay 28
wiresharkMay 28
wireshark-liteMay 28
curlMay 26
curlMay 26
cassandraMay 24
cassandra2May 24
py-saltMay 24
davmailMay 23
dnsmasqMay 23
dnsmasq-develMay 23
dnsmasq-develMay 23

22 vulnerabilities affecting 39 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 24824
Broken 226
Deprecated 66
Ignore 494
Forbidden 1
Restricted 204
No CDROM 95
Vulnerable 21
Expired 10
Set to expire 55
Interactive 0
new 24 hours 4
new 48 hours13
new 7 days40
new fortnight79
new month159

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