Follow-up Comment #2, task #13737 (project administration): Apologies for that, I moved it from github to gitlab to avoid the nonfree hosting:
https://gitlab.com/robigalia/rust-sel4/repository/archive.tar.gz is the current link. _______________________________________________________ Reply to this item at: <http://savannah.gnu.org/task/?13737> _______________________________________________ Message sent via/by Savannah http://savannah.gnu.org/
