notbugIf you buy from Amazon USA, please support us by using this link.
non port: lang/ocaml/files/patch-asmcomp__arm__arch.ml
SVNWeb

Number of commits found: 2

Wed, 29 Apr 2015
[ 20:45 marino ] Original commit   Revision:385012
385012 lang/ocaml/Makefile
385012 lang/ocaml/distinfo
385012 lang/ocaml/files/edit_pkg-plist.sed
385012 lang/ocaml/files/patch-Makefile
385012 lang/ocaml/files/patch-asmcomp__arm__arch.ml
385012 lang/ocaml/files/patch-asmrun-Makefile
385012 lang/ocaml/files/patch-asmrun__arm.S
385012 lang/ocaml/files/patch-byterun-Makefile.common
385012 lang/ocaml/files/patch-camlp4-man_Makefile
385012 lang/ocaml/files/patch-config-auto-aux-async_io.c

(Only the first 10 of 21 ports in this commit are shown above. View all ports for this commit)
lang/ocaml: Upgrade version 4.01 => 4.02

PR:		195736
Submitted by:	Michael Gruenewald (maintainer)
Add'l fixes:	marino

Besides typical port cleanup, the dragonfly patches which had been
removed for the update were added back to the configure patch.
Tue, 8 Jul 2014
[ 13:11 marino ] Original commit   Revision:361233
361233 lang/ocaml/Makefile
361233 lang/ocaml/files/patch-asmcomp__arm__arch.ml
361233 lang/ocaml/files/patch-asmrun__arm.S
361233 lang/ocaml/files/patch-configure
lang/ocaml: Add ARMv6 support

Redports confirms that changes do not break i386 and amd64 builds (8x).

PR:		189063
Submitted by:	maintainer (Michael Gruenewald)
Patch by:	Andy Ray

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
giteaOct 11
jenkinsOct 11
jenkins-ltsOct 11
toxOct 11
tincOct 09
tinc-develOct 09
gitlab-ceOct 05
clamavOct 03
py-django21Oct 03
firefoxOct 02
firefox-esrOct 02
libxulOct 02
linux-firefoxOct 02
linux-seamonkeyOct 02
linux-thunderbirdOct 02

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

* - modified, not new

All vulnerabilities

Last updated:
2018-10-11 20:54:55


Ports
Home
Categories
Deleted ports
Sanity Test Failures
Newsfeeds

Statistics
Graphs
NEW Graphs (Javascript)
Traffic

Calculated hourly:
Port count 35622
Broken 62
Deprecated 514
Ignore 344
Forbidden 3
Restricted 162
No CDROM 74
Vulnerable 34
Expired 4
Set to expire 487
Interactive 0
new 24 hours 6
new 48 hours7
new 7 days27
new fortnight123
new month218

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