DISTFILES: why3: why3-0.83.tar.gz

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

Previous message: [packages/why3] - updated to 0.83
Next message: [packages/php/PHP_5_6] update systzdata patch to r10 from fedora (make timezone case insensitive)
Messages sorted by: [ date ] [ thread ] [ subject ] [ author ]

Files fetched: 1

STORED: https://gforge.inria.fr/frs/download.php/33490/why3-0.83.tar.gz
	35f99e5f64939e50ea57f641ba2073ec  why3-0.83.tar.gz
	Size: 5347628 bytes


-- 
Virtually Yours: distfiles.

Previous message: [packages/why3] - updated to 0.83
Next message: [packages/php/PHP_5_6] update systzdata patch to r10 from fedora (make timezone case insensitive)
Messages sorted by: [ date ] [ thread ] [ subject ] [ author ]

More information about the pld-cvs-commit mailing list