sloth tags
https://gitlab.mpi-sws.org/bdinisa/sloth/-/tags
https://gitlab.mpi-sws.org/bdinisa/sloth/-/tags/v0.5.0
v0.5.0
bsdinis
baltasar.dinis@tecnico.ulisboa.pt
https://gitlab.mpi-sws.org/bdinisa/sloth/-/tags/v0.3.0
v0.3.0
Baltasar Dinis
https://gitlab.mpi-sws.org/bdinisa/sloth/-/tags/v0.2.0
v0.2.0
Baltasar Dinis
https://gitlab.mpi-sws.org/bdinisa/sloth/-/tags/v0.1.2
v0.1.2
bsdinis
baltasar.dinis@tecnico.ulisboa.pt
https://gitlab.mpi-sws.org/bdinisa/sloth/-/tags/v0.1.1
v0.1.1
bsdinis
baltasar.dinis@tecnico.ulisboa.pt
https://gitlab.mpi-sws.org/bdinisa/sloth/-/tags/v0.1.0
v0.1.0
bsdinis
baltasar.dinis@tecnico.ulisboa.pt