diff options
| -rw-r--r-- | apt/preferences.d/local-notmuch | 3 |
1 files changed, 3 insertions, 0 deletions
diff --git a/apt/preferences.d/local-notmuch b/apt/preferences.d/local-notmuch new file mode 100644 index 0000000..521952c --- /dev/null +++ b/apt/preferences.d/local-notmuch @@ -0,0 +1,3 @@ +Package: *notmuch* +Pin: release o=Debian,a=experimental +Pin-Priority: 500 |