diff options
author | Ingo Blechschmidt <iblech@speicherleck.de> | 2023-01-31 22:33:20 +0100 |
---|---|---|
committer | sternenseemann <sternenseemann@systemli.org> | 2023-02-14 14:45:39 +0100 |
commit | 168d9a5f1e72dd109c53f844a9ba54795613276c (patch) | |
tree | c84255c940a3e2894f339bf0bbe34d4a3e403219 /pkgs/development/haskell-modules/configuration-hackage2nix/stackage.yaml | |
parent | f29aaa7010e6ebd85f897a422fa6fec5f53c4a76 (diff) | |
download | nixpkgs-168d9a5f1e72dd109c53f844a9ba54795613276c.tar nixpkgs-168d9a5f1e72dd109c53f844a9ba54795613276c.tar.gz nixpkgs-168d9a5f1e72dd109c53f844a9ba54795613276c.tar.bz2 nixpkgs-168d9a5f1e72dd109c53f844a9ba54795613276c.tar.lz nixpkgs-168d9a5f1e72dd109c53f844a9ba54795613276c.tar.xz nixpkgs-168d9a5f1e72dd109c53f844a9ba54795613276c.tar.zst nixpkgs-168d9a5f1e72dd109c53f844a9ba54795613276c.zip |
agda: 2.6.2.2 -> 2.6.3
Diffstat (limited to 'pkgs/development/haskell-modules/configuration-hackage2nix/stackage.yaml')
-rw-r--r-- | pkgs/development/haskell-modules/configuration-hackage2nix/stackage.yaml | 1 |
1 files changed, 0 insertions, 1 deletions
diff --git a/pkgs/development/haskell-modules/configuration-hackage2nix/stackage.yaml b/pkgs/development/haskell-modules/configuration-hackage2nix/stackage.yaml index 31b5d417b84..169a3664f1d 100644 --- a/pkgs/development/haskell-modules/configuration-hackage2nix/stackage.yaml +++ b/pkgs/development/haskell-modules/configuration-hackage2nix/stackage.yaml @@ -38,7 +38,6 @@ default-package-overrides: - aeson-value-parser ==0.19.7 - aeson-yak ==0.1.1.3 - aeson-yaml ==1.1.0.1 - - Agda ==2.6.2.2 - agda2lagda ==0.2021.6.1 - airship ==0.9.5 - al ==0.1.4.2 |