diff options
| author |  Maxime Dénès <mail@maximedenes.fr> | 2018-03-01 11:31:59 +0100 |
|---|---|---|
| committer | Maxime Dénès <mail@maximedenes.fr> | 2018-03-01 11:31:59 +0100 |
| commit | df9d3a36e71d6d224286811fdc529ad5a955deb7 (patch) | |
| tree | 5c7f9ecb1f4fab5513eb44d26043889ffd5affa1 /theories | |
| parent | 3aec80b343654141630fddbd54d5fb818ecef88b (diff) | |
| parent | 4908922de3a4c1af3a3368598a65699822212815 (diff) | |
Merge PR #6856: travis: elpi needs findlib >= 1.5
Diffstat (limited to 'theories')
0 files changed, 0 insertions, 0 deletions