/usr/share/racket/pkgs/htdp-lib/info.rkt is in racket-common 6.3-1.
This file is owned by root:root, with mode 0o644.
The actual contents of the file can be viewed below.
1 | (module info setup/infotab (#%module-begin (define package-content-state (quote (built "6.3"))) (define collection (quote multi)) (define deps (quote (("base" #:version "6.2.900.10") "compatibility-lib" "draw-lib" ("drracket-plugin-lib" #:version "1.1") "errortrace-lib" "html-lib" "images-gui-lib" "images-lib" "net-lib" "pconvert-lib" "plai-lib" "r5rs-lib" "sandbox-lib" "scheme-lib" "scribble-lib" "slideshow-lib" "snip-lib" "srfi-lite-lib" "string-constants-lib" "typed-racket-lib" "web-server-lib" "wxme-lib" ("gui-lib" #:version "1.7") "deinprogramm-signature"))) (define build-deps (quote ("racket-index" "at-exp-lib" "rackunit-lib"))) (define pkg-desc "implementation (no documentation) part of \"htdp\"") (define pkg-authors (quote (matthias mflatt robby))) (define version "1.3")))
|