Commit 1a54c491 authored by Michael Hanus 's avatar Michael Hanus

Typeclasses version packaged

parent 10545780
Pipeline #412 failed with stages