diff --git a/flake.lock b/flake.lock
index 201c7e2cd27ab48b54167d36fdb4c4f70a85b737..56e5101a917e0f7727798a57424153287814634c 100644
--- a/flake.lock
+++ b/flake.lock
@@ -50,22 +50,6 @@
         "type": "github"
       }
     },
-    "composite-lens-extra": {
-      "flake": false,
-      "locked": {
-        "lastModified": 1662139407,
-        "narHash": "sha256-klAhsEDQiFJYarYaGmGI9HLndqz6ddOgHalCoIwcJN8=",
-        "ref": "refs/heads/master",
-        "rev": "ee6d665429e0e0a2c9273d95ee60108490bf9d03",
-        "revCount": 14,
-        "type": "git",
-        "url": "https://gitlab.homotopic.tech/haskell/composite-lens-extra"
-      },
-      "original": {
-        "type": "git",
-        "url": "https://gitlab.homotopic.tech/haskell/composite-lens-extra"
-      }
-    },
     "doctest": {
       "flake": false,
       "locked": {
@@ -317,7 +301,6 @@
         "all-cabal-hashes": "all-cabal-hashes",
         "cborg": "cborg",
         "cereal": "cereal",
-        "composite-lens-extra": "composite-lens-extra",
         "doctest": "doctest",
         "double-conversion": "double-conversion",
         "flake-parts": "flake-parts",
diff --git a/flake.nix b/flake.nix
index c91424077b8ac86f4d8cfb3de701cdd71aed4b2e..8f2100d708e2159faed8898b96424a31e573f37b 100644
--- a/flake.nix
+++ b/flake.nix
@@ -8,10 +8,6 @@
       url = "github:GaloisInc/cereal";
       flake = false;
     };
-    composite-lens-extra = {
-      url = "git+https://gitlab.homotopic.tech/haskell/composite-lens-extra";
-      flake = false;
-    };
     doctest = {
       url = "github:parsonsmatt/doctest/a5f696b80bb8220d284e34d90f0b94291b859e77";
       flake = false;
diff --git a/overlay.nix b/overlay.nix
index 656c5ce61b8df5adb952c09470c0fcdce7bd0e0e..70ad340bd0a926c20d956323570101ea724defd8 100644
--- a/overlay.nix
+++ b/overlay.nix
@@ -51,7 +51,7 @@ final: prev: with pkgs.haskell.lib; {
 
   composite-dhall = prev.callHackage "composite-dhall" "0.1.0.1" { };
 
-  composite-lens-extra = prev.callCabal2nix "composite-lens-extra" inputs.composite-lens-extra { };
+  composite-lens-extra = prev.callHackage "composite-lens-extra" "0.1.0.0" { };
 
   conduit = dontCheck prev.conduit;