Subject: Re: bug#26890: [PATCH] gnu: Add agrep.

From: Leo Famulari <[email-masked]>
Date: Thu, 11 May 2017 17:24:41 -0400

On Thu, May 11, 2017 at 05:04:08PM -0400, Kei Kebreau wrote:
> Quote from copying.agrep in the source directory:
>   4. Redistribution for profit requires the express, written permission
>      of the authors.

Unfortunately, this clause makes agrep not free software. Indeed, Debian
distributes it from their non-free repos:

https://packages.debian.org/sid/agrep