diff options
| author | Pierre-Marie de Rodat | 2018-07-15 12:37:50 +0200 |
|---|---|---|
| committer | Pierre-Marie de Rodat | 2018-07-15 12:38:01 +0200 |
| commit | cd9401d8dbf795cdb18c1b50577168dfb5ef804d (patch) | |
| tree | c700858e484715f03f190ce42c62cb500ba4c4b9 /.gitignore | |
| parent | a8dfdfccf05a4f7d82fdf7abb96b45f767c818a0 (diff) | |
| download | aur-cd9401d8dbf795cdb18c1b50577168dfb5ef804d.tar.gz | |
Add a dependency to gnatcoll-gmp
Diffstat (limited to '.gitignore')
0 files changed, 0 insertions, 0 deletions