#lang info

(define post-install-collection "index.rkt")