gnu: dejagnu: Update to 1.6.
authorEfraim Flashner <efraim@flashner.co.il>
Sun, 9 Oct 2016 05:47:54 +0000 (08:47 +0300)
committerEfraim Flashner <efraim@flashner.co.il>
Sun, 9 Oct 2016 05:55:51 +0000 (08:55 +0300)
commit539ab1afdd1d65d666719d5db3b221dd160de59f
treebc369a3edfebe633257f88d58512045532b723f3
parentcaaa715d161f98cb8a52b517a72a0783c2848056
gnu: dejagnu: Update to 1.6.

* gnu/packages/dejagnu.scm (dejagnu): Update to 1.6.
[home-page]: Use https.
[license]: Update to gpl3+.
gnu/packages/dejagnu.scm