tree aca3f2e78fe08a3b869c6e7b889d308d99d1fb6f
parent 8a8c01bb0c8dca86ca5c55068b5519f5fd9d3e40
author Davide Pesavento <davide.pesavento@lip6.fr> 1520813148 -0400
committer Davide Pesavento <davide.pesavento@lip6.fr> 1520813148 -0400

ci: fix clang-7 (trunk) build job on Travis-CI

The final ".0" was dropped from the package name.

Change-Id: I650f10c17bee2d561da7c8275a556a3a746798ba