search

emina / rosette

The Rosette solver-aided host language, sample solver-aided DSLs, and demos
Other
640 stars 74 forks source link

Recent change breaks Rosette on the package server #239

Closed sorawee closed 2 years ago

sorawee commented 2 years ago

The recent change causes a failure on the package server: https://pkg-build.racket-lang.org/server/built/fail/rosette.txt

This makes the documentation unable to render: docs.racket-lang.org/rosette-guide/

CC: @jamesbornholt

sorawee commented 2 years ago

Oh lol, just saw this got fixed :) Closing.