Attachment #205136
spass 3.7 patch 2019-06-16 15:35:17 UTC 849 bytes no flags Details
Attachment #206094
spass-3.2-with-flavors.patch patch 2019-07-26 22:59:41 UTC 1.54 KB no flags Details