/www/tidy-lib/

• ../
• Makefile
• pkg-descr

	index : freebsd-ports-graphics	master mesa-next wayland xorg-server-1.19.6 xserver-next
	FreeBSD graphics obsolete development ports (https://github.com/freebsd/freebsd-ports-graphics)

aboutsummaryrefslogtreecommitdiffstats

log msg author committer range

path: root/math/why3

	Commit message (Expand)	Author	Age	Files	Lines
*	Remove ${PORTSDIR}/ from dependencies, categories m, n, o, and p.	mat	2016-04-01	1	-7/+7
*	- Fix various typos in CONFLICTS_INSTALL knob	ak	2016-02-11	1	-1/+1
*	- Add LICENSE_FILE	sunpoet	2015-11-20	1	-1/+3
*	- Switch to options helpers	amdmi3	2015-08-28