fix distance oracle in deb package
Passed
Benjamin Gallois
created pipeline for commit ae0173c1
, finished
Related merge request !282 to merge fix-deb
28 minutes 36 seconds, queued for 2 seconds