a5bbe19cab8c2a6f055ea6a1c18673676a3f9920
[YACASL2.git] / VERSION
1 v0.2p33