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

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: 5
aifad Machine learning system
2.0.8 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-04-01 15:00:57
License: LGPL21+
SVNWeb : Homepage : PortsMon

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

PKGNAME: aifad

distinfo:

SHA256 (mmottl-aifad-v2.0.8_GH0.tar.gz) = 05fad5062601ec99c5d40a0202ba818f77309a12c1469d23acddf2353d255c7c
SIZE (mmottl-aifad-v2.0.8_GH0.tar.gz) = 105438

coccinelle Program matching and transformation engine
1.0.4 devel search for ports that depend on this port Find issues related to this port Report an issue related to this port
Maintainer: araujo@FreeBSD.org search for ports maintained by this maintainer
Last commit date: 2016-05-16 01:29:26
License: GPLv2
SVNWeb : Homepage : PortsMon

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

PKGNAME: coccinelle

distinfo:

SHA256 (coccinelle-1.0.4.tgz) = 7f823813a2ea299c0f6c01d8419b83c4dc6617116d32ba99d726443a1c22b06d
SIZE (coccinelle-1.0.4.tgz) = 2484218

ocaml-cfg Library for manipulation of context-free grammars
2.0.4 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-04-01 15:00:57
License: LGPL21+
SVNWeb : Homepage : PortsMon

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

PKGNAME: ocaml-cfg

distinfo:

SHA256 (mmottl-cfg-v2.0.4_GH0.tar.gz) = 13778fd8a827a3c9491e092a9daea073ef7f59c043a23bdcdc05b85253405595
SIZE (mmottl-cfg-v2.0.4_GH0.tar.gz) = 61660

js_of_ocaml OCaml to JavaScript compiler
2.5 lang 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:08:38
License: not specified in port
SVNWeb : Homepage : PortsMon

To install the port: cd /usr/ports/lang/js_of_ocaml/ && make install clean
To add the package: pkg install js_of_ocaml

PKGNAME: js_of_ocaml

distinfo:

SHA256 (ocsigen-js_of_ocaml-2.5_GH0.tar.gz) = 5bea34f47210791b8bb89adb158ec9d47816ba074bfb11ee68f56be42c0235df
SIZE (ocsigen-js_of_ocaml-2.5_GH0.tar.gz) = 1249680

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:

TIMESTAMP = 1465729881
SHA256 (why3-for-spark-gpl-2016-src.tar.gz) = 09e1161d7ff4a1974ff22a2e09d4ceb2ab125d6de4863c13371e212e0e50b19c
SIZE (why3-for-spark-gpl-2016-src.tar.gz) = 8740369

Number of ports: 5
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
krb5-113*Jul 26
krb5-114*Jul 26
php55Jul 26
php55-bz2Jul 26
php55-exifJul 26
php55-gdJul 26
php55-odbcJul 26
php55-snmpJul 26
php55-xmlrpcJul 26
php55-zipJul 26
php56Jul 26
php56-bz2Jul 26
php56-exifJul 26
php56-gdJul 26
php56-odbcJul 26

19 vulnerabilities affecting 59 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 26085
Broken 82
Deprecated 123
Ignore 353
Forbidden 0
Restricted 201
No CDROM 83
Vulnerable 69
Expired 10
Set to expire 110
Interactive 0
new 24 hours 7
new 48 hours7
new 7 days27
new fortnight56
new month166

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