Subject: Re: [bug#33865] [PATCH] gnu: Add dedukti.

From: Julien Lepiller <[email-masked]>
Date: Tue, 25 Dec 2018 18:50:05 +0100

Pushed as 5895696e4c28938d9201e4527d3a007dd8b47e32.

I've slightly modified your patch to add a copyright line for yourself
and use the ocaml-build-system.