FreshPorts -- The Place For Ports notbugIf 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: 3
frama-c Extensible platform for source-code analysis of C
20161101 devel search for ports that depend on this port Find issues related to this port Report an issue related to this port
Maintainer: mmokhi@FreeBSD.org search for ports maintained by this maintainer
Last commit date: 2017-03-04 04:19:04
License: LGPL21
SVNWeb : Homepage : PortsMon

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

PKGNAME: frama-c

distinfo:

TIMESTAMP = 1483395653
SHA256 (framac-01/frama-c-Silicon-20161101.tar.gz) = b03918572f9a4dbf28b6234c8ece14cbe3a7587ef17add5225bd865f7d2100e3
SIZE (framac-01/frama-c-Silicon-20161101.tar.gz) = 6689893

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

distinfo:

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

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

distinfo:

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

Number of ports: 3
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
chromiumApr 24
mbedtlsApr 23
polarssl13Apr 23
mariadb100-serverApr 21
mariadb101-serverApr 21
mariadb102-serverApr 21
mariadb55-serverApr 21
mysql55-serverApr 21
mysql56-serverApr 21
mysql57-serverApr 21
percona55-serverApr 21
percona56-serverApr 21
percona57-serverApr 21
wordpressApr 20
wordpressApr 20

14 vulnerabilities affecting 130 ports have been reported in the past 14 days

* - modified, not new

All vulnerabilities

Last updated:
2018-04-24 19:07:59


Ports
Home
Categories
Deleted ports
Sanity Test Failures
Newsfeeds

Statistics
Graphs
NEW Graphs (Javascript)
Traffic

Calculated hourly:
Port count 33824
Broken 100
Deprecated 58
Ignore 329
Forbidden 3
Restricted 169
No CDROM 77
Vulnerable 38
Expired 8
Set to expire 46
Interactive 0
new 24 hours 3
new 48 hours829
new 7 days872
new fortnight6226
new month20902

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