66063fa958
The main master site does not actually have this particular version of gringotts, but it seems better to list the new URL as the old stopped working long time ago. A new version of gringotts exists, and if anyone is using and have an interest in this port they should look into it. Keeping the secondary master site so that there is at least one place to fetch the current distfile. |
||
|---|---|---|
| .. | ||
| files | ||
| distinfo | ||
| Makefile | ||
| pkg-descr | ||
| pkg-plist | ||