anchor.diff:        elpaBuild {
           pname = "modus-vivendi-theme";
           ename = "modus-vivendi-theme";
  -        version = "0.13.1";
  -        src = fetchurl {
  -          url = "https://elpa.gnu.org/packages/modus-vivendi-theme-0.13.1.tar";
  -          sha256 = "0xz304zcc872c2zwnlm8ky0m18smf7bffiyj21ygghgclr7kgma1";
  +        version = "0.13.2";
  +        src = fetchurl {
  +          url = "https://elpa.gnu.org/packages/modus-vivendi-theme-0.13.2.tar";
  +          sha256 = "1qn3kzxwf81zc7gprd9wblhb8b8akdkxwajpgk036y8i4cmvmspn";
           };
           packageRequires = [ emacs modus-themes ];
           meta = {
  
positive.code:       elpaBuild {
          pname = "modus-operandi-theme";
          ename = "modus-operandi-theme";
          version = "0.13.1";
          src = fetchurl {
            url = "https://elpa.gnu.org/packages/modus-operandi-theme-0.13.1.tar";
            sha256 = "08l9qmhvxiscxn4mfb80x57mk4gfm5r0fs2l9c8i3gfzd4i3h091";
          };
          packageRequires = [ emacs modus-themes ];
          meta = {
  
negative.code:       elpaBuild {
          pname = "auctex";
          ename = "auctex";
          version = "13.0.5";
          src = fetchurl {
            url = "https://elpa.gnu.org/packages/auctex-13.0.5.tar";
            sha256 = "072wwsqfl8n2gi2inbp0s8k1ydr6fh1zyvc3rgynwzibjjniy319";
          };
          packageRequires = [ cl-lib emacs ];
          meta = {
  