treewide: remove package names from prefix of descriptions

This commit is contained in:
Ben Siraphob
2020-10-27 09:15:07 -07:00
committed by Jon
parent 7371c2cc9b
commit db74029e3e
139 changed files with 144 additions and 150 deletions
@@ -13,7 +13,7 @@ let
};
meta = with lib; {
description = "Scyther is a tool for the automatic verification of security protocols";
description = "A tool for the automatic verification of security protocols";
homepage = "https://www.cs.ox.ac.uk/people/cas.cremers/scyther/";
license = licenses.gpl2;
maintainers = with maintainers; [ infinisil ];