(module info setup/infotab (#%module-begin (define package-original-source "git://github.com/racket/redex/?path=redex#455807e21dd18b33c8e30d160938b845b86a213f") (define collection (quote multi)) (define deps (quote ("redex-doc" "redex-examples" "redex-lib" "redex-gui-lib"))) (define implies (quote ("redex-doc" "redex-examples" "redex-lib" "redex-gui-lib"))) (define pkg-desc "PLT Redex libraries for practical semantics engineering") (define pkg-authors (quote (robby bfetscher))) (define license (quote (Apache-2.0 OR MIT)))))
