((synopsis "User defined evaluation environments")
 (category lang-exts)
 (test-depends test)
 (license "BSD")
 (author "Felix Winkelmann, Moritz Heidkamp"))