pkgs/by-name/po/polarity/package.nix

   1 { lib
   2 , fetchFromGitHub
   3 , rustPlatform
   4 }:
   5
   6 rustPlatform.buildRustPackage rec {
   7   pname = "polarity";
   8   version = "0-unstable-2024-11-15";
   9
  10   src = fetchFromGitHub {
  11     owner = "polarity-lang";
  12     repo = "polarity";
  13     rev = "2f6ce455ec512f3b0cfff0f3ca9c5016e6a4e9de";
  14     hash = "sha256-viJGqtUsoAZznhfDN3PnPG+LJ5ppVL11eyhuEiTG+IQ=";
  15   };
  16
  17   cargoLock = {
  18     lockFile = ./Cargo.lock;
  19     outputHashes = { "codespan-0.11.1" = "sha256-Wq99v77bqSGIOK/iyv+x/EG1563XSeaTDW5K2X3kSXU="; };
  20   };
  21
  22   meta = {
  23     description = "A Language with Dependent Data and Codata Types";
  24     homepage = "https://polarity-lang.github.io/";
  25     changelog = "https://github.com/polarity-lang/polarity/blob/${src.rev}/CHANGELOG.md";
  26     license = with lib.licenses; [ mit asl20 ];
  27     maintainers = [ lib.maintainers.mangoiv ];
  28     mainProgram = "pol";
  29     platforms = lib.platforms.all;
  30   };
  31 }