CosyVerif/deb-base — pull request #2 by rgouicem (2014-06-05 15:25:28+00:00)
Title: Merge pull request #1 from CosyVerif/master

Merge last changes to Makefile