("5.0.1.5" ("2be1bd4ade6d01a9e2bd1b6b932c7964810709a3" . "d137d8763cd752758ac6b050cd511f5cc44e018a") (collects #"scheme" #"mzscheme.rkt") (collects #"mzscheme" #"main.rkt") (collects #"games" #"pousse" #"board-size.rkt"))
