https://github.com/flyspeck/flyspeck
Raw File
Tip revision: 1ce0353008eba83d3c76ae9a25c3c242e4802d53 authored by Alexey Solovyev on 10 May 2024, 23:31:12 UTC
Merge pull request #6 from monadius/zarith
Tip revision: 1ce0353
README
Build with ant.
Run holdaemon with root.
holdaemon requires commons-daemon to be installed with jsvc in the path

    ---Joe Pleso
back to top