/math/hs-Agda-executable/

	Commit message (Collapse)	Author	Age	Files	Lines
*	Convert j* to USES=zip	bapt	2014-03-10	1	-1/+1
\|
*	Update to 1.5.1 release and stagify.	ale	2014-01-22	3	-26/+12
\|
*	Add NO_STAGE all over the place in preparation for the staging support (cat: ↵	bapt	2013-09-21	1	-0/+1
\| \| \| \|	java)
*	- Fix fetch	miwi	2013-04-02	1	-1/+1
\| \| \| \| \|	Reported by: pointyhat Approved by: portmgr
*	Update to 1.4.7 release.	ale	2013-03-12	2	-3/+3
\|
*	Update to 1.4.6 release and pet portlint.	ale	2013-02-11	2	-12/+14
\|
*	Decommissioning java 1.5 (EOLed since October 2009):	bapt	2012-12-10	1	-6/+2
\| \| \| \|	suppress any reference to JAVA_VERSION= 1.5+ (part2)
*	Update to 1.4.5 release.	ale	2012-03-26class='deletions'>-0/+1
*	New port: libcyrillic.	demon	2004-01-07	1	-0/+1
*	New port: ru-xmms	fjoe	2003-12-08	1	-0/+1
*	new Russian-language, i386 Linux binary port of Firebird Web browser,	trevor	2003-11-20	1	-0/+1
*	Add OpenOffice.org 1.1 for russian language	maho	2003-11-09	1	-0/+1
*	Forgot to change Makefile s..	maho	2003-11-08	1	-1/+1
*	New port: russian/muttprint (pretty print mail in russian)	edwin	2003-10-07	1	-0/+1
*	new port: russian/koi2koi	edwin	2003-10-07	1	-0/+1
*	Bring back from Attic: localized messages and documentation for koffice	lioux	2003-05-20	1	-0/+1
*	Add russian ooodict port.	mbr	2003-05-14	1	-0/+1
*	Add ksocrat, a KDE russian-english dictionary.	arved	2003-05-01	1	-0/+1
*	Remove all netscape ports with a vulnerability of JRE.	sada	2002-11-17	1	-1/+0
*	add ru-mtc 1.3	ijliao	2002-09-18	1	-0/+1
*	texas chainsaw kde2 massacre	alane	2002-09-11	1	-2/+0
*	build aspell with dictionary	dinoex	2002-09-10	1	-0/+1
*	Add Russian OpenOffice slave port	mbr	2002-06-15	1	-0/+1
*	Add p5-cyrillic 2.09, library for fast and easy cyrillic text	tobez	2002-06-06	1	-0/+1
*	Please welcome Qt3/KDE3 to our ports tree. This includes work since the	will	2002-04-22	1	-0/+1
*	Localized messages for KOffice (Russian language).	demon	2001-12-22	1	-0/+1
*	add fortuneru 0.1	ijliao	2001-12-21	1	-0/+1
*	Add p5-XML-Parser-encodings 1.00, additional russian encodings for	tobez	2001-10-31	1	-0/+1
*	Sort entries.	knu	2001-09-21	1	-1/+1
*	New port: russian/tac+ia	sada	2001-09-18