dev-racket/esterel-redex
Redex code related to Esterel in Racket
-
esterel-redex-9999doc
View Download Browse License: || ( Apache-2.0 MIT )Overlay: racket-overlay -
esterel-redex-0_p20240911~amd64 ~arm ~ppc ~ppc64 ~x86doc
View Download Browse License: || ( Apache-2.0 MIT )Overlay: racket-overlay -
esterel-redex-0_p20230703~amd64 ~arm ~ppc ~ppc64 ~x86doc
View Download Browse License: || ( Apache-2.0 MIT )Overlay: racket-overlay
Runtime Dependencies
esterel-redex-9999
>=dev-scheme/racket-8.1:=[-minimal]
esterel-redex-0_p20240911
>=dev-scheme/racket-8.1:=[-minimal]
esterel-redex-0_p20230703
>=dev-scheme/racket-8.1:=[-minimal]