pkgs/development/idris-modules/quantities.nix

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