tree 1676775ad71071ac7ab26465c627fa7e2debb4da
parent 691220d9ce83aeaa104bd144f7e31ef6f94e5ba9
author Thomas Heijligen <src@posteo.de> 1701698244 +0000
committer Thomas Heijligen <src@posteo.de> 1701698323 +0000

nix: add -U option to gnatprove

Signed-off-by: Thomas Heijligen <src@posteo.de>