v0.6
Björn Brandenburg's avatar
Björn Brandenburg
@bbb
414e6676 · update OPAM files in preparation of v0.6 release · 
PROSA v0.6: The aRSA Edition 

Tested with Rocq 9.0.0, mathcomp 2.4.0, and mczify 1.5.0.