DISTFILES: picosat: picosat-965.tar.gz

glen glen at pld-linux.org
Sat Dec 1 23:31:06 CET 2018

Previous message (by thread): [packages/picosat] new, version 6bc069c
Next message (by thread): [packages/python-pycosat] Created branch master
Messages sorted by: [ date ] [ thread ] [ subject ] [ author ]

Request by: glen


Files fetched: 1

STORED: http://fmv.jku.at/picosat/picosat-965.tar.gz
	d37c236d5c60b03d888d137c2fa4285f  picosat-965.tar.gz
	Size: 64386 bytes


-- 
Virtually Yours: distfiles.

Previous message (by thread): [packages/picosat] new, version 6bc069c
Next message (by thread): [packages/python-pycosat] Created branch master
Messages sorted by: [ date ] [ thread ] [ subject ] [ author ]

More information about the pld-cvs-commit mailing list