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

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_7 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: 2016-07-04 14:24:21
License: GPLv2+
SVNWeb : Homepage : PortsMon

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

PKGNAME: monotone-viz

distinfo: There is no distinfo for this port.

freetennis Tennis simulation
0.4.8_14 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: 2016-07-23 15:19:05
License: not specified in port
SVNWeb : Homepage : PortsMon

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

PKGNAME: freetennis

distinfo: There is no distinfo for this port.

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

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: 2016-06-27 22:30:34
License: CeCILL-C
SVNWeb : Homepage : PortsMon

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

PKGNAME: alt-ergo

distinfo: There is no distinfo for this port.

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: 2016-05-23 21:35:01
License: not specified in port
SVNWeb : Homepage : PortsMon

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

PKGNAME: coq

distinfo: There is no distinfo for this port.

ocaml-ocamlgraph Graph manipulation library for OCaml
1.8.7 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: 2016-05-19 11:44:12
License: not specified in port
SVNWeb : Homepage : PortsMon

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

PKGNAME: ocaml-ocamlgraph

distinfo: There is no distinfo for this port.

why3 Deductive program verification platform
0.83_2 math 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: 2016-04-01 15:16:20
License: LGPL21
SVNWeb : Homepage : PortsMon

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

PKGNAME: why3

distinfo: There is no distinfo for this port.

why3-spark Component of SPARK 2016
2016 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: 2016-06-13 21:04:52
License: LGPL21 GPLv3
SVNWeb : Homepage : PortsMon

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

PKGNAME: why3-spark

distinfo: There is no distinfo for this port.

unison User-level file synchronization tool
2.48.4 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: 2016-07-19 12:04:14
License: GPLv3
SVNWeb : Homepage : PortsMon

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

PKGNAME: unison

distinfo: There is no distinfo for this port.

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: 2016-07-19 12:04:14
License: GPLv3
SVNWeb : Homepage : 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

PKGNAME: unison-devel

distinfo: There is no distinfo for this port.

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: 2016-07-19 12:04:14
License: GPLv3
SVNWeb : Homepage : PortsMon

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

PKGNAME: unison232

distinfo: There is no distinfo for this port.

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: 2016-07-19 12:04:14
License: GPLv3
SVNWeb : Homepage : PortsMon

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

PKGNAME: unison240

distinfo: There is no distinfo for this port.

mldonkey OCAML client for multiple peer-to-peer networks
3.1.5_1 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: 2016-07-20 10:33:32
License: GPLv2
SVNWeb : Homepage : PortsMon

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

PKGNAME: mldonkey

distinfo: There is no distinfo for this port.

mldonkey-gui OCAML/GTK GUI for the MLdonkey peer-to-peer network client
3.1.5_1 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 : PortsMon

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

PKGNAME: mldonkey-gui

distinfo: There is no distinfo for this port.

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
Issues
FAQ
How big is it?
The latest upgrade!
Privacy
Forums
Blog
Contact

Search
Enter Keywords:
 
more...

Latest Vulnerabilities
chromiumJul 22
krb5-114Jul 21
mariadb100-server*Jul 21
mariadb101-server*Jul 21
mariadb55-server*Jul 21
mysql55-server*Jul 21
mysql56-server*Jul 21
mysql57-server*Jul 21
openoffice-4Jul 21
openoffice-develJul 21
percona55-server*Jul 21
typo3Jul 18
typo3-ltsJul 18
atutorJul 16
atutorJul 16

18 vulnerabilities affecting 35 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 26058
Broken 80
Deprecated 122
Ignore 351
Forbidden 0
Restricted 201
No CDROM 83
Vulnerable 74
Expired 10
Set to expire 109
Interactive 0
new 24 hours 5
new 48 hours6
new 7 days23
new fortnight95
new month168

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