nixpkgs/pkgs/development/ada-modules/ at 41ce478b1052bb5f9107062a2acfc88328c3e9f0 · pyrox.dev/nixpkgs · tangled

pyrox.dev / nixpkgs

lol

nixpkgs / pkgs / development / ada-modules /

at 41ce478b1052bb5f9107062a2acfc88328c3e9f0 5 folders

treewide: run nixfmt 1.0.0

5 months ago

gnat13Packages.gnatprove: fixup build after gcc13 update

5 months ago

treewide: conform descriptions to the standards

5 months ago

treewide: run nixfmt 1.0.0

5 months ago

Revert "treewide: replace `rev` with `tag`"

9 months ago