diff options
| -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 | |||