Subject: Re: bug#34276: gnu: Add fox.

From: Brice Waegeneire <[email-masked]>
Date: Wed, 08 Apr 2020 11:58:40 +0000

Except `doxygen` that should be a `native-inputs`, as suggested by `guix 
lint`, it looks good to me.