taca 6679cd94d1 Update distinfo file.		2008-10-16 12:55:51 +00:00
..
patches
DESCR
distinfo	Update distinfo file.	2008-10-16 12:55:51 +00:00
Makefile	Update ocamlduce to 3.10.2.	2008-10-13 13:13:37 +00:00
PLIST	Fix one pkglint warining, remove unwanted tail of slash for @dirrm.	2008-09-02 11:52:49 +00:00
PLIST.opt