This package provides a command-line program for type-checking and compiling Agda programs. The program can also generate hyperlinked, highlighted HTML files from Agda sources. WWW: http://wiki.portal.chalmers.se/agda/ /cgit/cgit.cgi/freebsd-ports-gnome/atom/japanese/nkf?h=gnome-3.36' type='application/atom+xml'/>
aboutsummaryrefslogtreecommitdiffstats
path: root/japanese/nkf
Commit message (Expand)AuthorAgeFilesLines
* Update to 2.1.3.hrs2014-02-053-35/+35
* Add NO_STAGE all over the place in preparation for the staging support (cat: ...bapt2013-09-211-0/+1
* - Rename files/patch-aa.hrs2013-05-032-11/+8
* Style: tab -> space.eadler2013-03-291-1/+1
* Add licenseeadler2013-02-041-5/+4
* - Reassign nork@ ports to the heaptabthorpe2012-08-161-1/+1
* - update to 2.1.2 [1]rm2012-01-183-11/+10
* Remove more tags from pkg-descr files fo the form:dougb2011-10-241-2/+0
* Update to 2.1.1.nork2010-11-163-9/+8
* Fix install error.nork2010-02-151-5/+15
* Update to 2.1.0.nork2010-02-154-62/+19
* Fix some bugs.nork2009-04-272-0/+47
* Fix install issue.nork2009-04-131-1/+1