diff --git a/debian-bullseye/cvc/HDLC b/debian-bullseye/cvc/HDLC
index 5bdde069d..c9c89f74f 100644
--- a/debian-bullseye/cvc/HDLC
+++ b/debian-bullseye/cvc/HDLC
@@ -31,12 +31,13 @@ makedepends=(
   libfl-dev
   m4
   patch
-  python3-toml
+  python3-pip
   python3-pyparsing
   openjdk-11-jre-headless
 )
 
 build() {
+  pip3 install tomli
   git clone https://github.com/cvc5/cvc5.git /tmp/cvc5
   cd /tmp/cvc5
   git tag -d latest