No Description

Uploaded	Mon Mar 24 07:45:00 2014
md5 checksum	6b5666d09e6b6966f1aeac1db8d66966
arch	x86_64
build	py27_0
depends	python 2.7*
license	GNU General Public License
name	proofcheck
platform	linux
subdir	linux-64
version	1.0