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
Output format:
HTML
Plain Text
Maximum Effort Minimal output
Branch:

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'.
  • Searching for 'sounds like' is only valid for Committer, Maintainer, Package Name, and Port Name.
Number of ports: 12
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

ONLY_FOR_ARCHS: nil

NOT_FOR_ARCHS: nil

distinfo:

SHA256 (monotone-viz-1.0.2.tar.gz) = 404ee47378b144a62eb2dcdfb80430e68d193360216d120977a457cdbf85b7f6
SIZE (monotone-viz-1.0.2.tar.gz) = 545631
SHA256 (monotone-viz_1.0.2-4.diff.gz) = aed1582e303395790f4b2f3d9a2838d98440f5e3c307e8222d7015fe72fd1bda
SIZE (monotone-viz_1.0.2-4.diff.gz) = 11922

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-08-18 14:26:08
License: GPLv2+
SVNWeb : Homepage : PortsMon

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

PKGNAME: freetennis

ONLY_FOR_ARCHS: nil

NOT_FOR_ARCHS: nil

distinfo:

SHA256 (freetennis-0.4.8.tar.bz2) = 0d4663d1c9ce5bbef4d87a9d9f85a4570016a2945c41d1d293fb1357e426bebf
SIZE (freetennis-0.4.8.tar.bz2) = 7119435

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

ONLY_FOR_ARCHS: nil

NOT_FOR_ARCHS: nil

distinfo:

SHA256 (alt-ergo-0.95.2.tar.gz) = 5a6cd4349c144653be19a1ba4c254bbf626bdfd97c54d1c13ba63e396006eeac
SIZE (alt-ergo-0.95.2.tar.gz) = 233778

coq Theorem prover based on lambda-C
8.6,3 math search for ports that depend on this port Find issues related to this port Report an issue related to this port
Maintainer: hrs@FreeBSD.org search for ports maintained by this maintainer
Last commit date: 2016-12-31 23:05:09
License: LGPL21
SVNWeb : Homepage : PortsMon

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

PKGNAME: coq

ONLY_FOR_ARCHS: nil

NOT_FOR_ARCHS: nil

distinfo:

TIMESTAMP = 1483223265
SHA256 (coq-8.6.tar.gz) = 6e3c3cf5c8e2b0b760dc52738e2e849f3a8c630869659ecc0cf41413fcee81df
SIZE (coq-8.6.tar.gz) = 5538848

ocaml-ocamlgraph Graph manipulation library for OCaml
1.8.7_1 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: 2017-03-04 04:16:16
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

ONLY_FOR_ARCHS: nil

NOT_FOR_ARCHS: nil

distinfo:

SHA256 (ocamlgraph-1.8.7.tar.gz) = df06ca06d25231bb8e162d6b853177cb7fc1565c8f1ec99ca051727d46c985a0
SIZE (ocamlgraph-1.8.7.tar.gz) = 272625

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: 2017-01-29 23:39:24
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

ONLY_FOR_ARCHS: nil

NOT_FOR_ARCHS: nil

distinfo:

SHA256 (why3-0.83.tar.gz) = cabf67e939e3422e491ef596f1a09ceaf1615642904182097cebde90e42e9ac9
SIZE (why3-0.83.tar.gz) = 5347628

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: 2017-03-07 22:02:36
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

ONLY_FOR_ARCHS: nil

NOT_FOR_ARCHS: nil

distinfo:

TIMESTAMP = 1464031624
SHA256 (unison-2.48.4/unison-2.48.4.tar.gz) = 30aa53cd671d673580104f04be3cf81ac1e20a2e8baaf7274498739d59e99de8
SIZE (unison-2.48.4/unison-2.48.4.tar.gz) = 1200861
SHA256 (unison-2.48.4/unison-2.48.4-manual.html) = 2b5674e2fd7751148784a716ce5a03f8cd0a321c8a3bd4343832ed9b83d2d404
SIZE (unison-2.48.4/unison-2.48.4-manual.html) = 278110
SHA256 (unison-2.48.4/unison-2.48.4-manual.pdf) = eaf9bf89967eb17c59b98f0a7ba6b6ff260b6c6de73277a633d954ceb42f5f93
SIZE (unison-2.48.4/unison-2.48.4-manual.pdf) = 516093
SHA256 (unison-2.48.4/unison-2.48.4-manual.ps) = 8b7aaf70452148e0817ee84db5b0686a9867ec5a1697490113572e0f4669dd0a
SIZE (unison-2.48.4/unison-2.48.4-manual.ps) = 770305

unison-devel User-level file synchronization tool
2.48.1_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-12-08 19:52:20
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

ONLY_FOR_ARCHS: nil

NOT_FOR_ARCHS: nil

distinfo:

