FreshPorts -- math/coq/files/patch-configure.ml

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

non port: math/coq/files/patch-configure.ml

Number of commits found: 2

Saturday, 31 Dec 2016

23:05 hrs

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

14:32 hrs

Update to 8.5.

Number of commits found: 2

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

31 vulnerabilities affecting 344 ports have been reported in the past 14 days

^* - modified, not new

Last processed:
2025-12-12 18:34:41 UTC

Ports
Home Categories Deleted ports Sanity Test Failures Newsfeeds

Statistics