/usr/share/racket/pkgs/datalog/main.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 2 3 4 5 6 7 8 | #lang racket/base
(require "runtime.rkt"
"serialize.rkt"
"stx.rkt")
(provide make-theory
theory/c
(all-from-out "serialize.rkt")
(all-from-out "stx.rkt"))
|