SHA256 (unison-2.48.1/unison-2.48.1.tar.gz) = 5601e6f37b5ae2884b01092f51ff7b3e189709563192977f0ff6e131196c4644
SIZE (unison-2.48.1/unison-2.48.1.tar.gz) = 1188875
SHA256 (unison-2.48.1/unison-2.48.1-manual.html) = 8b30a3cea19876073a963eda90e218462734f16f16c87e1b17396ae33ce53fec
SIZE (unison-2.48.1/unison-2.48.1-manual.html) = 278110
SHA256 (unison-2.48.1/unison-2.48.1-manual.pdf) = fd1589edad12f9dd00bf0c8fdd1e332b5b1b995eb6c4c257f21ad563e50a9db3
SIZE (unison-2.48.1/unison-2.48.1-manual.pdf) = 516198
SHA256 (unison-2.48.1/unison-2.48.1-manual.ps) = 373aaad81e85817e7b6714f57f1b66599dce8f4065e2845d4d0ddee84d6c4495
SIZE (unison-2.48.1/unison-2.48.1-manual.ps) = 770946

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: 2017-03-07 22:02:36
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

ONLY_FOR_ARCHS: nil

NOT_FOR_ARCHS: nil

distinfo:

SHA256 (unison-2.32.52/unison-2.32.52.tar.gz) = 1542e5d4ad03e928260e061a8ff9d5e0bca3282481ed8bec5552de17a0270485
SIZE (unison-2.32.52/unison-2.32.52.tar.gz) = 697866
SHA256 (unison-2.32.52/unison-2.32.52-manual.html) = c898239d8139d8405b96d87e12c06c7f41fd3629cac0c83bc338aad50fed7f81
SIZE (unison-2.32.52/unison-2.32.52-manual.html) = 249124
SHA256 (unison-2.32.52/unison-2.32.52-manual.pdf) = b3fee7ac99907f3b1ed02c6ac901678e82ea1eed936acb45e9735b95d55cc4eb
SIZE (unison-2.32.52/unison-2.32.52-manual.pdf) = 478388
SHA256 (unison-2.32.52/unison-2.32.52-manual.ps) = 779924e2a89ab2592c512e808cfcdf302c1a691fb1f2a6a02cc415fdc87770e5
SIZE (unison-2.32.52/unison-2.32.52-manual.ps) = 572128

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: 2017-03-07 22:02:36
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

ONLY_FOR_ARCHS: nil

NOT_FOR_ARCHS: nil

distinfo:

SHA256 (unison-2.40.128/unison-2.40.128.tar.gz) = 5a1ea828786b9602f2a42c2167c9e7643aba2c1e20066be7ce46de4779a5ca54
SIZE (unison-2.40.128/unison-2.40.128.tar.gz) = 2717593
SHA256 (unison-2.40.128/unison-2.40.128-manual.html) = 8cd3901dffab27203fab1702a7eb25555539f1b566ebe08036aef695f39e8593
SIZE (unison-2.40.128/unison-2.40.128-manual.html) = 267099
SHA256 (unison-2.40.128/unison-2.40.128-manual.pdf) = 346f8d027adfafc9b042c8d4a144b6f0619cce43fa551dc3d4318a15464cd86a
SIZE (unison-2.40.128/unison-2.40.128-manual.pdf) = 496593
SHA256 (unison-2.40.128/unison-2.40.128-manual.ps) = 6104e45e4b6c80c03fa17c2aa02a176e95574b731c58a5d8e2d13aa9387d0537
SIZE (unison-2.40.128/unison-2.40.128-manual.ps) = 753150

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: 2017-01-18 13:20: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

ONLY_FOR_ARCHS: nil

NOT_FOR_ARCHS: nil

distinfo:

SHA256 (mldonkey-3.1.5.tar.bz2) = 74f9d4bcc72356aa28d0812767ef5b9daa03efc5d1ddabf56447dc04969911cb
SIZE (mldonkey-3.1.5.tar.bz2) = 2847382

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

ONLY_FOR_ARCHS: nil

NOT_FOR_ARCHS: nil

distinfo:

SHA256 (mldonkey-3.1.5.tar.bz2) = 74f9d4bcc72356aa28d0812767ef5b9daa03efc5d1ddabf56447dc04969911cb
SIZE (mldonkey-3.1.5.tar.bz2) = 2847382

Number of ports: 12
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
xen-toolsMar 23
hostapd*Mar 22
hostapd*Mar 22
wpa_supplicant*Mar 22
wpa_supplicant*Mar 22
firefoxMar 18
hadoop2*Mar 18
irssiMar 18
mariadb100-clientMar 18
mariadb101-clientMar 18
mariadb55-clientMar 18
moodle29Mar 18
moodle29Mar 18
moodle30Mar 18
moodle30Mar 18

28 vulnerabilities affecting 69 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 28361
Broken 266
Deprecated 263
Ignore 531
Forbidden 0
Restricted 203
No CDROM 79
Vulnerable 89
Expired 17
Set to expire 258
Interactive 0
new 24 hours 17
new 48 hours31
new 7 days79
new fortnight116
new month222

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