FreshPorts -- The Place For Ports If you buy from Amazon USA, please support us by using this link.
Follow us
Blog
Twitter

We also have a status page: https://freshports.wordpress.com/

non port: lang/ocaml/files/manfiles
SVNWeb

Number of commits found: 2

Wed, 26 Mar 2014
[ 17:50 marino ] Original commit   Revision:349272
349272 lang/ocaml/Makefile
349272 lang/ocaml/distinfo
349272 lang/ocaml/files/edit_pkg-plist.sed
349272 lang/ocaml/files/manfiles
349272 lang/ocaml/files/patch-Makefile
349272 lang/ocaml/files/patch-config-auto-aux-async_io.c
349272 lang/ocaml/files/patch-configure
349272 lang/ocaml/files/patch-ocamldoc_Makefile
349272 lang/ocaml/files/patch-testsuite-backtrace-Makefile
349272 lang/ocaml/pkg-plist
ocaml update 1/4: lang/ocaml upgrade from 3.12 to 4.00

There have been manual outstanding PRs on OCAML that have dragged on
for well more than a year.  In the meantime, FreeBSD has been painfully
stucking on version 3.12 of Ocaml.  Meanwhile, DragonFly's dports have
been maintaining version 4.00.

With a "Just do it" attitude, the dports version of Ocaml has been brought
in.  This doesn't have stage support, nor is the the latest version
available.  The idea is just get a working base Ocaml 4.00 in ports and
then have the maintainer update the appropriate PRs.

As a consequence, updates to omake, ocaml-findlib, and ocaml-images is
also required and upcoming.

Urged by:	portmgr (bapt)
Related PR:	ports/173364
Related PR:	ports/173453
Thu, 29 Dec 2011
[ 20:33 scheidell ] Original commit 
1.75 lang/ocaml/Makefile
1.3 lang/ocaml/files/man1
1.1 lang/ocaml/files/manfiles
1.3 lang/ocaml/files/manlinks
1.3 lang/ocaml/files/mann
1.1 lang/ocaml/files/patch-Makefile
- Install expunge script with right permissions [1]
- needed to take the MAN()!= out because it causes multiple background shells
and can hurt INDEX performance [2]

PR:             ports/163275 [1]
Approved by:    gabor (mentor) [2]

Number of commits found: 2

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
jenkinsDec 15
jenkins-ltsDec 15
gitlabDec 14
nodeDec 14
node4Dec 14
node6Dec 14
node8Dec 14
torDec 14
asterisk13Dec 13
asterisk13*Dec 13
asterisk13*Dec 13
asterisk13*Dec 13
libxml2Dec 13
curl*Dec 11
linux-c7-curl*Dec 11

17 vulnerabilities affecting 108 ports have been reported in the past 14 days

* - modified, not new

All vulnerabilities

Last updated:
2017-12-15 16:33:45


Ports
Home
Categories
Deleted ports
Sanity Test Failures
Newsfeeds

Statistics
Graphs
NEW Graphs (Javascript)
Traffic

Calculated hourly:
Port count 32128
Broken 122
Deprecated 47
Ignore 358
Forbidden 0
Restricted 173
No CDROM 77
Vulnerable 43
Expired 10
Set to expire 39
Interactive 0
new 24 hours 0
new 48 hours4
new 7 days32
new fortnight110
new month43004

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