freebsd-ports/math/alt-ergo
Rene Ladan a01b22a052 Reset ports maintained by bf@ until he has time again to work on them.
PR:		210474
Submitted by:	jbeich
With hat:	portmgr-secretary
2016-06-27 21:30:34 +00:00
..
distinfo
Makefile
pkg-descr
pkg-plist