DISTFILES: p9m4-v05.tar.gz

baggins baggins at pld-linux.org
Wed May 6 17:54:51 CEST 2009

Previous message: packages: p9m4/p9m4.spec - R:python-wxPython
Next message: DISTFILES: dmg2img-1.6.tar.gz
Messages sorted by: [ date ] [ thread ] [ subject ] [ author ]

Files fetched: 1

STORED: http://www.cs.unm.edu/%7Emccune/prover9/gui/p9m4-v05.tar.gz
	fe031fbc49953c580f54c11864f31a36  p9m4-v05.tar.gz
	Size: 889707 bytes


-- 
Virtually Yours: distfiles.

Previous message: packages: p9m4/p9m4.spec - R:python-wxPython
Next message: DISTFILES: dmg2img-1.6.tar.gz
Messages sorted by: [ date ] [ thread ] [ subject ] [ author ]

More information about the pld-cvs-commit mailing list