pyrox.dev
1{
2 build-idris-package,
3 fetchFromGitHub,
4 lib,
5}:
6build-idris-package {
7 pname = "quantities";
8 version = "2018-04-17";
9
10 src = fetchFromGitHub {
11 owner = "timjb";
12 repo = "quantities";
13 rev = "76bb872bd89122043083351993140ae26eb91ead";
14 sha256 = "0fv12kdi9089b4kkr6inhqvs2s8x62nv5vqj76wzk8hy0lrzylzj";
15 };
16
17 meta = {
18 description = "Type-safe physical computations and unit conversions in Idris";
19 homepage = "https://github.com/timjb/quantities";
20 license = lib.licenses.mit;
21 maintainers = with lib.maintainers; [ imuli ];
22 };
23}