/gnu/store/ia3jz5rkq2l5pz6vz71jpcf5hk5223wp-antlr3-3.5.2-checkout.drv