/usr/share/racket/pkgs/htdp-doc/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 11 12 13 14 15 16 17 18 19 20 21 22 23 24 25 26 27 | #lang info
(define collection 'multi)
(define deps
'("base"
"scribble-lib"
"at-exp-lib"
"draw-lib"
"gui-lib"
"htdp-lib"
"sandbox-lib"
"pict-lib"))
(define build-deps '("mzscheme-doc"
"scheme-lib"
"compatibility-doc"
"draw-doc"
"drracket"
"gui-doc"
"pict-doc"
"racket-doc"
#;"at-exp-lib"
#;"rackunit-lib"))
(define pkg-desc "documentation part of \"htdp\"")
(define pkg-authors '(matthias mflatt robby))
|