movefasta/nixpkgs
1
0
Fork 0
mirror of https://github.com/NixOS/nixpkgs.git synced 2025-06-13 05:05:29 +03:00
Code Issues Projects Releases Packages Wiki Activity

Merge pull request #140760 from turion/dev_bump_agda_prelude

Browse source
This commit is contained in:
Sandro 2021-10-06 22:02:26 +02:00 • committed by GitHub
commit 1d88d6faed
No known key found for this signature in database
GPG key ID: 4AEE18F83AFDEB23
1 changed files with 2 additions and 4 deletions
Download patch file Download diff file Expand all files Collapse all files

6
pkgs/development/libraries/agda/agda-prelude/default.nix
View file

@ -1,14 +1,14 @@
{ lib, mkDerivation, fetchFromGitHub }: { lib, mkDerivation, fetchFromGitHub }:
mkDerivation rec { mkDerivation rec {
version = "compat-2.6.1"; version = "compat-2.6.2";
pname = "agda-prelude"; pname = "agda-prelude";
src = fetchFromGitHub { src = fetchFromGitHub {
owner = "UlfNorell"; owner = "UlfNorell";
repo = "agda-prelude"; repo = "agda-prelude";
rev = version; rev = version;
sha256 = "128rbhd32qlq2nq3wgqni4ih58zzwvs9pkn9j8236ycxxp6x81sl"; sha256 = "0j2nip5fbn61fpkm3qz4dlazl4mzdv7qlgw9zm15bkcvaila0h14";
}; };
preConfigure = '' preConfigure = ''
@ -19,8 +19,6 @@ mkDerivation rec {
''; '';
meta = with lib; { meta = with lib; {
# Remove if a version compatible with agda 2.6.2 is made
broken = true;
homepage = "https://github.com/UlfNorell/agda-prelude"; homepage = "https://github.com/UlfNorell/agda-prelude";
description = "Programming library for Agda"; description = "Programming library for Agda";
license = lib.licenses.mit; license = lib.licenses.mit;