v0.6 protected

Björn Brandenburg

@bbb

414e6676 · update OPAM files in preparation of v0.6 release · Oct 31, 2025

Release: Prosa v0.6

PROSA v0.6: The aRSA Edition 

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