| Wed, 29 Aug 2018 10:46:37 +0200 | Pierre-Yves David | packaging: fix debian version numbers | file | diff | annotate |
| Tue, 28 Aug 2018 19:59:20 +0200 | Pierre-Yves David | packagin: prepare version 8.1.2 | file | diff | annotate |
| Tue, 21 Aug 2018 15:29:13 +0200 | Pierre-Yves David | packaging: prepare release 8.1.1 | file | diff | annotate |
| Mon, 11 Jun 2018 23:30:24 +0530 | Pulkit Goyal | packaging: prepare for 8.0.1 release | file | diff | annotate |
| Wed, 25 Apr 2018 14:02:43 +0100 | Pierre-Yves David | packaging: update version number | file | diff | annotate |
| Wed, 21 Mar 2018 15:34:29 +0100 | Pierre-Yves David | debian: add version 7.3.0 to changelog | file | diff | annotate |
| Sat, 20 Jan 2018 12:28:32 +0100 | Pierre-Yves David | packaging: prepare version 7.2.1 | file | diff | annotate |