-And then adding the following to /etc/apt/preferences:
-
- Package: libgnutls26
- Pin: release o=The MonkeySphere Project
- Pin-Priority: 990
-
- Package: libgnutls26-dbg
- Pin: release o=The MonkeySphere Project
- Pin-Priority: 990
-
- Package: gnutls-bin
- Pin: release o=The MonkeySphere Project
- Pin-Priority: 990
-
- Package: gnutls-doc
- Pin: release o=The MonkeySphere Project
- Pin-Priority: 990
-
- Package: guile-gnutls
- Pin: release o=The MonkeySphere Project
- Pin-Priority: 990
-
- Package: gnutls-dev
- Pin: release o=The MonkeySphere Project
- Pin-Priority: 990
-