[Pkg-running-devel] Garming plugin packages in Debian?

[Ralf Treinen]

On Mon, Jul 16, 2012 at 07:13:55PM +0200, Andreas Diesner wrote:

> I removed the md5/* source code and the plugin now uses libgcrypt11 to
> calculate md5 checksums. I attached a new version label V0.3.13.

Excellent, thanks! -Ralf.
-- 
Ralf Treinen
Laboratoire Preuves, Programmes et Systèmes
Université Paris Diderot, Paris, France.
http://www.pps.univ-paris-diderot.fr/~treinen/
=====> New email address: treinen at pps.univ-paris-diderot.fr <=====