guix-patches
[Top][All Lists]
Advanced
[Date Prev][Date Next][Thread Prev][Thread Next][Date Index][Thread Index]

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

From: Julien Lepiller
Subject: bug#33865: [PATCH] gnu: Add dedukti.
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.

Attachment: pgp3TEtB4wroc.pgp
Description: Signature digitale OpenPGP

reply via email to
[Prev in Thread] Current Thread [Next in Thread]