-
Committer:
Package Import Robot
-
Author(s):
Magnus Holmgren
-
Date:
2015-06-01 23:57:24 UTC
-
mfrom:
(8.1.14 sid)
-
Revision ID:
package-import@ubuntu.com-20150601235724-w2ak6hcwtib7v0u7
Tags: 3.1.1-3
Switch libgmp10-dev Build-Depends to libgmp-dev (Closes: #783085).