nordic-dev.net/nixpkgs
nordic-dev.net/nixpkgs
2
0
Fork 0
mirror of https://github.com/NixOS/nixpkgs.git synced 2024-11-25 08:23:09 +00:00
Code Issues Packages Projects Releases Wiki Activity

agdaPackages.agdarsec: mark as broken

Browse Source
This commit is contained in:
Naïm Favier 2023-12-27 12:17:49 +01:00
parent 5692c3bc50
commit ca89b111a5
No known key found for this signature in database
GPG Key ID: 95AFCE8211908325
1 changed files with 1 additions and 0 deletions
Show Stats Download Patch File Download Diff File Expand all files Collapse all files

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

@ -24,5 +24,6 @@ mkDerivation rec {
license = licenses.gpl3;
platforms = platforms.unix;
maintainers = with maintainers; [ turion ];
broken = true;
};
}