ports - FreeBSD ports tree

	Commit message (Collapse)	Author	Age	Files	Lines
*	Remove WWW entries moved into port Makefiles	Stefan Eßer	2022-09-07	1	-2/+0
\| \| \| \| \| \| \| \| \| \|	Commit b7f05445c00f has added WWW entries to port Makefiles based on WWW: lines in pkg-descr files. This commit removes the WWW: lines of moved-over URLs from these pkg-descr files. Approved by: portmgr (tcberner)
*	math/ltl2ba: Update 1.2 -> 1.3	Yuri Victorovich	2020-07-09	1	-4/+4
\| \| \| \| \| \| \| \| \| \| \|	Take maintainership. Also * Simplify Makefile * Update WWW and MASTER_SITES Notes: svn path=/head/; revision=541796
*	Convert tab after WWW: in pkg-descrs to single space as per PHB	Dmitry Marakasov	2016-05-23	1	-1/+1
\| \| \| \| \| \| \|	Approved by: portmgr blanket Notes: svn path=/head/; revision=415738
*	Repeated words are are hard to to find sometimes.	Eitan Adler	2012-01-08	1	-1/+1
\| \| \| \| \| \| \|	Approved by: portmgr (itetcu) Notes: svn path=/head/; revision=288737
*	Add ltl2ba 1.1, fast translation from LTL formulae to Buechi automata.	Brendan Fabeny	2011-05-27	1	-0/+11
	Notes: svn path=/head/; revision=274737