@tgouhier could you please restart the build?
This was just some spurious error from Travis-CI infrastructure.
$ sudo dpkg -i /tmp/pandoc-1.15.2-1-amd64.deb
dpkg: error: dpkg status database is locked by another process
The command "sudo dpkg -i /tmp/pandoc-1.15.2-1-amd64.deb" failed and exited with 2 during .
Your build has been stopped.
@tgouhier could you please restart the build? This was just some spurious error from Travis-CI infrastructure.