I did it this way:
sudo apt-get install hal=0.5.7-1ubuntu18.1 libhal-dev=0.5.7-1ubuntu18.1 libhal-storage1=0.5.7-1ubuntu18.1 libhal1=0.5.7-1ubuntu18.1
If you don't have the libhal-dev package already installed, you can omit it
I did it this way:
sudo apt-get install hal=0.5. 7-1ubuntu18. 1 libhal- dev=0.5. 7-1ubuntu18. 1 libhal- storage1= 0.5.7-1ubuntu18 .1 libhal1= 0.5.7-1ubuntu18 .1
If you don't have the libhal-dev package already installed, you can omit it