freebsd-ports/math/yices
Yuri Victorovich 729f4c97de math/yices: Update 2.6.0 -> 2.6.1
Reported by:	portscout
2018-10-28 04:45:48 +00:00
..
files
distinfo
Makefile
pkg-descr
pkg-plist