Revert "build/pkgs/boost_cropped/distros/debian.txt: Add libboost-pro…

…gram-options-dev" This reverts commit 088b11a.
sagemath · Nov 27, 2022 · 45f957e · 45f957e
1 parent 3adc477
commit 45f957e
Showing 1 changed file with 0 additions and 2 deletions.
diff --git a/build/pkgs/boost_cropped/distros/debian.txt b/build/pkgs/boost_cropped/distros/debian.txt
@@ -1,3 +1 @@
 libboost-dev
-# needed by papilo
-libboost-program-options-dev