Bug 174555 - [maintainer] science/cdcl: update to 5.4.7
Summary: [maintainer] science/cdcl: update to 5.4.7
Status: Closed FIXED
Alias: None
Product: Ports & Packages
Classification: Unclassified
Component: Individual Port(s) (show other bugs)
Version: Latest
Hardware: Any Any
: Normal Affects Only Me
Assignee: Eitan Adler
URL:
Keywords:
Depends on:
Blocks:
 
Reported: 2012-12-18 23:10 UTC by murashin
Modified: 2012-12-19 03:01 UTC (History)
0 users

See Also:


Attachments
cdcl.diff (1.12 KB, patch)
2012-12-18 23:10 UTC, murashin
no flags Details | Diff

Note You need to log in before you can comment on or make changes to this bug.
Description murashin 2012-12-18 23:10:00 UTC
	- update to 5.4.7.
	- changed to two-line header.

How-To-Repeat: 	N/A
Comment 1 Eitan Adler freebsd_committer freebsd_triage 2012-12-19 02:59:08 UTC
Responsible Changed
From-To: freebsd-ports-bugs->eadler

I'll take it.
Comment 2 Eitan Adler freebsd_committer freebsd_triage 2012-12-19 03:01:51 UTC
State Changed
From-To: open->closed

Committed. Thanks!