Unverified Commit 4c179d4b authored by Florian Brandes's avatar Florian Brandes
Browse files

agda-pkg: drop as unmaintained 



last commit was 05/2021 and no pkgs in nixpkgs depend on it

Signed-off-by: default avatarFlorian Brandes <florian.brandes@posteo.de>
parent 7b3717d4

pkgs/development/tools/agda-pkg/default.nix

deleted100644 → 0
+0 −47
Original line number Diff line number Diff line 
{ lib

, python3Packages

, fetchPypi

}:



with python3Packages;



buildPythonApplication rec {

  pname = "agda-pkg";

  version = "0.1.51";



  disabled = pythonOlder "3.6";



  src = fetchPypi {

    inherit pname version;

    sha256 = "ee370889a1558caf45930d9f898dbe248048078e1e7e3ee17382bf574dc795f2";

  };



  # Checks need internet access, so we just check the program executes

  # At the moment the help page needs to write to $HOME, this can

  # be removed if https://github.com/agda/agda-pkg/issues/40 is fixed

  checkPhase = ''

    HOME=$NIX_BUILD_TOP $out/bin/apkg --help > /dev/null

  '';



  propagatedBuildInputs = [

    click

    gitpython

    pony

    whoosh

    natsort

    click-log

    requests

    humanize

    distlib

    jinja2

    pyyaml

    ponywhoosh

  ];



  meta = with lib; {

    homepage = "https://agda.github.io/agda-pkg/";

    description = "Package manager for Agda";

    license = licenses.mit;

    maintainers = with maintainers; [ alexarice ];

  };

}

pkgs/top-level/aliases.nix

+1 −0
Original line number Diff line number Diff line
@@ -71,6 +71,7 @@ mapAliases ({ 
  advcpmv = throw "'advcpmv' has been removed, as it is not being actively maintained and break recent coreutils."; # Added 2024-03-29

  aether = throw "aether has been removed from nixpkgs; upstream unmaintained, security issues"; # Added 2023-10-03

  afl = throw "afl has been removed as the upstream project was archived. Consider using 'aflplusplus'"; # Added 2024-04-21

  agda-pkg = throw "agda-pkg has been removed due to being unmaintained"; # Added 2024-09-10"

  airfield = throw "airfield has been removed due to being unmaintained"; # Added 2023-05-19

  alertmanager-bot = throw "alertmanager-bot is broken and has been archived by upstream"; # Added 2023-07-28

  alsa-project = throw "alsa-project was removed and its sub-attributes were promoted to top-level."; # Added 2023-11-12

pkgs/top-level/all-packages.nix

+0 −2
Original line number Diff line number Diff line
@@ -1600,8 +1600,6 @@ with pkgs; 
    inherit (darwin.apple_sdk.frameworks) Security;

  };













  agda-pkg = callPackage ../development/tools/agda-pkg { };



























  agi = callPackage ../tools/graphics/agi { };





























  agola = callPackage ../development/tools/continuous-integration/agola { };