arsmagna 1384083 ars-magna arsmagna 999124 ars-magna/doc arsmagna 135906 ars-magna/lib arsmagna 5212 ars-magna/worlds nisp 7165 RELEASE.txt nisp 277111 decl nisp 289075 doc nisp 372972 duck nisp 26183 extra nisp 207590 nils rpl 2388 RELEASE.txt rpl 88193 doc rpl 279261 rpl