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: 8
tortoisehg THg script from TortoiseHG
3.7.3 devel search for ports that depend on this port Find issues related to this port Report an issue related to this port
Maintainer: 6yearold@gmail.com search for ports maintained by this maintainer
Last commit date: 2016-04-19 18:19:35
License: GPLv2
SVNWeb : Homepage : PortsMon

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

PKGNAME: tortoisehg

cryptominisat General-purpose award-winning SAT solver
4.5.3 math search for ports that depend on this port Find issues related to this port Report an issue related to this port
Maintainer: 6yearold@gmail.com search for ports maintained by this maintainer
Last commit date: 2016-04-01 15:16:20
License: LGPL3
SVNWeb : Homepage : PortsMon

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

PKGNAME: cryptominisat

py-cryptominisat Bindings to CryptoMiniSat (a SAT solver)
4.5.3 math search for ports that depend on this port Find issues related to this port Report an issue related to this port
Maintainer: 6yearold@gmail.com search for ports maintained by this maintainer
Last commit date: 2016-04-01 15:16:20
License: MIT
SVNWeb : Homepage : PortsMon

To install the port: cd /usr/ports/math/py-cryptominisat/ && make install clean
To add the package: pkg install py27-cryptominisat

PKGNAME: py27-cryptominisat

stp Decision Procedure for Bitvectors and Arrays
1436_1 math search for ports that depend on this port Find issues related to this port Report an issue related to this port
Maintainer: 6yearold@gmail.com search for ports maintained by this maintainer
Last commit date: 2016-04-01 15:16:20
License: MIT
SVNWeb : Homepage : PortsMon

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

PKGNAME: stp

z3 Z3 Theorem Prover
4.4.0 math search for ports that depend on this port Find issues related to this port Report an issue related to this port
Maintainer: 6yearold@gmail.com search for ports maintained by this maintainer
Last commit date: 2016-04-21 17:43:15
License: MIT
SVNWeb : Homepage : PortsMon

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

PKGNAME: z3

qtkeychain-qt4 Platform independent Qt API for storing passwords
0.6.0 security search for ports that depend on this port Find issues related to this port Report an issue related to this port
Maintainer: 6yearold@gmail.com search for ports maintained by this maintainer
Last commit date: 2015-05-24 22:03:19
License: BSD2CLAUSE
SVNWeb : Homepage : PortsMon

To install the port: cd /usr/ports/security/qtkeychain-qt4/ && make install clean
To add the package: pkg install qtkeychain-qt4

PKGNAME: qtkeychain-qt4

qtkeychain-qt5 Platform independent Qt API for storing passwords
0.6.0 security search for ports that depend on this port Find issues related to this port Report an issue related to this port
Maintainer: 6yearold@gmail.com search for ports maintained by this maintainer
Last commit date: 2016-03-24 14:05:09
License: BSD2CLAUSE
SVNWeb : Homepage : PortsMon

To install the port: cd /usr/ports/security/qtkeychain-qt5/ && make install clean
To add the package: pkg install qtkeychain-qt5

PKGNAME: qtkeychain-qt5

hasklig Haskell code font with monospaced ligatures
0.4_1 x11-fonts search for ports that depend on this port Find issues related to this port Report an issue related to this port
Maintainer: 6yearold@gmail.com search for ports maintained by this maintainer
Last commit date: 2015-03-20 16:42:35
License: not specified in port
SVNWeb : Homepage : PortsMon

To install the port: cd /usr/ports/x11-fonts/hasklig/ && make install clean
To add the package: pkg install hasklig

PKGNAME: hasklig

Number of ports: 8
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
logstashApr 28
subversionApr 28
subversion18Apr 28
ntpApr 27
ntp-develApr 27
firefoxApr 26
firefox-esrApr 26
libxulApr 26
linux-firefoxApr 26
linux-seamonkeyApr 26
linux-thunderbirdApr 26
seamonkeyApr 26
thunderbirdApr 26
phpmyfaqApr 23
libtasn1Apr 21

16 vulnerabilities affecting 44 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 25982
Broken 291
Deprecated 60
Ignore 557
Forbidden 0
Restricted 203
No CDROM 86
Vulnerable 54
Expired 23
Set to expire 47
Interactive 0
new 24 hours 3
new 48 hours5
new 7 days25
new fortnight53
new month138

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