| commit | bde2dacca0a5fbd727f92ec8c901bf7c7b792e54 | |
| author | Guillaume Melquiond <guillaume.melquiond@inria.fr> | |
| Fri, 25 Oct 2019 17:01:59 +0000 (25 19:01 +0200) | ||
| committer | Guillaume Melquiond <guillaume.melquiond@inria.fr> | |
| Fri, 25 Oct 2019 17:01:59 +0000 (25 19:01 +0200) | ||
| tree | bd276232ac1a180c44c809e4a8fae208811fd370 | treesnapshot (tar.gz zip) |
| parent | 857b820967ee8500fb647c8f1a81b62952ee9e6b | commitdiff |
Use the proper dependency for lablgtk3-sourceview3.
| opam/why3-ide.opam | diffblobblamehistory |