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 /debian | |
| parent | 4eca306528227f855bc200b878a18044f88d9302 (diff) | |
| download | gnunet-8311ea5777aff643f2823c763d71f1efc41abb75.tar.gz gnunet-8311ea5777aff643f2823c763d71f1efc41abb75.zip | |
rename gnunet-dev to libgnunet-dev
Diffstat (limited to 'debian')
| -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 | |||