diff options
Diffstat (limited to '')
| -rw-r--r-- | profiles/kali/main.profile | 13 |
1 files changed, 13 insertions, 0 deletions
diff --git a/profiles/kali/main.profile b/profiles/kali/main.profile new file mode 100644 index 0000000..b186211 --- /dev/null +++ b/profiles/kali/main.profile @@ -0,0 +1,13 @@ +# The default profile for Kali Linux and derivatives thereof. +Profile: kali/main +Extends: debian/main +Disable-Tags: + bugs-field-does-not-refer-to-debian-infrastructure + no-nmu-in-changelog + source-nmu-has-incorrect-version-number + +# Kali ships some packages where upstream only supports installation in /opt so +# allow us to override this tag in those packages. +Tags: + dir-or-file-in-opt +Overridable: yes |