diff --git a/flake.lock b/flake.lock
index a6538cbc8d3dc5423775b4c2d736c927b702d5bc..25444f4f8dd1a40953e488dfac35135e99008623 100644
--- a/flake.lock
+++ b/flake.lock
@@ -34,22 +34,6 @@
         "type": "github"
       }
     },
-    "cereal": {
-      "flake": false,
-      "locked": {
-        "lastModified": 1660071359,
-        "narHash": "sha256-1CEEynJBeSz+zeNSy8uJ4qdOYz93jvIJJB7MBQRA99I=",
-        "owner": "GaloisInc",
-        "repo": "cereal",
-        "rev": "c188f3d45ab4245c962975ac237e13c85aeb7136",
-        "type": "github"
-      },
-      "original": {
-        "owner": "GaloisInc",
-        "repo": "cereal",
-        "type": "github"
-      }
-    },
     "doctest": {
       "flake": false,
       "locked": {
@@ -235,7 +219,6 @@
       "inputs": {
         "all-cabal-hashes": "all-cabal-hashes",
         "cborg": "cborg",
-        "cereal": "cereal",
         "doctest": "doctest",
         "double-conversion": "double-conversion",
         "flake-parts": "flake-parts",
diff --git a/flake.nix b/flake.nix
index d54fb25ad60b9b7529b838b8ae0e7bca98caeef7..1c3a96aff26e06963748278fd3c08bc2baacdbba 100644
--- a/flake.nix
+++ b/flake.nix
@@ -8,10 +8,6 @@
       url = "github:parsonsmatt/cborg/05ca2063ff631667699bffbeee3a4a076943b905";
       flake = false;
     };
-    cereal = {
-      url = "github:GaloisInc/cereal";
-      flake = false;
-    };
     doctest = {
       url = "github:parsonsmatt/doctest/a5f696b80bb8220d284e34d90f0b94291b859e77";
       flake = false;
diff --git a/overlay.nix b/overlay.nix
index e9c130d48180ef1046fc16d28d9370ac899d0452..082a1c830a62964a484ec6ae40cb99d42c0411b9 100644
--- a/overlay.nix
+++ b/overlay.nix
@@ -41,7 +41,7 @@ final: prev: with pkgs.haskell.lib; {
 
   cborg-json = doJailbreak (prev.callCabal2nix "cborg-json" (inputs.cborg + /cborg-json) { });
 
-  cereal = prev.callCabal2nix "cereal" inputs.cereal { };
+  cereal = prev.callHackage "cereal" "0.5.8.3" { };
 
   compact = doJailbreak (prev.callHackage "compact" "0.2.0.0" { });