search

kornai / 4lang

Concept dictionary
MIT License
37 stars 13 forks source link

link to download pre-compiled serialized machine graphs not working #164

Closed crystal-butler closed 4 years ago

crystal-butler commented 4 years ago

The README link to download pre-compiled serialized machine graphs is not resolving for me: http://sandbox.hlt.bme.hu/~recski/4lang/machines.tgz Is this file still available?

recski commented 4 years ago

Yes, thanks for reporting, we have some temporary issues with the server, I'll post an alternative link if it isn't resolved by tomorrow.

Crystal Butler notifications@github.com schrieb am So., 12. Juli 2020, 22:05:

The README link to download pre-compiled serialized machine graphs is not resolving for me: http://sandbox.hlt.bme.hu/~recski/4lang/machines.tgz Is this file still available?

— You are receiving this because you are subscribed to this thread. Reply to this email directly, view it on GitHub https://github.com/kornai/4lang/issues/164, or unsubscribe https://github.com/notifications/unsubscribe-auth/AAOB6N2DQ7O7LZMK7SJVK7TR3IJQ7ANCNFSM4OX6PZWQ .

recski commented 4 years ago

The resource is back online, thanks again!