Mark H Weaver <m...@netris.org> skribis: > From e9d66801024e66c39b8ee0d84a10ddc4e6b7a18b Mon Sep 17 00:00:00 2001 > From: Mark H Weaver <m...@netris.org> > Date: Mon, 8 Jun 2015 05:05:23 -0400 > Subject: [PATCH] gnu: Add proof-general. > > * gnu/packages/ocaml.scm (proof-general): New variable.
Sure, thank you! Ludo’.
