notbugAs an Amazon Associate I earn from qualifying purchases.
Want a good read? Try FreeBSD Mastery: Jails (IT Mastery Book 15)
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: 1
coq Theorem prover based on lambda-C
8.6_3,3 math search for ports that depend on this port Find issues related to this port Report an issue related to this port
Version of this port present on the latest quarterly branch.
Maintainer: hrs@FreeBSD.org search for ports maintained by this maintainer
Last Update: 2018-05-31 02:18:05
SVN Revision: 471191
License: LGPL21
SVNWeb : HomepageDependency lines:
  • coq-emacs26>0:math/coq

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

PKGNAME: coq-emacs26

There is no flavor information for this port.

Number of ports: 1
Login
User Login
Create account

Servers and bandwidth provided by
New York Internet, iXsystems, 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
ImageMagick6*Jun 17
ImageMagick6-nox11*Jun 17
ImageMagick7*Jun 17
ImageMagick7-nox11*Jun 17
GraphicsMagickJun 16
netatalk3Jun 16
chromiumJun 15
neovimJun 13
phpmyadminJun 13
vimJun 13
vim-consoleJun 13
vim-tinyJun 13
mybbJun 12
linux-flashplayerJun 11
drupal7Jun 08

12 vulnerabilities affecting 80 ports have been reported in the past 14 days

* - modified, not new

All vulnerabilities

Last updated:
2019-06-17 06:25:27


Ports
Home
Categories
Deleted ports
Sanity Test Failures
Newsfeeds

Statistics
Graphs
NEW Graphs (Javascript)
Traffic

Calculated hourly:
Port count 36690
Broken 82
Deprecated 120
Ignore 304
Forbidden 3
Restricted 162
No CDROM 74
Vulnerable 33
Expired 14
Set to expire 91
Interactive 0
new 24 hours 7
new 48 hours15
new 7 days36
new fortnight61
new month201

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