mirror/freebsd-ports
1
0
Fork 0
mirror of https://git.FreeBSD.org/ports.git synced 2025-01-11 07:22:22 +00:00
Code Issues Releases Activity
e714368786
freebsd-ports/math/z3
History
Mark Linimon ebedae842d Mark this ports unbroken on powerpc64. 
While here, pet portlint.

Approved by:	portmgr (tier-2 blanket)
2018-03-09 16:55:37 +00:00
..
files Update to 4.6.0 release and create shared lib symlink. 2018-01-23 13:55:27 +00:00
distinfo Update to 4.6.0 release and create shared lib symlink. 2018-01-23 13:55:27 +00:00
Makefile Mark this ports unbroken on powerpc64. 2018-03-09 16:55:37 +00:00
pkg-descr
pkg-plist Update to 4.6.0 release and create shared lib symlink. 2018-01-23 13:55:27 +00:00