kpriv/freebsd-ports
1
0
Fork 0
Code Issues Pull requests Projects Releases Packages Wiki Activity
253451 commits 42 branches 80 tags 2.7 GiB
Commit graph

6 commits

Author SHA1 Message Date
Dirk Meyer
de78af3ac5 - update to 1.4.1 
Reviewed by:	exp8 run on pointyhat
Supported by:	miwi
 2010-03-28 06:47:48 +00:00
Dirk Meyer
ca9c60461c - update to jpeg-8 2010-02-05 11:46:55 +00:00
Dirk Meyer
eca78ec61b - bump all port that indirectly depends on libjpeg and have not yet been bumped or updated 
Requested by:	edwin
 2009-07-31 13:57:52 +00:00
Wesley Shields
0ece797080 - Update to 1.5R1 
PR:		ports/131631
Submitted by:	Andrew Bernard <andrewb@cs.cmu.edu> (maintainer)
 2009-04-11 03:00:02 +00:00
Edwin Groothuis
7c6393360c Remove USE_REINPLACE from the categories starting with L 2006-05-09 20:52:24 +00:00
Edwin Groothuis
70b1179c61 New port: lang/twelf A meta-logical framework for deductive systems 
The Twelf implementation comprises
	 * the LF logical framework, including type reconstruction;
	 * the Elf constraint logic programming language;
	 * an inductive meta-theorem prover for LF;
	 * and an Emacs interface.

PR:		ports/84625
Submitted by:	"Andrew Bernard" <andrew@hobnob.com>
 2005-11-26 12:49:47 +00:00