diff options
| author | Emilio Jesus Gallego Arias | 2019-04-24 20:58:12 +0200 |
|---|---|---|
| committer | Emilio Jesus Gallego Arias | 2019-04-26 04:24:59 +0200 |
| commit | 2d114afbf431f5cefe4f0350f95e22ef9daddfc9 (patch) | |
| tree | 43fc9f9a486c44b0c9fc8a185c6d2f4882a0ea38 /doc/plugin_tutorial | |
| parent | 12e5d3cdef8b954fc3a7cdf1dfebc388bd546c3a (diff) | |
[opam] Use version to provide better package bounds.
I copied this from Ralf Jung's submission to the Coq Package index,
let's see if it works.
Diffstat (limited to 'doc/plugin_tutorial')
0 files changed, 0 insertions, 0 deletions