diff options
author | Stephane Glondu <steph@glondu.net> | 2012-12-29 15:55:53 +0100 |
---|---|---|
committer | Stephane Glondu <steph@glondu.net> | 2012-12-29 15:57:52 +0100 |
commit | e16a62685a044b4754d9075512d2852d0dd7c1d2 (patch) | |
tree | 2e22243163dbb09b92364f471df7c0aaf2f51e49 /contrib/ring/ArithRing.v | |
parent | 82f618cde74011104f2d369c2aa28d47deb08fb3 (diff) |
Add ocaml-findlib to Build-Depends...
...so that detection of lablgtk2 works
Diffstat (limited to 'contrib/ring/ArithRing.v')
0 files changed, 0 insertions, 0 deletions