freebsd-ports/science/cdcl
Eitan Adler f544c81e25 Update to 5.4.7
Trim header
Pet portlint

PR:		ports/174555
Submitted by:	Shin-ya Murakami <murashin@gfd-dennou.org> (maintainer)
2012-12-19 03:01:41 +00:00
..
distinfo Update to 5.4.7 2012-12-19 03:01:41 +00:00
Makefile Update to 5.4.7 2012-12-19 03:01:41 +00:00
pkg-descr
pkg-plist - update to 5.4.5. 2012-06-14 05:25:29 +00:00