[Pkg-ocaml-maint-commits] [apron] 01/09: Make libapron-dev depend on libapron (#715070)

Nicolas Braud-Santoni nicolas at braud-santoni.eu
Sun Jul 24 02:20:17 UTC 2016


This is an automated email from the git hooks/post-receive script.

nicoo-guest pushed a commit to branch master
in repository apron.

commit ee1749dbd9a19944e219da9aac29cac8250b72dd
Author: Nicolas Braud-Santoni <nicolas at braud-santoni.eu>
Date:   Sat Jul 23 14:16:18 2016 -0400

    Make libapron-dev depend on libapron (#715070)
---
 debian/control | 1 +
 1 file changed, 1 insertion(+)

diff --git a/debian/control b/debian/control
index 6f5a0f4..00a5203 100644
--- a/debian/control
+++ b/debian/control
@@ -34,6 +34,7 @@ Description: runtime libraries for APRON
 Package: libapron-dev
 Architecture: all
 Depends: ${shlibs:Depends}, ${misc:Depends},
+ libapron,
  libgmp3-dev,
  libmpfr-dev,
  libppl-dev

-- 
Alioth's /usr/local/bin/git-commit-notice on /srv/git.debian.org/git/pkg-ocaml-maint/packages/apron.git



More information about the Pkg-ocaml-maint-commits mailing list