diff options
| author | Vincent Laporte <Vincent.Laporte@gmail.com> | 2022-11-24 22:31:36 +0100 |
|---|---|---|
| committer | Robert Schütz <nix@dotlambda.de> | 2022-11-27 09:59:01 -0800 |
| commit | b41229b19de125f989d4837a6e1df7a72b0465f8 (patch) | |
| tree | d2b620e40a57c8a6ce76c717b42f461fa1ab7b2f /pkgs/top-level/aliases.nix | |
| parent | 3265a24b79bbf1a21f0da2b67cfd71878b7eb52c (diff) | |
| download | nixpkgs-b41229b19de125f989d4837a6e1df7a72b0465f8.tar nixpkgs-b41229b19de125f989d4837a6e1df7a72b0465f8.tar.gz nixpkgs-b41229b19de125f989d4837a6e1df7a72b0465f8.tar.bz2 nixpkgs-b41229b19de125f989d4837a6e1df7a72b0465f8.tar.lz nixpkgs-b41229b19de125f989d4837a6e1df7a72b0465f8.tar.xz nixpkgs-b41229b19de125f989d4837a6e1df7a72b0465f8.tar.zst nixpkgs-b41229b19de125f989d4837a6e1df7a72b0465f8.zip | |
gringo: remove at 4.5.4
The gringo binary is part of the clingo package
Diffstat (limited to 'pkgs/top-level/aliases.nix')
| -rw-r--r-- | pkgs/top-level/aliases.nix | 1 |
1 files changed, 1 insertions, 0 deletions
diff --git a/pkgs/top-level/aliases.nix b/pkgs/top-level/aliases.nix index 2367481482e..8043bfd33cb 100644 --- a/pkgs/top-level/aliases.nix +++ b/pkgs/top-level/aliases.nix @@ -584,6 +584,7 @@ mapAliases ({ grantlee5 = throw "'grantlee5' has been renamed to/replaced by 'libsForQt5.grantlee'"; # Converted to throw 2022-02-22 gr-gsm = gnuradio3_7.pkgs.gsm; # Added 2019-05-27, changed 2020-10-16 grib-api = throw "grib-api has been replaced by ecCodes => https://confluence.ecmwf.int/display/ECC/GRIB-API+migration"; # Added 2022-01-05 + gringo = clingo; # added 2022-11-27 gr-limesdr = gnuradio3_7.pkgs.limesdr; # Added 2019-05-27, changed 2020-10-16 gr-nacl = gnuradio3_7.pkgs.nacl; # Added 2019-05-27, changed 2020-10-16 gr-osmosdr = gnuradio3_7.pkgs.osmosdr; # Added 2019-05-27, changed 2020-10-16 |