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_3 devel search for ports that depend on this port
Deprecated DEPRECATED: Not staged. See http://lists.freebsd.org/pipermail/freebsd-ports-announce/2014-May/000080.html
Expiration Date EXPIRATION DATE: 2014-08-31
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-04 13:06:07
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
A 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-07-21 09:07:27
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
i2pJul 28
i2pJul 28
i2pJul 28
bugzilla44Jul 25
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

11 vulnerabilities affecting 34 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 24400
Broken 182
Deprecated 845
Ignore 518
Forbidden 16
Restricted 263
No CDROM 101
Vulnerable 27
Expired 4
Set to expire 832
Interactive 13
new 24 hours 1
new 48 hours6
new 7 days18
new fortnight37
new month104

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