| commit | 3ec689d9c900e988018a992f5e84d8aa06190bb0 | [log] [tgz] |
|---|---|---|
| author | Thomas Heijligen <src@posteo.de> | Mon Dec 04 13:57:24 2023 +0000 |
| committer | Thomas Heijligen <src@posteo.de> | Mon Dec 04 13:58:43 2023 +0000 |
| tree | 1676775ad71071ac7ab26465c627fa7e2debb4da | |
| parent | 691220d9ce83aeaa104bd144f7e31ef6f94e5ba9 [diff] |
nix: add -U option to gnatprove Signed-off-by: Thomas Heijligen <src@posteo.de>