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

gnatPackages.gnatcoll-core: remove redundant gnat 12 patch

Browse Source 
We don't ship gnat 12 anymore.
This commit is contained in:
Tom Hunze
2026-05-22 20:23:42 +02:00
parent 9c940973d4
commit a261d6ec3c
1 changed files with 0 additions and 6 deletions
Download Patch File Download Diff File Expand all files Collapse all files
pkgs/development/ada-modules/gnatcoll/core.nix
-6
View File
@@ -30,12 +30,6 @@ stdenv.mkDerivation rec {
};
patches = [
# Fix compilation with GNAT 12 https://github.com/AdaCore/gnatcoll-core/issues/88
(fetchpatch2 {
name = "gnatcoll-core-gnat-12.patch";
url = "https://github.com/AdaCore/gnatcoll-core/commit/515db1c9f1eea8095f2d9ff9570159a78c981ec6.patch";
sha256 = "1ghnkhp5fncb7qcmf59kyqvy0sd0pzf1phnr2z7b4ljwlkbmcp36";
})
# Fix compilation with GNAT 16
(fetchpatch2 {
name = "gnatcoll-core-gnat-16.patch";