6 Commits

Author	SHA1	Message	Date
Roberto Mier Escandon	434fe7c372	chore: script to build the deb sources ... now it includes the man files. This script makes only sense executing on the machine having the gpg key needed to sign and push to ppa	2021-12-21 10:18:50 +01:00
Emmanuel Bourg	e87808683a	Skip the tests if the nocheck Debian build option is specified	2021-10-07 13:44:16 +11:00
Roberto Mier Escandon	f285a684ec	Update debian pkg files to version 4.9.6	2021-07-07 13:52:42 +10:00
Roberto Mier Escandon	d356fa0d0b	Bump debian package to version 3.1-2 ... Updated all files to be more Debian compliant Update release instructions for get mod vendor before releasing	2020-02-25 08:57:41 +11:00
Roberto Mier Escandon	69fae2d9cb	Inc Deb version	2020-02-17 09:29:02 +11:00
Roberto Mier Escandon	1853585d22	Add debian packaging	2018-06-12 10:12:55 +10:00