Merge remote-tracking branch 'nomic/user-toplevel' into newmaster

1 files changed, 2 insertions, 4 deletions

diff --git a/tv/pkgs/lentil/default.nix b/tv/pkgs/lentil/default.nix
index 1385cbd4..fc9b4fd3 100644
--- a/tv/pkgs/lentil/default.nix
+++ b/tv/pkgs/lentil/default.nix
@@ -4,13 +4,11 @@
   overrides = self: super: {
     lentil = super.lentil.override {
       mkDerivation = (attrs: self.mkDerivation (attrs // {
-        version = "0.1.2.7";
-        sha256 = "1g3if2y41li6wyg7ffvpybqvbywiq8bf5b5fb6pz499hinzahb9d";
+        version = "0.1.3.0";
+        sha256 = "0xa59avh0bvfg69xh9p5b8dppfhx29mvfq8v41sk9j7qbcnzjivg";
         patches = [
-          ./1.patch
           ./syntaxes.patch
         ];
-        doCheck = false;
       }));
     };
   };