[SCM] collections15 packaging branch, master, updated. upstream/4.01+ds1-7-g1b43980

The following commit has been merged in the master branch: commit ae80f9b2bce1056ec26e4af557095a49dae9a123 Author: Giovanni Mascellani mascell...@poisson.phc.unipi.it Date: Sun Nov 27 18:33:19 2011 +0100 Add file for javahelper. diff --git a/debian/javabuild b/debian/javabuild new file

[SCM] collections15 packaging branch, master, updated. upstream/4.01+ds1-7-g1b43980

The following commit has been merged in the master branch: commit 96042d3d5393cdfa5f571323a5d3973f5ac86b84 Author: Giovanni Mascellani mascell...@poisson.phc.unipi.it Date: Mon Nov 28 09:54:19 2011 +0100 Write d/copyright. diff --git a/debian/copyright b/debian/copyright index

[SCM] collections15 packaging branch, master, updated. upstream/4.01+ds1-7-g1b43980

The following commit has been merged in the master branch: commit ae5e8872c07b38dd318f6b3282a45d6661976ef7 Author: Giovanni Mascellani mascell...@poisson.phc.unipi.it Date: Sun Nov 27 18:36:37 2011 +0100 Add junit4 dependency. diff --git a/debian/control b/debian/control index

[SCM] collections15 packaging branch, master, updated. upstream/4.01+ds1-7-g1b43980

The following commit has been merged in the master branch: commit 1b43980c27d49bd0e537437b7441474a68146b93 Author: Giovanni Mascellani mascell...@poisson.phc.unipi.it Date: Mon Nov 28 09:55:59 2011 +0100 Releasing to sid. diff --git a/debian/changelog b/debian/changelog index