debian/clean
author Julien Cristau <julien.cristau@logilab.fr>
Mon, 07 Sep 2015 17:19:08 +0200
changeset 775 c629ea9f78f6
parent 769 d7388ac617bb
permissions -rw-r--r--
[pkg] 0.33.2

gecode_version