move examples out of the gpfsl package
Compare changes
File renamed with no changes. Show file contents
I have not added a coq-gpfsl-examples package. That is only needed if someone wants to actually install and import that for use in their own project, which I assume should not be the case?
Cc @haidang