summaryrefslogtreecommitdiffstats
path: root/pkgs/applications/science/logic/hol_light
diff options
context:
space:
mode:
authorPatrick Mahoney <pat@polycrystal.org>2019-01-15 11:27:59 -0600
committerPatrick Mahoney <pat@polycrystal.org>2019-01-15 11:29:19 -0600
commit51a586729a4709efcef451407366e61f6e34b7fe (patch)
treeddff079b580fbb535d79d4b914da354cde82e9ac /pkgs/applications/science/logic/hol_light
parent89f5fbbdd2cfe1a479949d002cc70cddf4e45463 (diff)
openfst: relax platform requirement to include darwin
This builds on darwin. I was able to use it to compile another package on darwin that depends on openfst, though I have not done extensive testing.
Diffstat (limited to 'pkgs/applications/science/logic/hol_light')
0 files changed, 0 insertions, 0 deletions