/usr/share/racket/pkgs/redex/info.rkt is in racket-common 6.1-4.
This file is owned by root:root, with mode 0o644.
The actual contents of the file can be viewed below.
1 2 3 4 5 6 7 8 9 10 | #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))
|