debian/0.87.1-2

Ralf Treinen

@treinen

d8b87bb7 · don't set BUILDDATE in configure.in · Jul 19, 2016

why3 Debian release 0.87.1-2