Dawoox/nixpkgs
1
1
Fork 0
Code Issues Pull Requests Actions 2 Packages Projects Releases Wiki Activity

agdaPackages.agdarsec: 0.4.1 -> 0.5.0-unstable-2025-08-05 (#451024)

Browse Source
This commit is contained in:
Naïm Camille Favier
2025-10-12 16:12:39 +02:00
committed by GitHub
parent 375a70c8aa 0ed93ecc1a
commit daebcd8dbc
1 changed files with 8 additions and 5 deletions
Download Patch File Download Diff File Expand all files Collapse all files

13
pkgs/development/libraries/agda/agdarsec/default.nix
View File

@@ -5,17 +5,21 @@
standard-library,
}:
mkDerivation rec {
mkDerivation {
pname = "agdarsec";
version = "0.4.1";
version = "0.5.0-unstable-2025-08-05";
src = fetchFromGitHub {
owner = "gallais";
repo = "agdarsec";
rev = "v${version}";
sha256 = "02fqkycvicw6m2xsz8p01aq8n3gj2d2gyx8sgj15l46f8434fy0x";
rev = "28c5233e905474f3b02cb97fe410beb60364ba80";
sha256 = "sha256-IMxRqZQ7XtPT2cDkoP5mBAj2ovMf5cHcN4U4V5FMEaQ=";
};
postPatch = ''
sed -Ei 's/standard-library-[0-9.]+/standard-library/' agdarsec.agda-lib
'';
buildInputs = [ standard-library ];
meta = with lib; {
@@ -24,6 +28,5 @@ mkDerivation rec {
license = licenses.gpl3;
platforms = platforms.unix;
maintainers = with maintainers; [ turion ];
broken = true;
};
}