jose/debian/changelog

jose (10-2) unstable; urgency=medium

  * Add missing dependencies
  * Enable full hardening build

 -- Christoph Biedl <debian.axhn@manchmal.in-ulm.de>  Sat, 11 Nov 2017 21:17:33 +0100

jose (10-1) unstable; urgency=medium

  * Initial release. Closes: #873939

 -- Christoph Biedl <debian.axhn@manchmal.in-ulm.de>  Sun, 05 Nov 2017 19:12:42 +0100