sync/ports
1
0
Fork 0
mirror of https://git.freebsd.org/ports.git synced 2025-06-27 15:40:32 -04:00
Code Issues Projects Releases Packages Wiki Activity Actions
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