summaryrefslogtreecommitdiff
path: root/checker/reduction.mli
diff options
context:
space:
mode:
authorGravatar Benjamin Barenblat <bbaren@debian.org>2019-02-03 20:53:56 -0500
committerGravatar Benjamin Barenblat <bbaren@debian.org>2019-02-05 12:30:46 -0500
commitfe4de3af9df2d093394d89f702993d49ce41d70a (patch)
tree57da92c1bfd95d09cd36d3d87e121259c82be1db /checker/reduction.mli
parentbf8f9260d59d795b09b2fd1611a4131b8c31127e (diff)
Tighten Build-Depends to match upstream’s INSTALL
Diffstat (limited to 'checker/reduction.mli')
0 files changed, 0 insertions, 0 deletions