Remove dependency on deprecated data-binary-ieee754 library (#1005)

The `data-binary-ieee754` library is deprecated. `crux-llvm` depends on it, but it doesn't actually use this dependency anywhere, so let's just remove it.
GaloisInc · Jun 21, 2022 · 7523723 · 7523723
1 parent 2d547dd
commit 7523723
Showing 1 changed file with 0 additions and 1 deletion.
diff --git a/crux-llvm/crux-llvm.cabal b/crux-llvm/crux-llvm.cabal
@@ -91,7 +91,6 @@ library
     aeson,
     bv-sized,
     config-schema >= 1.2.2.0,
-    data-binary-ieee754,
     logict,
     llvm-pretty,
     llvm-pretty-bc-parser,