| Mode | Name | Size | |
|---|---|---|---|
| -rw-r--r-- | add-flags | 996 | log plain blame |
| -rw-r--r-- | builder.sh | 5242 | log plain blame |
| -rw-r--r-- | default.nix | 2546 | log plain blame |
| -rw-r--r-- | gcc-wrapper.sh | 4299 | log plain blame |
| -rw-r--r-- | gnat-wrapper.sh | 3269 | log plain blame |
| -rw-r--r-- | gnatlink-wrapper.sh | 1269 | log plain blame |
| -rw-r--r-- | ld-wrapper.sh | 4312 | log plain blame |
| -rw-r--r-- | setup-hook.sh | 679 | log plain blame |
| -rw-r--r-- | utils.sh | 674 | log plain blame |