#lang setup/infotab

(define collection 'multi)

(define deps '("redex-doc" "redex-examples" "redex-lib" "redex-gui-lib"))
(define implies '("redex-doc" "redex-examples" "redex-lib" "redex-gui-lib"))

(define pkg-desc "PLT Redex libraries for practical semantics engineering")

(define pkg-authors '(robby bfetscher))
