chiark / gitweb /
Add libgmp10 for buildd.debian.org
authorMehdi Dogguy <mehdi@debian.org>
Thu, 28 Aug 2014 18:31:03 +0000 (18:31 +0000)
committerMartin Zobel-Helas <zobel@debian.org>
Thu, 28 Aug 2014 20:09:26 +0000 (20:09 +0000)
commite484feb67ff6ad0dbfebcf9a014ced8fd7205879
tree730ded5215d6a4e076db7405336638a258c0b82a
parente491d7d3fa3ea2cdf58c9a26581aacb9106720e6
Add libgmp10 for buildd.debian.org

Signed-off-by: Martin Zobel-Helas <zobel@debian.org>
debian/changelog
debian/control