diff options
author | Christian Grothoff <christian@grothoff.org> | 2021-01-01 21:02:52 +0100 |
---|---|---|
committer | Christian Grothoff <christian@grothoff.org> | 2021-01-01 21:02:52 +0100 |
commit | 8311ea5777aff643f2823c763d71f1efc41abb75 (patch) | |
tree | 9c3ee440b561d6a3ffe433dc3c7f7724ec4467de | |
parent | 4eca306528227f855bc200b878a18044f88d9302 (diff) | |
download | gnunet-8311ea5777aff643f2823c763d71f1efc41abb75.tar.gz gnunet-8311ea5777aff643f2823c763d71f1efc41abb75.zip |
rename gnunet-dev to libgnunet-dev
-rw-r--r-- | debian/control | 2 | ||||
-rw-r--r-- | debian/libgnunet-dev.docs (renamed from debian/gnunet-dev.docs) | 0 | ||||
-rw-r--r-- | debian/libgnunet-dev.install (renamed from debian/gnunet-dev.install) | 0 |
3 files changed, 1 insertions, 1 deletions
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) | |||
91 | includes the GNU Name System, a privacy-preserving, decentralized public key | 91 | includes the GNU Name System, a privacy-preserving, decentralized public key |
92 | infrastructure. | 92 | infrastructure. |
93 | 93 | ||
94 | Package: gnunet-dev | 94 | Package: libgnunet-dev |
95 | Section: libdevel | 95 | Section: libdevel |
96 | Architecture: any | 96 | Architecture: any |
97 | Depends: | 97 | Depends: |
diff --git a/debian/gnunet-dev.docs b/debian/libgnunet-dev.docs index 6f12db508..6f12db508 100644 --- a/debian/gnunet-dev.docs +++ b/debian/libgnunet-dev.docs | |||
diff --git a/debian/gnunet-dev.install b/debian/libgnunet-dev.install index 90d8c987f..90d8c987f 100644 --- a/debian/gnunet-dev.install +++ b/debian/libgnunet-dev.install | |||