gentoo.mahdi.cz
dev-racket
:redex-abbrevs-lib
Implementation of redex-abbrevs
https://github.com/bennn/redex-abbrevs
redex-abbrevs-lib-9999
all-rights-reserved
download
racket-overlay
redex-abbrevs-lib-0_p20211025
all-rights-reserved
download
~amd64 ~arm ~ppc ~ppc64 ~x86
racket-overlay