/[ports]

Revision 421212

Jump to revision:
Author:	cpm
Date:	Thu Sep 1 13:25:49 2016 UTC (7 years, 10 months ago)
Changed paths:	8
Log Message:	- Update math/cryptominisat and math/py-cryptominisat to 5.0.0 PR: 211460 Submitted by: maintainer Reviewed by: koobs, feld (mentor) Approved by: feld (mentor)

Changed paths

Path	Details
head/math/cryptominisat/Makefile	modified , text changed
head/math/cryptominisat/distinfo	modified , text changed
head/math/cryptominisat/files/	deleted
head/math/cryptominisat/pkg-descr	modified , text changed
head/math/cryptominisat/pkg-plist	modified , text changed
head/math/py-cryptominisat/Makefile	modified , text changed
head/math/py-cryptominisat/distinfo	modified , text changed
head/math/py-cryptominisat/files/patch-setup.py.in	modified , text changed

	ViewVC Help
Powered by ViewVC 1.1.27