[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