easycrypt-runtest: use other format · c2f03aa6f1 - nixpkgs - Florians Git Server

gador/nixpkgs

easycrypt-runtest: use other format

This commit is contained in:

Martin Weinelt

2022-09-19 16:05:27 +02:00

committed by

Sandro Jäckel

parent 73fed7827c

commit c2f03aa6f1

1 changed files with 1 additions and 0 deletions

									
										pkgs/applications/science/logic/easycrypt/runtest.nix
									
		+1
		
												View File
												
				@@ -2,6 +2,7 @@

				python3Packages.buildPythonApplication rec {

				  inherit (easycrypt) src version;

				  format = "other";

				  pname = "easycrypt-runtest";