DISTFILES: alt-ergo: alt-ergo-0.95.2.tar.gz

baggins baggins at pld-linux.org
Wed Apr 30 19:46:00 CEST 2014

Previous message: [packages/alt-ergo] - up to 0.95.2
Next message: [packages/why3] - updated to 0.83
Messages sorted by: [ date ] [ thread ] [ subject ] [ author ]

Files fetched: 1

STORED: http://alt-ergo.ocamlpro.com/http/alt-ergo-0.95.2/alt-ergo-0.95.2.tar.gz
	ab9c160f7ecb26aa2479f9169db9b869  alt-ergo-0.95.2.tar.gz
	Size: 233778 bytes


-- 
Virtually Yours: distfiles.

Previous message: [packages/alt-ergo] - up to 0.95.2
Next message: [packages/why3] - updated to 0.83
Messages sorted by: [ date ] [ thread ] [ subject ] [ author ]

More information about the pld-cvs-commit mailing list