diff --git a/debian/control b/debian/control index 6d063e4225..8ea5766940 100644 --- a/debian/control +++ b/debian/control @@ -31,9 +31,7 @@ Build-Depends: debhelper (>= 9), antlr4 | antlr , bison , flex , -# temporarily disabled because of https://github.com/rust-lang/rust/issues/36323 -# we should be able to re-enable it soon, it seems already fixed in rustc head + gdb trunk -# gdb , + gdb , default-jdk-headless | default-jdk , Build-Depends-Indep: libjs-jquery , pandoc (>= 1.9),