Comment 5 for bug 1794476

Considering I just supported another colleague who faced this bug, let me mention that the problem is still present (in 20.04).

Simplest example:

$ sudo apt install libcurl4-gnutls-dev # Or some other variant
…

$ curl-config --static-libs
/usr/bin/curl-config: 1: krb5-config: not found
…

It is easily fixed by

$ sudo apt install libkrb5-dev

but once more: considering curl-config uses krb5-config, libcurl*-dev should depend on libkrb5-dev.