Missing source #3
Description
I'm wondering where these binaries came from. Who compiled them? What versions of the OSes are they meant for? There isn't even a link to the source code.
In fact, the source code should really be included in this repo; instead of saving the binaries directly to git they would be better generated by adding an Actions script that builds and uploads a Release from the source. After all, the prelude license reads
No part of the Software may be reproduced, modified, transmitted or transferred in any form or by any means, electronic or mechanical, without the express permission of the University. The permission of the University is not required if the said reproduction, modification, transmission or transference is done without financial return, the conditions of this Licence are imposed upon the receiver of the product, and all original and amended source code is included in any transmitted product. You may be held legally responsible for any copyright infringement that is caused or encouraged by your failure to abide by these terms and conditions.
So this repo is meeting the "done without financial return" predicate, and probably meets "conditions of this License imposed upon receiver" predicate since the license file is included, but it's missing "and all original and amended source code" predicate, which is kind of the most important predicate in working in open source or research, in my opinion.