diff options
| author |  Benjamin Barenblat <bbaren@debian.org> | 2019-02-03 20:53:56 -0500 |
|---|---|---|
| committer | Benjamin Barenblat <bbaren@debian.org> | 2019-02-05 12:30:46 -0500 |
| commit | fe4de3af9df2d093394d89f702993d49ce41d70a (patch) | |
| tree | 57da92c1bfd95d09cd36d3d87e121259c82be1db /checker/reduction.mli | |
| parent | bf8f9260d59d795b09b2fd1611a4131b8c31127e (diff) | |
Tighten Build-Depends to match upstream’s INSTALL
Diffstat (limited to 'checker/reduction.mli')
0 files changed, 0 insertions, 0 deletions