| commit | 22173223f4d561746631bbe7099cd01293533e3f | [log] [tgz] |
|---|---|---|
| author | Nico Huber <nico.h@gmx.de> | Thu Dec 14 00:02:03 2023 +0100 |
| committer | Nico Huber <nico.h@gmx.de> | Thu Dec 14 00:08:59 2023 +0100 |
| tree | 5abe5f9c3fc2a1d77d02540baadaffbae2ddc915 | |
| parent | cdc0351958b431adb1fe9fa39f6f21c63214d62f [diff] |
Work around gnatprove trouble with >64-bit range type