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: 9
tortoisehg THg script from TortoiseHG
4.0_1 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: 2017-02-04 13:37:15
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

ONLY_FOR_ARCHS: nil

NOT_FOR_ARCHS: nil

distinfo:

TIMESTAMP = 1480787155
SHA256 (tortoisehg-4.0.tar.gz) = 791ffa4270cb2f49454290a30da2a915b31a91b94ebc5546289a125e962f7910
SIZE (tortoisehg-4.0.tar.gz) = 7828059

cryptominisat General-purpose award-winning SAT solver
5.0.1_2 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: 2017-01-06 08:45:04
License: MIT LGPL21
SVNWeb : Homepage : PortsMon

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

PKGNAME: cryptominisat

ONLY_FOR_ARCHS: nil

NOT_FOR_ARCHS: nil

distinfo:

TIMESTAMP = 1473692160
SHA256 (msoos-cryptominisat-5.0.1_GH0.tar.gz) = 789d53c90ecbd5910f48e4e1bd835e374b268e0b3872a81fd5c6178a30a5e263
SIZE (msoos-cryptominisat-5.0.1_GH0.tar.gz) = 596710

py-cryptominisat Bindings to CryptoMiniSat (a SAT solver)
5.0.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-09-04 16:11:25
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

ONLY_FOR_ARCHS: nil

NOT_FOR_ARCHS: nil

distinfo:

TIMESTAMP = 1469896511
SHA256 (msoos-cryptominisat-5.0.0_GH0.tar.gz) = 4c000daf9886e7c55f05b00247688ed0341a19cda13de49e2f35f40e95cc9910
SIZE (msoos-cryptominisat-5.0.0_GH0.tar.gz) = 596712

stp Decision Procedure for Bitvectors and Arrays
1436_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: 2017-01-31 03:40:46
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

ONLY_FOR_ARCHS: nil

NOT_FOR_ARCHS: nil

distinfo:

SHA256 (stp-1436.tar.xz) = 511b3f8c9e6103410e3ce2fe552dec4177fcae198e78be81a3c298328f778075
SIZE (stp-1436.tar.xz) = 2964512

z3 Z3 Theorem Prover
4.5.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-12-09 07:02:53
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

ONLY_FOR_ARCHS: nil

NOT_FOR_ARCHS: nil

distinfo:

TIMESTAMP = 1480626874
SHA256 (Z3Prover-z3-z3-4.5.0_GH0.tar.gz) = aeae1d239c5e06ac183be7dd853775b84698db1265cb2258e5918a28372d4a0c
SIZE (Z3Prover-z3-z3-4.5.0_GH0.tar.gz) = 3573695

qtkeychain-qt4 Platform independent Qt API for storing passwords
0.7.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

ONLY_FOR_ARCHS: nil

NOT_FOR_ARCHS: nil

distinfo:

TIMESTAMP = 1469621401
SHA256 (frankosterfeld-qtkeychain-v0.7.0_GH0.tar.gz) = 9f9afaae8e909391d7fc932bac95e38befaac5b2eb49f6623a8efec60a2e6a3a
SIZE (frankosterfeld-qtkeychain-v0.7.0_GH0.tar.gz) = 18913

qtkeychain-qt5 Platform independent Qt API for storing passwords
0.7.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-07-28 23:27:21
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

ONLY_FOR_ARCHS: nil

NOT_FOR_ARCHS: nil

distinfo:

TIMESTAMP = 1469621401
SHA256 (frankosterfeld-qtkeychain-v0.7.0_GH0.tar.gz) = 9f9afaae8e909391d7fc932bac95e38befaac5b2eb49f6623a8efec60a2e6a3a
SIZE (frankosterfeld-qtkeychain-v0.7.0_GH0.tar.gz) = 18913

bsdisks UDisks2 service implementation for FreeBSD
0.3 sysutils 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-10-28 14:51:05
License: BSD3CLAUSE
SVNWeb : Homepage : PortsMon

To install the port: cd /usr/ports/sysutils/bsdisks/ && make install clean
To add the package: pkg install bsdisks

PKGNAME: bsdisks

ONLY_FOR_ARCHS: nil

NOT_FOR_ARCHS: nil

distinfo:

TIMESTAMP = 1477656542
SHA256 (bsdisks-0.3.tar.gz) = 9692376c10a6598914e106ee24188c7289fad2f8d75136dc8e923e588fe01683
SIZE (bsdisks-0.3.tar.gz) = 92385

hasklig Haskell code font with monospaced ligatures
0.9 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: 2016-12-02 09:21:59
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

ONLY_FOR_ARCHS: nil

NOT_FOR_ARCHS: nil

distinfo:

TIMESTAMP = 1469620378
SHA256 (Hasklig-0.9.zip) = 4d70cb0932ae8bea63d4b4aa5b1518a60a29d212856ffe24be6805695c295b65
SIZE (Hasklig-0.9.zip) = 1201991

Number of ports: 9
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
musicpdFeb 26
curlFeb 22
linux-c6-openssl*Feb 22
linux-c6-openssl*Feb 22
linux-c7-openssl*Feb 22
linux-c7-openssl*Feb 22
openssl*Feb 22
openssl*Feb 22
openssl-devel*Feb 22
openssl-devel*Feb 22
xen-toolsFeb 22
fbsdmonFeb 21
libevent*Feb 20
wavpackFeb 18
openssl-develFeb 16

12 vulnerabilities affecting 25 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 28219
Broken 276
Deprecated 127
Ignore 542
Forbidden 1
Restricted 205
No CDROM 83
Vulnerable 84
Expired 25
Set to expire 117
Interactive 0
new 24 hours 6
new 48 hours10
new 7 days36
new fortnight232
new month377

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