kili be7ce949cf Regenerate plist for profiling libs.		2013-01-20 17:56:05 +00:00
..
pkg	Regenerate plist for profiling libs.	2013-01-20 17:56:05 +00:00
distinfo	Update to semigroupoids-1.3.4.	2012-09-02 21:55:13 +00:00
Makefile	Regenerate plist for profiling libs.	2013-01-20 17:56:05 +00:00