mirror/freebsd-ports
1
0
Fork 0
mirror of https://git.FreeBSD.org/ports.git synced 2024-12-02 01:20:54 +00:00
Code Issues Releases Activity
f2466db369
freebsd-ports/lang/ocaml
History
Guido Falsi c80bd713b0 Fix packaging on armv6 by enabling profiling libraries. 
PR:		206615
Submitted by:	mikael.urankar at gmail.com
Approved by:	michipili at gmail.com (maintainer)
2016-03-24 20:55:15 +00:00
..
files Fix packaging on armv6 by enabling profiling libraries. 2016-03-24 20:55:15 +00:00
distinfo - Update to 4.02.3 2015-12-16 03:31:51 +00:00
Makefile Fix packaging on armv6 by enabling profiling libraries. 2016-03-24 20:55:15 +00:00
pkg-descr
pkg-plist - Update to 4.02.3 2015-12-16 03:31:51 +00:00