FreshPorts -- math/coq/files/patch-Makefile.install

As an Amazon Associate I earn from qualifying purchases.
Want a good read? Try FreeBSD Mastery: Jails (IT Mastery Book 15)All times are UTC

non port: math/coq/files/patch-Makefile.install

Number of commits found: 1

Sat, 31 Dec 2016

[ 23:05 hrs

]

Update to 8.6.  Fix PORTEPOCH accidentally removed in the previous commit.

Number of commits found: 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? Security Policy Privacy Blog Contact

Search
Enter Keywords: more...

Latest Vulnerabilities

8 vulnerabilities affecting 161 ports have been reported in the past 14 days

^* - modified, not new

Last processed:
2023-05-31 15:52:08 UTC

Ports
Home Categories Deleted ports Sanity Test Failures Newsfeeds

Statistics