Tom Hunze a261d6ec3c gnatPackages.gnatcoll-core: remove redundant gnat 12 patch ...

We don't ship gnat 12 anymore.

2026-05-24 09:45:58 +02:00

..

bindings.nix

…

core.nix

gnatPackages.gnatcoll-core: remove redundant gnat 12 patch

2026-05-24 09:45:58 +02:00

db.nix

…