nordic-dev.net/nixpkgs
nordic-dev.net/nixpkgs
2
0
Fork 0
mirror of https://github.com/NixOS/nixpkgs.git synced 2025-04-14 06:37:41 +00:00
Code Issues Packages Projects Releases Wiki Activity

polarity: add nix-update updatescript (#358928)

Browse Source
This commit is contained in:
Aleksana 2024-12-08 14:53:02 +08:00 committed by GitHub
commit c5b2824350
No known key found for this signature in database
GPG Key ID: B5690EEEBB952194
1 changed files with 14 additions and 5 deletions
Show Stats Download Patch File Download Diff File Expand all files Collapse all files

19
pkgs/by-name/po/polarity/package.nix
View File

@ -1,6 +1,8 @@
{ lib
, fetchFromGitHub
, rustPlatform
{
lib,
fetchFromGitHub,
rustPlatform,
nix-update-script,
}:
rustPlatform.buildRustPackage rec {
@ -16,14 +18,21 @@ rustPlatform.buildRustPackage rec {
cargoLock = {
lockFile = ./Cargo.lock;
outputHashes = { "codespan-0.11.1" = "sha256-Wq99v77bqSGIOK/iyv+x/EG1563XSeaTDW5K2X3kSXU="; };
outputHashes = {
"codespan-0.11.1" = "sha256-Wq99v77bqSGIOK/iyv+x/EG1563XSeaTDW5K2X3kSXU=";
};
};
passthru.updateScript = nix-update-script { extraArgs = [ "--version=branch" ]; };
meta = {
description = "A Language with Dependent Data and Codata Types";
homepage = "https://polarity-lang.github.io/";
changelog = "https://github.com/polarity-lang/polarity/blob/${src.rev}/CHANGELOG.md";
license = with lib.licenses; [ mit asl20 ];
license = with lib.licenses; [
mit
asl20
];
maintainers = [ lib.maintainers.mangoiv ];
mainProgram = "pol";
platforms = lib.platforms.all;