blob: 376b6f2869187d0458a8216ae9ac17703b649a07 (
plain)
1
2
3
4
5
6
7
8
9
10
11
12
13
14
15
16
17
18
19
20
21
22
23
24
25
26
27
28
29
30
31
32
33
34
35
36
37
38
|
{
lib,
buildDunePackage,
fetchFromGitLab,
ppx_deriving,
ppx_hash,
zarith,
}:
buildDunePackage (finalAttrs: {
pname = "farith";
version = "0.1";
minimalOCamlVersion = "4.10";
src = fetchFromGitLab {
domain = "git.frama-c.com";
owner = "pub";
repo = "farith";
tag = finalAttrs.version;
hash = "sha256-9TGKeL3DXKEf2RLpkjOTC8aDQeLKSM9QUIiSkFCQW+8=";
};
propagatedBuildInputs = [
ppx_deriving
ppx_hash
zarith
];
doCheck = true;
meta = {
description = "Modelisation of base 2 floating points with arbitrary exponent and mantisse size.";
homepage = "https://git.frama-c.com/pub/farith";
license = lib.licenses.lgpl2Only;
maintainers = with lib.maintainers; [ ethancedwards8 ];
};
})
|
