pkgs/development/idris-modules/bi.nix

   1 { build-idris-package
   2 , fetchFromGitHub
   3 , contrib
   4 , pruviloj
   5 , lib
   6 }:
   7 build-idris-package  {
   8   name = "bi";
   9   version = "2018-06-25";
  10
  11   ipkgName = "Bi";
  12   idrisDeps = [ contrib pruviloj ];
  13
  14   src = fetchFromGitHub {
  15     owner = "sbp";
  16     repo = "idris-bi";
  17     rev = "6bd90fb30b06ab02438efb5059e2fc699fdc7787";
  18     sha256 = "1px550spigl8k1m1r64mjrw7qjvipa43xy95kz1pb5ibmy84d6r3";
  19   };
  20
  21   meta = {
  22     description = "Idris Binary Integer Arithmetic, porting PArith, NArith, and ZArith from Coq";
  23     homepage = "https://github.com/sbp/idris-bi";
  24     license = lib.licenses.bsd3;
  25     maintainers = [ lib.maintainers.brainrape ];
  26   };
  27 }