[gnunet] branch master updated: rename gnunet-dev to libgnunet-dev

[gnunet]

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

grothoff pushed a commit to branch master
in repository gnunet.

The following commit(s) were added to refs/heads/master by this push:
     new 8311ea577 rename gnunet-dev to libgnunet-dev
8311ea577 is described below

commit 8311ea5777aff643f2823c763d71f1efc41abb75
Author: Christian Grothoff <christian@grothoff.org>
AuthorDate: Fri Jan 1 21:02:52 2021 +0100

    rename gnunet-dev to libgnunet-dev
---
 debian/control                                       | 2 +-
 debian/{gnunet-dev.docs => libgnunet-dev.docs}       | 0
 debian/{gnunet-dev.install => libgnunet-dev.install} | 0
 3 files changed, 1 insertion(+), 1 deletion(-)

diff --git a/debian/control b/debian/control
index 32cb1c24c..dd401d2cc 100644
--- a/debian/control
+++ b/debian/control
@@ -91,7 +91,7 @@ Description: GNU's framework for secure peer-to-peer 
networking (meta)
  includes the GNU Name System, a privacy-preserving, decentralized public key
  infrastructure.
 
-Package: gnunet-dev
+Package: libgnunet-dev
 Section: libdevel
 Architecture: any
 Depends:
diff --git a/debian/gnunet-dev.docs b/debian/libgnunet-dev.docs
similarity index 100%
rename from debian/gnunet-dev.docs
rename to debian/libgnunet-dev.docs
diff --git a/debian/gnunet-dev.install b/debian/libgnunet-dev.install
similarity index 100%
rename from debian/gnunet-dev.install
rename to debian/libgnunet-dev.install

-- 
To stop receiving notification emails like this one, please contact
gnunet@gnunet.org.