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