Unverified Commit f2d80df3 authored by Naïm Camille Favier's avatar Naïm Camille Favier Committed by GitHub
Browse files

agdaPackages.generic: drop (#451038)

parents e8cca1f5 c0a6529c

doc/languages-frameworks/agda.section.md

+1 −1
Original line number Diff line number Diff line
@@ -254,7 +254,7 @@ In a pull request updating e.g. the standard library, you should write the follo 
```



This will build all reverse dependencies of the standard library,

for example `agdaPackages.agda-categories`, or `agdaPackages.generic`.

for example `agdaPackages.agda-categories`.



In some cases it is useful to build _all_ Agda packages.

This can be done with the following Github comment:

pkgs/development/libraries/agda/generic/default.nix

deleted100644 → 0
+0 −40
Original line number Diff line number Diff line 
{

  lib,

  mkDerivation,

  fetchFromGitHub,

  standard-library,

}:



mkDerivation rec {

  pname = "generic";

  version = "0.1.0.2";



  src = fetchFromGitHub {

    owner = "effectfully";

    repo = "Generic";

    rev = "v${version}";

    sha256 = "05igsd2gaj6h9bkqwp8llhvn4qvc5gmi03x4fnz096ba8m6x8s3n";

  };



  buildInputs = [

    standard-library

  ];



  preBuild = ''

    echo "module Everything where" > Everything.agda

    find src -name '*.agda' | sed -e 's/src\///;s/\//./g;s/\.agda$//;s/^/import /' >> Everything.agda

  '';



  meta = with lib; {

    # Remove if a version compatible with agda 2.6.2 is made

    broken = true;

    description = "Library for doing generic programming in Agda";

    homepage = src.meta.homepage;

    license = licenses.mit;

    platforms = platforms.unix;

    maintainers = with maintainers; [

      alexarice

      turion

    ];

  };

}

pkgs/top-level/agda-packages.nix

+4 −2
Original line number Diff line number Diff line 
{

  pkgs,

  config,

  lib,

  newScope,

  Agda,
@@ -44,13 +45,14 @@ let 


      functional-linear-algebra = callPackage ../development/libraries/agda/functional-linear-algebra { };



      generic = callPackage ../development/libraries/agda/generic { };



      agdarsec = callPackage ../development/libraries/agda/agdarsec { };



      _1lab = callPackage ../development/libraries/agda/1lab { };



      generics = callPackage ../development/libraries/agda/generics { };

    }

    // lib.optionalAttrs config.allowAliases {

      generic = throw "agdaPackages.generic has been removed because it is unmaintained upstream and has been marked as broken since 2021. Consider using agdaPackages.generics instead."; # Added 2025-10-11

    };

in

mkAgdaPackages Agda