Is this project dead? Last update was 5 months ago

[Dedis23]

Anyone knows of a good alternative?

[aaronpotter8556]

n if you go to the releases there is a updates. but you need to be able to manually enter them. i've looked about and just can't do it. lets hope the main page gets a update some time