/usr/share/racket/pkgs/optimization-coach/info.rkt is in racket-common 6.7-3.
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.7"))) (define collection (quote multi)) (define version "3.0") (define deps (quote (("base" #:version "6.2.900.6") "profile-lib" "rackunit-lib" "drracket" "gui-lib" "data-lib" "source-syntax" "images-lib" "sandbox-lib" "string-constants-lib" "typed-racket-lib"))) (define build-deps (quote ("scribble-lib"))) (define pkg-desc "Optimization Coach Plug-In for DrRacket.") (define pkg-authors (quote (stamourv)))))
|