[Date Prev][Date Next][Thread Prev][Thread Next][Date Index][Thread Index]

Is weigh override needed?

Subject: Is weigh override needed?
From: Chris Warburton
Date: Tue, 31 Oct 2017 21:51:17 +0000
Resolution: fixed
State: resolved

haskellPackages.weigh was used by MLSpec, but isn't any more. Can we
remove our override, or does that break stuff?

Follow-Ups:
- Re: Is weigh override needed?
  - From: Chris Warburton

Prev by Date: Take multiple OUT_DIRs and arguments
Next by Date: Replace tests/example.smt2 with tests/test-theory.smt2
Previous by thread: Re: Take multiple OUT_DIRs and arguments
Next by thread: Re: Is weigh override needed?
Index(es):
- Date
- Thread