diff options
| author | hallgren <hallgren@chalmers.se> | 2016-04-13 14:39:33 +0000 |
|---|---|---|
| committer | hallgren <hallgren@chalmers.se> | 2016-04-13 14:39:33 +0000 |
| commit | 83d878a6364d01809714c4f9ec5a94f29741fca3 (patch) | |
| tree | 18619162b5f84987e1b8026509ba51c654862781 /debian | |
| parent | e8e52de6b94eb9f1974ce2c4c1402c7722c23a9a (diff) | |
debian/control: dependency change from libtool to libtool-bin
It seems that nowadays the libtool executable is not included in the package
named libtool, instead it is in the libtool-bin package.
Diffstat (limited to 'debian')
| -rw-r--r-- | debian/control | 2 |
1 files changed, 1 insertions, 1 deletions
diff --git a/debian/control b/debian/control index fa7b7a1b1..f11312a55 100644 --- a/debian/control +++ b/debian/control @@ -3,7 +3,7 @@ Section: devel Priority: optional Maintainer: Thomas Hallgren <hallgren@chalmers.se> Standards-Version: 3.9.2 -Build-Depends: debhelper (>= 5), haskell-platform (>= 2011.2.0.1), libghc-haskeline-dev, libghc-mtl-dev, libghc-json-dev, autoconf, automake, libtool, python-dev, java-sdk +Build-Depends: debhelper (>= 5), haskell-platform (>= 2011.2.0.1), libghc-haskeline-dev, libghc-mtl-dev, libghc-json-dev, autoconf, automake, libtool-bin, python-dev, java-sdk Homepage: http://www.grammaticalframework.org/ Package: gf |