| Mode | Name | Size | |
|---|---|---|---|
| -rw-r--r-- | patch-share_gprconfig_compilers.xml | 1364 | logplain |
| -rw-r--r-- | patch-share_gprconfig_gnat.xml | 796 | logplain |
| -rw-r--r-- | patch-share_gprconfig_linker.xml | 1821 | logplain |
| -rw-r--r-- | patch-share_gprconfig_targetset.xml | 1473 | logplain |
| -rw-r--r-- | patch-src_gprlib.adb | 1980 | logplain |
 |
index : pkgsrc | |
| [no description] | Dyson |
| summaryrefslogtreecommitdiff |