blob: 296bd738928fa2bd5320dabf54f24cf5c2b75b95 (
plain) (
blame)
1
2
3
4
5
6
7
8
9
10
11
12
13
14
15
16
17
18
19
|
{ coq, mkCoqDerivation, mathcomp, lib, version ? null }:
with lib; mkCoqDerivation {
namePrefix = [ "coq" "mathcomp" ];
pname = "bigenough";
owner = "math-comp";
release = { "1.0.0".sha256 = "10g0gp3hk7wri7lijkrqna263346wwf6a3hbd4qr9gn8hmsx70wg"; };
inherit version;
defaultVersion = "1.0.0";
propagatedBuildInputs = [ mathcomp.ssreflect ];
meta = {
description = "A small library to do epsilon - N reasonning";
license = licenses.cecill-b;
};
}
|