[Top][All Lists]

[Date Prev][Date Next][Thread Prev][Thread Next][Date Index][Thread Index]

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

From: gnunet
Subject: [gnunet] branch master updated: rename gnunet-dev to libgnunet-dev
Date: Fri, 01 Jan 2021 21:03:30 +0100

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 <>
AuthorDate: Fri Jan 1 21:02:52 2021 +0100

    rename gnunet-dev to libgnunet-dev
 debian/control                                       | 2 +-
 debian/{ =>}       | 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
-Package: gnunet-dev
+Package: libgnunet-dev
 Section: libdevel
 Architecture: any
diff --git a/debian/ b/debian/
similarity index 100%
rename from debian/
rename to debian/
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

reply via email to

[Prev in Thread] Current Thread [Next in Thread]