gador/nixpkgs
1
0
Fork 0
Code Issues Pull Requests Packages Projects Releases Wiki Activity

java-cup: rename from javaCup

Browse Source 
the upstream package is called java-cup: http://www2.cs.tum.edu/projects/cup/releases/
This commit is contained in:
quantenzitrone
2026-02-10 16:52:00 +01:00
parent 9378e64792
commit 2862a4d013
3 changed files with 1 additions and 0 deletions
Download Patch File Download Diff File Expand all files Collapse all files
pkgs/by-name/ja/javaCup/javacup-0.11b_beta20160615-build-xml-git.patch → pkgs/by-name/ja/java-cup/javacup-0.11b_beta20160615-build-xml-git.patch
View File
pkgs/by-name/ja/javaCup/package.nix → pkgs/by-name/ja/java-cup/package.nix
View File
pkgs/top-level/aliases.nix
+1
View File
@@ -891,6 +891,7 @@ mapAliases {
jami-client-qt = throw "'jami-client-qt' has been renamed to/replaced by 'jami-client'"; # Converted to throw 2025-10-27
jami-daemon = throw "'jami-daemon' has been renamed to/replaced by 'jami.daemon'"; # Converted to throw 2025-10-27
jarowinkler-cpp = throw "'jarowinkler-cpp' has been removed because it was deprecated and archived upstream. Consider using 'rapidfuzz-cpp' instead"; # Added 2026-01-15
javaCup = warnAlias "'javaCup' has been renamed to 'java-cup'" java-cup; # Added 2026-02-08
jdk23 = throw "OpenJDK 23 was removed as it has reached its end of life"; # Added 2025-11-04
jdk23_headless = throw "OpenJDK 23 was removed as it has reached its end of life"; # Added 2025-11-04
jdk24 = throw "OpenJDK 24 was removed as it has reached its end of life"; # Added 2025-10-04